克里斯蒂安·普里卡里奥;杰拉尔多·施奈德 复杂合同的动态道义逻辑。 (英语) Zbl 1258.03024号 J.日志。阿尔盖布。程序。 81,第4期,458-490(2012). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Prisacariu}和\textit{G.Schneider},J.Log。阿尔盖布。程序。81,No.4,458--490(2012;Zbl 1258.03024) 全文: 内政部
菲利普·巴尔比亚尼;廷切夫,廷科 带关系的布尔逻辑。 (英语) Zbl 1206.03019号 J.日志。阿尔盖布。程序。 79,第8期,707-721(2010). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B45号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev},J.Log。阿尔盖布。程序。79,第8号,707--721(2010;Zbl 1206.03019) 全文: 内政部
西蒙·克莱默 加密协议逻辑:满足(定时)Dolev-Yao加密。 (英语) Zbl 1151.94012号 J.日志。阿尔盖布。程序。 77,编号1-2,60-91(2008).MSC公司:94A60型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer},J.Log。阿尔盖布。程序。77,编号1--2,60-91(2008;Zbl 1151.94012) 全文: 内政部
格雷塔·约什;亚历山大·拉宾诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼 链接数据结构中可访问模式的逻辑。 (英语) Zbl 1121.03040号 J.日志。阿尔盖布。程序。 73,编号1-2,111-142(2007). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yorsh}等人,J.Log。阿尔盖布。程序。73,编号1--2,111-142(2007;Zbl 1121.03040) 全文: 内政部 arXiv公司
卢茨·施罗德 余代数模态逻辑的有限模型构造。 (英语) Zbl 1127.03014号 J.日志。阿尔盖布。程序。 73,编号1-2,97-110(2007). 审核人:斯特凡·沃尔夫(弗赖堡) MSC公司:03B45号 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder},J.Log。阿尔盖布。程序。73,编号1-2,97-110(2007年;Zbl 1127.03014) 全文: 内政部