The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Viggo Stoltenberg-Hansen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erik Palmgren, Viggo Stoltenberg-Hansen
    Logically Presented Domains [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:455-463 [Conf]
  2. Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker
    Streams, Stream Transformers and Domain Representations. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:27-68 [Conf]
  3. Viggo Stoltenberg-Hansen, J. V. Tucker
    Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:531-562 [Conf]
  4. Erik Palmgren, Viggo Stoltenberg-Hansen
    Domain Interpretations of Martin-Löf's Partial Type Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:48, n:2, pp:135-196 [Journal]
  5. Erik Palmgren, Viggo Stoltenberg-Hansen
    Remarks on Martin-Löf's Partial Type Theory. [Citation Graph (0, 0)][DBLP]
    BIT, 1992, v:32, n:1, pp:70-83 [Journal]
  6. Viggo Stoltenberg-Hansen, J. V. Tucker
    Computable and continuous partial homomorphisms on metric partial algebras. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2003, v:9, n:3, pp:299-334 [Journal]
  7. 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]
  8. Erik Palmgren, Viggo Stoltenberg-Hansen
    A Logical Presentation of the Continuous Functionals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:3, pp:1021-1034 [Journal]
  9. Viggo Stoltenberg-Hansen
    On Computational Complexity in Weakly Admissible Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:353-358 [Journal]
  10. Viggo Stoltenberg-Hansen, J. V. Tucker
    Complete Local Rings as Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:603-624 [Journal]
  11. Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker
    Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:284, n:2, pp:207-240 [Journal]
  12. Göran Hamrin, Viggo Stoltenberg-Hansen
    Two categories of effective continuous cpos. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:3, pp:216-236 [Journal]
  13. Inger Sigstam, Viggo Stoltenberg-Hansen
    Representability of Locally Compact Regular Spaces by Domains and Formal Spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:179, n:1-2, pp:319-331 [Journal]
  14. Viggo Stoltenberg-Hansen, J. V. Tucker
    Algebraic and Fixed Point Equations over Inverse Limits of Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:1-24 [Journal]
  15. Viggo Stoltenberg-Hansen, J. V. Tucker
    Concrete Models of Computation for Topological Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:219, n:1-2, pp:347-378 [Journal]

  16. Stability for Effective Algebras. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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