摘要：无穷状态系统上等价性检测的最新技术及现有结果的综述（截至2004年9月）
作者：Antonin Kucera and Petr Jancar
论文ID：cs/0505025
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中