"What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from…
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006: IFIP 19th World Computer Congress, TC-1, Foundati…
by Kohayakawa, Yoshiharu, Navarro, Gonzalo, Bertossi, Leopoldo, IFIP World Computer Congress, Santiago, Chili), TCS 2006, Santiago, Chili)
fromInternational Federation for Information Processing (Collec…
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006: IFIP 19th World Computer Congress, TC-1, Foundati…
by Kohayakawa, Yoshiharu, Navarro, Gonzalo, IFIP International Conference on Theoretical Computer Science, Santiago (Chile)), Bertossi, Leopoldo, IFIP World Computer Congress, (Santiago (Chile))
fromInternational Federation for Information Processing (Series)
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; c…
Subrecursion: functions and hierarchies
C.I.M.E. stands for Centro Internazionale Matematico Estivo, that is, International Mathematical Summer Centre. Conceived in the early fifties, it was born in 1954 in Florence, Italy, and welcomed by the world mathematical community: it continues successfully, year for year, to …
