Sciweavers

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