The following pages link to (Q3907107):
Displaying 10 items.
- On the regular structure of prefix rewriting (Q685354) (← links)
- Denotational semantics of CSP (Q801677) (← links)
- A characterisation of deterministic context-free languages by means of right-congruences (Q913524) (← links)
- On the centers of a language (Q1054162) (← links)
- Bicentres de langages algébriques (Q1055201) (← links)
- Infinite-word languages and continuous mappings (Q1082087) (← links)
- Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- On infinite transition graphs having a decidable monadic theory (Q1853615) (← links)
- (Q4742318) (← links)