16 citations · 39 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
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…
cs.FL2018
Branch-Continuous Tree Algebras
Achim Blumensath
We study a class of algebras that can be used as recognisers for regular languages of infinite trees.