Distributing equational theorem proving

DOI10.1007/978-3-662-21551-7_6zbMath1503.68285OpenAlexW1540822142MaRDI QIDQ5055785

Jürgen Avenhaus, Jörg Denzinger

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-21551-7_6

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

Distributing equational theorem proving ⋮ Learning domain knowledge to improve theorem proving ⋮ Experiments in the heuristic use of past proof experience ⋮ Automatic acquisition of search control knowledge from multiple proof attempts.

Cites Work

• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Distributing equational theorem proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Distributing equational theorem proving