Q3994525
type: Item
instance of: scholarly article
zbMATH Open document ID: 0663.03023
author: A. A. jun. Markoff
author: N. M. Nagornyj
publication date: 1992-09-17T00:00:00Z
Mathematics Subject Classification ID: 03D03
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68-01
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 68-03
zbMATH DE Number: 41324
zbMATH Keywords: constructive objects
zbMATH Keywords: constructive logic
zbMATH Keywords: finite words over an alphabet
zbMATH Keywords: Markov normal algorithm
zbMATH Keywords: universal algorithm
zbMATH Keywords: undecidable problems
zbMATH Keywords: constructive analysis
zbMATH Keywords: Markov's principle
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 41324