摘要:正则树语言的强抽放引理的动机和证明
作者:Marco Kuhlmann
论文ID:0810.4249
分类:Computational Complexity
分类简称:cs.CC
提交时间:2008-10-24
PDF 下载: 英文版 中文版pdf翻译中