An Analogue of the Myhill-Nerode Theorem and Its Use in Computing Finite-Basis Characterizations (Extended Abstract)

Michael R. Fellows, Michael A. Langston

Browse the full FOCS paper archive.