Erratum To: A Monadic Semantics for Quantum Computing in Featherweight Java

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-45279-1_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Featherweight Approach to FOOL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant

2012English

Quantum Computing for Everyone

2019English

Designing for Quantum Computing

2019English

Committing to Quantum Resistance: A Slow Defence for Bitcoin Against a Fast Quantum Computing Attack

Royal Society Open Science
Multidisciplinary
2018English

Featherweight VeriFast

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Quantum++: A Modern C++ Quantum Computing Library

PLoS ONE
Multidisciplinary
2018English

Erratum to : The Chinese Movement in Java: 1900-1918

Southeast Asia: History and Culture
1973English

Sign-Based Semantics-Enriched Social Computing

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy