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):
Displaying 22 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- 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)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← 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)
- Term Collections in λ and ρ-calculi (Q2864209) (← links)
- Canonical Abstract Syntax Trees (Q2873780) (← links)
- Algebraic Databases (Q2981748) (← links)
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635) (← 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)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures (Q5170162) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)
