Dorothea Schäfer

According to our database, Dorothea Schäfer authored at least 4 papers between 1996 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Model Elimination with Simplification and its Application to Software Verification.

Peter Baumgartner, Dorothea Schäfer

Proceedings of the International Workshop Tool Support for System Specification, 1998

1997

GLUE: Opening the World to Theorem Provers.

Gerd Neugebauer, Dorothea Schäfer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Deduktion und Logisches Programmieren.

Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg

Künstliche Intell., 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg

Proceedings of the Logic Programming, 1996