Confluence of curried term-rewriting systems

DOI10.1006/jsco.1995.1035zbMath0840.68063OpenAlexW2077426843MaRDI QIDQ1907275

Stefan Kahrs

Publication date: 20 February 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/21251/1/curry-jsc.pdf

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Normalization results for typeable rewrite systems ⋮ Layer Systems for Proving Confluence ⋮ Currying of order-sorted term rewriting systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Simplifying Algebraic Functional Systems ⋮ Remarks on Thatte's transformation of term rewriting systems ⋮ Unnamed Item

This page was built for publication: Confluence of curried term-rewriting systems