Sciweavers

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