Publications
Page 8 of 9.
Serge Autexier; Dieter Hutter
In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.
Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.
Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter
In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. LNCS, Vol. 2960, Springer, 2004.
Till Mossakowski; Serge Autexier; Dieter Hutter
In: Journal of Logic and Algebraic Programming (JLAP), Elsevier, 2004.
Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …
In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for …
In: Springer-Verlag, 2002.
In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …
Axel Schairer; Serge Autexier; Dieter Hutter
In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …
In: Maria Paola Bonacina; Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 58, Elsevier Science Publishers, 2001.
Overview
Team
Projects
News
Jobs
Website
Phone: +49 421 17845 0 Fax: +49 421 17845 4150robotik@dfki.de Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Robotics Innovation Center Robert-Hooke-Str. 1 28359 Bremen Germany