logo
Higher type computability

会议结果 (1)

Machines, Computations and Universality (MCU)

Rank: COffline
Nice, France
Jun 5, 2024 - Jun 7, 2024
computation in the setting of various discrete models (Turing machinesregister machinescellular automata+45 更多