Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
Kayo Tei, Haruto Mishina, Naoki Yamamoto +1
Systematic discovery of optimization paths in quantum circuit simplification remains a challenge. Today, ZX-calculus, a computing model for quantum circuit transformation, is attra…
cs.PL2024
Introducing Quantification into a Hierarchical Graph Rewriting Language
Haruto Mishina, Kazunori Ueda
LMNtal is a programming and modeling language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. On t…