The following pages link to (Q3817573):
Displayed 10 items.
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness (Q582891) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Completion for unification (Q1178701) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Computations in APS (Q1311970) (← links)
- Algebraic correctness proofs for compiling recursive function definitions with strictness information (Q2502270) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)