search result

Cover von Parity Automata for Quantitative Linear Time Logics

Parity Automata for Quantitative Linear Time Logics

Year: 2017
Media group: LIPIcs
Cover von Data Multi-Pushdown Automata

Data Multi-Pushdown Automata

Year: 2017
Media group: LIPIcs
Cover von Uniform Sampling for Networks of Automata

Uniform Sampling for Networks of Automata

Year: 2017
Media group: LIPIcs
Cover von On the (In)Succinctness of Muller Automata

On the (In)Succinctness of Muller Automata

Year: 2017
Media group: LIPIcs
Cover von Polishness of Some Topologies Related to Automata

Polishness of Some Topologies Related to Automata

Year: 2017
Media group: LIPIcs
Cover von Emptiness of Zero Automata Is Decidable

Emptiness of Zero Automata Is Decidable

Year: 2017
Media group: LIPIcs
Cover von Automata-Based Stream Processing

Automata-Based Stream Processing

Year: 2017
Media group: LIPIcs
Cover von On Büchi One-Counter Automata

On Büchi One-Counter Automata

Year: 2017
Media group: LIPIcs
Cover von On the Synchronisation Problem over Cellular Automata

On the Synchronisation Problem over Cellular Automata

Year: 2017
Media group: LIPIcs
Cover von Language and Automata Theory and Applications
11th International Conference, LATA 2017, Umea, Sweden, March 6 - 9, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10168
Media group: MONOGRAPHIE
OPEN V 11.1.0.0