Larsen,Kim G。(编辑);伊戈尔·波塔波夫(编辑);吉·斯尔巴(编辑) 前言。可达性问题:特殊问题。 (英语) 兹比尔1405.00053 西奥。计算。科学。 750,第1页(2018年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)等人,Theor。计算。科学。750,1页(2018;Zbl 1405.00053) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 (英语) Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare},Theor。计算。科学。546164--175(2014年;Zbl 1317.68120) 全文: 内政部
Larsen,Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 (英语) Zbl 1311.68088号 西奥。计算。科学。 515, 96-122 (2014).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。515、96-122(2014年;Zbl 1311.68088) 全文: 内政部
贝诺·凯劳德;贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 约束马尔可夫链。 (英语) Zbl 1223.68070号 西奥。计算。科学。 412,第34号,4373-4404(2011). 审核人:托马斯·扬森(科克) MSC公司:60年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人,Theor。计算。科学。412,第34号,4373--4404(2011;Zbl 1223.68070) 全文: 内政部
Larsen,Kim G。;乌里法伦伯格;克劳斯·苏兰 加权转移系统的度量:公理化和复杂性。 (英语) 兹比尔1216.68191 西奥。计算。科学。 412,第28号,3358-3369(2011).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。412,第28号,3358--3369(2011;Zbl 1216.68191) 全文: 内政部 哈尔
北卡罗来纳州贝内什。;Křetínsk \345],J。;拉森,K.G。;斯尔巴,J。 论模态转换系统中的决定论。 (英语) Zbl 1186.68314号 西奥。计算。科学。 410,编号41,4026-4043(2009).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Theor。计算。科学。410,第41号,4026--4043(2009;Zbl 1186.68314) 全文: 内政部
金·古德斯特兰·拉森;雅各布·伊勒姆拉斯穆森 多定价时间自动机的最优可达性。 (英语) Zbl 1134.68029号 西奥。计算。科学。 390,编号2-3,197-213(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{J.I.Rasmussen},Theor。计算。科学。390,编号2--3,197-213(2008;Zbl 1134.68029) 全文: 内政部
卢卡·埃特罗;帕特里夏·鲍耶;奥古斯托·布尔古埃诺;Larsen,Kim G。 时间自动机可达性测试的威力。 (英语) Zbl 1023.68060号 西奥。计算。科学。 300,编号1-3,411-475(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。300,编号1--3,411--475(2003;Zbl 1023.68060) 全文: 内政部
金·古德斯特兰·拉森 隐式规范的表达能力。 (英语) Zbl 0779.68059号 西奥。计算。科学。 114,第1期,119-147(1993). 审核人:K.G.拉森 MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen},Theor。计算。科学。114,编号119-147(1993年;兹bl 0779.68059) 全文: 内政部
杰拉德·布多尔;Larsen,Kim G。 图形规范与逻辑规范。 (英语) Zbl 0776.68084号 西奥。计算。科学。 106,第1期,3-20(1992).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{K.G.Larsen},Theor。计算。科学。106,第1号,第3--20号(1992;Zbl 0776.68084) 全文: 内政部
Larsen,Kim G。;本特·汤姆森 部分规范和成分验证。 (英语) Zbl 0755.68102号 西奥。计算。科学。 88,第1期,15-32页(1991年). 审核人:G.乔巴努(伊阿什) MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{B.Thomsen},Theor。计算。科学。88,编号1,15--32(1991;Zbl 0755.68102) 全文: 内政部
Larsen,Kim G。 递归Hennessy-Milner逻辑中可满足性的证明系统。 (英语) Zbl 0698.68014号 西奥。计算。科学。 72,编号2-3,265-288(1990).MSC公司:60年第68季度 03B70号 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen},Theor。计算。科学。72,编号2--3,265--288(1990;Zbl 0698.68014) 全文: 内政部
芬恩·詹森。;Larsen,Kim G。 递归定义的域及其归纳原理。 (英语) Zbl 0637.68017号 西奥。计算。科学。 54, 29-51 (1987).MSC公司:68号01 60年第68季度 03D45号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{F.V.Jensen}和\textit{K.G.Larsen},Theor。计算。科学。54、29-51(1987年;Zbl 0637.68017) 全文: 内政部
Larsen,Kim G。 进程之间的上下文相关等价。 (英语) Zbl 0612.68027号 西奥。计算。科学。 49185-215(1987年).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen},Theor。计算。科学。49185-215(1987年;Zbl 0612.68027) 全文: 内政部