Normalized completion revisited

DOI10.4230/LIPICS.RTA.2013.319MaRDI QIDQ2958393zbMATH OpenFDO

Authors Sarah Winkler, Aart Middeldorp

Publication date 1 February 2017

Full work available at URL https://doi.org/10.4230/LIPICS.RTA.2013.319

zbMATH Keywords

completionterm rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Normalized rewriting: An alternative to rewriting modulo a set of equations
• AC completion with termination tools
• Multi-completion with termination tools
• scientific article; zbMATH DE number 1241628
• scientific article; zbMATH DE number 1405627

Cited in

(6)

• Normalized rewriting: An alternative to rewriting modulo a set of equations
• Effective normalization techniques for HOL
• scientific article; zbMATH DE number 1405627 (Why is no real title available?)
• Extending Maximal Completion (Invited Talk)
• Left-Linear Completion with AC Axioms
• Left-linear completion with AC axioms

This page was built for publication: Normalized completion revisited

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