- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
69 Seiten
- Ausgabe
-
Als Manuskript gedruckt
- Sprache
-
Englisch
- Ereignis
-
Veröffentlichung
- (wo)
-
Bonn
- (wer)
-
Rheinische Friedrich Wilhelm-Universität
- (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:49 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.
Beteiligte
- Garro, Ibrahim
- Rheinische Friedrich Wilhelm-Universität
Entstanden
- 1973
Ähnliche Objekte (12)
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
Order Independence for Iterated Weak Dominance
Order Independence for Iterated Weak Dominance
Program extraction from coinductive proofs and its application to exact real arithmetic
Über very weak Bernoulli-Prozesse mit schnellen Raten
Regularity results for weak and very weak solutions of higher order parabolic systems
Ekeland’s variational principle in weak and strong systems of arithmetic
Synthetic proofs
Reusing Proofs
Qualitative analysis of very weak solutions to Dirac-harmonic equations
Arithmetic
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
Order Independence for Iterated Weak Dominance
Order Independence for Iterated Weak Dominance
Program extraction from coinductive proofs and its application to exact real arithmetic
Über very weak Bernoulli-Prozesse mit schnellen Raten
Regularity results for weak and very weak solutions of higher order parabolic systems
Ekeland’s variational principle in weak and strong systems of arithmetic
Synthetic proofs
Reusing Proofs
Qualitative analysis of very weak solutions to Dirac-harmonic equations
Arithmetic
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
Order Independence for Iterated Weak Dominance
Order Independence for Iterated Weak Dominance
Program extraction from coinductive proofs and its application to exact real arithmetic
Über very weak Bernoulli-Prozesse mit schnellen Raten
Regularity results for weak and very weak solutions of higher order parabolic systems
Ekeland’s variational principle in weak and strong systems of arithmetic
Synthetic proofs
Reusing Proofs
Qualitative analysis of very weak solutions to Dirac-harmonic equations