search result

Cover von Conjunctive Grammars, Cellular Automata and Logic

Conjunctive Grammars, Cellular Automata and Logic

Year: 2021
Media group: OASICS
Cover von Degrees of Ambiguity for Parity Tree Automata

Degrees of Ambiguity for Parity Tree Automata

Year: 2021
Media group: LIPIcs
Cover von Parameterized Complexity of Safety of Threshold Automata

Parameterized Complexity of Safety of Threshold Automata

Year: 2020
Media group: LIPIcs
Cover von Algebraic Invariants for Linear Hybrid Automata

Algebraic Invariants for Linear Hybrid Automata

Year: 2020
Media group: LIPIcs
Cover von Verification and Computation in Restricted Tile Automata

Verification and Computation in Restricted Tile Automata

Year: 2020
Media group: LIPIcs
Cover von Implicit Automata in Typed ?-Calculi I

Implicit Automata in Typed ?-Calculi I

Aperiodicity in a Non-Commutative Logic
Year: 2020
Media group: LIPIcs
Cover von From Linear to Additive Cellular Automata

From Linear to Additive Cellular Automata

Year: 2020
Media group: LIPIcs
Cover von Unambiguous Separators for Tropical Tree Automata

Unambiguous Separators for Tropical Tree Automata

Year: 2020
Media group: LIPIcs
Cover von State Space Reduction For Parity Automata

State Space Reduction For Parity Automata

Year: 2020
Media group: LIPIcs
Cover von Degrees of Ambiguity of Büchi Tree Automata

Degrees of Ambiguity of Büchi Tree Automata

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0