论文信息 - The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space - 字舞流文

The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space

Albert R. Meyer | Larry J. Stockmeyer | L. Stockmeyer | A. Meyer

[1] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.

[2] Richard Edwin Stearns,et al. Hierarchies of memory limited computations , 1965, SWCT.

[3] J. Hartmanis,et al. On the Computational Complexity of Algorithms , 1965 .