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

会议结果 (1)