Publications

Displaying results 1 to 7 of 7

In: Essays in Honor of Christoph Walther on the Occasion of his 60th Birthday. Pages 54-80 Lecture Notes in Artificial Intelligence (LNAI) 6463 Springer Verlag Berlin Heidelberg 11/2010.

To the publication

In: Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering (FASE) Springer, LNCS 2001.

To the publication

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002) Springer-Verlag, LNCS 2002.

To the publication

In: Journal of Logic and Algebraic Programming (JLAP) Elsevier 2004.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz