Sciweavers

13306 search results - page 143 / 2662
» Theoretical Computer Science
Sort
View
FOCS
1997
IEEE
15 years 1 months ago
Satisfiability Coding Lemma
Ramamohan Paturi, Pavel Pudlák, Francis Zan...
STACS
2000
Springer
15 years 1 months ago
Simulation and Bisimulation over One-Counter Processes
Petr Jancar, Antonín Kucera, Faron Moller
FOCS
1995
IEEE
15 years 1 months ago
Lower Bounds for Monotone Span Programs
Amos Beimel, Anna Gál, Mike Paterson
FOCS
1995
IEEE
15 years 1 months ago
Learning Polynomials with Queries: The Highly Noisy Case
Oded Goldreich, Ronitt Rubinfeld, Madhu Sudan