×

循环和逆命题的动态逻辑基本上是可判定的。 (英语) Zbl 0515.68062号


MSC公司:

65年第68季度 形式语言和自动机
03B99号 一般逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部