scientific article; zbMATH DE number 6027889

DOI10.4230/LIPIcs.RTA.2010.17zbMath1236.68117MaRDI QIDQ5389133

Jakob Grue Simonsen, Vincent van Oostrom, Claus Appel

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_539d.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

normalizationterminationmodularityhigher-order rewriting

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items

Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Layer Systems for Proving Confluence ⋮ Modularity in term rewriting revisited ⋮ Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs