ω-Regular languages are testable with a constant number of queries

Article OPEN
Chockler, Hana; Kupferman, Orna;
(2004)
Share - Bookmark