The following pages link to Cody Roux (Q287378):
Displayed 6 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- A Heuristic Prover for Real Inequalities (Q2879243) (← links)
- On the Relation between Sized-Types Based Termination and Semantic Labelling (Q3644746) (← links)
- The Structural Theory of Pure Type Systems (Q5170829) (← links)
- (Q5389088) (← links)
- (Q5875434) (← links)