Abstract Execution: Automatically Proving Infinitely Many Programs

to related objects

Alternative title: Abstrakte Ausführung: Automatisches Beweisen unendlich vieler Programme

Location: Deutsche Nationalbibliothek Frankfurt am Main

Extent: Online-Ressource

Language: Englisch

Notes: Darmstadt, Technische Universität Darmstadt, Dissertation, 2020

Keyword: Programs

Event: Veröffentlichung

(where): Darmstadt

(who): Universitäts- und Landesbibliothek Darmstadt

(when): 2020

Creator: Steinhöfel, Dominic

Contributor: Hähnle, Reiner
Barthe, Gilles

URN: urn:nbn:de:tuda-tuprints-85409

Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 14.08.2025, 11:02 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Show original at data provider

Associated

Steinhöfel, Dominic
Hähnle, Reiner
Barthe, Gilles
Universitäts- und Landesbibliothek Darmstadt

Time of origin

2020

Other Objects (12)

Artikel

Modeling infinitely many agents

Arbeitspapier

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

Artikel

Modeling infinitely many agents

Arbeitspapier

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

Artikel

Modeling infinitely many agents

Arbeitspapier

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

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read and agree to the privacy policy for the collection of personal data.*

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Abstract Execution: Automatically Proving Infinitely Many Programs

Show object

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

Other Objects (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

Infinitely many periodic solutions for ordinary p -Laplacian systems

Related objects

Reset password