1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
Simple Classes of Automatic Structures
Achim Blumensath
We study two subclasses of the class of automatic structures: automatic structures of polynomial growth and Presburger structures. We present algebraic characterisations of the gro…
Automata for Enriched Trees and Applications
Achim Blumensath
We study trees where each successor set is equipped with some additional structure. We introduce a family of automaton models for such trees and prove their equivalence to certain…
-Forest Algebras and Temporal Logics
Achim Blumensath, Jakub Lédl
We use the algebraic framework for languages of infinite trees introduced in [4] to derive effective characterisations of various temporal logics, in particular the logic EF (a fra…
Bisimulation Invariant Monadic-Second Order Logic in the Finite
Achim Blumensath, Felix Wolf
We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expr…