The Cayley-Graph of the Queue Monoid: Logic and Decidability.
Faried Abu ZaidChris KöcherPublished in: FSTTCS (2018)
Keyphrases
- query answering
- random walk
- graph representation
- graph theory
- weighted graph
- decision procedures
- automated reasoning
- directed graph
- graph model
- computational properties
- structured data
- modal logic
- queue length
- directed acyclic graph
- markov chain
- graph structure
- graph matching
- logic programming
- graph partitioning
- steady state
- description logics
- loss probability