Saturating right congruences
Open Access
- 1 January 1990
- journal article
- Published by EDP Sciences in RAIRO - Theoretical Informatics and Applications
- Vol. 24 (6) , 545-559
- https://doi.org/10.1051/ita/1990240605451
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Deterministic and non ambiguous rational ω-languagesLecture Notes in Computer Science, 1985
- Decision problems forω-automataTheory of Computing Systems, 1969
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966