Characterizing EF and EX Tree Logics

机译：表征EF和EX树逻辑

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We characterize the expressive power of EX, EF and EX+EF logics. These are the fragments of CTL built using the respective operators. We give a forbidden pattern characterization of the tree languages definable in these logics. The characterizations give optimal algorithms for deciding if a given tree language is expressible in one of the three logics.

机译：我们描述了EX，EF和EX + EF逻辑的表达能力。这些是使用各个运算符构建的CTL的片段。我们给出了在这些逻辑中可定义的树语言的禁止模式表征。表征提供了最佳算法，用于确定给定的树语言是否可以在三种逻辑之一中表达。

著录项

来源
《International Conference on Concurrency Theory(CONCUR 2004); 20040831-20040903; London; GB》|2004年|P.131-145|共15页
会议地点 London(GB);London(GB)
作者
Mikolaj Bojanczyk; Igor Walukiewicz;
展开▼
作者单位

Uniwersytet Warszawski, Banacha 2, 02-097 Warszawa, Poland;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP393.01;
关键词

相似文献

外文文献
中文文献
专利

1. Characterizing EF and EX tree logics [J] . Mikolaj Bojanczyk, Igor Walukiewicz Theoretical computer science . 2006,第2a3期

机译：表征EF和EX树逻辑
2. Characterizing weighted MSO for trees by branching transitive closure logics [J] . Fueloep Zoltan, Vogler Heiko Theoretical computer science . 2015,第Null期

机译：通过分支传递闭包逻辑来表征树木的加权MSO
3. Characterizing CTL-like logics on finite trees [J] . Zoltan Esik Theoretical computer science . 2006,第1a2期

机译：在有限树上表征类似于CTL的逻辑
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. Characterizing the response of calcium signal transducers to generated calcium transients and modifying CA(2+) and MG(2+) affinity using site-directed mutagenesis of EF-hands [D] . Davis, Jonathan Paul 1999

机译：表征钙信号换能器对生成的钙瞬变的响应并使用定点诱变的EF手修改CA（2+）和MG（2+）亲和力
6. Using logic regression to characterize extreme heat exposures and their health associations: a time-series study of emergency department visits in Atlanta [O] . Shan Jiang, Joshua L. Warren, Noah Scovronick, 2021

机译：使用逻辑回归来表征极端热曝光及其健康协会：亚特兰大急诊部门访问的时间序列研究
7. Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs [O] . Balder Ten Cate, Alessandro Facchini 2012

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

Characterizing EF and EX Tree Logics

摘要

著录项

相似文献

相关主题

期刊订阅