Sciweavers

20441 search results - page 143 / 4089
» Locally Computable Structures
Sort
View
MSCS
2002
54views more  MSCS 2002»
14 years 11 months ago
Local Realizability Toposes and a Modal Logic for Computability
Steven Awodey, Lars Birkedal, Dana S. Scott
CORR
2010
Springer
98views Education» more  CORR 2010»
14 years 8 months ago
Local Computation: Lower and Upper Bounds
Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 6 months ago
Fast Local Computation Algorithms
Ronitt Rubinfeld, Gil Tamir, Shai Vardi, Ning Xie