Seite 2 von 2.
Lutz Schröder; Dirk Pattinson
In: ACM Transactions on Computational Logic (TOCL), Vol. 10, No. 2, Pages 13:3-13:33, ACM, 2/2009.
Rob Myers; Dirk Pattinson; Lutz Schröder
In: Luca de Alfaro (Hrsg.). Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science …
Dirk Pattinson; Lutz Schröder
In: Martin Giese; Arild Waaler (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods. International Conference on Automated …
Lutz Schröder; Dirk Pattinson; Clemes Kupke
In: Craig Boutilier (Hrsg.). International Joint Conferences on Artificial Intelligence. International Joint Conference on Artificial Intelligence …
In: Susanne Albers; Jean-Yves Marion (Hrsg.). International Symposium on Theoretical Aspects of Computer Science. International Symposium on …
Daniel Hausmann; Lutz Schröder
In: Thomas Bolander; Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6), November …
In: Journal of Logic and Computation (JLC), Vol. o.A. Oxford University Press, 12/2008.