段振华;汉娜·克劳代尔;马西耶·库特尼 复合Petri网的ITL语义。 (英语) Zbl 1283.68240号 J.日志。阿尔盖布。程序。 82,第2期,95-110(2013). 审核人:安娜·拉布拉(罗马) MSC公司:68问题85 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,J.Log。阿尔盖布。程序。82,第2号,95-110(2013;Zbl 1283.68240) 全文: DOI程序
马丁·奥列特,纳西索;米盖尔·帕洛米诺;阿尔贝托·维尔德乔 按主题重写逻辑书目:1990-2011。 (英语) Zbl 1262.03052号 J.日志。阿尔盖布。程序。 81,编号7-8,782-815(2012).MSC公司:03B70号 00A15年 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人,J.Log。阿尔盖布。程序。81,编号7--8,782--815(2012;Zbl 1262.03052) 全文: DOI程序
何塞·梅塞盖尔 二十年的逻辑重写。 (英语) Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: DOI程序
安德烈亚斯·施罗德;塞巴斯蒂安·鲍尔。;马丁·威尔辛 基于合同的适应性方法。 (英语) Zbl 1213.68208号 J.日志。阿尔盖布。程序。 80,编号3-5,180-193(2011).MSC公司:68号30 03B44号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schroeder}等人,J.Log。阿尔盖布。程序。80,编号3--5,180-193(2011;Zbl 1213.68208) 全文: DOI程序
何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特,纳西索 代数模拟。 (英语) Zbl 1184.68300号 J.日志。阿尔盖布。程序。 79,第2期,第103-143页(2010年).MSC公司:2012年第68季度 60年第68季度 03B44号 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,J.Log。阿尔盖布。程序。79,No.2,103--143(2010;Zbl 1184.68300) 全文: DOI程序
Jose Gaintzarain;蒙特塞拉特赫莫;帕基,卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯 PLTL的表和序列的双重系统。 (英语) Zbl 1183.68596号 J.日志。阿尔盖布。程序。 78,第8号,701-722(2009).MSC公司:68T27型 68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}等人,J.Log。阿尔盖布。程序。78,第8号,701--722(2009;Zbl 1183.68596) 全文: DOI程序
莫里斯·比克。;斯特凡妮娅·格内西;迭戈·拉特拉;梅克·马西克;毛里齐奥·塞巴斯蒂安尼斯;詹卢卡·特伦塔尼 协助设计群件系统-模型检查智囊团的可用性方面。 (英语) Zbl 1183.68363号 J.日志。阿尔盖布。程序。 78,第4期,191-232(2009).MSC公司:60年第68季度 03B44号 68号30 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。阿尔盖布。程序。78,第4号,191--232(2009;Zbl 1183.68363) 全文: DOI程序
杨晓晓;段振华 框架Tempura的操作语义。 (英语) Zbl 1170.68006号 J.日志。阿尔盖布。程序。 78,编号1,22-51(2008).MSC公司:第68页第17页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}和\textit{Z.Duan},J.Log。阿尔盖布。程序。78,编号1,22--51(2008;Zbl 1170.68006) 全文: DOI程序
凯·布伦勒;马丁·兰格 时序逻辑的无切割序列系统。 (英语) Zbl 1151.03009号 J.日志。阿尔盖布。程序。 76,第2期,216-225(2008). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler}和\textit{M.Lange},J.Log。阿尔盖布。程序。76,第2号,216--225(2008;Zbl 1151.03009) 全文: DOI程序 链接
彼得·霍夫纳;Möller,伯恩哈德 代数邻域逻辑。 (英语) Zbl 1142.03036号 J.日志。阿尔盖布。程序。 76,第1期,35-59(2008).MSC公司:03G25号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。阿尔盖布。程序。76,第1号,35-59(2008年;兹bl 1142.03036) 全文: DOI程序 链接
马塞洛·F·弗里亚斯。;Lopez Pombo,Carlos G。 fork代数中一阶线性时序逻辑的可解释性。 (英语) Zbl 1086.68086号 J.日志。阿尔盖布。程序。 66,第2期,161-184(2006).MSC公司:60年第68季度 03B44号 03G25号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Frias}和\textit{C.G.López Pombo},J.Log。阿尔盖布。程序。66,No.2,161--184(2006;Zbl 1086.68086) 全文: DOI程序
凯伦·约拉夫;奥尔纳·格伦伯格 序列程序的语法导向模型检查。 (英语) Zbl 1008.68075号 J.日志。阿尔盖布。程序。 52-53, 129-162 (2002).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Yorav}和\textit{O.Grumberg},J.Log。阿尔盖布。程序。52-53、129-162(2002年;Zbl 1008.68075) 全文: DOI程序
Aceto,卢卡;弗朗索瓦·拉鲁西尼 你的模型检验员准时吗?时间模态逻辑模型检验的复杂性。 (英语) Zbl 1008.68030号 J.日志。阿尔盖布。程序。 52-53, 7-51 (2002).MSC公司:第68页第17页 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{F.Laroussinie},J.Log。阿尔盖布。程序。52-53、7--51(2002年;Zbl 1008.68030) 全文: DOI程序