TY  - RPRT
TI  - Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals
AU  - Alexis Bès
AU  - Christian Choffrut
PY  - 2018
UR  - https://arxiv.org/abs/1805.03028
ID  - 1805.03028
ER  -