Sciweavers

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