Modal Expressiveness of Graph Properties
From MaRDI portal
Publication:2866735
DOI10.1016/j.entcs.2008.03.064zbMath1277.03026OpenAlexW2030158432MaRDI QIDQ2866735
L. Menasché Schechter, Mario R. F. Benevides
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.064
Graph theory (including graph drawing) in computer science (68R10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Temporal logic (03B44)
Related Items (2)
Cites Work
This page was built for publication: Modal Expressiveness of Graph Properties