Search Sciweavers | Sciweavers

13306 search results - page 112 / 2662

» Theoretical Computer Science

click to vote

MFCS
1999
Springer

99views Theoretical Computer Science» more MFCS 1999»

The Complexity of the Extended GCD Problem

15 years 2 months ago

Download dimacs.rutgers.edu

George Havas, Jean-Pierre Seifert

claim paper

Read More »

click to vote

RANDOM
1999
Springer

89views Theoretical Computer Science» more RANDOM 1999»

Completeness and Robustness Properties of Min-Wise Independent Permutations

15 years 2 months ago

Download www.eecs.harvard.edu

Andrei Z. Broder, Michael Mitzenmacher

claim paper

Read More »

click to vote

RTA
1999
Springer

101views Theoretical Computer Science» more RTA 1999»

Strong Normalization of Proof Nets Modulo Structural Congruences

15 years 2 months ago

Download twiki.di.uniroma1.it

Roberto Di Cosmo, Stefano Guerrini

claim paper

Read More »

click to vote

SPIN
1999
Springer

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

15 years 2 months ago

Download spinroot.com

María-del-Mar Gallardo, Pedro Merino

claim paper

Read More »

click to vote

ITICSE
1998
ACM

132views Theoretical Computer Science» more ITICSE 1998»

Automated collection of coursework using the Web

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers