7. CiE 2011:
Sofia, Bulgaria
Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova (Eds.):
Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings.
Lecture Notes in Computer Science 6735 Springer 2011, ISBN 978-3-642-21874-3
Mingzhong Cai:
Three Theorems on n-REA Degrees: Proof-Readers and Verifiers.
11-20
Merlin Carl:
A Computational Approach to an Alternative Working Environment for the Constructible Universe.
21-30
Amin Farjudian:
On the Kolmogorov Complexity of Continuous Real Functions.
81-91
Daniela Genova:
Defining Languages by Forbidding-Enforcing Systems.
92-101
Martin Kutrib:
Nature-Based Problems in Cellular Automata.
171-180
Florin Manea:
Deciding According to the Shortest Computations.
191-200
Stefan Vatev:
Conservative Extensions of Abstract Structures.
300-309