Quantum Term Rewrite Systems: Applications to Complexity Analysis | Digital Library | PAMCET | PAMCET