Search Sciweavers | Sciweavers

53 search results - page 2 / 11

» stacs 2009

131

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Fragments of First-Order Logic over Infinite Words

15 years 10 months ago

Download www.cmi.ac.in

Volker Diekert, Manfred Kufleitner

claim paper

Read More »

111

click to vote

STACS
2009
Springer

107views Theoretical Computer Science» more STACS 2009»

Shortest Paths Avoiding Forbidden Subpaths

15 years 10 months ago

Download www.cs.uwaterloo.ca

Mustaq Ahmed, Anna Lubiw

claim paper

Read More »

101

click to vote

STACS
2009
Springer

103views Theoretical Computer Science» more STACS 2009»

On the Borel Inseparability of Game Tree Languages

15 years 8 months ago

Download www.mimuw.edu.pl

Szczepan Hummel, Henryk Michalewski, Damian Niwins...

claim paper

Read More »

click to vote

STACS
2009
Springer

102views Theoretical Computer Science» more STACS 2009»

Optimal Cache-Aware Suffix Selection

15 years 10 months ago

Download hal.archives-ouvertes.fr

Gianni Franceschini, Roberto Grossi, S. Muthukrish...

claim paper

Read More »

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Testing Linear-Invariant Non-Linear Properties

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers