判定赋范上下文无关过程等价性的多项式时间算法

约拉姆·赫什菲尔德,马克·杰拉姆,法伦·莫勒.判定规范无上下文过程等价性的多项式时间算法.第35届计算机科学基础年会,1994年11月20日至22日,美国新墨西哥州圣菲.623-631、IEEE、,1994

摘要

缺少摘要。