Publikationen

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

Zur Publikation

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