- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
From LCF to Isabelle/HOL ; volume:31 ; number:6 ; day:2 ; month:9 ; year:2019 ; pages:675-698 ; date:12.2019
Formal aspects of computing ; 31, Heft 6 (2.9.2019), 675-698, 12.2019
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-019-00492-1
- URN
-
urn:nbn:de:101:1-2020033120113771585445
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 AM CEST
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
- Paulson, Lawrence C.
- Nipkow, Tobias
- Wenzel, Makarius
- SpringerLink (Online service)
Other Objects (12)
Verified Code Generation from Isabelle/HOL
Linear Resources in Isabelle/HOL
Certified Quantum Computation in Isabelle/HOL
Formalization of logical calculi in Isabelle/HOL
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Verified Code Generation from Isabelle/HOL
Linear Resources in Isabelle/HOL
Certified Quantum Computation in Isabelle/HOL
Formalization of logical calculi in Isabelle/HOL
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Verified Code Generation from Isabelle/HOL
Linear Resources in Isabelle/HOL
Certified Quantum Computation in Isabelle/HOL
Formalization of logical calculi in Isabelle/HOL
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL