On Lazy Commutation

DOI10.1007/978-3-642-01748-3_5zbMATH Open1241.68075OpenAlexW1779897400MaRDI QIDQ3630173FDOQ3630173

Nachum Dershowitz

Publication date: 3 June 2009

Published in: Languages: From Formal to Natural (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-01748-3_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (1)

• Contextual Natural Deduction

   Recommendations

• Jumping and escaping: modular termination and the abstract path ordering 👍 👎
• Title not available (Why is that?) 👍 👎
• Path orderings for termination of associative-commutative rewriting 👍 👎
• Title not available (Why is that?) 👍 👎
• Topics in termination 👍 👎

This page was built for publication: On Lazy Commutation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3630173)