Seite 5 von 6.
Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder
In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.
Lutz Schröder
2007.
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 73, Pages 97-110, 2007.
In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
Lutz Schröder; Till Mossakowski
In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …
Lutz Schröder; Dirk Pattinson
In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …
In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …
Stefan Wölfl; Till Mossakowski; Lutz Schröder
In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …
Sergey Goncharov; Lutz Schröder; Till Mossakowski
In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …
Daniel Hausmann; Till Mossakowski; Lutz Schröder
In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.