scientific article; zbMATH DE number 1303731

MaRDI QIDQ4250366zbMATH OpenFDO

Authors Marco Schorlemmer

Publication date 17 June 1999

zbMATH Keywords

term rewritingalgebraic specificationadditional binary relationslogic of special relations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1231663
• scientific article; zbMATH DE number 1368955
• scientific article; zbMATH DE number 2038715
• Equational rules for rewriting logic

Cited in

(4)

• Term Rewriting with Logical Constraints
• Structures for abstract rewriting
• Some general results about proof normalization
• Rewriting logic: Roadmap and bibliography

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 Q4250366)