Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications 论文

2003Studia Logica引用 272
DOI
Formal Methods in VerificationLogic, Reasoning, and KnowledgeLogic, programming, and type systems
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications · 相关文章

暂无数据