logo
computation in the setting of various discrete models (Turing machines

Résultats des conférences (1)