The following pages link to (Q3673071):
Displaying 13 items.
- Unification in commutative theories (Q582071) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Parameter-preserving data type specifications (Q1089794) (← links)
- Unification in varieties of idempotent semigroups (Q1092171) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- Completion for rewriting modulo a congruence (Q1262752) (← links)
- On deciding confluence of finite string-rewriting systems modulo partial commutativity (Q1262758) (← links)
- Invariants and closures in the theory of rewrite systems (Q1815344) (← links)
- Conditional rewrite rule systems with built-in arithmetic and induction (Q5055742) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Theorem proving modulo associativity (Q6560183) (← links)
