Birgit Elbl Research

Birgit Elbl - Research

Research Interests
Structural proof theory,
Logic in computer science,
Semantics for Programming Languages,
Formal methods: specification and verification
   
Publications
see list
   
Workshop
co-organisation
PCC (Proof, Computation, Complexity) 2004-2006