Computation and logic in the real world: CiE 2007

DOI10.1007/s00224-008-9164-4zbMath1343.68005WikidataQ60578968 ScholiaQ60578968MaRDI QIDQ733735

Andrea Sorbi, Elvira Mayordomo, S. Barry Cooper

Publication date: 19 October 2009

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-008-9164-4

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03B70: Logic in computer science