research
∙
02/11/2020
Theories of real addition with and without a predicate for integers
We show that it is decidable whether or not a relation on the reals defi...
research
∙
06/06/2019
Quasi-automatic semigroups
A quasi-automatic semigroup is defi0ned by a finite set of generators, a...
research
∙
05/08/2018
Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals
Diekert, Matiyasevich and Muscholl proved that the existential first-ord...
research
∙
03/04/2018