Dieter Spreen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1987–2010
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CiE | Every D | Dieter Spreen |
| 2000 | LPAR | A New Model Construction for the Polymorphic Lambda Calculus. | Dieter Spreen |
| 1992 | LFCS | Effective Operators and Continuity Revisited. | Dieter Spreen |
| 1987 | CSL | On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations. | Dieter Spreen |
| 1987 | MFPS | Computable One-to-one Enumerations of Effective Domains. | Dieter Spreen |