logo
Higher type computability

カンファレンス検索結果 (1)

Machines, Computations and Universality (MCU)

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