Vladimir Yu. Sazonov

Available identifiers

zbMath Open sazonov.vladimir-yuMaRDI QIDQ1311972

List of research outcomes

Publication	Date of Publication	Type
On feasible numbers	2023-12-12	Paper
Boris Abramovich Trakhtenbrot	2022-05-09	Paper
On naturally continuous non-dcpo domains	2017-11-22	Paper
\(\Delta\): set-theoretic query language capturing LOGSPACE	2015-06-17	Paper
The extensional ordering of the sequential functionals	2012-03-13	Paper
Natural non-dcpo domains and f-spaces	2009-06-11	Paper
On Natural Non-dcpo Domains	2008-03-25	Paper
Inductive Definition and Domain Theoretic Properties of Fully Abstract	2007-11-15	Paper
Querying Hyperset/Web-Like Databases	2007-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4475097	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4474864	2004-07-21	Paper
Web-like databases, non-well-founded sets and inductive definability	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4504009	2000-09-14	Paper
Linear ordering on graphs, anti-founded sets and polynomial time computability	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4395612	1998-12-14	Paper
\(\Delta\)-languages for sets and LOGSPACE computable graph transformers	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4376058	1998-02-08	Paper
On equivalence between polynomial constructivity of Markov's principle and \(P=NP\)	1996-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4282616	1994-08-21	Paper
Hereditarily-finite sets, data bases and polynomial-time computability	1994-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4694254	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3487614	1989-01-01	Paper
The collection principle and the existential quantifier	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5749285	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829550	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207895	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783282	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792681	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3743313	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3927239	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3900044	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902993	1980-01-01	Paper
Expressibility of functionals in D. Scott's LCF language	1977-01-01	Paper
Functionals computable in series and in parallel	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4108313	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109649	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4096924	1975-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: Vladimir Yu. Sazonov