scientific article; zbMATH DE number 7453178

MaRDI QIDQ5020633

Mathias Soeken, Martin Roetteler, Giulia Meuli, Giovanni De Micheli

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/2005.00211

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Uses Software

• z3
• ABC

This page was built for publication: