Sciweavers

17 search results - page 3 / 4
» iandc 2002
Sort
View
59
Voted
IANDC
2002
61views more  IANDC 2002»
14 years 11 months ago
On Complexity of Easy Predictable Sequences
Michael V. Vyugin, Vladimir V. V'yugin
IANDC
2002
75views more  IANDC 2002»
14 years 11 months ago
Types for the Ambient Calculus
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
IANDC
2002
61views more  IANDC 2002»
14 years 11 months ago
Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution
Albert Atserias, Maria Luisa Bonet, Juan Luis Este...
IANDC
2002
53views more  IANDC 2002»
14 years 11 months ago
Aliasing Models for Mobile Objects
Uwe Nestmann, Hans Hüttel, Josva Kleist, Mass...
43
Voted
IANDC
2002
50views more  IANDC 2002»
14 years 11 months ago
The Small Model Property: How Small Can It Be?
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael S...