×

zbMATH — the first resource for mathematics

Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of Büchi inclusions. (English) Zbl 1401.68193
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 377-386 (2016).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
03B45 Modal logic (including the logic of norms)
03B70 Logic in computer science
03D05 Automata and formal grammars in connection with logical questions
03F07 Structure of proofs
PDF BibTeX XML Cite
Full Text: DOI