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 |