Schwichtenberg, Helmut, 1942-
Schwichtenberg, Helmut
Schwichtenberg, H. (Helmut), 1942-
Helmut Schwichtenberg
VIAF ID: 46861987 (Personal)
Permalink: http://viaf.org/viaf/46861987
Preferred Forms
- 100 0 _ ‡a Helmut Schwichtenberg
-
- 200 _ | ‡a Schwichtenberg ‡b Helmut ‡f 1942-....
-
-
-
- 100 1 _ ‡a Schwichtenberg, Helmut
- 100 1 _ ‡a Schwichtenberg, Helmut
-
-
- 100 1 _ ‡a Schwichtenberg, Helmut ‡d 1942-
- 100 1 _ ‡a Schwichtenberg, Helmut ‡d 1942-...
-
- 100 1 _ ‡a Schwichtenberg, Helmut, ‡d 1942-
-
-
4xx's: Alternate Name Forms (8)
5xx's: Related Names (6)
- 510 2 _ ‡a Advanced Study Institute on Proof and Computation 1993 Marktoberdorf
- 510 2 _ ‡a Ludwig-Maximilians-Universität München ‡e Affiliation
- 510 2 _ ‡a North Atlantic Treaty Organization. Scientific Affairs Division
- 551 _ _ ‡a Sagan
- 510 2 _ ‡a Universität München
- 510 2 _ ‡a Universität München
Works
Title | Sources |
---|---|
Basic proof theory | |
Certificats algébriques pour le théorème de Budan. | |
Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 – 26, 2000 : proceedings | |
Einige Anwendungen von unendlichen Termen und Wertfunktionalen | |
Handbook of constructive mathematics, 2023: | |
Klassifikation der mehrfach-rekursiven Funktionen | |
Logic and algebra of specification [proceedings of the NATO advanced study institute on logic and algebra of specification, held in Marktoberdorf, Germany, July 23-August 4, 1991] | |
Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation. | |
Proof and computation | |
Proof and system-reliability | |
Termination of rewriting in the calculus of constructions | |
Die wirtschaftlichen Voraussetzungen und Methoden der Erzeugungsschlacht |