Buchumschlag

Proceedings of the 21st International Conference on Quantum Physics and Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Díaz-Caro, Alejandro, Zamdzhiev, Vladimir
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Quantum Physics Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Proceedings of the 22nd International Conference on Quantum Physics and Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
von: Lindenhovius, Bert, et al.
Veröffentlicht: (2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Proceedings 41st International Conference on Logic Programming
von: Gebser, Martin, et al.
Veröffentlicht: (2025)

Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach
von: Li, Thea, et al.
Veröffentlicht: (2026)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

A programming language combining quantum and classical control
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
von: Díaz-Caro, Alejandro
Veröffentlicht: (2025)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Proceedings 40th International Conference on Logic Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

The Category of Operator Spaces and Complete Contractions
von: Lindenhovius, Bert, et al.
Veröffentlicht: (2024)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
von: Barthe, Gilles, et al.
Veröffentlicht: (2025)

Proof Identity and Categorical Models of BV
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
von: Yamakami, Tomoyuki
Veröffentlicht: (2025)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Proceedings Seventh International Conference on Applied Category Theory 2024
von: Johnson, Michael, et al.
Veröffentlicht: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
von: Ying, Mingsheng
Veröffentlicht: (2024)

Model Checking Matrix Product States against Linear Chain Logic
von: Xu, Ming, et al.
Veröffentlicht: (2026)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
von: Barbosa, Haniel, et al.
Veröffentlicht: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
von: Barthe, Gilles, et al.
Veröffentlicht: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

Proceedings Eighth International Conference on Applied Category Theory
von: Hadzihasanovic, Amar, et al.
Veröffentlicht: (2026)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2024)

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
von: Ross, Oscar Montiel
Veröffentlicht: (2026)

Quantum references
von: Unruh, Dominique
Veröffentlicht: (2021)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
von: Carette, TItouan, et al.
Veröffentlicht: (2022)

Bayesian Inference in Quantum Programs
von: Gehnen, Christina, et al.
Veröffentlicht: (2025)

Simulating Quantum Circuits by Model Counting
von: Mei, Jingyi, et al.
Veröffentlicht: (2024)

Quantum Petri Nets with Event Structures semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

End-to-End Formalization of Quantum Error Correction
von: Ehatamm, Mattias, et al.
Veröffentlicht: (2026)

Quantum Petri Nets with Event Structure semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Simpler Presentations for Many Fragments of Quantum Circuits
von: Blake, Colin
Veröffentlicht: (2026)

Algebraic Structure of Quantum Controlled States and Operators
von: Agnew, Edwin, et al.
Veröffentlicht: (2026)

Enriching Diagrams with Algebraic Operations
von: Villoria, Alejandro, et al.
Veröffentlicht: (2023)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
von: Lewis, Marco, et al.
Veröffentlicht: (2021)

Verifying Quantum Phase Estimation (QPE) using Prove-It
von: Witzel, Wayne M., et al.
Veröffentlicht: (2023)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
von: Dai, Aochu, et al.
Veröffentlicht: (2025)