The following pages link to Cody Roux (Q287378):
Displaying 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)
- Refinement Types as Higher-Order Dependency Pairs (Q5389088) (← links)
- A Verified LL(1) Parser Generator (Q5875434) (← links)
