Birgit Elbl Research

Birgit Elbl - Research

Research Interests
Computational Logic, Semantics for Programming Languages, Specification and Verification, Logic Programming and extensions of LP, Proof Theory in Computer Science
Publications
see list
Workshops
PCC (Proof, Computation, Complexity)