search result

Cover von Orbit-Finite Sets and Their Algorithms (Invited Talk)

Orbit-Finite Sets and Their Algorithms (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Decidable Extensions of MSO (Invited Talk)

Decidable Extensions of MSO (Invited Talk)

Year: 2016
Media group: LIPIcs
Cover von Thin MSO with a Probabilistic Path Quantifier

Thin MSO with a Probabilistic Path Quantifier

Year: 2016
Media group: LIPIcs
Cover von Beyond omega-Regular Languages

Beyond omega-Regular Languages

Year: 2010
Media group: ARTICLE
Cover von Automata for Data Words and Data Trees

Automata for Data Words and Data Trees

Year: 2010
Media group: ARTICLE
Cover von Weak MSO with the Unbounding Quantifier

Weak MSO with the Unbounding Quantifier

Year: 2009
Media group: ARTICLE
Cover von Data Monoids

Data Monoids

Year: 2011
Media group: ARTICLE
Cover von Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers

Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers

Year: 2020
Media group: LIPIcs
Cover von Transducers on Compressed Strings

Transducers on Compressed Strings

Year: 2026
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
OPEN V 11.1.0.0