Seite 2 von 6.
Lutz Schröder; Dirk Pattinson; Daniel Hausmann
In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …
Lutz Schröder; Yde Venema
In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on …
Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)
Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th …
Serge Autexier; Dominik Dietrich
In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on …
Till Mossakowski; Lutz Schröder; Sergey Goncharov
In: Formal Aspects of Computing (FAC), Vol. 22, No. 3-4, Pages 363-384, Springer, Berlin, 5/2010.
Daniel Hausmann; Lutz Schröder
In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for …
Carsten Lutz; Lutz Schröder
In: Fangzhen Lin; Ulrike Sattler (Hrsg.). Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. …
Lutz Schröder; Dirk Pattinson
In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International …
Serge Autexier; Petr Sojka; Masakazu Suzuki
In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.
David Aspinall; Ewen Denney; Christoph Lüth
In: Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.