Gerd Neugebauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1987–1997
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | LPNMR | GLUE: Opening the World to Theorem Provers. | Gerd Neugebauer, Dorothea Schfer |
| 1996 | ICLP | On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). | Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg |
| 1995 | TABLEAUX | Specifications of Inference Rules and Their Automatic Translation. | Gerd Neugebauer, Uwe Petermann |
| 1993 | LOPSTR | Reachability Analysis for the Extension Procedure - A Topological Result. | Gerd Neugebauer |
| 1992 | LOPSTR | The LOPS Approach: A Transformational Point of View (Extended Abstract). | Gerd Neugebauer |
| 1989 | KI | XPRTS - An Implementation Tool for Program Synthesis. | Gerd Neugebauer, Bertram Fronhfer, Christoph Kreitz |
| 1987 | WI | ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. | Bertram Fronhfer, Gerd Neugebauer |