Pages that link to "Item:Q2880311"
From MaRDI portal
The following pages link to Markov's constructivism in some problems of theoretical informatics (Q2880311):
Displaying 4 items.
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Realizability semantics of the early period of Markov's constructivism (history and problems) (Q2751811) (← links)
- The theory of algorithms. Transl. from the Russian by M. Greendlinger (Q3994525) (← links)
- (Q4694211) (← links)