Haruto Mishina

According to our database, Haruto Mishina authored at least 2 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi.

Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda

Proceedings of the Practical Aspects of Declarative Languages, 2026

2024

Introducing Quantification into a Hierarchical Graph Rewriting Language.

Haruto Mishina, Kazunori Ueda

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024