Sciweavers

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