Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Spreen, Dieter - Fachbereich Mathematik, Universität Siegen
2-Set is Natural, up to Turing Equivalence
Effectivity and Effective Continuity of Multifunctions Dieter Spreen
On Some Problems in Computable Topology Dieter Spreen
Domains with Approximation Structure and Their Canonical Quasi-Metrics
An Effective Stable Domain Model of the Calculus of Construction Extended by Strong Sums and Recursive
A Strongly Effective Domain Model for the Calculus of Constructions
Representing L-Domains as Information Systems Dieter Spreen
Information Systems Revisited: The General Continuous Dieter Spreen
Domains under bitopological glasses Dieter Spreen
Finitely Generated Rank-Ordered Sets as a Model for Type: Dieter Spreen
Schriften zur Theoretischen Informatik Fachbereich Mathematik
An Intrinsic Characterisation of Effective Dieter Spreen
On Some Constructions in Quantitative Domain Theory (Extended Abstract)
Effectivity and Effective Continuity of Multifunctions
Submitted to Topology Proceedings
Effectively Given Spaces, Domains, and Formal Dieter Spreen
Solving Domain Equations in the Category of Effectively Given Topological Spaces
On the expressive power of existential quantification in polynomial-time computability
A Refined Model Construction for the Polymorphic Lambda Calculus
