Logical approaches to computational barriersde Arnold Beckmann, Ulrich Berger, Benedikt LöweMateriasCongressesComputable functionsMachine TheoryInformatiqueBiocomputerBerechnungskomplexitatBerechnungstheorieCOMPUTERSAlgorithmus
Logic And Theory Of Algorithms 4th Conference On Computability In Europe Cie 2008 Athens Greece June 1520 2008 Proceedings