scientific article; zbMATH DE number 1231675

MaRDI QIDQ4223003zbMATH OpenFDO

Authors Patrick Viry

Publication date 7 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15024

zbMATH Keywords

coherence techniquesoriented rewrite theory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Theorem proving modulo
• Rewrite-based Equational Theorem Proving with Selection and Simplification
• scientific article; zbMATH DE number 2043543
• Equational rules for rewriting logic

Cited in

(5)

• Twenty years of rewriting logic
• Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
• Learning Modulo Theories
• Rewriting logic: Roadmap and bibliography
• Equational rules for rewriting logic

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