search result

Cover von Safety and Liveness of Quantitative Automata

Safety and Liveness of Quantitative Automata

Year: 2023
Media group: LIPIcs
Cover von Automata Learning with an Incomplete Teacher

Automata Learning with an Incomplete Teacher

Author: Silva, Alexandra
Year: 2023
Media group: LIPIcs
Cover von On Semantically-Deterministic Automata

On Semantically-Deterministic Automata

Year: 2023
Media group: LIPIcs
Cover von Efficient multiple dispatching baed on automata
Author: Chen, Weimin Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 264
Media group: DISSERTATION
Cover von Algebraic structures in automata and databases theory
Author: Plotkin, Boris I.; Greenglaz, L. J.; Gvaramija, A. A. Search for this author
Year: 1992
Publisher: Singapore, World Scientific
Media group: MONOGRAPHIE
Cover von Electronic dictionaries and automata in computational linguistics
LITP spring school on theoretical computer science : Saint-Pierre d'Oleron, France, May 25 - 29, 1987 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 377
Media group: MONOGRAPHIE
Cover von Formal properties of finite automata and applications
LITP spring school on theoretical computer science : Ramatuelle, France, May 23 - 27, 1988 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 386
Media group: MONOGRAPHIE
Cover von Formal languages, automata, and complexity
theory of computation
Author: Brookshear, J. Glenn Search for this author
Year: 1989
Publisher: Redwood City, Benjamin/Cummings
Series: The Benjamin/Cummings series in computer science
Media group: MONOGRAPHIE
Cover von Finite automata, their algebras and grammars
towards a theory of formal expressions
Author: Büchi, Julius Richard Search for this author
Year: 1989
Publisher: New York, Springer
Media group: MONOGRAPHIE
Cover von Sublinear-Time Probabilistic Cellular Automata

Sublinear-Time Probabilistic Cellular Automata

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0