scientific article; zbMATH DE number 1231675

zbMATH Open0917.68100MaRDI QIDQ4223003FDOQ4223003

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

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

Recommendations

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

zbMATH Keywords

coherence techniquesoriented rewrite theory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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)