Sciweavers

3154 search results - page 4 / 631
» Computing Closed Skycubes
Sort
View
CORR
2010
Springer
89views Education» more  CORR 2010»
14 years 11 months ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay
AML
2006
83views more  AML 2006»
14 years 11 months ago
The Medvedev lattice of computably closed sets
Simpson introduced the lattice P of 0 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We presen...
Sebastiaan Terwijn
COMPUTER
2006
53views more  COMPUTER 2006»
14 years 11 months ago
Is Near-Field Communication Close to Success?
Sixto Ortiz Jr.