scientific article; zbMATH DE number 3092551
From MaRDI portal
Publication:5831318
zbMATH Open0058.00501MaRDI QIDQ5831318FDOQ5831318
Authors: A. A. jun. Markoff 
Publication date: 1954
Full work available at URL: http://mathnet.ru/eng/book1079
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Thue and Post systems, etc. (03D03) Algorithms in computer science (68W99)
Cited In (14)
- Management and decisions in the structures of human activities
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
- Unification theory
- Algorithme quadratique de calcul de la solution générale d'équations en mots à une variable
- Title not available (Why is that?)
- On equality up-to constraints over finite trees, context unification, and one-step rewriting
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- On some algorithmic problems for groups and monoids
- Choice sequences and the continuum
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories
- Title not available (Why is that?)
- Algorithmic Pirogov-Sinai theory
- Equations on partial words
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5831318)
