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
https://portal.mardi4nfdi.de/entity/Q2752055	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
On computational complexity in weakly admissible structures	1980-01-01	Paper
Computing Roots of Unity in Fields	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Viggo Stoltenberg-Hansen