Gerd Neugebauer

According to our database, Gerd Neugebauer authored at least 9 papers between 1987 and 1997.

Collaborative distances:

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

1997

GLUE: Opening the World to Theorem Provers.

Gerd Neugebauer, Dorothea Schäfer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

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

1995

Specifications of Inference Rules and Their Automatic Translation.

Gerd Neugebauer, Uwe Petermann

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1993

Reachability Analysis for the Extension Procedure - A Topological Result.

Gerd Neugebauer

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

The LOPS Approach: A Transformational Point of View (Extended Abstract).

Gerd Neugebauer

Proceedings of the Logic Program Synthesis and Transformation, 1992

Pragmatische Programmsynthese.

Gerd Neugebauer

PhD thesis, 1992

1989

XPRTS - An Implementation Tool for Program Synthesis.

Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz

Proceedings of the GWAI-89, 1989

1988

Logic oriented program synthesis

Christoph Kreitz, Gerd Neugebauer, Bertram Fronhöfer

Forschungsberichte, TU Munich, 1988

1987

ESPRIT Project P973 ALPES: Advanced Logical Programming Environments.

Bertram Fronhöfer, Gerd Neugebauer

Proceedings of the Wissensbasierte Systeme, 1987