- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2020
- Keyword
-
Calculi
Aussagenkalkül
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2020
- Creator
-
Fleury, Mathias
- Contributor
-
Weidenbach, Christoph
- DOI
-
10.22028/D291-30179
- URN
-
urn:nbn:de:bsz:291--ds-301796
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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
- Fleury, Mathias
- Weidenbach, Christoph
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2020
Other Objects (12)
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Formalization of the SPECTRUM methodology in DEVA : signature and logical calculus
A new approach to the logical theory of interrogatives : analysis and formalization
On the logical formalization of analogies and theory blending in the HDTP framework
Verified Code Generation from Isabelle/HOL
Formalization of logic
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Formalization of the SPECTRUM methodology in DEVA : signature and logical calculus
A new approach to the logical theory of interrogatives : analysis and formalization
On the logical formalization of analogies and theory blending in the HDTP framework
Verified Code Generation from Isabelle/HOL
Formalization of logic
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Formalization of the SPECTRUM methodology in DEVA : signature and logical calculus
A new approach to the logical theory of interrogatives : analysis and formalization
On the logical formalization of analogies and theory blending in the HDTP framework
Verified Code Generation from Isabelle/HOL
Formalization of logic
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL