Awesome Quantum Computing
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← all topics
overview
Logic in Computer Science
loading…
🤖
Ask AI
Awesome Logic in Computer Science — curated papers, datasets & benchmarks · Awesome Quantum Computing
← all topics
overview
Logic in Computer Science
4 papers tagged Logic in Computer Science — re-sort below
Papers
🔥 Trending (default)
📚 Most cited
🆕 Newest first
🔤 A → Z by title
4 papers · trending (default)
numbers = 🔥 heat
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
(2025)
Nengkun Yu et al.
2.87
No Scratch Quantum Computing by Reducing Qubit Overhead for Efficient Arithmetics
(2025)
Omid Faizy et al.
1.22
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
(2019)
Ross Duncan and Aleks Kissinger and Simon Perdrix and John van de Wetering
—
Relating Measurement Patterns to Circuits via Pauli Flow
(2021)
Will Simmons
—