search result

Cover von Analyzing Timed Systems Using Tree Automata

Analyzing Timed Systems Using Tree Automata

Year: 2016
Media group: LIPIcs
Cover von A Uniform Framework for Timed Automata

A Uniform Framework for Timed Automata

Year: 2016
Media group: LIPIcs
Cover von Synchronizing Data Words for Register Automata

Synchronizing Data Words for Register Automata

Year: 2016
Media group: LIPIcs
Cover von Piecewise Testable Languages and Nondeterministic Automata

Piecewise Testable Languages and Nondeterministic Automata

Year: 2016
Media group: LIPIcs
Cover von Descriptive Set Theoretic Methods in Automata Theory
Decidability and Topological Complexity
Author: Skrzypczak, Michał Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9802
Media group: MONOGRAPHIE
Cover von Automata Serialization for Manipulation and Drawing

Automata Serialization for Manipulation and Drawing

Year: 2016
Media group: OASICS
Cover von Copyless Cost-Register Automata

Copyless Cost-Register Automata

Structure, Expressiveness, and Closure Properties
Year: 2016
Media group: LIPIcs
Cover von On Regularity of Unary Probabilistic Automata

On Regularity of Unary Probabilistic Automata

Year: 2016
Media group: LIPIcs
Cover von Partial Higher-dimensional Automata

Partial Higher-dimensional Automata

Year: 2015
Media group: LIPIcs
Cover von A Fibrational Approach to Automata Theory

A Fibrational Approach to Automata Theory

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0