Local simplification

DOI10.1007/BFb0016841zbMath1495.03015OpenAlexW2912855883MaRDI QIDQ5096297

No author found.

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0016841

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Redundancy criteria for constrained completion
• A Technique for Establishing Completeness Results in Theorem Proving with Equality
• Proving refutational completeness of theorem-proving strategies
• Rewrite-based Equational Theorem Proving with Selection and Simplification
• Associative-commutative deduction with constraints
• AC-superposition with constraints: No AC-unifiers needed
• The Concept of Demodulation in Theorem Proving

This page was built for publication: Local simplification