S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editors, Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Volume 4497 of Lecture Notes in Computer Science, Springer, 2007.
Conference: cie
@proceedings{cie:2007, title = {Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings}, year = {2007}, tags = {logic}, researchr = {https://researchr.org/publication/cie%3A2007}, cites = {0}, citedby = {0}, booktitle = {Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings}, editor = {S. Barry Cooper and Benedikt Löwe and Andrea Sorbi}, volume = {4497}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-73000-2}, }