- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-019-00492-1
- URN
-
urn:nbn:de:101:1-2020033120113771585445
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:55 MESZ
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.
Beteiligte
- Paulson, Lawrence C.
- Nipkow, Tobias
- Wenzel, Makarius
- SpringerLink (Online service)
Ähnliche Objekte (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