Rewriting Techniques and Applications

DOI10.1007/B98160zbMath1187.03045OpenAlexW2661706449MaRDI QIDQ5901566

Rob Nederpelt, Herman Geuvers

Publication date: 30 April 2009

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

Full work available at URL: https://doi.org/10.1007/b98160

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (4)

The placeholder view of assumptions and the Curry-Howard correspondence ⋮ Reasoning processes in propositional logic ⋮ Reasoning about truth in first-order logic ⋮ Merging Procedural and Declarative Proof

This page was built for publication: Rewriting Techniques and Applications