Birgit Elbl CV

Birgit Elbl - CV/Education

1990 Diploma in Mathematics (Ludwig-Maximilians-Universität München)

Thesis: Herbrand-Theorien in der beschränkten Arithmetik.
1995 Dr. rer. nat. in Computer Science (UniBw München)

Thesis: Deklarative Semantik für Logikprogramme mit Prologs Auswertungsstrategie.
2002 Habilitation and venia legendi in Computer Science (UniBw München)

Thesis: A Logical Approach to Symbolic Predicational Programming.