Computation and Logic in the Real World: CiE 2007


was the third of a new series of conferences associated with the interdisci-plinary network Computability in Europe. Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical development,

DOI: 10.1007/s00224-008-9164-4

Extracted Key Phrases

Cite this paper

@article{Cooper2008ComputationAL, title={Computation and Logic in the Real World: CiE 2007}, author={S. Barry Cooper and Elvira Mayordomo and Andrea Sorbi}, journal={Theory of Computing Systems}, year={2008}, volume={45}, pages={647-649} }