dblp.uni-trier.dewww.uni-trier.de

Viggo Stoltenberg-Hansen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jens Blanck [10] [13] [16]
2Göran Hamrin [15]
3Dag Normann [12]
4Erik Palmgren [3] [5] [7] [9] [12]
5Inger Sigstam [8]
6J. V. Tucker (John V. Tucker) [2] [4] [6] [10] [11] [13] [14] [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)