search result

Cover von Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits

Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits

Year: 2025
Media group: LIPIcs
Cover von Inductive Predicate Synthesis Modulo Programs

Inductive Predicate Synthesis Modulo Programs

Author: Gurfinkel, Arie
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0