dblp.uni-trier.dewww.uni-trier.de

Gerd Neugebauer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Chandrabose Aravindan [7]
2Peter Baumgartner [7]
3Jürgen Dix [7]
4Bertram Fronhöfer [1] [2]
5Ulrich Furbach [7]
6Christoph Kreitz [2]
7Ilkka Niemelä [7]
8Uwe Petermann [6]
9Dorothea Schäfer [7] [8]
10Frieder Stolzenburg [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)