Infinity in Logic and Computation [Risorsa elettronica] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2009
ISBN
9783642030925
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5489