机译:树上的单子二阶逻辑和传递闭合逻辑
Department of Mathematics and Computer Science, Illinois Wesleyan University, Bloomington, IL, USA;
Collaborative Research Centre 441, University of Tübingen, Tübingen, Germany;
Tree languages; Monadic second; order logic; Transitive closure logics; Cross; serial dependencies; Model theoretic syntax;
机译:有限树上单子二阶逻辑片段的完全公理化
机译:在树上以二阶二阶逻辑表示基数量词
机译:有限色树上的单子二阶逻辑评估问题:数据库理论方法
机译:拟阵的分支宽度,解析树和单子二阶逻辑
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:基于模糊逻辑和决策树的临床决策支持系统预测结直肠癌
机译:树上的单子二阶逻辑和传递闭包逻辑