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

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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Archibald, Margaret., Brattka, Vasco., Goranko, Valentin., Löwe, Benedikt.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series: Lecture Notes in Computer Science, 5489
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-03092-5
Tags: Add Tag
No Tags, Be the first to tag this record!