16 citations · 39 across the 13 of their papers we have counts for
6 papers · 1 filter
Some Remarks on First-Order Definable Tree Languages
Achim Blumensath
We study the question of whether a given regular language of finite trees can be defined in first-order logic. We develop an algebraic approach to address this question and we use…
The Expansion Problem for Infinite Trees
Achim Blumensath
We study Ramsey like theorems for infinite trees and similar combinatorial tools. As an application we consider the expansion problem for tree algebras.
The Power-Set Construction for Tree Algebras
Achim Blumensath
We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, i…
Algebraic Language Theory for Eilenberg--Moore Algebras
Achim Blumensath
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algeb…
Regular Tree Algebras
Achim Blumensath
We introduce a class of algebras that can be used as recognisers for regular tree languages. We show that it is the only such class that forms a pseudo-variety and we prove the exi…
Branch-Continuous Tree Algebras
Achim Blumensath
We study a class of algebras that can be used as recognisers for regular languages of infinite trees.