A unified approach for showing language inclusion and equivalence between various types of ω-automata
- 26 July 1993
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 46 (6) , 301-308
- https://doi.org/10.1016/0020-0190(93)90069-l
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Automata on infinite objects and their applications to logic and programmingInformation and Computation, 1989
- Complementing deterministic Büchi automata in polynomial timeJournal of Computer and System Sciences, 1987
- Temporal logic can be more expressiveInformation and Control, 1983
- Propositional dynamic logic of looping and converse is elementarily decidableInformation and Control, 1982