Leanest quasi-orderings

DOI10.1016/J.IC.2006.10.007MaRDI QIDQ876045zbMATH OpenOpenAlexFDO

Authors Nachum Dershowitz, E. Castedo Ellerman

Publication date 16 April 2007

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2006.10.007

zbMATH Keywords

well-quasi-orderingquasi-orderinglexicographic path ordering

Mathematics Subject Classification ID

Partial orders, general (06A06) Grammars and rewriting systems (68Q42)

Recommendations

• Term Rewriting and Applications
• Well rewrite orderings and well quasi-orderings
• scientific article; zbMATH DE number 3905845
• Extensions and comparison of simplification orderings
• scientific article; zbMATH DE number 3930339

Cites work

• scientific article; zbMATH DE number 1678386 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• A geometrical approach to multiset orderings
• Extension functions for multiset orderings
• On multiset orderings
• On termination of meta-programs
• Orderings for term-rewriting systems
• Proving termination with multiset orderings
• Termination of rewriting
• The order types of termination orderings on monadic terms, strings and multisets

Cited in

(2)

• Term Rewriting and Applications
• Well rewrite orderings and well quasi-orderings

This page was built for publication: Leanest quasi-orderings

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