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)