The following pages link to (Q5686240):
Displaying 6 items.
- Solutions principales et rang d'un système d'équations avec constantes dans le monoide libre (Q797700) (← links)
- The Church-Rosser property and special Thue systems (Q1071759) (← links)
- Une note sur le théorème de caractérisation des générateurs algébriques. (A note on the characterization theorem for context-free generators) (Q1100918) (← links)
- Makanin's algorithm is not primitive recursive (Q1127320) (← links)
- Générateurs algébriques et systèmes de paires iterantes (Q1258610) (← links)
- What Is Essential Unification? (Q3305325) (← links)
