PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Stoltenberg-Hansen, Viggo"

Author of the publication

copydeleteadd this publication to your clipboard
Mathematical theory of domains.

, , and . Cambridge tracts in theoretical computer science Cambridge University Press, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

apl. Prof. Dr. -Ing. Niels Hansen University of Stuttgart

 

Other publications of authors with the same name

Complete Local Rings as Domains., and . J. Symb. Log., 53 (2): 603-624 (1988)Domain representations of partial functions, with applications to spatial objects and constructive volume geometry., , and . Theor. Comput. Sci., 284 (2): 207-240 (2002)Computable and continuous partial homomorphisms on metric partial algebras., and . Bulletin of Symbolic Logic, 9 (3): 299-334 (2003)Domain Interpretations of Martin-Löf's Partial Type Theory., and . Ann. Pure Appl. Logic, 48 (2): 135-196 (1990)Hyperfinite Type Structures., , and . J. Symb. Log., 64 (3): 1216-1242 (1999)Representability of Locally Compact Regular Spaces by Domains and Formal Spaces., and . Theor. Comput. Sci., 179 (1-2): 319-331 (1997)Concrete Models of Computation for Topological Algebras., and . Theor. Comput. Sci., 219 (1-2): 347-378 (1999)Mathematical theory of domains., , and . Cambridge tracts in theoretical computer science Cambridge University Press, (1994)Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms., and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 531-562. Springer, (1992)Streams, Stream Transformers and Domain Representations., , and . Prospects for Hardware Foundations, volume 1546 of Lecture Notes in Computer Science, page 27-68. Springer, (1998)