scientific article; zbMATH DE number 4092742

MaRDI QIDQ3819973zbMATH OpenFDO

Authors Alex Pelin

Publication date 1988

zbMATH Keywords

abstract data type specificationsalgebraic specificationsconditional term rewriting systemsnormal formsValidation

Mathematics Subject Classification ID

Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Conditional rewrite rules
• scientific article; zbMATH DE number 3890711
• scientific article; zbMATH DE number 3911688
• scientific article; zbMATH DE number 4090780
• scientific article; zbMATH DE number 4090852

Cited in

(3)

• scientific article; zbMATH DE number 3911688 (Why is no real title available?)
• Computing with rewrite systems
• Conditional rewrite rule systems with built-in arithmetic and induction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3819973)