scientific article; zbMATH DE number 3966050

MaRDI QIDQ3734381zbMATH OpenFDO

Authors A. A. jun. Markoff, N. M. Nagornyj

Publication date 1984

zbMATH Keywords

alphabetsconstructive analysisformal languagesMarkov algorithmnormal algorithmsrecursive real numbersrecursive unsolvability of the word problem for semigroups

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Thue and Post systems, etc. (03D03) Automata and formal grammars in connection with logical questions (03D05) Metamathematics of constructive systems (03F50) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03) Algorithms in computer science (68W99)

Recommendations

• scientific article; zbMATH DE number 41324
• Markov's constructivism in some problems of theoretical informatics
• The Constructive Mathematics of A. A. Markov
• scientific article; zbMATH DE number 3074851
• scientific article; zbMATH DE number 826822

Cited in

(6)

• Monads for the formalization of a pattern matching procedure
• Algorithmic Pirogov-Sinai theory
• Constructive-synthesizing structures and their grammatical interpretations. I. Generalized formal constructive-synthesizing structure
• Markov's constructivism in some problems of theoretical informatics
• scientific article; zbMATH DE number 3934393 (Why is no real title available?)
• scientific article; zbMATH DE number 41324 (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 Q3734381)