首页> 外文OA文献 >Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs

【2h】

Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs

机译：在无穷树上表征EF和在传递图上表征模态逻辑

页面导航

著录项
相似文献
相关主题

著录项

作者
Balder Ten Cate; Alessandro Facchini;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Characterizing weighted MSO for trees by branching transitive closure logics [J] . Fueloep Zoltan, Vogler Heiko Theoretical computer science . 2015,第Null期

机译：通过分支传递闭包逻辑来表征树木的加权MSO
2. Characterizing EF and EX tree logics [J] . Mikolaj Bojanczyk, Igor Walukiewicz Theoretical computer science . 2006,第2a3期

机译：表征EF和EX树逻辑
3. Monadic Second-Order Logic and Transitive Closure Logics Over Trees [J] . Hans-J?rg Tiede, Stephan Kepser Research on Language & Computation . 2009,第1期

机译：树上的单子二阶逻辑和传递闭合逻辑
4. Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs [C] . Balder ten Cate, Alessandro Facchini Mathematical foundations of computer science 2011 . 2011

机译：在无穷树上表征EF和传递图上的模态逻辑
5. Infinitely exchangeable partition, tree and graph-valued stochastic processes. [D] . Crane, Harry. 2012

机译：无限交换的分区，树和图值的随机过程。
6. Characterizing compatibility and agreement of unrooted trees via cuts in graphs [O] . Sudheer Vakati, David Fernández-Baca 2014

机译：通过图形切割来表征无根树的兼容性和一致性
7. Characterizing Weighted MSO for Trees by Branching Transitive Closure Logics [O] . Fülöp, Zoltán, Vogler, Heiko 2015

机译：通过分支传递闭包表征树的加权msO 逻辑

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号