in Computation and Logic in the Real World, Proceedings in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4497, Pages: 606-620 (15)
Conference
3Rd Conference on Computability in Europe (Cie 2007), Date: JUN 18-23, 2007, Location: Siena, ITALY, Sponsors: Dept Math & Comp Sci Roberto Magari, Fondazione Monte Paschi Siena, Ist Nazl Alta Matemat, Gruppo Nazl Strutture Algebriche, INDAM GNSAGA, Univ Siena, Assoc Italiana Log & Applicazioni, Assoc Symbol Log, European Assoc Comp Sci Log, European Assoc Theoret Comp Sci, Assoc Log, Language & Informat, Comm Status Women Comp Res