摘要：用于判定命题动态逻辑（PDL）可满足性问题的基于表搜索的算法
作者：Pietro Abate, Rajeev Gor''e and Florian Widmann
论文ID：0711.1016
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-01-08
PDF 下载： 英文版 中文版pdf翻译中