Viggo Stoltenberg-Hansen

Available identifiers

zbMath Open stoltenberg-hansen.viggoWikidataQ6191281 ScholiaQ6191281MaRDI QIDQ688733

List of research outcomes

Publication	Date of Publication	Type
Stability for Effective Algebras	2013-05-03	Paper
Stability of representations of effective partial algebras	2011-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q3510919	2008-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q5384974	2008-04-29	Paper
Two categories of effective continuous cpos	2006-12-07	Paper
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras	2005-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4823131	2004-10-26	Paper
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.	2002-07-31	Paper
Effective domains and concrete computability: A survey	2002-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4934287	2000-09-20	Paper
Hyperfinite type structures	2000-06-22	Paper
Concrete models of computation for topological algebras	1999-06-21	Paper
Representability of locally compact regular spaces by domains and formal spaces	1998-07-22	Paper
A logical presentation of the continuous functionals	1998-02-02	Paper
Remarks on Martin-Löf's partial type theory	1993-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4023580	1993-01-23	Paper
Algebraic and fixed point equations over inverse limits of algebras	1992-06-26	Paper
Domain interpretations of Martin-Löf's partial type theory	1990-01-01	Paper
Complete local rings as domains	1988-01-01	Paper
Poincaré-Betti Series are Primitive Recursive	1985-01-01	Paper
Finite alogorithmic procedures and computation theories.	1980-01-01	Paper
Computing Roots of Unity in Fields	1980-01-01	Paper
On computational complexity in weakly admissible structures	1980-01-01	Paper
Finite alogorithmic procedures and inductive definability.	1980-01-01	Paper
Finite injury arguments in infinite computation theories	1979-01-01	Paper

Research outcomes over time

This page was built for person: Viggo Stoltenberg-Hansen