27 search results - page 5 / 6 » cie 2010 |
CIE
2010
Springer
13 years 7 months 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
13 years 10 months ago
2010
Springer
A theorem of Besicovitch and Davies implies for Cantor space 2ω that each Σ1 1 (analytic) class of positive Hausdorff dimension contains a Π0 1 (closed) subclass of positive di...
CIE
2010
Springer
13 years 3 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 2 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 10 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...