Pages that link to "Item:Q2563692"
From MaRDI portal
The following pages link to Normalized rewriting: An alternative to rewriting modulo a set of equations (Q2563692):
Displayed 10 items.
- Anti-patterns for rule-based languages (Q968527) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q1275020) (← links)
- Superposition with completely built-in abelian groups (Q1432887) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- A new symbolic method for solving linear two-point boundary value problems on the level of operators (Q2456540) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (Q3522011) (← links)
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I (Q3839878) (← links)