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
The collection principle and the existential quantifier	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3487614	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5749285	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207895	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829550	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/Q4109649	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4108313	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4096924	1975-01-01	Paper

Research outcomes over time

This page was built for person: Vladimir Yu. Sazonov