The following pages link to Algebraic Myhill-Nerode theorems (Q620959):
Displaying 8 items.
- Quasitriangular structure of Myhill-Nerode bialgebras (Q398523) (← links)
- A generalization of Myhill-Nerode theorem for fuzzy languages (Q679811) (← links)
- Myhill-Nerode type theory for fuzzy languages and automata (Q969583) (← links)
- Néron's pairing and relative algebraic equivalence (Q1932510) (← links)
- A formalisation of the Myhill-Nerode theorem based on regular expressions (Q2351151) (← links)
- Notes on the algebraic version of the Hille-Yosida-Feller-Phillips-Miyadera theorem (Q2747325) (← links)
- (Q3798270) (← links)
- (Q4466640) (← links)