Person
ISNI: 
0000 0001 0896 1082
https://isni.org/isni/0000000108961082
Name: 
Helmut Schwichtenberg
Helmut Schwichtenberg (deutscher mathematischer Logiker)
Helmut Schwichtenberg (Duits wiskundige)
Helmut Schwichtenberg (German mathematician and computer scientist)
Schwichtenberg, H.
Schwichtenberg, Helmut
Dates: 
1942-
Creation class: 
Computer file
Language material
Creation role: 
author
creator
editor
redactor
Related names: 
Advanced Study Institute on Proof and Computation 1993 Marktoberdorf
Bauer, Friedrich L.
Berger, Ulrich
Berger, Ulrich (1956-...)
Brauer, Wilfried
Clote, Peter
Clote, Peter G.
North Atlantic Treaty Organization. Scientific Affairs Division
Schwichtenberg, Helmut
Spies, Katharina
Steinbrüggen, Ralf
Troelstra, A. S.
Troelstra, Anne Sjerp
Universität München Affiliation (see also from)
Wainer, S. S.
Wainer, Stanley S.
Titles: 
Basic proof theory
Certificats algébriques pour le théorème de Budan.
Computational logic : proceedings of a Nato Advanced Study Institute ... held in Marktoberdorf, Germany, 29 July - 10 August 1997
Einige Anwendungen von unendlichen Termen und Wertfunktionalen
Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectia (monotone) légère ; sous la direction de Jean-Pierre Jouannaud et de Helmut Schwichrenberg. Thèse, Palaiseau (Essonne), 2006
Klassifikation der mehrfach-rekursiven Funktionen
Logic and algebra of specification : proceedings of the Nato Study Institute ... held in Marktoberdorf, Germany, 23 July - 4 August 1991
Logic of computation : proceedings of the Nato Advanced Study Institute ... held in Marktoverdorf, Germany, 25 July - 6 August 1995
Logic of computation [proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25 - August 6, 1995]
Proof and computation : proceedings of a Nato Advanced Study Institute ... held in Marktoberdorf, Germany, 20 July - 1 August 1993
Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]
Proof and system-reliability : proceedings of the NATO Advanced Study Institute on ..., Marktoberdorf, Germany, 24 July-5 August 2001
Proof technology and computation
wirtschaftlichen Voraussetzungen und Methoden der Erzeugungsschlacht., Die
Notes: 
Sources: 
VIAF BNC DNB NKC NSK NUKAT SUDOC WKD
NLN
NTA