- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Certified Quantum Computation in Isabelle/HOL ; day:24 ; month:12 ; year:2020 ; pages:1-19
Journal of automated reasoning ; (24.12.2020), 1-19
- Urheber
-
Bordg, Anthony
Lachnitt, Hanna
He, Yijun
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-020-09584-7
- URN
-
urn:nbn:de:101:1-2021013117471323213806
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:29 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
- Bordg, Anthony
- Lachnitt, Hanna
- He, Yijun
- SpringerLink (Online service)
Ähnliche Objekte (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
Quantum hall plasmonics for quantum computation
Blind oracular quantum computation
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
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
Quantum hall plasmonics for quantum computation
Blind oracular quantum computation
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
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
Quantum hall plasmonics for quantum computation
Blind oracular quantum computation
Isabelle, HOL : a proof assistant for higher order logic