search result

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 Journal of automata, languages and combinatorics

Journal of automata, languages and combinatorics

Magdeburg, Otto-von-Guericke-Universität
Media group: ZEITSCHRIFT
Volumes loading
Cover von Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata

Year: 2026
Media group: LIPIcs
Cover von Polynomial Complementation of Nondeterministic Two-Way Finite Automata by 1-Limited Automata

Polynomial Complementation of Nondeterministic Two-Way Finite Automata by 1-Limited Automata

Year: 2026
Media group: LIPIcs
Cover von Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata

Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata

Year: 2023
Media group: LIPIcs
Cover von A speed-up of oblivious multi-head finite automata by cellular automata

A speed-up of oblivious multi-head finite automata by cellular automata

Year: 2011
Media group: ARTICLE
Cover von 15th annual symposium on switching and automata theory
Search for this author
Year: 1974
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von 14th annual symposium on switching and automata theory
Search for this author
Year: 1973
Publisher: New York, IEEE
Media group: KONGRESSBERICHT
Cover von 13th Annual symposium on switching and automata theory
October 25 - 27, 1972
Search for this author
Year: 1972
Publisher: New York, IEEE
Media group: KONGRESSBERICHT
Cover von Forgetting Event Order in Higher-Dimensional Automata

Forgetting Event Order in Higher-Dimensional Automata

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0