Computational Aspects of Logics in Team Semantics

被引：0
|
作者：
Kontinen, Juha [1 ]
机构：
[1] Univ Helsinki, Dept Math & Stat, Helsinki, Finland
来源：
34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017) | 2017年 / 66卷
关键词：
team semantics; dependence logic; model checking; satisfiability problem; team bisimulation;
D O I：
10.4230/LIPIcs.STACS.2017.1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
12345