scientific article
From MaRDI portal
Publication:3334086
zbMath0544.68041MaRDI QIDQ3334086
Takeshi Hayashi, Satoru Miyano
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nondeterminismalternationnondeterministic finite automatainfinite sequences of symbolsomega-languagealternating finite automata
Related Items (4)
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems ⋮ Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking ⋮ Unnamed Item ⋮ Automata on infinite trees
This page was built for publication: