Complexity of the Guarded Two-variable Fragment with Counting Quantifiers

IAN PRATT-HARTMANN

首页> 外文期刊>Journal of logic and computation >Complexity of the Guarded Two-variable Fragment with Counting Quantifiers

【24h】

Complexity of the Guarded Two-variable Fragment with Counting Quantifiers

机译：带计数量词的守卫二元片段的复杂性

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The finite satisfiability problem for the guarded two-variable fragment with counting quantifiers is in EXPTIME.

机译：带计数量词的受保护二元片段的有限可满足性问题在EXPTIME中。

著录项

来源
《Journal of logic and computation》 |2007年第1期|p.133-155|共23页
作者
IAN PRATT-HARTMANN;
展开▼
作者单位

School of Computer Science, University of Manchester, Manchester M13 9PL, UK;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
two-variable fragment; guarded fragment; counting quantifiers; logic; complexity;

机译：二元片段;保护片段;计数量词;逻辑;复杂度;

相似文献

外文文献
中文文献
专利

1. Data-complexity of the two-variable fragment with counting quantifiers [J] . Ian Pratt-Hartmann Information and computation . 2009,第8期

机译：具有计数量词的二变量片段的数据复杂性
2. Complexity of the Two-Variable Fragment with Counting Quantifiers [J] . IAN PRATT-HARTMANN Journal of logic, language and information . 2005,第3期

机译：具有计数量词的两个变量片段的复杂性
3. On the complexity of the two-variable guarded fragment with transitive guards [J] . Kieronski E Information and computation . 2006,第11期

机译：具有传递守卫的二元守卫碎片的复杂性
4. A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment [C] . Yevgeny Kazakov European Conference on Logics in Artificial Intelligence(JELIA 2004); 20040927-30; Lisbon(PT) . 2004

机译：从具有数量限制的两个变量保护片段到保护片段的多项式转换
5. Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting [D] . Kourtis, Georgios. 2017

机译：路径功能依赖性和带计数的两个变量保护片段
6. Dissecting tRNA-derived fragment complexities using personalized transcriptomes reveals novel fragment classes and unexpected dependencies [O] . Aristeidis G. Telonis, Phillipe Loher, Shozo Honda, 2015

机译：使用个性化的转录组解剖tRNA衍生的片段复杂性揭示了新颖的片段类别和意外的依赖性
7. Complexity of the guarded two-variable fragment with counting quantifiers [O] . Ian Pratt-hartmann 2013

机译：受保护的二元片段与计数量词的复杂度
8. Trajectory-Based Complexity (TBX): A Modified Aircraft Count to Predict Sector Complexity During Trajectory-Based Operations. [R] . Prevot, T., Lee, P. U. 2011

机译：基于轨迹的复杂性（TBX）：一种改进的飞机计数，用于在基于轨迹的操作期间预测区域复杂性。

Complexity of the Guarded Two-variable Fragment with Counting Quantifiers

摘要

著录项

相似文献

相关主题

期刊订阅