search result

Cover von Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
Author: Wilke, Thomas Search for this author
Year: 1994
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9408
Media group: DISSERTATION
Cover von Backward Deterministic Büchi Automata on Infinite Words

Backward Deterministic Büchi Automata on Infinite Words

Year: 2018
Media group: LIPIcs
Cover von Past, Present, and Infinite Future

Past, Present, and Infinite Future

Year: 2016
Media group: LIPIcs
Cover von 30th International Symposium on Theoretical Aspects of Computer Science
February 27 - March 2, 2013, Kiel, Germany
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 20
Media group: LIPIcs
Cover von Informatik erweitert Horizonte
15. GI-Fachtagung Informatik und Schule - INFOS 2013 : 26. - 28. September 2013 in Kiel
Search for this author
Year: 2013
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 219
Media group: MONOGRAPHIE
Cover von 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012)
February 29th - March 3rd, 2012, Paris, France
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 14
Media group: LIPIcs
Cover von Moderne Kryptographie
eine Einführung
Author: Küsters, Ralf; Wilke, Thomas Search for this author
Year: 2011
Publisher: Stuttgart, Teubner
Series: Leitfäden der Informatik
Media group: MONOGRAPHIE
Cover von Automata logics, and infinite games
a guide to current research
Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2500
Media group: MONOGRAPHIE
Cover von Locic and automata
history and perspectives
Search for this author
Year: 2008
Publisher: Amsterdam, Amsterdam University Press
Series: Texts in logic and games; 2
Media group: MONOGRAPHIE
Cover von Unifying Büchi Complementation Constructions

Unifying Büchi Complementation Constructions

Year: 2011
Media group: LIPIcs
OPEN V 11.1.0.0