朱利安·布拉德菲尔德;伊戈尔·瓦卢基维奇 微积分和模型检查。 (英语) Zbl 1392.68236号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。871-919 (2018).MSC公司:第68季度第60季度 03B45号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}和\textit{I.Walukiewicz},见:模型检查手册。查姆:施普林格。871--919(2018;Zbl 1392.68236) 全文: 内政部 哈尔
玛丽·福廷;麝香草,安卡;伊戈尔·瓦卢基维奇 参数化异步共享内存下推系统的模型检查线性时间属性。 (英语) Zbl 1495.68134号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10427, 155-175 (2017).MSC公司:第68季度第60季度 03B44号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Fortin}等人,Lect。注释计算。科学。10427,155--175(2017;Zbl 1495.68134) 全文: 内政部 哈尔
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 键入弱MSOL属性。 (英语) Zbl 1448.68316号 日志。计算方法。科学。 13,第1号,第14号论文,27页(2017年).MSC公司:第68季度第60季度 03B16号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},日志。计算方法。科学。13,第1号,第14号论文,27页(2017;Zbl 1448.68316) 全文: 内政部 arXiv公司
弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 为什么时间自动机的活性很难,以及我们能做些什么。 (英语) Zbl 1391.68071号 Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第48条,第14页。(2016).MSC公司:65年第68季度 第68季度25 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,LIPIcs——莱布尼茨国际程序。通知。65,第48条,14~p.(2016;Zbl 1391.68071) 全文: 内政部
萨尔瓦多拉托雷;麝香草,安卡;伊戈尔·瓦卢基维奇 参数化异步共享内存系统的安全性几乎总是可以决定的。 (英语) Zbl 1374.68337号 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,72-84(2015)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,LIPIcs——莱布尼茨国际程序。通知。42、72-84(2015年;Zbl 1374.68337) 全文: 内政部
沃尔克·迪克特;麝香草,安卡;伊戈尔·瓦卢基维奇 关于监视器和Büchi自动机的注释。 (英语) Zbl 1471.68115号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9399, 39-57 (2015).MSC公司:65年第68季度 03B44号 05年3月 第68季度25 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人,Lect。注释计算。科学。9399,39-57(2015;Zbl 1471.68115) 全文: 内政部 arXiv公司
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 键入弱MSOL属性。 (英语) Zbl 1448.68315号 Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 343-357 (2015).MSC公司:第68季度第60季度 03B16号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},莱克特。注释计算。科学。9034、343--357(2015;Zbl 1448.68315) 全文: 内政部 arXiv公司
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 使用模型对递归方案进行建模检查。 (英语) Zbl 1391.68080号 日志。计算方法。科学。 11,第2号,第7号论文,27页(2015年).MSC公司:第68季度第60季度 03B40型 68号30 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},日志。计算方法。科学。11,第2号,第7号文件,第27页(2015年;兹bl 1391.68080) 全文: 内政部
麝香草,安卡;伊戈尔·瓦卢基维奇 非循环体系结构的分布式综合。 (英语) Zbl 1360.68594号 Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学学报29,639-651(2014)。MSC公司:第68季度第60季度 64岁以下 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz},LIPIcs——莱布尼茨国际程序。通知。29639--651(2014年;Zbl 1360.68594) 全文: 内政部 arXiv公司
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 Krivine机器和高阶方案。 (英语) Zbl 1309.68073号 Inf.计算。 239, 340-355 (2014).MSC公司:2005年第68季度 03B40型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},信息计算。239340-355(2014年;Zbl 1309.68073) 全文: 内政部
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 使用模型对递归方案进行模型检查。 (英语) Zbl 1381.68179号 长谷川,Masahito(编辑),键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38945-0/pbk)。计算机科学讲座笔记7941189-204(2013)。MSC公司:第68季度第60季度 03B40型 68号30 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},莱克特。注释计算。科学。7941、189--204(2013;Zbl 1381.68179) 全文: 内政部 arXiv公司
弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 时间自动机的更好抽象。 (英语) Zbl 1360.68560号 2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-4769-5)。375-384(2012年)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}et al.,in:2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2012,克罗地亚杜布罗夫尼克,2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。375--384(2012年;Zbl 1360.68560) 全文: 内政部 arXiv公司
弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 定时Büchi自动机的有效空性检查。 (英语) Zbl 1247.68143号 形式方法系统。设计。 40,第2期,122-146(2012).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,《形式方法系统》。设计。40、第2号、第122号——146(2012;Zbl 1247.68143) 全文: 内政部 arXiv公司
伊戈尔·瓦卢基维奇 递归方案的简单模型。 (英语) Zbl 1365.68332号 Rovan,Branislav(编辑)等人,《2012年计算机科学的数学基础》。2012年8月27日至31日,斯洛伐克布拉迪斯拉发,第37届国际研讨会,MFCS 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32588-5/pbk)。计算机科学课堂讲稿7464,49-60(2012)。MSC公司:第68季度第60季度 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。7464,49-60(2012;Zbl 1365.68332) 全文: 内政部
帕里斯(Pawe Parys);伊戈尔·瓦卢基维奇 弱交替时间自动机。 (英语) Zbl 1258.03047号 日志。计算方法。科学。 8,第3号,第18号论文,27页(2012年).MSC公司:05年3月 03年2月25日 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Parys}和\textit{I.Walukiewicz},日志。计算方法。科学。8,第3号,第18号论文,27页(2012;Zbl 1258.03047) 全文: 内政部 arXiv公司
弗雷德里克·赫布雷托;基尼,迪利普;Srivathsan,B。;伊戈尔·瓦卢基维奇 使用非凸近似对时间自动机进行有效分析。 (英语) Zbl 1246.68145号 Chakraborthy,Supraik(编辑)等人,2011年12月12日至14日在印度孟买举行的软件技术和理论计算机科学基础IARCS年会(FSTTCS 2011)。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-34-7)。LIPIcs–莱布尼茨国际信息学会议录13,78-89,仅电子版(2011年)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,LIPIcs——莱布尼茨国际程序。通知。13、78——89(2011;Zbl 1246.68145) 全文: 内政部 arXiv公司
萨尔瓦蒂,S。;Walukiewicz,I。 Krivine机器和高阶方案。 (英语) Zbl 1333.68111号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756162-173(2011)。MSC公司:2005年第68季度 03B40型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},莱克特。注释计算。科学。6756、162--173(2011年;Zbl 1333.68111) 全文: 内政部 链接
伊戈尔·瓦卢基维奇 合成:单词和痕迹。 (英语) 兹比尔1305.68116 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲座笔记6252,18-21(2010)。MSC公司:65年第68季度 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。6252,18-21(2010;Zbl 1305.68116) 全文: 内政部 哈尔
麝香草,安卡;伊戈尔·瓦卢基维奇 web服务组合的下限。 (英语) Zbl 1195.68067号 Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423274-286(2007)。MSC公司:第68季度第60季度 68英里11 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz},莱克特。注释计算。科学。4423274--286(2007年;Zbl 1195.68067) 全文: 内政部
伊戈尔·瓦卢基维奇 从逻辑到游戏。 (英语) Zbl 1172.68545号 Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿382179-91(2005)。MSC公司:第68季度第60季度 68-03 03B44号 05年3月 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。3821、79-91(2005年;Zbl 1172.68545) 全文: 内政部
穆拉夫斯基。;Ong,C.-H.L。;Walukiewicz,I。 具有基递归和DPDA等价性的理想化算法。 (英语) 兹比尔1085.68092 Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿3580917-929(2005)。MSC公司:第68季度第60季度 68甲15 65年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}等人,Lect。注释计算。科学。3580、917--929(2005年;Zbl 1085.68092) 全文: 内政部
特奥多尔·科纳皮克;达米安·尼文斯基;巴威·乌尔兹琴;伊戈尔·瓦卢基维奇 不安全语法和恐慌自动机。 (英语) Zbl 1081.68054号 Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801450-1461(2005)。MSC公司:第68季度第60季度 2012年第68季度 65年第68季度 03年2月25日 05年3月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Knapik}等人,Lect。注释计算。科学。35801450--1461(2005;Zbl 1081.68054) 全文: 内政部
伊戈尔·瓦卢基维奇 如何修复:在不同的上下文中使用修复点。 (英语) Zbl 1108.68528号 Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,184-193(2005)。MSC公司:第68季度第60季度 03B45号 05年3月 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。3452184--193(2005年;Zbl 1108.68528) 全文: 内政部
麝香草,安卡;伊戈尔·瓦卢基维奇 LTL的NP完整片段。 (英语) Zbl 1161.03303号 发现的国际期刊。计算。科学。 16,第4期,743-753(2005).MSC公司:03B44号 第68季度25 2017年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz},国际发现杂志。计算。科学。16,第4号,743--753(2005;Zbl 1161.03303) 全文: 内政部
伊戈尔·瓦卢基维奇 配置困难–LTrL的复杂性。 (英语) Zbl 1075.68052号 形式方法系统。设计。 26,第1期,第27-43页(2005年).MSC公司:第68季度第60季度 03B44号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},《形式与方法系统》。设计。26,第1号,27-43(2005;Zbl 1075.68052) 全文: 内政部
麝香草,安卡;伊戈尔·瓦卢基维奇 LTL的NP完整片段。 (英语) 兹比尔1117.03317 Calude,Cristian S.(编辑)等,《语言理论的发展》。第八届国际会议,DLT 2004,新西兰奥克兰,2004年12月13-17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24014-4/pbk)。计算机科学讲座笔记3340334-344(2004)。MSC公司:03B44号 2017年第68季度 第68季度25 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz},Lect。注释计算。科学。3340334--344(2004年;Zbl 1117.03317) 全文: 内政部
花束,亚历克西斯-朱利安;奥利弗·塞雷;伊戈尔·瓦卢基维奇 具有无限性和常规条件的下推游戏。 (英语) Zbl 1205.68194号 Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 88-99 (2003).MSC公司:65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.-J.Bouquet}等人,Lect。注释计算。科学。2914、88-99(2003年;Zbl 1205.68194) 全文: 内政部
伊戈尔·瓦卢基维奇 制胜策略与控制器综合(摘要)。 (英语) Zbl 1116.68542号 Baaz,Matthias(编辑)等人,《计算机科学逻辑》。2003年8月25日至30日,第17届CSL国际研讨会,第12届EACSL年会,KGC 2003年第8届库尔特·哥德尔学术讨论会,奥地利维也纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40801-0/pbk)。莱克特。注释计算。科学。2803, 574 (2003).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。2803574(2003年;兹bl 1116.68542) 全文: 内政部
A.阿诺德。;文森特,A。;Walukiewicz,I。 具有部分观测的控制器合成游戏。 (英语) Zbl 1175.93148号 西奥。计算。科学。 303,第1期,7-34(2003).MSC公司:93立方65 91A43型 05年3月 65年第68季度 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}等人,Theor。计算。科学。303,编号1,7--34(2003;Zbl 1175.93148) 全文: 内政部
伊戈尔·瓦卢基维奇 用于合成的自动机和游戏。 (英语) Zbl 1275.68097号 Kirchner,Hélène(编辑)等人,代数方法论和软件技术。第九届国际会议,2002年AMAST,2002年9月9日至13日,法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林:施普林格出版社(ISBN 3-540-44144-1/pbk)。计算机科学课堂讲稿2422,15-20(2002)。MSC公司:第68季度第60季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。2422,15--20(2002;Zbl 1275.68097) 全文: 内政部
蒂亚加拉扬,P.S。;Walukiewicz,I。 Mazurkiewicz轨迹的一种表达完整的线性时间时序逻辑。 (英语) Zbl 1096.03015号 Inf.计算。 179,第2期,230-249(2002).MSC公司:03B44号 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{I.Walukiewicz},信息计算。179,编号2,230--249(2002;Zbl 1096.03015) 全文: 内政部
朱利安·伯内特;戴维·杰宁;伊戈尔·瓦卢基维奇 许可策略:从平价游戏到安全游戏。 (英语) Zbl 1090.91514号 西奥。通知。申请。 36,第3期,261-275(2002).MSC公司:91A50型 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bernet}等人,Theor。通知。申请。36,第36261-275号(2002年;兹bl 1090.91514) 全文: 内政部 Numdam编号 欧洲DML
伊戈尔·瓦卢基维奇 下推过程:游戏和模型检查。 (英语) Zbl 1003.68072号 Inf.计算。 164,第2期,234-263(2001).MSC公司:第68季度第60季度 2017年第68季度 65年第68季度 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},信息计算。164,第2号,234--263(2001;Zbl 1003.68072) 全文: 内政部
伊戈尔·瓦卢基维奇 模型检查下推系统的CTL属性。 (英语) Zbl 1044.68111号 Kapoor,Sanjiv(编辑)等人,FST TCS 2000:软件技术和理论计算机科学基础。第20届会议,印度新德里,2000年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-41413-4)。莱克特。注释计算。科学。1974, 127-138 (2000).MSC公司:第68季度第60季度 2017年第68季度 2005年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。1974年,127--138(2000年;Zbl 1044.68111) 全文: 链接
伊戈尔·瓦卢基维奇 Kozen命题演算公理化的完备性。 (英语) Zbl 1046.68628号 Inf.计算。 157,编号1-2,142-182(2000).MSC公司:第68季度85 03B70号 第68季度第60季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},信息计算。157,编号1--2,142-182(2000;Zbl 1046.68628) 全文: 内政部 链接
维托尔德·查拉托尼克;大卫·麦卡利斯特;达米安·尼文斯基;安德烈亚斯·波德尔斯基;伊戈尔·瓦卢基维奇 号角微积分。 (英语) Zbl 0945.03541号 第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。58-69 (1998).MSC公司:03B70号 第68季度第60季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人,in:第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。58-69(1998年;Zbl 0945.03541)
达米安·尼文斯基;伊戈尔·瓦卢基维奇 微积分游戏。 (英语) Zbl 0872.03017号 西奥。计算。科学。 163,编号1-299-116(1996).MSC公司:03B70号 03B45号 第68季度第60季度 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{D.Niwinn ski}和\textit{I.Walukiewicz},Theor。计算。科学。163,编号1--2,99-116(1996;Zbl 0872.03017) 全文: 内政部
戴维·杰宁;伊戈尔·瓦卢基维奇 关于命题mu-calculus相对于一元二阶逻辑的表达完备性。 (英语) 兹比尔1514.68171 Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 263-277 (1996).MSC公司:第68季度85 03B44号 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Janin}和\textit{I.Walukiewicz},莱克特。注释计算。科学。1119263-277(1996年;兹bl 1514.68171) 全文: 内政部
戴维·杰宁;伊戈尔·瓦卢基维奇 模态演算和相关结果的自动机。 (英语) Zbl 1193.68163号 Wiedermann,Jiří(编辑)等人,《计算机科学的数学基础》,1995年。1995年8月28日至9月1日,第20届国际研讨会,MFCS’95,捷克共和国布拉格。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-60246-1)。莱克特。注释计算。科学。969, 552-562 (1995).MSC公司:第68季度第60季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Janin}和\textit{I.Walukiewicz},莱克特。注释计算。科学。969、552--562(1995年;Zbl 1193.68163) 全文: 内政部
伊戈尔·瓦卢基维奇 PAL的Gentzen型公理化。 (英语) Zbl 0783.68084号 西奥。计算。科学。 118,第1号,67-79(1993). 审核人:S.Gottwald(莱比锡) MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{I.Walukiewicz},Theor。计算。科学。118,编号1,67--79(1993;Zbl 0783.68084) 全文: 内政部