On the public citation graph
Theory of domains and nearby
0 signed · 44 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf02219840openalex-snapshot
Strongly constructive models and numerations of the Boolean algebra of recursive sets
inferredcites →https://doi.org/10.1007/bfb0012801openalex-snapshot
Domains for denotational semantics
inferredcites →https://doi.org/10.1016/0378-4754(85)90017-5openalex-snapshot
Information processing '83
inferredcites →https://doi.org/10.1016/s0049-237x(09)70356-8openalex-snapshot
Models for Various Type-Free Calculi
inferredcites →https://doi.org/10.1016/s0049-237x(09)70439-2openalex-snapshot
Model of Partial Continuous Functionals
inferredcites →https://doi.org/10.4135/9781483346274.n148openalex-snapshot
Human Information Processing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.200310126openalex-snapshot
Hierarchies inφ‐spaces and applications
inferred← citeshttps://doi.org/10.1007/978-3-030-53829-3_5openalex-snapshot
Approximation Spaces of Temporal Processes and Effectiveness of Interval Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-21780-7_5openalex-snapshot
Generalized Computable Models and Montague Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-40189-8_31openalex-snapshot
On the Lattices of Effectively Open Sets
inferred← citeshttps://doi.org/10.1007/978-3-642-39053-1_46openalex-snapshot
On Processes and Structures
inferred← citeshttps://doi.org/10.1007/978-94-017-0487-8_26openalex-snapshot
Mathematical Logic in the Former Soviet Union: Brief History and Current Trends
inferred← citeshttps://doi.org/10.1007/s00233-008-9078-0openalex-snapshot
Topological cones: functional analysis in a T0-setting
inferred← citeshttps://doi.org/10.1007/s10469-005-0030-zopenalex-snapshot
A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models
inferred← citeshttps://doi.org/10.1007/s10469-007-0040-0openalex-snapshot
Freedom from the interpolation property for tense calculi associated with Ershov spaces
inferred← citeshttps://doi.org/10.1007/s10469-008-9032-yopenalex-snapshot
Temporal logic of linearly ordered α-spaces
inferred← citeshttps://doi.org/10.1007/s10469-017-9421-1openalex-snapshot
Generalized Hyperarithmetical Computability Over Structures
inferred← citeshttps://doi.org/10.1007/s11202-008-0014-zopenalex-snapshot
Absence of the interpolation property in the calculi Lα and Lf
inferred← citeshttps://doi.org/10.1016/j.apal.2008.06.019openalex-snapshot
D -completions and the d -topology
inferred← citeshttps://doi.org/10.1016/j.apal.2008.07.007openalex-snapshot
On the classification of (effective) φ -spaces
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.06.042openalex-snapshot
Variations on Wadge Reducibility Extended Abstract
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.12.022openalex-snapshot
On the Difference Hierarchy in Countably Based T0-Spaces
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.086openalex-snapshot
Extending Algebraic Operations to D-Completions
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.07.053openalex-snapshot
Towards a descriptive set theory for domain-like structures
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.06.031openalex-snapshot
Fine hierarchies and m-reducibilities in theoretical computer science
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.02.015openalex-snapshot
Extending algebraic operations to D -completions
inferred← citeshttps://doi.org/10.1016/j.tcs.2022.12.016openalex-snapshot
Descriptive complexity of qcb0 -spaces
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00167-3openalex-snapshot
The bounded-complete hull of an α-space
inferred← citeshttps://doi.org/10.1023/b:allo.0000035115.44324.5dopenalex-snapshot
Difference Hierarchy in ϕ-Spaces
inferred← citeshttps://doi.org/10.1134/s0037446621040157openalex-snapshot
Interval Extensions of Orders and Temporal Approximation Spaces
inferred← citeshttps://doi.org/10.1134/s0037446626010180openalex-snapshot
Properties of Function Spaces
inferred← citeshttps://doi.org/10.1134/s1995080220020146openalex-snapshot
On Degree Spectra of Topological Spaces
inferred← citeshttps://doi.org/10.1134/s1995080225606149openalex-snapshot
To the Theory of $$\mathsf{H}$$-Sober Spaces: II. Approximation Spaces
inferred← citeshttps://doi.org/10.23638/lmcs-13(3:16)2017openalex-snapshot
First Order Theories of Some Lattices of Open Sets
inferred← citeshttps://doi.org/10.26907/2949-3919.2024.2.70-83openalex-snapshot
To the theory of H-sober spaces. II
inferred← citeshttps://doi.org/10.3103/s1055134410030016openalex-snapshot
Topological objects in the category EQU
inferred← citeshttps://doi.org/10.3233/com-230442openalex-snapshot
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
inferred← citeshttps://doi.org/10.33048/smzh.2021.62.415openalex-snapshot
Интервальные расширения порядков и темпоральные аппроксимационные пространства
inferred← citeshttps://doi.org/10.3934/math.2022891openalex-snapshot
The Cartesian closedness of c-spaces
inferred← citeshttps://doi.org/10.4213/rm354openalex-snapshot
Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)
inferred← citeshttps://doi.org/10.46298/entics.10362openalex-snapshot
A note on the category of c-spaces
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.