Schwichtenberg, Helmut, 1942-
Schwichtenberg, Helmut
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Schwichtenberg, H. (Helmut), 1942-
Helmut Schwichtenberg
VIAF ID: 46861987 (Personal)
Permalink: http://viaf.org/viaf/46861987
Preferred Forms
-
100 0 _
‡a
Helmut Schwichtenberg
-
200 _ 1 ‡a Schwichtenberg ‡b Helmut ‡f 1942-
-
200 _ |
‡a
Schwichtenberg
‡b
Helmut
‡f
1942-....
-
100 1 _ ‡a Schwichtenberg, H. ‡q (Helmut), ‡d 1942-
-
100 1 _
‡a
Schwichtenberg, Helmut
-
100 1 _ ‡a Schwichtenberg, Helmut
-
100 1 _ ‡a Schwichtenberg, Helmut
-
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-...
-
100 1 _ ‡a Schwichtenberg, Helmut, ‡d 1942-
-
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 |
|
