The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Dag Normann
    Definability of Total Objects in PCF and Related Calculi. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:4-5 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Dag Normann
    Characterizing the Continuous Functionals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:4, pp:965-969 [Journal]
  13. 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]
  14. 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]
  15. Dag Normann
    Comparing hierarchies of total functionals. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:2, pp:- [Journal]
  16. Dag Normann, Christian Rordam
    The Computational Power of Muomega. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:117-124 [Journal]
  17. 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]
  18. 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]

  19. Internal Density Theorems for Hierarchies of Continuous Functionals. [Citation Graph (, )][DBLP]


  20. Representation theorems for transfinite computability and definability. [Citation Graph (, )][DBLP]


  21. Continuity, proof systems and the theory of transfinite computations. [Citation Graph (, )][DBLP]


  22. Limit spaces and transfinite types. [Citation Graph (, )][DBLP]


  23. Closing the gap between the continuous functionals and recursion in 3E. [Citation Graph (, )][DBLP]


  24. Hereditarily effective typestreams. [Citation Graph (, )][DBLP]


  25. Total objects in inductively defined types. [Citation Graph (, )][DBLP]


  26. Comparing hierarchies of total functionals [Citation Graph (, )][DBLP]


  27. A rich hierarchy of functionals of finite types [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.030secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002