Kahle, Reinhard, 1967-....
Kahle, Reinhard
Reinhard Kahle
VIAF ID: 85624900 (Personal)
Permalink: http://viaf.org/viaf/85624900
Preferred Forms
-
- 100 1 _ ‡a Kahle, Reinhard
-
- 100 1 _ ‡a Kahle, Reinhard
-
- 100 1 _ ‡a Kahle, Reinhard ‡d 1967-
- 100 1 _ ‡a Kahle, Reinhard ‡d 1967-
- 100 1 _ ‡a Kahle, Reinhard, ‡d 1967-
-
-
-
-
-
- 100 1 _ ‡a Kahle, Reinhard, ‡d 1967-....
-
- 100 0 _ ‡a Reinhard Kahle
4xx's: Alternate Name Forms (8)
5xx's: Related Names (3)
- 510 2 _ ‡a Eberhard Karls Universität Tübingen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Lissabon ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Universidade Nova de Lisboa ‡b Departamento de Matematica ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Advances in Proof Theory | |
The applicative realm | |
Axiomatic thinking. | |
comparative study of disjunctive well-founded semantics | |
Computabilidade e complexidade | |
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings | |
Gentzen's centenary : the quest for consistency | |
Grenzen der KI – theoretisch, praktisch, ethisch | |
Intensionality | |
The Legacy of Kurt Schütte | |
Limits of AI - theoretical, practical, ethical | |
On notions of provability | |
Ordinals, computations, and models of set theory two tutorials | |
Paul Bernays (1888-1977) | |
Paul Bernays eine Schlüsselfigur der Logik und Grundlagen der Mathematik | |
Proof interpretations | |
Proof-theoretic semantics | |
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings | |
PTCS 2001 | |
Verantwortung : ein Begriff in seiner Aktualität. |