Leftmost outermost revisited

DOI10.4230/LIPICS.RTA.2015.209MaRDI QIDQ5277880zbMATH OpenFDO

Authors Nao Hirokawa, Aart Middeldorp, Georg Moser

Publication date 12 July 2017

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

zbMATH Keywords

normalizationstrategiesterm rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Optimal normalization in orthogonal term rewriting systems
• A sequential reduction strategy
• scientific article; zbMATH DE number 1761894
• scientific article; zbMATH DE number 6792365

Cited in

(4)

• Factorization in call-by-name and call-by-value calculi via linear logic
• Leftmost outside-in narrowing calculi
• Factorization and normalization, essentially
• Factorize factorization

This page was built for publication: Leftmost outermost revisited

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