Logic and Natural Selection
- 作者Jaroslav Peregrin
- 卷第4卷
- 期第2期
- 印刷ISSN1661-8297
- 电子ISSN1661-8300
- 文件大小377.08KB
- 发表时间2010-11
- DOI10.1007/s11787-010-0018-x
- 页码207-223
同作者推荐
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