Information Algebras and Consequence Operators
- 作者Jürg Kohlas; Robert F. Stärk
- 卷第1卷
- 期第1期
- 印刷ISSN1661-8297
- 电子ISSN1661-8300
- 文件大小534.81KB
- 发表时间2007-01
- DOI10.1007/s11787-006-0007-2
- 页码139-165
同作者推荐
Distributed temporal logic for the analysis of security protocol modelsDavid Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò · 2011
[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - A Labeled Tableaux System for the Distributed Temporal Logic DTLBasin, David; Caleiro, Carlos; Ramos, Jaime; Vigan, Luca · 2008