Publications

Displaying results 1 to 8 of 8

In: Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Pages 255-272 Sichere Kognitive Systeme, DFKI Bremen 2009.

To the publication

In: Recent Trends in Algebraic Development Techniques: 19th International Workshop. International Workshop on Algebraic Development Techniques (WADT-2008) June 13-16 Pisa Italy Pages 266-289 Lecture Notes in Computer Science (LNCS) 5486 ISBN 978-3-642-03428-2 Springer Berlin, Heidelberg 2009.

To the publication

In: Logica Universalis 3 1 Pages 95-124 Birkhäuser Basel 2009.

To the publication

In: Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Pages 269-286 Universität Bremen 2009.

To the publication

In: Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009) December 9-12 Rio de Janeiro Brazil Lecture Notes in Computer Science (LNCS) 5885 Springer 2009.

To the publication

In: Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-09) Third International Conference September 6-10 Udine Italy Pages 18-33 Lecture Notes in Computer Science (LNCS) 5728 Springer Berlin 9/2009.

To the publication

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