| Publication | Date of Publication | Type |
|---|
On feasible numbers
Lecture Notes in Computer Science | 2023-12-12 | Paper |
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
On naturally continuous non-dcpo domains
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
\(\Delta\): set-theoretic query language capturing LOGSPACE
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
The extensional ordering of the sequential functionals
Annals of Pure and Applied Logic | 2012-03-13 | Paper |
Natural non-dcpo domains and f-spaces
Annals of Pure and Applied Logic | 2009-06-11 | Paper |
On Natural Non-dcpo Domains
Pillars of Computer Science | 2008-03-25 | Paper |
Inductive Definition and Domain Theoretic Properties of Fully Abstract
Logical Methods in Computer Science | 2007-11-15 | Paper |
Querying Hyperset/Web-Like Databases
Logic Journal of the IGPL | 2007-02-15 | Paper |
| scientific article; zbMATH DE number 2084359 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2079051 (Why is no real title available?) | 2004-07-21 | Paper |
Web-like databases, non-well-founded sets and inductive definability
Programming and Computer Software | 2001-04-26 | Paper |
| scientific article; zbMATH DE number 1507284 (Why is no real title available?) | 2000-09-14 | Paper |
Linear ordering on graphs, anti-founded sets and polynomial time computability
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1163985 (Why is no real title available?) | 1998-12-14 | Paper |
\(\Delta\)-languages for sets and LOGSPACE computable graph transformers
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1114341 (Why is no real title available?) | 1998-02-08 | Paper |
On equivalence between polynomial constructivity of Markov's principle and \(P=NP\)
Siberian Advances in Mathematics | 1996-08-19 | Paper |
| scientific article; zbMATH DE number 517086 (Why is no real title available?) | 1994-08-21 | Paper |
Hereditarily-finite sets, data bases and polynomial-time computability
Theoretical Computer Science | 1994-01-19 | Paper |
| scientific article; zbMATH DE number 218550 (Why is no real title available?) | 1993-06-29 | Paper |
The collection principle and the existential quantifier
American Mathematical Society Translations: Series 2 | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4158915 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4183402 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4128804 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4104951 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045729 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4057507 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3977009 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3741382 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3708375 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3711948 (Why is no real title available?) | 1980-01-01 | Paper |
Expressibility of functionals in D. Scott's LCF language
Algebra and Logic | 1977-01-01 | Paper |
Functionals computable in series and in parallel
Siberian Mathematical Journal | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532921 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3531367 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3518773 (Why is no real title available?) | 1975-01-01 | Paper |
