Twenty Years of Theoretical and Practical Synergies

Beschreibung

This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during  July 8–12, 2024

The 26 full papers and 2 short papers included in this book were carefully reviewed and selected from 43 submissions. This CIE 2024 focus on development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences.

Autor*in

Ludovic Levy Patey

Themen in »Twenty Years of Theoretical and Practical Synergies«

computability theory algorithmic randomness symbolic dynamics epistemic logics evolutionary biology quantum computation computable structure theory higher computability automata graph theory reverse mathematics proof theory learning theory complexity theory

Stimmen zu »Twenty Years of Theoretical and Practical Synergies«

Details

Link teilen