The following pages link to Root-Labeling (Q3522028):
Displaying 6 items.
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates (Q3094178) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Using linear constraints for logic program termination analysis (Q4593032) (← links)
- (Q5089023) (← links)
- Root to Kellerer (Q5270093) (← links)
- Duplication Roots (Q5428240) (← links)