- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 39
- Keyword
-
Logik
Formale Semantik
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Universitätsbibliothek Johann Christian Senckenberg
- (when)
-
2010
- Creator
-
Sabel, David
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-77876
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
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
- Sabel, David
- Schmidt-Schauß, Manfred
- Universitätsbibliothek Johann Christian Senckenberg
Time of origin
- 2010
Other Objects (12)
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Termination proofs for logic programs
Termination proofs for logic programs
Logic : Inductive
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Reconstructing Proofs at the Assertion Level
Programs, proofs, processes : proceedings
Probabilistic inductive constraint logic
Inductive temporal logic programming
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Termination proofs for logic programs
Termination proofs for logic programs
Logic : Inductive
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Reconstructing Proofs at the Assertion Level
Programs, proofs, processes : proceedings
Probabilistic inductive constraint logic
Inductive temporal logic programming
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Termination proofs for logic programs
Termination proofs for logic programs
Logic : Inductive
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Reconstructing Proofs at the Assertion Level
Programs, proofs, processes : proceedings
Probabilistic inductive constraint logic