The following pages link to Jean-Yves Moyen (Q1652871):
Displayed 12 items.
- (Q541227) (redirect page) (← links)
- Quasi-interpretations. A way to control resources (Q541228) (← links)
- Chains, antichains, and complements in infinite partition lattices (Q1652872) (← links)
- Subrecursive equivalence relations and (non-)closure under lattice operations (Q2117798) (← links)
- More intensional versions of Rice's theorem (Q2179364) (← links)
- (Q2767004) (← links)
- On quasi-interpretations, blind abstractions and implicit complexity (Q2909730) (← links)
- Resource control graphs (Q2946586) (← links)
- (Q4475109) (← links)
- Term Rewriting and Applications (Q5703845) (← links)
- Static Complexity Analysis of Higher Order Programs (Q5747632) (← links)
- Chains, Antichains, and Complements in Infinite Partition Lattices (Q6258337) (← links)