首页>外文期刊>Logical Methods in Computer Science >2011年第4期

Logical Methods in Computer Science

中文名称：计算机科学中的逻辑方法

ISSN：
出版周期：-

发文量：1030

期刊论文

热门论文

年度选择

更多>>

全选（0）

共9条结果

1.Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

机译：模态Mu-微积分碎片的模型检查递归方案的复杂性
- 作者：NaokiKobayashi;C.-H.LukeOng
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
2.Computational Models of Certain Hyperspaces of Quasi-metric Spaces

机译：拟度量空间某些超空间的计算模型
- 作者：MassoudPourmahdianMahdiAli-Akbari
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
3.Timed Parity Games: Complexity and Robustness

机译：定时奇偶游戏：复杂性和鲁棒性
- 作者：KrishnenduChatterjeeThomasAHenzingerVinayakSPrabhu
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
4.Proof-irrelevant model of CC with predicative induction and judgmental equality

机译：具有谓词归纳和判断等式的CC的证明无关模型
- 作者：GyesikLee;BenjaminWerner
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
5.The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function

机译：多值函数连续点集的描述性集理论复杂性
- 作者：VassiliosGregoriades
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
6.Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

机译：动态创建线程的并发程序的上下文边界分析
- 作者：MohamedFaouAtig;AhmedBouajjani;ShazQadeer
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
7.A note on the expressive power of linear orders

机译：关于线性阶的表达能力的注释
- 作者：ThomasSchwentick;NicoleSchweikardt
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
8.The Complexity of Rooted Phylogeny Problems

机译：根系发生问题的复杂性
- 作者：ManuelBodirsky;JensK.Mueller
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期
9.A decidable characterization of locally testable tree languages

机译：本地可测试树语言的可确定特征
- 作者：ThomasPlace;LucSegoufin
- 期刊名称：《Logical Methods in Computer Science》 | 2011年第4期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号