Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering
From MaRDI portal
(Redirected from Rewrite orderings for higher-order terms in -long -normal form and the recursive path ordering)
Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering
Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.
