Pages that link to "Item:Q1097686"
From MaRDI portal
The following pages link to REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies (Q1097686):
Displayed 5 items.
- Equational completion in order-sorted algebras (Q912606) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- Computations in APS (Q1311970) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)