Publication:4938421
From MaRDI portal
zbMath0949.68084MaRDI QIDQ4938421
Publication date: 23 February 2000
68N18: Functional programming and lambda calculus
68Q42: Grammars and rewriting systems
68N17: Logic programming
Related Items
Characterizing and proving operational termination of deterministic conditional term rewriting systems, Operational termination of conditional term rewriting systems, Applications and extensions of context-sensitive rewriting, Extra Variables Can Be Eliminated from Functional Logic Programs, Unnamed Item, Formalizing Soundness and Completeness of Unravelings