27. FSTTCS 2007:
New Delhi, India Vikraman Arvind , Sanjiva Prasad (Eds.):
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings.
Lecture Notes in Computer Science 4855 Springer 2007, ISBN 978-3-540-77049-7 Invited Papers
export record as
dblp key:
export record as
dblp key:
Richard M. Karp :
Streaming Algorithms for Selection and Approximate Sorting.
9-20
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Contributed Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fsttcs/HirschowitzHH07 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fsttcs/Beyersdorff07 Olaf Beyersdorff :
The Deduction Theorem for Strong Propositional Proof Systems.
241-252
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Telikepalli Kavitha :
Faster Algorithms for All-Pairs Small Stretch Distances in Weighted Graphs.
328-339
export record as
dblp key:
conf/fsttcs/FleischnerMPS07 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fsttcs/BrevilliersCS07 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sven Schewe :
Solving Parity Games in Big Steps.
449-460
export record as
dblp key:
export record as
dblp key:
conf/fsttcs/Chatterjee07a export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fsttcs/HaemmerleFS07
data released under the ODC-BY 1.0 license
