V. D. Solov'ev

Available identifiers

zbMath Open solovev.v-dWikidataQ4428013 ScholiaQ4428013MaRDI QIDQ483693

List of research outcomes

Publication	Date of Publication	Type
Mathematical knowledge representation: semantic models and formalisms	2015-03-17	Paper
Methods and means for semantic structuring of electronic mathematical documents	2014-12-17	Paper
The completeness problem in the class of polynomials is resolvable	2005-02-14	Paper
Initial segments of effectively finite orders	1999-07-06	Paper
Program algebras of recursive functions	1997-07-09	Paper
Statistical estimation of the structure of a finite population	1997-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4715914	1996-11-19	Paper
On a family of precomplete classes of recursive functions and predicates	1996-08-21	Paper
Computability by nondeterministic program and the Moschovakis search computability	1996-05-27	Paper
The completeness problem in algebras of recursive functions with additional means of closure	1996-01-03	Paper
Structure of program-closed classes of many-placed functions and predicates	1996-01-03	Paper
Program-closed classes of general recursive functions and predicates of finite rank	1995-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3980817	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4713914	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3035269	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3035270	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3480021	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3480022	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787999	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4729319	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3332247	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3219101	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3665085	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4749829	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198491	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133617	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4117825	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4119186	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4073365	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: V. D. Solov'ev