scientific article; zbMATH DE number 1223728
From MaRDI portal
Publication:4219044
zbMath0921.04001MaRDI QIDQ4219044
Publication date: 21 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(\lambda\)-calculusterm rewritingrecursive path orderingwell ordercomplement of reverseDershowitz's theoremduality on binary relationsFereira-Zantema theoremgeneralization of Kruskal's theorem to binary relationsnoetherian order
Grammars and rewriting systems (68Q42) Other classical set theory (including functions, relations, and set algebra) (03E20) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Dependent choice as a termination principle
This page was built for publication:
