Structuralist Logic: Implications, Inferences, and Consequences
- 作者Arnold Koslow
- 卷第1卷
- 期第1期
- 印刷ISSN1661-8297
- 电子ISSN1661-8300
- 文件大小407.23KB
- 发表时间2007-01
- DOI10.1007/s11787-006-0008-1
- 页码167-181
同作者推荐
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