Strictly orthogonal left linear rewrite systems and primitive recursion

DOI10.1016/S0168-0072(00)00041-5zbMath0978.68075MaRDI QIDQ5935986

E. Tahhan-Bittar, E. A. Cichon

Publication date: 2 July 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

rewrite system

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Grammars and rewriting systems (68Q42) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strictly orthogonal left linear rewrite systems and primitive recursion