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

Konferenzergebnisse (1)