-
Scheduling with resource allocation and past-sequence-dependent setup times i...
International audience -
Complexity classes on spatially periodic Cellular Automata
International audience -
On paths-based criteria for polynomial time complexity in proof-nets
International audience -
A proof theoretic approach to feasible computation
Rapport interne.
