摘要：确定性MSO定义的图转字符串或图转树转换器在上下文无关图集上是否等价是可判定的。
作者：Joost Engelfriet and Sebastian Maneth
论文ID：cs/0506014
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中