18306 search results - page 22 / 3662 » Algorithmics in Exponential Time |
128
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
CORR
2009
Springer
15 years 1 months ago
2009
Springer
119
click to vote
CPC
2010
15 years 1 months ago
2010
We consider first-passage percolation on a ladder, i.e. the graph N