logo
Hyper-computational models

会议结果 (1)

Machines, Computations and Universality (MCU)

Rank: COffline
Nice, France
Jun 5, 2024 - Jun 7, 2024
Finite model theoryGeneralized recursion theoryHigher type computability+45 更多