search result

Cover von Parikh Images of Register Automata

Parikh Images of Register Automata

Year: 2021
Media group: LIPIcs
Cover von Adaptive Synchronisation of Pushdown Automata

Adaptive Synchronisation of Pushdown Automata

Year: 2021
Media group: LIPIcs
Cover von Cellular Automata and Kan Extensions

Cellular Automata and Kan Extensions

Year: 2021
Media group: OASICS
Cover von Reachability in Distributed Memory Automata

Reachability in Distributed Memory Automata

Year: 2021
Media group: LIPIcs
Cover von Boolean Algebras from Trace Automata

Boolean Algebras from Trace Automata

Year: 2019
Media group: LIPIcs
Cover von Cyclic Proofs and Jumping Automata

Cyclic Proofs and Jumping Automata

Year: 2019
Media group: LIPIcs
Cover von Acceptance Ambiguity for Quantum Automata

Acceptance Ambiguity for Quantum Automata

Year: 2019
Media group: LIPIcs
Cover von Completeness of Tree Automata Completion

Completeness of Tree Automata Completion

Year: 2018
Media group: LIPIcs
Cover von Pumping Lemmas for Weighted Automata

Pumping Lemmas for Weighted Automata

Year: 2018
Media group: LIPIcs
Cover von Automata Theory on Sliding Windows

Automata Theory on Sliding Windows

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0