Branching-time temporal logic and tree automata
From MaRDI portal
Publication:1917081
DOI10.1006/inco.1996.0021zbMath0853.68133MaRDI QIDQ1917081
Publication date: 12 December 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0021
68Q45: Formal languages and automata
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
Related Items