Sciweavers

20441 search results - page 143 / 4089
» Locally Computable Structures
Sort
View
56
Voted
MSCS
2002
54views more  MSCS 2002»
15 years 1 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 10 months ago
Local Computation: Lower and Upper Bounds
Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer
75
Voted
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 8 months ago
Fast Local Computation Algorithms
Ronitt Rubinfeld, Gil Tamir, Shai Vardi, Ning Xie