Hochschulschrift
Independence proofs in arithmetic theories with very weak induction
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
69 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.;
Zugleich: Bonn, Univ., Math.-Naturwiss. Fak., Diss. 1972
- Erschienen in
-
Bonner mathematische Schriften ; Nr. 61
- Schlagwort
-
Arithmetik
Induktion
Arithmetik
Induktion
- Ereignis
-
Veröffentlichung
- (wo)
-
Bonn
- (wer)
-
Math. Inst. d. Univ. Bonn
- (wann)
-
1973
- Urheber
-
Garro, Ibrahim
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Garro, Ibrahim
- Math. Inst. d. Univ. Bonn
Entstanden
- 1973
Ähnliche Objekte (12)
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
Generic induction proofs
Order Independence for Iterated Weak Dominance
Order Independence for Iterated Weak Dominance
Existence proofs by induction using methods of program synthesis
An investigation of formula generalization heuristics for induction proofs
Program extraction from coinductive proofs and its application to exact real arithmetic
Encoding induction in correctness proofs of program transformations as a termination problem
Reusing Proofs
Arithmetic
Arithmetic
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
Generic induction proofs
Order Independence for Iterated Weak Dominance
Order Independence for Iterated Weak Dominance
Existence proofs by induction using methods of program synthesis
An investigation of formula generalization heuristics for induction proofs
Program extraction from coinductive proofs and its application to exact real arithmetic
Encoding induction in correctness proofs of program transformations as a termination problem
Reusing Proofs
Arithmetic
Arithmetic
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
Generic induction proofs
Order Independence for Iterated Weak Dominance
Order Independence for Iterated Weak Dominance
Existence proofs by induction using methods of program synthesis
An investigation of formula generalization heuristics for induction proofs
Program extraction from coinductive proofs and its application to exact real arithmetic
Encoding induction in correctness proofs of program transformations as a termination problem
Reusing Proofs
Arithmetic