1997 |
8 | | Gerd Neugebauer,
Dorothea Schäfer:
GLUE: Opening the World to Theorem Provers.
LPNMR 1997: 411-420 |
1996 |
7 | | 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: 546 |
1995 |
6 | | Gerd Neugebauer,
Uwe Petermann:
Specifications of Inference Rules and Their Automatic Translation.
TABLEAUX 1995: 185-200 |
1993 |
5 | | Gerd Neugebauer:
Reachability Analysis for the Extension Procedure - A Topological Result.
LOPSTR 1993: 32-44 |
1992 |
4 | | Gerd Neugebauer:
Pragmatische Programmsynthese.
Infix Verlag, St. Augustin, Germany 1992 |
3 | | Gerd Neugebauer:
The LOPS Approach: A Transformational Point of View (Extended Abstract).
LOPSTR 1992: 80-81 |
1989 |
2 | | Gerd Neugebauer,
Bertram Fronhöfer,
Christoph Kreitz:
XPRTS - An Implementation Tool for Program Synthesis.
GWAI 1989: 348-357 |
1987 |
1 | | Bertram Fronhöfer,
Gerd Neugebauer:
ESPRIT Project P973 ALPES: Advanced Logical Programming Environments.
Wissensbasierte Systeme 1987: 388-394 |