×

Found 4 Documents (Results 1–4)

Weak MSO: automata and expressiveness modulo bisimilarity. (English) Zbl 1401.03065

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 27, 10 p. (2014).
MSC:  03D05 03B15 03B45 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus. (English) Zbl 1366.03186

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 478-487 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field