scientific article; zbMATH DE number 3866588
From MaRDI portal
Publication:3334086
zbMATH Open0544.68041MaRDI QIDQ3334086FDOQ3334086
Authors: Satoru Miyano, Takeshi Hayashi 
Publication date: 1984
Title of this publication is not available (Why is that?)
nondeterminismnondeterministic finite automataalternationinfinite sequences of symbolsomega-languagealternating finite automata
Cited In (7)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
- Automata on infinite trees
- An alternating hierarchy for finite automata
- Alternating finite automata on \(\omega\)-words
- Alternating finite automata and star-free languages
- VLDL satisfiability and model checking via tree automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334086)
