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...
share
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
