7. CiE 2011:
Sofia, Bulgaria
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
data released under the ODC-BY 1.0 license
