Gerd Neugebauer

Publication Activity (10 Years)

Years Active: 1987-1997
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Gerd Neugebauer, Dorothea Schäfer
GLUE: Opening the World to Theorem Provers. LPNMR (1997)
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)
Gerd Neugebauer, Uwe Petermann
Specifications of Inference Rules and Their Automatic Translation. TABLEAUX (1995)
Gerd Neugebauer
Reachability Analysis for the Extension Procedure - A Topological Result. LOPSTR (1993)
Gerd Neugebauer
The LOPS Approach: A Transformational Point of View (Extended Abstract). LOPSTR (1992)
Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz
XPRTS - An Implementation Tool for Program Synthesis. GWAI (1989)
Christoph Kreitz, Gerd Neugebauer, Bertram Fronhöfer
Logic oriented program synthesis Forschungsberichte, TU Munich (1988)
Bertram Fronhöfer, Gerd Neugebauer
ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. Wissensbasierte Systeme (1987)