Modal μ-Calculus and Alternating Tree Automata

DOI10.1007/3-540-36387-4_10zbMath1021.03020OpenAlexW2176738076MaRDI QIDQ4412833

Júlia Zappe

Publication date: 16 July 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-36387-4_10

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Causality-based game solving

This page was built for publication: Modal μ-Calculus and Alternating Tree Automata