scientific article; zbMATH DE number 3424272
From MaRDI portal
Publication:5686240
zbMath0269.20057MaRDI QIDQ5686240
No author found.
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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) ⋮ Makanin's algorithm is not primitive recursive ⋮ Makanin's algorithm for word equations-two improvements and a generalization ⋮ What Is Essential Unification? ⋮ Générateurs algébriques et systèmes de paires iterantes ⋮ Solutions principales et rang d'un système d'équations avec constantes dans le monoide libre ⋮ The Church-Rosser property and special Thue systems