Publikationen

In: Narciso Martí-Oliet , Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12) Recent Trends in Algebraic Development Techniques June 7-10 Salamanca Spain Seiten 178-194 Lecture Notes in Computer Science (LNCS) 7841 Springer 2013.

Zur Publikation

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