- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Certified Quantum Computation in Isabelle/HOL ; day:24 ; month:12 ; year:2020 ; pages:1-19
Journal of automated reasoning ; (24.12.2020), 1-19
- Creator
-
Bordg, Anthony
Lachnitt, Hanna
He, Yijun
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-020-09584-7
- URN
-
urn:nbn:de:101:1-2021013117471323213806
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:29 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
- Bordg, Anthony
- Lachnitt, Hanna
- He, Yijun
- SpringerLink (Online service)
Other Objects (12)
From LCF to Isabelle/HOL
Linear Resources in Isabelle/HOL
Verified Code Generation from Isabelle/HOL
Quantum randomness certified by different quantum phenomena
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
Quantum hall plasmonics for quantum computation
Blind oracular quantum computation
From LCF to Isabelle/HOL
Linear Resources in Isabelle/HOL
Verified Code Generation from Isabelle/HOL
Quantum randomness certified by different quantum phenomena
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
Quantum hall plasmonics for quantum computation
Blind oracular quantum computation
From LCF to Isabelle/HOL
Linear Resources in Isabelle/HOL
Verified Code Generation from Isabelle/HOL
Quantum randomness certified by different quantum phenomena
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
Quantum hall plasmonics for quantum computation