| Publication | Date of Publication | Type |
|---|
Mathematical knowledge representation: semantic models and formalisms
Lobachevskii Journal of Mathematics | 2015-03-17 | Paper |
Methods and means for semantic structuring of electronic mathematical documents
Doklady Mathematics | 2014-12-17 | Paper |
The completeness problem in the class of polynomials is resolvable
Russian Mathematics | 2005-02-14 | Paper |
Initial segments of effectively finite orders
Mathematical Notes | 1999-07-06 | Paper |
Program algebras of recursive functions
Russian Mathematical Surveys | 1997-07-09 | Paper |
Statistical estimation of the structure of a finite population
Discrete Mathematics and Applications | 1997-03-23 | Paper |
| scientific article; zbMATH DE number 947381 (Why is no real title available?) | 1996-11-19 | Paper |
On a family of precomplete classes of recursive functions and predicates
Russian Mathematics | 1996-08-21 | Paper |
Computability by nondeterministic program and the Moschovakis search computability
Mathematical Notes | 1996-05-27 | Paper |
The completeness problem in algebras of recursive functions with additional means of closure
Russian Mathematics | 1996-01-03 | Paper |
Structure of program-closed classes of many-placed functions and predicates
Russian Mathematics | 1996-01-03 | Paper |
Program-closed classes of general recursive functions and predicates of finite rank
Russian Mathematics | 1995-12-14 | Paper |
| scientific article; zbMATH DE number 23020 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 6905 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4134025 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4134026 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4150130 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4150131 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4051602 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4113953 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3864500 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3885301 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3817683 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3805533 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3639604 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3557768 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3544021 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3542419 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3490960 (Why is no real title available?) | 1974-01-01 | Paper |
