- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 1999
- Schlagwort
-
Funktionale Programmierung
Terminierung
Automatisches Beweisverfahren
Rekursives Programmschema
Korrektheit
Formale Methode
- Urheber
- URN
-
urn:nbn:de:bvb:91-diss1999111516455
- 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.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (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