scientific article

zbMath0667.68040MaRDI QIDQ3819990

Corrado Moiso, Elio Giovannetti

Publication date: 1988

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

zbMATH Keywords

conditional term rewriting systemssimplificationselimination of conditions

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Compiling concurrent rewriting onto the Rewrite Rule Machine, Strategies in conditional narrowing modulo SMT plus axioms, Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems, On the confluence of lambda-calculus with conditional rewriting