CIE
2010
Springer
13 years 5 months ago
2010
Springer
CIE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We show the following results for polynomial-time reducibility to RC , the set of Kolmogorov random strings.
CIE
2010
Springer
13 years 5 months ago
2010
Springer
CIE
2010
Springer
13 years 8 months ago
2010
Springer
We describe the design and development of PuzzleTale, an interactive storytelling system that makes use of tangible puzzle pieces on the surface of an interactive table. In the Pu...
CIE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
CIE
2010
Springer
13 years 9 months ago
2010
Springer
We investigate the computability of countable subshifts in one dimension, and their members. Subshifts of Cantor-Bendixson rank one contain only eventually periodic elements. Any ...
CIE
2010
Springer
13 years 9 months ago
2010
Springer
CIE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
CIE
2010
Springer
14 years 12 days ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
CIE
2010
Springer
14 years 2 months ago
2010
Springer
