Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Gerd Neugebauer

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpnmr/NeugebauerS97
- ask others
Gerd Neugebauer, Dorothea Schäfer: GLUE: Opening the World to Theorem Provers. LPNMR 1997: 411-420
1996
[c6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/AravindanBDFNNSS96
- ask others
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
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/NeugebauerP95
- ask others
Gerd Neugebauer, Uwe Petermann: Specifications of Inference Rules and Their Automatic Translation. TABLEAUX 1995: 185-200
1993
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/Neugebauer93
- ask others
Gerd Neugebauer: Reachability Analysis for the Extension Procedure - A Topological Result. LOPSTR 1993: 32-44
1992
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/infix/Neugebauer92
- ask others
Gerd Neugebauer: Pragmatische Programmsynthese. DISKI 18, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-18-1
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/Neugebauer92
- ask others
Gerd Neugebauer: The LOPS Approach: A Transformational Point of View (Extended Abstract). LOPSTR 1992: 80-81

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ki/NeugebauerFK89
- ask others
Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz: XPRTS - An Implementation Tool for Program Synthesis. GWAI 1989: 348-357
1987
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wi/FronhoferN87
- ask others
Bertram Fronhöfer, Gerd Neugebauer: ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. Wissensbasierte Systeme 1987: 388-394

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?