Dorothea Schäfer

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Peter Baumgartner, Dorothea Schäfer
Model Elimination with Simplification and its Application to Software Verification. Tool Support for System Specification, Development and Verification (1998)
Gerd Neugebauer, Dorothea Schäfer
GLUE: Opening the World to Theorem Provers. LPNMR (1997)
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
Deduktion und Logisches Programmieren. Künstliche Intell. 10 (2) (1996)
Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP (1996)