scientific article; zbMATH DE number 3092551
From MaRDI portal
Publication:5831318
zbMath0058.00501MaRDI QIDQ5831318
Publication date: 1954
Full work available at URL: http://mathnet.ru/eng/book1079
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Algorithms in computer science (68W99) Thue and Post systems, etc. (03D03)
Related Items
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, On some algorithmic problems for groups and monoids, On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups, Foundations for the formalization of metamathematics and axiomatizations of consequence theories, Unification theory, Algorithme quadratique de calcul de la solution générale d'équations en mots à une variable, Equations on partial words, Unnamed Item, On equality up-to constraints over finite trees, context unification, and one-step rewriting
