 | 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 |
