Dieter Spreen, Hans Stahl On the Power of Single-Valued Nondeterministic Polynomial Time Computations. [Citation Graph (0, 0)][DBLP] Computation Theory and Logic, 1987, pp:403-414 [Conf]
Dieter Spreen On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations. [Citation Graph (0, 0)][DBLP] CSL, 1987, pp:289-303 [Conf]
Dieter Spreen Effective Inseparability in a Topological Setting. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:80, n:3, pp:257-275 [Journal]
Dieter Spreen On the Equivalence Problem in Automata Theory: A Uniform Approach. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1988, v:24, n:1/2, pp:31-50 [Journal]
Dieter Spreen The largest Cartesian closed category of domains, considered constructively. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:299-321 [Journal]
Dieter Spreen Representations versus numberings: on the relationship of two computability notions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:262, n:1, pp:473-499 [Journal]
Dieter Spreen Corrigendum to "On functions preserving levels of approximation: a refined model construction for various lambda calculi". [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:266, n:1-2, pp:997-998 [Journal]
Dieter Spreen On Functions Preserving Levels of Approximation: A Refined Model Construction for Various lambda Calculi. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:212, n:1-2, pp:261-303 [Journal]
Every D02\Delta^0_2-Set Is Natural, Up to Turing Equivalence. [Citation Graph (, )][DBLP]
06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. [Citation Graph (, )][DBLP]
On the Continuity of Effective Multifunctions. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.305secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP