search result

Cover von Determinization of Büchi Automata

Determinization of Büchi Automata

Unifying the Approaches of Safra and Muller-Schupp
Year: 2019
Media group: LIPIcs
Cover von Alternating Nonzero Automata

Alternating Nonzero Automata

Year: 2018
Media group: LIPIcs
Cover von Bidirectional Nested Weighted Automata

Bidirectional Nested Weighted Automata

Year: 2017
Media group: LIPIcs
Cover von Asynchronous Distributed Automata

Asynchronous Distributed Automata

A Characterization of the Modal Mu-Fragment
Year: 2017
Media group: LIPIcs
Cover von Fibrations of Tree Automata

Fibrations of Tree Automata

Year: 2015
Media group: LIPIcs
Cover von Implementing Realistic Asynchronous Automata

Implementing Realistic Asynchronous Automata

Year: 2013
Media group: LIPIcs
Cover von Commutative Data Automata

Commutative Data Automata

Year: 2012
Media group: ARTICLE
Cover von Shrinking Timed Automata

Shrinking Timed Automata

Year: 2011
Media group: ARTICLE
Cover von Codes and Automata
Author: Berstel, Jean; Perrin, Dominique; Reutenauer, Christophe Search for this author
Year: 2010
Publisher: Cambridge, Cambridge University Press
Series: Encyclopedia of mathematics and its applications; 129
Media group: MONOGRAPHIE
Cover von Automata and formal languages; 2
special issue pp. 441-565
Search for this author
Year: 2009
Publisher: Szeged, University of Szeged
Acta cybernetica
Count: 2
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0