Seite 2 von 6.
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: 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 …
Marco Franke; Patrick Klein; Lutz Schröder
In: Alain Bernard (Hrsg.). Proceedings of the 20th CIRP Design Conference 2010. CIRP Design Conference (CIRP Design-2010), Global Product Development, …
Rajeev Gore; Clemens Kupke; Dirk Pattinson; Lutz Schröder
In: Jürgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference …
In: Journal of Logic and Computation (JLC), Vol. 20, No. 5, Pages 1113-1147, Oxford University Press, Oxford, 2010.
Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz
In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, …
Sergey Goncharov; Lutz Schröder; Till Mossakowski
In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
