首页> 外文OA文献 >On the complexity of linear temporal logic with team semantics

【2h】

On the complexity of linear temporal logic with team semantics

机译：关于线性时间逻辑与团队语义的复杂性

代理获取

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

页面导航

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

著录项

作者
Martin Lück;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the complexity of linear temporal logic with team semantics [J] . Lack Martin Theoretical computer science . 2020,第1期

机译：关于线性时间逻辑与团队语义的复杂性
2. Complexity of Propositional Logics in Team Semantic [J] . Hannula Miika, Kontinen Juha, Virtema Jonni, ACM transactions on computational logic . 2018,第1期

机译：团队语义中命题逻辑的复杂性
3. Context Semantics, Linear Logic, and Computational Complexity [J] . UGO DAL LAGO ACM transactions on computational logic . 2009,第4期

机译：上下文语义，线性逻辑和计算复杂性
4. Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming [C] . Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, IEEE Annual Conference on Decision and Control . 2017

机译：使用可满足性模凸规划的欠驱动机器人团队的线性时间逻辑运动规划
5. GERMAN TEMPORAL SEMANTICS: THREE-DIMENSIONAL TENSE LOGIC AND A GPSG FRAGMENT. [D] . NERBONNE, JOHN A. 1984

机译：德语时间语义：三维时态逻辑和GPSG片段。
6. Backdoors for Linear Temporal Logic [O] . Arne Meier, Sebastian Ordyniak, M. S. Ramanujan, -1

机译：线性时序逻辑的后门
7. Complexity of Propositional Logics in Team Semantic [O] . Miika Hannula, Juha Kontinen, Jonni Virtema, 2018

机译：团队语义中命题逻辑的复杂性

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号