Publikationen

In: Hans-Jörg Kreowski, Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) 20th July 1-4 Schloss Etelsen Germany Lecture Notes in Computer Science (LNCS) 7137 Springer 2012.

Zur Publikation

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