𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computational semantics of terms rewriting systems

✍ Scribed by G. Boudol

Publisher
Elsevier Science
Year
1983
Weight
118 KB
Volume
1
Category
Article
ISSN
0167-7136

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Confluence of Curried Term-Rewriting Sys
Confluence of Curried Term-Rewriting Systems
✍ Stefan Kahrs πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 721 KB

Term rewriting systems operate on first-order terms. Presenting such terms in curried form is usually regarded as a trivial change of notation. However, in the absence of a type-discipline, or in the presence of a more powerful type-discipline than simply typed \(\lambda\)-calculus, the change is no

Term Rewrite Systems for Lattice Theory
Term Rewrite Systems for Lattice Theory
✍ Ralph Freese; J. JeΕΎek; J.B. Nation πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 367 KB

It is shown that, even though there is a very well-behaved, natural normal form for lattice theory, there is no finite, convergent \(A C\) term rewrite system for the equational theory of all lattices.

Term-rewriting systems with rule priorit
Term-rewriting systems with rule priorities
✍ J.C.M. Baeten; J.A. Bergstra; J.W. Klop; W.P. Weijland πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 463 KB