Sciweavers

32 search results - page 2 / 7
» fsttcs 2008
Sort
View
FSTTCS
2008
Springer
13 years 12 months ago
Algorithms for Game Metrics
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majum...
FSTTCS
2008
Springer
13 years 12 months ago
A new upper bound for 3-SAT
Josep Díaz, Lefteris M. Kirousis, Dieter Mi...
FSTTCS
2008
Springer
13 years 12 months ago
The Complexity of Tree Transducer Output Languages
Two complexity results are shown for the output languages generated by compositions of macro tree transducers. They are in NSPACE(n) and hence are context-sensitive, and the class ...
Kazuhiro Inaba, Sebastian Maneth
FSTTCS
2008
Springer
13 years 12 months ago
An Optimal Construction of Finite Automata from Regular Expressions
We consider the construction of finite automata from their corresponding regular expressions by a series of digraph-transformations along the expression’s structure. Each interm...
Stefan Gulan, Henning Fernau
FSTTCS
2008
Springer
13 years 12 months ago
On the Power of Imperfect Information
We present a polynomial-time reduction from parity games with imperfect information to safety games with imperfect information. Similar reductions for games with perfect informatio...
Dietmar Berwanger, Laurent Doyen