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/Q4119186	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4117825	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4073365	1974-01-01	Paper

Research outcomes over time

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