Confluence of curried term-rewriting systems

From MaRDI portal

Revision as of 14:16, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1907275

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1907275&oldid=14325436"