Sciweavers

3154 search results - page 4 / 631
» Computing Closed Skycubes
Sort
View
CORR
2010
Springer
89views Education» more  CORR 2010»
13 years 7 months ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay
AML
2006
83views more  AML 2006»
13 years 7 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