scientific article
From MaRDI portal
Publication:3356287
zbMath0731.03007MaRDI QIDQ3356287
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Büchi automatainfinite trees\(\omega \) -relation\(\omega \) -wordsRabin tree automatonrestricted second-order logic over treesverification of finite-state programsweak chain logic
Combinatorics on words (68R15) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective ⋮ Definability and decidability of binary predicates for time granularity
This page was built for publication:
