search result

Cover von Reachability for Updatable Timed Automata Made Faster and More Effective

Reachability for Updatable Timed Automata Made Faster and More Effective

Year: 2020
Media group: LIPIcs
Cover von Synchronization of Deterministic Visibly Push-Down Automata

Synchronization of Deterministic Visibly Push-Down Automata

Year: 2020
Media group: LIPIcs
Cover von Determinisability of One-Clock Timed Automata

Determinisability of One-Clock Timed Automata

Year: 2020
Media group: LIPIcs
Cover von A Quasiorder-Based Perspective on Residual Automata

A Quasiorder-Based Perspective on Residual Automata

Year: 2020
Media group: LIPIcs
Cover von Randomization in Non-Uniform Finite Automata

Randomization in Non-Uniform Finite Automata

Author: Rossmanith, Peter
Year: 2020
Media group: LIPIcs
Cover von Decidability in Group Shifts and Group Cellular Automata

Decidability in Group Shifts and Group Cellular Automata

Year: 2020
Media group: LIPIcs
Cover von Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete

Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete

Year: 2020
Media group: LIPIcs
Cover von Single-Use Automata and Transducers for Infinite Alphabets

Single-Use Automata and Transducers for Infinite Alphabets

Year: 2020
Media group: LIPIcs
Cover von Cost Automata, Safe Schemes, and Downward Closures

Cost Automata, Safe Schemes, and Downward Closures

Year: 2020
Media group: LIPIcs
Cover von Adaptive Non-Linear Pattern Matching Automata

Adaptive Non-Linear Pattern Matching Automata

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0