Local simplification
From MaRDI portal
Publication:5096297
DOI10.1007/BFb0016841zbMath1495.03015MaRDI 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
03B35: Mechanization of proofs and logical operations
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item