Author Search Results

Dag Normann

Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the University of Oslo. His research focuses on computability theory with an emphasis on mathematical models for typed algorithms and applications of the foundations of mathematics. Provided by Wikipedia

Logic, Construction, Computation / / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.

Participants: Aschieri, Federico, [ MitwirkendeR, MitwirkendeR ]; Berardi, Stefano, [ MitwirkendeR, MitwirkendeR ]; Berardi, Stefano, [ MitwirkendeR ]; Berger, Ulrich, [ MitwirkendeR, MitwirkendeR, HerausgeberIn, HerausgeberIn ]; Berger, Ulrich, [ MitwirkendeR, HerausgeberIn, HerausgeberIn ]; ...
Published: [2013]
Superior document: Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1

Other Authors: “...Normann, Dag,...”

Links: Get full text; Get full text; Cover

Symposia Gaussiana : : Proceedings of the 2nd Gauss Symposium, August 2-7, 1993, Munich. / Conference A, : Mathematics and Theoretical Physics / / ed. by Minaketan Behara, Rubens G. Lintz, Rudolf Fritsch.

Participants: Albu, Toma, [ MitwirkendeR, MitwirkendeR ]; Arenas, Angela, [ MitwirkendeR, MitwirkendeR ]; Arenas, Angela, [ MitwirkendeR ]; Behara, Minaketan, [ HerausgeberIn, HerausgeberIn ]; Behara, Minaketan, [ HerausgeberIn ]; ...
Published: [2011]
Superior document: Title is part of eBook package: De Gruyter DGBA Mathematics - 1990 - 1999

Other Authors: “...Normann, Dag,...”

Links: Get full text; Get full text; Cover