10.4230/LIPICS.CSL.2011.2
Otto, Martin
Martin
Otto
The Freedoms of Guarded Bisimulation
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2011
Article
model theory
guarded logic
bisimulation
hypergraphs
Bezem, Marc
Marc
Bezem
2011
2011-08-31
2011-08-31
2011-08-31
en
urn:nbn:de:0030-drops-32163
10.4230/LIPIcs.CSL.2011
978-3-939897-32-3
1868-8969
10.4230/LIPIcs.CSL.2011
LIPIcs, Volume 12, CSL 2011
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
2013
12
2
2
2
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Bezem, Marc
Marc
Bezem
1868-8969
Leibniz International Proceedings in Informatics (LIPIcs)
2011
12
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
1 pages
193239 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
Guarded logics have been shown to be amazingly versatile and tractable
logics since their inception by Andréka, van Benthem, Németi.
Results to be surveyed include finite and small model properties,
decidability results, complexity and expressive completeness issues,
and guarded bisimulations.
LIPIcs, Vol. 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, pages 2-2