Reconstruction of a logic for inductive proofs of properties of functional programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Ausgabe
-
Version 21. Jan. 2010
- Sprache
-
Englisch
- Erschienen in
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 39
- Klassifikation
-
Informatik
- Schlagwort
-
Formale Semantik
Logik
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Univ.-Bibliothek Frankfurt am Main
- (wann)
-
2010
- Urheber
-
Sabel, David
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30:3-344362
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
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
- Sabel, David
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Entstanden
- 2010
Ähnliche Objekte (12)
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing 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
Proofs of program properties via unfold, fold transformations of constraint logic programs
Foundations of inductive logic programming
Commutativity simplifies proofs of parameterized programs
Logic : Inductive
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Termporal logic of programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing 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
Proofs of program properties via unfold, fold transformations of constraint logic programs
Foundations of inductive logic programming
Commutativity simplifies proofs of parameterized programs
Logic : Inductive
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Termporal logic of programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing 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
Proofs of program properties via unfold, fold transformations of constraint logic programs
Foundations of inductive logic programming
Commutativity simplifies proofs of parameterized programs
Logic : Inductive
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic