scientific article; zbMATH DE number 1380895

zbMath0939.68679MaRDI QIDQ4705614

Tetsuo Ida, Taro Suzuki, Aart Middeldorp

Publication date: 20 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (3)

Unnamed Item ⋮ On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings ⋮ Logicality of conditional rewrite systems

Uses Software

• BABEL
• Kernel-LEAF

This page was built for publication: