Sciweavers

53 search results - page 2 / 11
» stacs 2009
Sort
View
156
Voted
STACS
2009
Springer
16 years 21 days ago
Fragments of First-Order Logic over Infinite Words
Volker Diekert, Manfred Kufleitner
STACS
2009
Springer
15 years 10 months ago
On the Borel Inseparability of Game Tree Languages
Szczepan Hummel, Henryk Michalewski, Damian Niwins...
STACS
2009
Springer
16 years 21 days ago
Optimal Cache-Aware Suffix Selection
Gianni Franceschini, Roberto Grossi, S. Muthukrish...
STACS
2009
Springer
16 years 21 days ago
Testing Linear-Invariant Non-Linear Properties
Arnab Bhattacharyya, Victor Chen, Madhu Sudan, Nin...