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

컨퍼런스 결과 (1)