TY  - RPRT
TI  - A syntactic approach to the MacNeille completion of $\boldΛ^{\ast}$, the free monoid over an ordered alphabet $\bold Λ$
AU  - Hans-Jürgen Bandelt
AU  - Maurice Pouzet
PY  - 2018
UR  - https://arxiv.org/abs/1712.08516
ID  - 1712.08516
ER  -