Sciweavers

30 search results - page 1 / 6
» fsttcs 2005
Sort
View
103
Voted
FSTTCS
2005
Springer
15 years 11 months ago
Proving Lower Bounds Via Pseudo-random Generators
Manindra Agrawal
129
Voted
FSTTCS
2005
Springer
15 years 11 months ago
From Logic to Games
Igor Walukiewicz
111
Voted
FSTTCS
2005
Springer
15 years 11 months ago
The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable
Joost Engelfriet, Sebastian Maneth