search result

Cover von Equivalence Testing of Weighted Automata over Partially Commutative Monoids

Equivalence Testing of Weighted Automata over Partially Commutative Monoids

Year: 2021
Media group: LIPIcs
Cover von New Techniques for Universality in Unambiguous Register Automata

New Techniques for Universality in Unambiguous Register Automata

Year: 2021
Media group: LIPIcs
Cover von Optimal Transformations of Games and Automata Using Muller Conditions

Optimal Transformations of Games and Automata Using Muller Conditions

Year: 2021
Media group: LIPIcs
Cover von Von Neumann Regularity, Split Epicness and Elementary Cellular Automata

Von Neumann Regularity, Split Epicness and Elementary Cellular Automata

Year: 2021
Media group: OASICS
Cover von Lower Bounds for Graph-Walking Automata

Lower Bounds for Graph-Walking Automata

Year: 2021
Media group: LIPIcs
Cover von Rice-Like Theorems for Automata Networks

Rice-Like Theorems for Automata Networks

Year: 2021
Media group: LIPIcs
Cover von Church Synthesis on Register Automata over Linearly Ordered Data Domains

Church Synthesis on Register Automata over Linearly Ordered Data Domains

Year: 2021
Media group: LIPIcs
Cover von Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata

Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata

Year: 2021
Media group: LIPIcs
Cover von Discounted-Sum Automata with Multiple Discount Factors

Discounted-Sum Automata with Multiple Discount Factors

Year: 2021
Media group: LIPIcs
Cover von Signal Passing Self-Assembly Simulates Tile Automata

Signal Passing Self-Assembly Simulates Tile Automata

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0