Sciweavers

13306 search results - page 112 / 2662
» Theoretical Computer Science
Sort
View
MFCS
1999
Springer
15 years 9 months ago
The Complexity of the Extended GCD Problem
George Havas, Jean-Pierre Seifert
132
Voted
RANDOM
1999
Springer
15 years 9 months ago
Completeness and Robustness Properties of Min-Wise Independent Permutations
Andrei Z. Broder, Michael Mitzenmacher
128
Voted
RTA
1999
Springer
15 years 9 months ago
Strong Normalization of Proof Nets Modulo Structural Congruences
Roberto Di Cosmo, Stefano Guerrini
SPIN
1999
Springer
15 years 9 months ago
A Framework for Automatic Construction of Abstract Promela Models
María-del-Mar Gallardo, Pedro Merino