Journal of Logical and Algebraic Methods in Programming , publisher =

· 2016 · Journal of Logical and Algebraic Methods in Programming · DOI 10.1016/j.jlamp.2016.03.003

1 Pith paper cite this work, alongside 13 external citations. Polarity classification is still indexing.

1 Pith paper citing it

13 external citations · OpenAlex

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-07-22 · conditional · novelty 7.0

Quantum term rewrite systems are introduced, and their polynomial-time terminating fragment characterizes the quantum complexity class FBQP.

Showing 1 of 1 citing paper.

Quantum Term Rewrite Systems: Applications to Complexity Analysis cs.LO · 2026-07-22 · conditional · none · ref 48
Quantum term rewrite systems are introduced, and their polynomial-time terminating fragment characterizes the quantum complexity class FBQP.