3378 search results - page 121 / 676 » A universe of binding and computation |
ENTCS
2006
14 years 10 months ago
2006
models and full abstraction Gavin Lowe and Jo
MST
2006
14 years 10 months ago
2006
We investigate the characterizations of effective randomness in terms of Martin-L
ENTCS
2010
14 years 7 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...
CIE
2005
Springer
15 years 3 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...
OTM
2007
Springer
15 years 4 months 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 ...