×

兹马思-数学第一资源

一阶逻辑中安全协议的自动分析。(英语) Zbl 1038.94548
Ganzinger,Harald(编辑),《自动扣除-CADE-16》。第16届国际会议,1999年7月7日至10日,意大利特伦托。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-66222-7)。选择。笔记计算。科学。1632314-328(1999年)。
整个系列请参见[Zbl 0917.00015].

理学硕士:
94A60型 密码学
68T15型 定理证明(演绎、解析等)(MSC2010)
03B35型 证明和逻辑运算的机械化
PDF格式 BibTeX公司 XML 引用