Sciweavers

36 search results - page 3 / 8
» tcs 1998
Sort
View
TCS
1998
14 years 11 months ago
Near-Optimal, Distributed Edge Colouring via the Nibble Method
Devdatt P. Dubhashi, David A. Grable, Alessandro P...
65
Voted
TCS
1998
14 years 11 months ago
Parameterized Circuit Complexity and the W Hierarchy
Rodney G. Downey, Michael R. Fellows, Kenneth W. R...
TCS
1998
14 years 11 months ago
Decidability of Bisimulation Equivalence for Normed Pushdown Processes
We prove that bisimulation equivalence is decidable for normed pushdown processes.
Colin Stirling