search result

Cover von Two-Way Parikh Automata

Two-Way Parikh Automata

Year: 2019
Media group: LIPIcs
Cover von Alternating Weak Automata from Universal Trees

Alternating Weak Automata from Universal Trees

Year: 2019
Media group: LIPIcs
Cover von Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Author: Breugel, Franck van
Year: 2019
Media group: LIPIcs
Cover von Additive Cellular Automata Over Finite Abelian Groups

Additive Cellular Automata Over Finite Abelian Groups

Topological and Measure Theoretic Properties
Year: 2019
Media group: LIPIcs
Cover von A Kleene Theorem for Nominal Automata

A Kleene Theorem for Nominal Automata

Year: 2019
Media group: LIPIcs
Cover von Polynomially Ambiguous Probabilistic Automata on Restricted Languages

Polynomially Ambiguous Probabilistic Automata on Restricted Languages

Year: 2019
Media group: LIPIcs
Cover von Minimizing GFG Transition-Based Automata

Minimizing GFG Transition-Based Automata

Year: 2019
Media group: LIPIcs
Cover von The Containment Problem for Unambiguous Register Automata

The Containment Problem for Unambiguous Register Automata

Year: 2019
Media group: LIPIcs
Cover von On the Way to Alternating Weak Automata

On the Way to Alternating Weak Automata

Year: 2018
Media group: LIPIcs
Cover von Reachability in Timed Automata with Diagonal Constraints

Reachability in Timed Automata with Diagonal Constraints

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0