Sciweavers

17 search results - page 3 / 4
» iandc 2002
Sort
View
IANDC
2002
61views more  IANDC 2002»
13 years 5 months ago
On Complexity of Easy Predictable Sequences
Michael V. Vyugin, Vladimir V. V'yugin
IANDC
2002
75views more  IANDC 2002»
13 years 5 months ago
Types for the Ambient Calculus
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
IANDC
2002
61views more  IANDC 2002»
13 years 5 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»
13 years 5 months ago
Aliasing Models for Mobile Objects
Uwe Nestmann, Hans Hüttel, Josva Kleist, Mass...
IANDC
2002
50views more  IANDC 2002»
13 years 5 months ago
The Small Model Property: How Small Can It Be?
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael S...