Imagen de Portada

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Zihao, Guan, Ji, Ying, Mingsheng
Formato:	Preprint
Publicado:	2026
Materias:	Quantum Physics Logic in Computer Science 81P68, 68Q12, 03B70 F.3.1; F.1.1; D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Matching logic -- a new axiomatization
por: Leuştean, Laurenţiu, et al.
Publicado: (2025)

Notes on applicative matching logic
por: Leuştean, Laurenţiu
Publicado: (2025)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
por: Ding, Sichen, et al.
Publicado: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
por: Ramos, Arthur, et al.
Publicado: (2025)

Nominal techniques as an Agda library
por: Gabbay, Murdoch J., et al.
Publicado: (2026)

Reversible computations are computations
por: Aubert, Clément, et al.
Publicado: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
por: Rahnama, Moses
Publicado: (2025)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
por: Zhang, Manqing, et al.
Publicado: (2026)

The Solver's Paradox in Formal Problem Spaces
por: Rosko, Milan
Publicado: (2025)

Simulating and model checking membrane systems using strategies in Maude
por: Rubio, Rubén, et al.
Publicado: (2024)

A Logspace Constructive Proof of L=SL
por: Buss, Sam, et al.
Publicado: (2025)

Relational Connectors and Heterogeneous Bisimulations
por: Nora, Pedro, et al.
Publicado: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
por: Ceragioli, Lorenzo, et al.
Publicado: (2026)

Decidable Reversible Equivalences for Finite Petri Nets
por: Gorrieri, Roberto, et al.
Publicado: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

Behavioural Conformances based on Lax Couplings
por: Wild, Paul, et al.
Publicado: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
por: Alpay, Faruk, et al.
Publicado: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
por: Forster, Jonas, et al.
Publicado: (2026)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
por: Lopez, Aliaume
Publicado: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
por: Wang, Zili, et al.
Publicado: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
por: Kosaian, Katherine, et al.
Publicado: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
por: Japaridze, Giorgi
Publicado: (2026)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
por: Park, Sewon, et al.
Publicado: (2016)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
por: Chan, Jhet
Publicado: (2025)

A correspondence between the time and space complexity
por: Latkin, Ivan V.
Publicado: (2023)

Commutative N-polyregular functions
por: Lopez, Aliaume
Publicado: (2024)

A propositional cirquent calculus for computability logic
por: Japaridze, Giorgi
Publicado: (2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
por: Adsul, Bharat, et al.
Publicado: (2024)

A proof complexity conjecture and the Incompleteness theorem
por: Krajicek, Jan
Publicado: (2023)

Strategies, model checking and branching-time properties in Maude
por: Rubio, Rubén, et al.
Publicado: (2024)

Model checking strategy-controlled systems in rewriting logic
por: Rubio, Rubén, et al.
Publicado: (2024)

Metalevel transformation of strategies
por: Rubio, Rubén, et al.
Publicado: (2024)

Extended Nullstellensatz proof systems
por: Krajicek, Jan
Publicado: (2023)

Domains, Information Frames, and Their Logic
por: Spreen, Dieter
Publicado: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
por: Lopez, Aliaume
Publicado: (2024)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
por: Schewe, Klaus-Dieter
Publicado: (2020)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
por: Ceragioli, Lorenzo, et al.
Publicado: (2024)

On the existence of strong proof complexity generators
por: Krajicek, Jan
Publicado: (2022)