Journal: Theory Comput. Syst.

Volume 34, Issue 3

193 -- 227Daniel Kirsten, Gwénaël Richomme. Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids
229 -- 244Hesham Al-Ammal, Leslie Ann Goldberg, Philip D. MacKenzie. An Improved Stability Bound for Binary Exponential Backoff
245 -- 261Lance Fortnow, Aduri Pavan, Alan L. Selman. Distributionally Hard Languages
263 -- 272Juha Honkala. A Polynomial Bound for Certain Cases of the D0L Sequence Equivalence Problem