3378 search results - page 121 / 676 » A universe of binding and computation |
155
click to vote
MST
2006
15 years 6 months ago
2006
We investigate the characterizations of effective randomness in terms of Martin-L
172
click to vote
ENTCS
2010
15 years 3 months ago
2010
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...
153
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
155
click to vote
OTM
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...