- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2018
- Keyword
-
Reasoning
Programs
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2018
- Creator
-
Kloos, Johannes
- Contributor
-
Majumdar, Rupak
- URN
-
urn:nbn:de:hbz:386-kluedo-52912
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 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.
Associated
- Kloos, Johannes
- Majumdar, Rupak
- Technische Universität Kaiserslautern
Time of origin
- 2018
Other Objects (12)
Reasoning about terminating functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Debugging asynchronous programs in Python
Asynchronous programs on IoT devices
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about systems based on incomplete and uncertain models
Decision-theoretic personality-based reasoning about turn-taking conflicts
Reasoning about terminating functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Debugging asynchronous programs in Python
Asynchronous programs on IoT devices
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about systems based on incomplete and uncertain models
Decision-theoretic personality-based reasoning about turn-taking conflicts
Reasoning about terminating functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Debugging asynchronous programs in Python
Asynchronous programs on IoT devices
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about systems based on incomplete and uncertain models