- Weitere Titel
-
Abstrakte Ausführung: Automatisches Beweisen unendlich vieler Programme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2020
- Schlagwort
-
Programs
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2020
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:tuda-tuprints-85409
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 11:02 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
- Steinhöfel, Dominic
- Hähnle, Reiner
- Barthe, Gilles
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2020
Ähnliche Objekte (12)
Modeling infinitely many agents
Aggregating infinitely many probability measures
Aggregating infinitely many probability measures
A Loewner Equation for Infinitely Many Slits
Infinitely many Brownian globules with Brownian radii
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
Infinitely Many Solutions for Derrick’s Equation
Infinitely many positive solutions of nonlinear Schrödinger equations
Infinitely many leaf-wise intersections on cotangent bundles
Proving resistance against infinitely long subspace trails : how to choose the linear layer
Infinitely many 4d N=1 SCFTs with a=c
Infinitely many periodic solutions for ordinary p -Laplacian systems
Modeling infinitely many agents
Aggregating infinitely many probability measures
Aggregating infinitely many probability measures
A Loewner Equation for Infinitely Many Slits
Infinitely many Brownian globules with Brownian radii
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
Infinitely Many Solutions for Derrick’s Equation
Infinitely many positive solutions of nonlinear Schrödinger equations
Infinitely many leaf-wise intersections on cotangent bundles
Proving resistance against infinitely long subspace trails : how to choose the linear layer
Infinitely many 4d N=1 SCFTs with a=c
Infinitely many periodic solutions for ordinary p -Laplacian systems
Modeling infinitely many agents
Aggregating infinitely many probability measures
Aggregating infinitely many probability measures
A Loewner Equation for Infinitely Many Slits
Infinitely many Brownian globules with Brownian radii
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
Infinitely Many Solutions for Derrick’s Equation
Infinitely many positive solutions of nonlinear Schrödinger equations
Infinitely many leaf-wise intersections on cotangent bundles
Proving resistance against infinitely long subspace trails : how to choose the linear layer
Infinitely many 4d N=1 SCFTs with a=c