scientific article
From MaRDI portal
Publication:3998008
zbMath0741.03018MaRDI QIDQ3998008
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logictemporal logicBüchi automatainfinite treesdeterministic automatamonadic logicprogramming logic
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Fixed point characterization of infinite behavior of finite-state systems ⋮ Generalized automata on infinite trees and Muller-McNaughton's theorem
This page was built for publication:
