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...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Archibald, Margaret., Brattka, Vasco., Goranko, Valentin., Löwe, Benedikt.|
Berlin, Heidelberg :
Springer Berlin Heidelberg,
Lecture Notes in Computer Science,
No Tags, Be the first to tag this record!