scientific article
zbMath0663.03023MaRDI QIDQ3994525
A. A. jun. Markoff, Nikolai Makarievich Nagorny
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive logicMarkov's principleconstructive analysisundecidable problemsuniversal algorithmconstructive objectsMarkov normal algorithmfinite words over an alphabet
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Constructive and recursive analysis (03F60) Undecidability and degrees of sets of sentences (03D35) 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) Automata and formal grammars in connection with logical questions (03D05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) History of computer science (68-03) Algorithms in computer science (68W99) Thue and Post systems, etc. (03D03)
Related Items (4)
This page was built for publication: