Regular expressions and the equivalence of programs

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Received 14 October 1968, Available online 27 December 2007.

论文官网地址:https://doi.org/10.1016/S0022-0000(69)80027-9