SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Dag Normann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Dag Normann
Definability of Total Objects in PCF and Related Calculi. [Citation Graph (0, 0)][DBLP]
TLCA, 2001, pp:4-5 [Conf]
Dag Normann
Computing with functionals - computability theory or computer science? [Citation Graph (0, 0)][DBLP]
Bulletin of Symbolic Logic, 2006, v:12, n:1, pp:43-59 [Journal]
Dag Normann
The Cook-Berger problem - A guide to the solution. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
Dag Normann
The continuous functionals of finite types over the reals. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
Dag Normann
A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:73, n:, pp:141-147 [Journal]
Jean-Yves Girard, Dag Normann
Embeddability of PTYKES. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1992, v:57, n:2, pp:659-676 [Journal]
Edward R. Griffor, Dag Normann
The Definability of E(alpha). [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1984, v:49, n:2, pp:437-442 [Journal]
Johan Moldestad, Dag Normann
Models for Recursion Theory. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1976, v:41, n:4, pp:719-729 [Journal]
Dag Normann
Computability over The Partial Continuous Functionals. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 2000, v:65, n:3, pp:1133-1142 [Journal]
Dag Normann
A Continuous Functional with Noncollapsing Hierarchy. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1978, v:43, n:3, pp:487-491 [Journal]
Dag Normann
Countable Functionals and the Projective Hierarchy. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1981, v:46, n:2, pp:209-215 [Journal]
Dag Normann
Characterizing the Continuous Functionals. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1983, v:48, n:4, pp:965-969 [Journal]
Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen
Hyperfinite Type Structures. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1999, v:64, n:3, pp:1216-1242 [Journal]
Dag Normann, Stanley S. Wainer
The 1-Section of a Countable Functional. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1980, v:45, n:3, pp:549-562 [Journal]
Dag Normann
Comparing hierarchies of total functionals. [Citation Graph (0, 0)][DBLP]
Logical Methods in Computer Science, 2005, v:1, n:2, pp:- [Journal]
Dag Normann, Christian Rordam
The Computational Power of Mu^omega. [Citation Graph (0, 0)][DBLP]
Math. Log. Q., 2002, v:48, n:1, pp:117-124 [Journal]
Dag Normann
Exact real number computations relative to hereditarily total functionals. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2002, v:284, n:2, pp:437-453 [Journal]
Dag Normann
Hierarchies of total functionals over the reals. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2004, v:316, n:1, pp:137-151 [Journal]
Internal Density Theorems for Hierarchies of Continuous Functionals. [Citation Graph (, )][DBLP]
Representation theorems for transfinite computability and definability. [Citation Graph (, )][DBLP]
Continuity, proof systems and the theory of transfinite computations. [Citation Graph (, )][DBLP]
Limit spaces and transfinite types. [Citation Graph (, )][DBLP]
Closing the gap between the continuous functionals and recursion in ³E. [Citation Graph (, )][DBLP]
Hereditarily effective typestreams. [Citation Graph (, )][DBLP]
Total objects in inductively defined types. [Citation Graph (, )][DBLP]
Comparing hierarchies of total functionals [Citation Graph (, )][DBLP]
A rich hierarchy of functionals of finite types [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs

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