search result

Cover von 200 Problems on Languages, Automata, and Computation
Search for this author
Year: 2023
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Completeness for Categories of Generalized Automata ((Co)algebraic pearls)

Completeness for Categories of Generalized Automata ((Co)algebraic pearls)

Year: 2023
Media group: LIPIcs
Cover von Faster Prefix-Sorting Algorithms for Deterministic Finite Automata

Faster Prefix-Sorting Algorithms for Deterministic Finite Automata

Year: 2023
Media group: LIPIcs
Cover von Applications of tree automata in rewriting, logic and programming
20.10. - 24.10.97 (9743)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 193
Media group: DAGSTUHL-SEMINAR-REP
Cover von Finite automata, formal logic, and circuit complexity
Author: Straubing, Howard Search for this author
Year: 1994
Publisher: Boston, Birkhäuser
Series: Progress in theoretical computer science
Media group: MONOGRAPHIE
Cover von Automata theory and applications in logic and complexity
14.1. - 18.1.1991 (9103)
Search for this author
Year: 1991
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 5
Media group: DAGSTUHL-SEMINAR-REP
Cover von Automata-theoretic aspects of formal power series
Author: Salomaa, Arto K.; Soittola, Matti Search for this author
Year: 1978
Publisher: New York, Springer
Series: Texts and monographs in computer science
Media group: MONOGRAPHIE
Cover von Theory of finite automata with an introduction to formal languages
Author: Carroll, John; Long, Darrell D. E. Search for this author
Year: 1989
Publisher: Englewood Cliffs, Prentice Hall
Media group: MONOGRAPHIE
Cover von Measure-Theoretic Semantics for Quantitative Parity Automata

Measure-Theoretic Semantics for Quantitative Parity Automata

Year: 2023
Media group: LIPIcs
Cover von A Kleene Theorem for Higher-Dimensional Automata

A Kleene Theorem for Higher-Dimensional Automata

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0