Reduction Strategies and Acyclicity

DOI10.1007/978-3-540-73147-4_5zbMath1186.68237OpenAlexW1777396002MaRDI QIDQ3608813

Jan Willem Klop, Femke van Raamsdonk, Vincent van Oostrom

Publication date: 6 March 2009

Published in: Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy ⋮ Highlights in infinitary rewriting and lambda calculus

This page was built for publication: Reduction Strategies and Acyclicity