Proving properties of finite enumerations - a problem set for automated theorem provers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Keyword
-
Abzählen
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (when)
-
2010
- Creator
- URN
-
urn:nbn:de:bsz:289-vts-70835
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
2025-08-15T07:33:59+0200
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schellhorn, Gerhard
- Reif, Wolfgang
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2010
Other Objects (12)
Theorem proving in large theories
Theorems from compiler verification: a problem set for automated theorem provers
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Korrektheit von Spezifikationen und generischen Moduln
Proving Linearizability with Temporal Logic
Automated theorem proving
Automated theorem proving
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Theorem proving in large theories
Theorems from compiler verification: a problem set for automated theorem provers
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Korrektheit von Spezifikationen und generischen Moduln
Proving Linearizability with Temporal Logic
Automated theorem proving
Automated theorem proving
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Theorem proving in large theories
Theorems from compiler verification: a problem set for automated theorem provers
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Korrektheit von Spezifikationen und generischen Moduln
Proving Linearizability with Temporal Logic
Automated theorem proving
Automated theorem proving
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010