We show that it is decidable whether or not a relation on the reals defi...
A quasi-automatic semigroup is defi0ned by a finite set of generators, a...
Diekert, Matiyasevich and Muscholl proved that the existential first-ord...
We specify the frontier of decidability for fragments of the first-order...