Sciweavers

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