Hot Topics in Reduction Strategies

DOI10.1016/S1571-0661(04)00274-9zbMath1268.68097OpenAlexW2001570748MaRDI QIDQ2841229

Tetsuo Ida

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00274-9

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Lazy narrowing: strong completeness and eager variable elimination

This page was built for publication: Hot Topics in Reduction Strategies