2000

Research Reports 

Jürgen Ebert, Bernt Kullbach, Franz Lehner (Hrsg.).
2. Workshop Software Reengineering (Bad Honnef, 11./12. Mai 2000).
Research Report 8-2000 (Abstract, Report, BiBTeX Entry)

Stephan Philippi.
AWPN 2000 - 7. Workshop Algorithmen und Werkzeuge für Petrinetze, Koblenz, 02.-03. Oktober 2000 .
Research Report 7-2000 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Jan Murray, Oliver Obst, Frieder Stolzenburg.

Towards a Logical Approach for Soccer Agents Engineering.
Research Report 6-2000 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Peter Baumgartner, Hantao Zhang (Eds.).

FTP 2000 -- Third International Workshop on First-Order Theorem Proving, St Andrews, Scotland, July 2000.
Research Report 5-2000 (Abstract, Report, BiBTeX Entry)

Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, Guillermo R. Simari.

Introducing Generalized Specificity in Logic Programming.
Research Report 4-2000 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Ingar Uhe, Manfred Rosendahl.
Specification of Symbols and Implementation of Their Constraints in JKogge.
Research Report 3-2000 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Peter Baumgartner, Fabio Massacci.

The Taming of the (X)OR.
Research Report 2-2000 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Richard C. Holt, Andreas Winter, Andy Schürr.

GXL: Towards a Standard Exchange Format.
Research Report 1-2000 (Abstract, Report, BiBTeX Entry)