2 citations · 2 across the 2 of their papers we have counts for
2 papers
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★ 2 cited
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…