首页> 外文OA文献 >On the complexity of the two-variable guarded fragment with transitive guards

【2h】

On the complexity of the two-variable guarded fragment with transitive guards

机译：具有传递守卫的二元守卫碎片的复杂性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kieroński Emanuel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the complexity of the two-variable guarded fragment with transitive guards [J] . Kieronski E Information and computation . 2006,第11期

机译：具有传递守卫的二元守卫碎片的复杂性
2. Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants [J] . Kieronski Emanuel, Tendera Lidia ACM transactions on computational logic . 2018,第2期

机译：具有传递卫兵和相关变体的两变量守卫片段的有限可满足性
3. Complexity of the Guarded Two-variable Fragment with Counting Quantifiers [J] . IAN PRATT-HARTMANN Journal of logic and computation . 2007,第1期

机译：带计数量词的守卫二元片段的复杂性
4. The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard [C] . Emanuel Kieroriski Foundations of Software Science and Computation Structures . 2003

机译：具有传递保护的两变量保护片段为2EXPTIME-Hard
5. Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting [D] . Kourtis, Georgios. 2017

机译：路径功能依赖性和带计数的两个变量保护片段
6. Social Complexity Predicts Transitive Reasoning in Prosimian Primates [O] . Evan L. MacLean, Dustin J. Merritt, Elizabeth M. Brannon -1

机译：社会复杂性预测Prosimian灵长类中的及物推理
7. Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants [O] . Kieronski, Emanuel, Tendera, Lidia 2018

机译：具有时滞的双变量保护碎片的有限可满足性传递卫兵和相关变种
8. Parallel Computation of Transitive Closure Queries on Fragmented Databases [R] . Houtsma, M. A. W., Apers, P. M. G., Ceri, S. 1988

机译：分段数据库上传递闭包查询的并行计算

On the complexity of the two-variable guarded fragment with transitive guards

著录项

引文网络

相似文献

相关主题

期刊订阅