Cancellative Abelian monoids and related structures in refutational theorem proving. II
From MaRDI portal
(Redirected from Publication:1864899)
Recommendations
Cites work
- A general refutational completeness result for an inference procedure based on associative-commutative unification
- A Technique for Establishing Completeness Results in Theorem Proving with Equality
- Automated deduction with associative-commutative operators
- Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
- Cancellative Abelian monoids and related structures in refutational theorem proving. I
- Extending reduction orderings to ACU-compatible reduction orderings
- scientific article; zbMATH DE number 4170851 (Why is no real title available?)
- scientific article; zbMATH DE number 3902926 (Why is no real title available?)
- scientific article; zbMATH DE number 4053061 (Why is no real title available?)
- scientific article; zbMATH DE number 1303342 (Why is no real title available?)
- scientific article; zbMATH DE number 517065 (Why is no real title available?)
- scientific article; zbMATH DE number 1765672 (Why is no real title available?)
- scientific article; zbMATH DE number 1405448 (Why is no real title available?)
- Normalized rewriting: An alternative to rewriting modulo a set of equations
- Ordered chaining for total orderings
- Proving refutational completeness of theorem-proving strategies
- Rewrite-based Equational Theorem Proving with Selection and Simplification
- SPASS \& FLOTTER version 0.42
- Superposition theorem proving for abelian groups represented as integer modules
- Theorem proving in cancellative abelian monoids (extended abstract)
- Theorem-proving with resolution and superposition
- Which of the cancellative semigroups are groups?
Cited in
(7)- Cancellative Abelian monoids and related structures in refutational theorem proving. I
- Extending reduction orderings to ACU-compatible reduction orderings
- scientific article; zbMATH DE number 1303342 (Why is no real title available?)
- Theorem proving in cancellative abelian monoids (extended abstract)
- scientific article; zbMATH DE number 1405448 (Why is no real title available?)
- Superposition theorem proving for abelian groups represented as integer modules
- Levi's commutator theorems for cancellative semigroups.
This page was built for publication: Cancellative Abelian monoids and related structures in refutational theorem proving. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1864899)
