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

Faried Abu Zaid, Chris Köcher. The Cayley-Graph of the Queue Monoid: Logic and Decidability. In Sumit Ganguly, Paritosh K. Pandya, editors, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. Volume 122 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Faried Abu Zaid

This author has not been identified. Look up 'Faried Abu Zaid' in Google

Chris Köcher

This author has not been identified. Look up 'Chris Köcher' in Google