scientific article; zbMATH DE number 1405447
From MaRDI portal
Publication:4938421
zbMath0949.68084MaRDI QIDQ4938421
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items (7)
Unnamed Item ⋮ Semi-inversion of Conditional Constructor Term Rewriting Systems ⋮ Formalizing Soundness and Completeness of Unravelings ⋮ Characterizing and proving operational termination of deterministic conditional term rewriting systems ⋮ Applications and extensions of context-sensitive rewriting ⋮ Operational termination of conditional term rewriting systems ⋮ Extra Variables Can Be Eliminated from Functional Logic Programs
This page was built for publication:
