Decidability

The Cayley-Graph of the Queue Monoid: Logic and Decidability

Logic and decidability in the Cayley-Graph of the Queue Monoid.