scientific article; zbMATH DE number 3092551
From MaRDI portal
Publication:5831318
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
- scientific article; zbMATH DE number 3934393 (Why is no real title available?)
- Algorithme quadratique de calcul de la solution générale d'équations en mots à une variable
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- On equality up-to constraints over finite trees, context unification, and one-step rewriting
- On some algorithmic problems for groups and monoids
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories
- Choice sequences and the continuum
- Algorithmic Pirogov-Sinai theory
- scientific article; zbMATH DE number 3950421 (Why is no real title available?)
- Equations on partial words
- scientific article; zbMATH DE number 711994 (Why is no real title available?)
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)
