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

Dec 11, 2018·
Faried Abu Zaid
,
Chris Köcher
· 0 min read
Abstract
This work investigates the logic and decidability properties of the Cayley-Graph of the Queue Monoid, contributing to the understanding of algebraic structures in theoretical computer science.
Type
Publication
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Ahmedabad, India
Queue Monoid Logic Decidability