Sciweavers

1326 search results - page 266 / 266
» Semantic Coherence in Software Engineering
Sort
View
FSTTCS
2009
Springer
14 years 10 days ago
Fractional Pebbling and Thrifty Branching Programs
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...
Mark Braverman, Stephen A. Cook, Pierre McKenzie, ...