Logical approaches to computational barriers

Name: Logical approaches to computational barriers
Author: Arnold Beckmann, Ulrich Berger, Benedikt Löwe

by Arnold Beckmann, Ulrich Berger, Benedikt Löwe

Cover of Logical approaches to computational barriers

No description available.

CongressesComputable functionsMachine TheoryInformatiqueBiocomputerBerechnungskomplexitatBerechnungstheorieCOMPUTERSAlgorithmusCongresChurch-TheseFonctions calculables