scientific article; zbMATH DE number 1303731

zbMATH Open0924.03048MaRDI QIDQ4250366FDOQ4250366

Authors: Marco Schorlemmer 

Publication date: 17 June 1999

Title of this publication is not available (Why is that?)

Recommendations

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

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)

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)