- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 1999
- Keyword
-
Funktionale Programmierung
Terminierung
Automatisches Beweisverfahren
Rekursives Programmschema
Korrektheit
Formale Methode
- Creator
- URN
-
urn:nbn:de:bvb:91-diss1999111516455
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:51 PM CET
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.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Heap-based reasoning about asynchronous programs
Default reasoning about probabilities
Resource bounded reasoning about knowledge
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Default reasoning about probabilities
Geometric reasoning about translational motions
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Dynamic compilation for functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Heap-based reasoning about asynchronous programs
Default reasoning about probabilities
Resource bounded reasoning about knowledge
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Default reasoning about probabilities
Geometric reasoning about translational motions
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Dynamic compilation for functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Heap-based reasoning about asynchronous programs
Default reasoning about probabilities
Resource bounded reasoning about knowledge
Resource bounded reasoning about knowledge
Geometric reasoning about translational motions
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Default reasoning about probabilities
Geometric reasoning about translational motions
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs