Sciweavers

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