Seite 1 von 2.
Lutz Schröder; Dirk Pattinson
In: Mathematical Structures in Computer Science (MSCS), Vol. 21, No. 2, Pages 235-266, Cambridge University Press, Cambridge, 3/2011.
In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence …
Dirk Pattinson; Lutz Schröder
In: Information and Computation (Inform. Comput.), Vol. 208, Pages 1447-1468, Elsevier, Amsterdam, 12/2010.
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 …
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. …
In: Jean-Yves Marion; Thomas Schwentick (Hrsg.). Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. …
In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International …
In: Journal of Logic and Computation (JLC), Vol. 20, No. 5, Pages 1113-1147, Oxford University Press, Oxford, 2010.