scientific article; zbMATH DE number 1765706

MaRDI QIDQ4539648zbMATH OpenFDO

Authors Jürgen Avenhaus, Bernd Löchner

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830658

Mathematics Subject Classification ID

Recommendations

• On using ground joinable equations in equational theorem proving
• Automated Reasoning
• scientific article; zbMATH DE number 1538015
• Testing for the ground (co-)reducibility property in term-rewriting systems
• Algorithms and reductions for rewriting problems. II.

Cited in

(3)

• On using ground joinable equations in equational theorem proving
• Citius altius fortius: lessons learned from the theorem prover Waldmeister
• Automated Reasoning

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