Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Archibald, Margaret (Editor), Brattka, Vasco (Editor), Goranko, Valentin (Editor), Löwe, Benedikt (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Lecture Notes in Computer Science, 5489
• Subjects: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computers.; Algorithms.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007. The 7 revised papers prese...