Sciweavers

3154 search results - page 4 / 631
» Computing Closed Skycubes
Sort
View
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 1 months ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay
AML
2006
83views more  AML 2006»
15 years 1 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»
15 years 1 months ago
Is Near-Field Communication Close to Success?
Sixto Ortiz Jr.