Ogawa M.; Selivanov V.
(2019)
© 2019, IFIP International Federation for Information Processing. We study relationships of monotone well quasiorders to regular languages and ω-languages, concentrating on decidability of the lattices of upper sets on ...