The following pages link to REVE (Q40621):
Displaying 15 items.
- Outermost ground termination (Q2851054) (← links)
- (Q3336681) (← links)
- (Q3336738) (← links)
- Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm (Q3357550) (← links)
- Automatic Termination (Q3636815) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- (Q3696486) (← links)
- (Q3700828) (← links)
- (Q3783523) (← links)
- A decidable word problem without equivalent canonical term rewriting system (Q3816049) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- AC-KBO revisited (Q4593023) (← links)
- Automatic Proofs of Termination With Elementary Interpretations (Q5170190) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)