Showing 2025Show all
2 papers · 1 filter
cs.FL2025
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Emily Clement +3
In this paper we explore languages of higher-dimensional automata (HDAs) from an algebraic and logical point of view. Such languages are sets of finite width-bounded interval pomse…
math.GR2025
Property FA for random -gonal groups
Emily Clement, John M. Mackay
In the binomial -gonal model for random groups, where the random relations all have fixed length and the number of generators goes to infinity, we establish a do…