|
Search the dblp DataBase
Viggo Stoltenberg-Hansen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Erik Palmgren, Viggo Stoltenberg-Hansen
Logically Presented Domains [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:455-463 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Stability for Effective Algebras. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|