D Chistikov,
C Haase - International Colloquium on Automata …, 2016 - ora.ox.ac.uk
Semi-linear sets, which are rational subsets of the monoid (Z^ d,+), have numerous
applications in theoretical computer science. Although semi-linear sets are usually given …