Maximal extensions of simplification orderings

DOI10.1007/3-540-60692-0_51zbMATH Open1354.68142OpenAlexW1995828396MaRDI QIDQ2956685

G. Sivakumar, Deepak Kapur

Publication date: 19 January 2017

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

Full work available at URL: https://doi.org/10.1007/3-540-60692-0_51

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (5)

Extending reduction orderings to ACU-compatible reduction orderings ⋮ The maximal order of hyper-(\(b\)-ary)-expansions ⋮ Linear extensions of semiorders: A maximization problem ⋮ A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets ⋮ Maximal compatible extensions of partial orders

This page was built for publication: Maximal extensions of simplification orderings

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