SCEAS

The SCEAS System

Title:
Author:

Gerd Neugebauer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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

Search in 0.003secs, Finished in 0.003secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP