张燕;朱兆辉;张金金 在\(\mathrm中编码安全{CLL}_R\). (英语) Zbl 1489.68173号 西奥。计算。科学。 897, 64-82 (2022). 审核人:马丁·兰格(卡塞尔) MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,Theor。计算。科学。897,64-82(2022;Zbl 1489.68173) 全文: 内政部
卢卡·埃特罗;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于优先权的公理化。三: 优先权再次罢工。 (英语) 兹比尔1452.68124 西奥。计算。科学。 837, 223-246 (2020).MSC公司:68问题85 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。837223--246(2020年;Zbl 1452.68124) 全文: 内政部
佐尔坦·埃西克;帕诺斯·朗多吉安尼 非单调函数的不动点定理。 (英语) Zbl 1318.68066号 西奥。计算。科学。 574, 18-38 (2015).MSC公司:68N17号 06B23号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{P.Rondogiannis},Theor。计算。科学。574、18-38(2015年;Zbl 1318.68066) 全文: 内政部 arXiv公司
诺里希罗·卡米德;海因里希·瓦辛 纳尔逊次协调逻辑的证明理论:一个统一的观点。 (英语) Zbl 1382.03048号 西奥。计算。科学。 415, 1-38 (2012).MSC公司:03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},Theor。计算。科学。415、1--38(2012年;Zbl 1382.03048) 全文: 内政部
西蒙·蒂尼 概率过程的非扩展(varepsilon)互模拟。 (英语) Zbl 1334.68156号 西奥。计算。科学。 411,第22-24号,2202-2222(2010).MSC公司:68问题85 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Tini},Theor。计算。科学。411,编号22-24222-2222(2010年;兹bl 1334.68156) 全文: 内政部
穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 SOS格式和元理论:20年后。 (英语) Zbl 1111.68069号 西奥。计算。科学。 373,第3期,第238-272页(2007年).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人,Theor。计算。科学。373,第3号,238--272(2007;Zbl 1111.68069) 全文: 内政部
Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。 (英语) Zbl 1088.68094号 西奥。计算。科学。 354,第3期,421-440(2006).MSC公司:68问题55 60年第68季度 68问题85 03B45号 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,Theor。计算。科学。354,第3号,421--440(2006;Zbl 1088.68094) 全文: 内政部
克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼;马诺利斯Gergatsoulis 线性和分支时间演绎数据库的时间分层测试。 (英语) Zbl 1077.68025号 西奥。计算。科学。 342,编号2-3,382-415(2005).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Nomikos}等人,Theor。计算。科学。342,编号2-3382-415(2005年;Zbl 1077.68025) 全文: 内政部
沈义东;你,嘉慧;袁丽燕 使用环路切割和制表机制提高全球SLS分辨率。 (英语) Zbl 1071.68019号 西奥。计算。科学。 328,第3271-287号(2004年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen}等人,Theor。计算。科学。328,第3号,271--287(2004;Zbl 1071.68019) 全文: 内政部
玛丽亚·阿尔普特;莫雷诺,法拉斯基;莫雷诺,吉纳斯;德国维达尔 转换惰性函数逻辑程序的规则+策略。 (英语) Zbl 1070.68018号 西奥。计算。科学。 311,编号1-3,479-525(2004).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。311,编号1--3479-525(2004;Zbl 1070.68018) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞;范德兹瓦格,马克B。 分支时间和正交互模拟等价性。 (英语) Zbl 1070.68100号 西奥。计算。科学。 309,编号1-3,313-355(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.A.Bergstra}等人,Theor。计算。科学。309,编号1-3313-355(2003年;兹bl 1070.68100) 全文: 内政部
瓦实提·加尔平 语义等价比较的格式。 (英语) Zbl 1070.68082号 西奥。计算。科学。 309,编号1-3,65-109(2003).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{V.Galpin},Theor。计算。科学。309,编号1--3,65-109(2003;Zbl 1070.68082) 全文: 内政部
雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯 在序列演算中对转换系统进行编码。 (英语) Zbl 1028.68095号 西奥。计算。科学。 294,第3期,411-437(2003).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.McDowell}等人,Theor。计算。科学。294,第3号,411--437(2003;Zbl 1028.68095) 全文: 内政部
沈永德(音)。;袁,L.-Y。;你,J.-H。 循环检查带函数的逻辑程序。 (英语) Zbl 0989.68016号 西奥。计算。科学。 266,编号1-2,441-461(2001).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.D.Shen}等人,Theor。计算。科学。266,编号1--2,441--461(2001;Zbl 0989.68016) 全文: 内政部
Rondogiannis,P。 时序逻辑编程和循环和测试中的分层否定。 (英语) Zbl 0974.68028号 西奥。计算。科学。 254,编号1-2,663-676(2001).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{P.Rondogiannis},Theor。计算。科学。254,编号1--2,663--676(2001;Zbl 0974.68028) 全文: 内政部
萨戈纳斯,K。;T·斯威夫特。;D.S.沃伦。 固定阶计算的极限。 (英语) Zbl 0974.68111号 西奥。计算。科学。 254,第1-2号,465-499(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}等人,Theor。计算。科学。254,编号1--2,465--499(2001;Zbl 0974.68111) 全文: 内政部
福克金,W。 语言的前序作为前序。 (英语) Zbl 0944.68101号 西奥。计算。科学。 243,编号1-2,391-408(2000).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink},Theor(沃尔)。计算。科学。243,编号1--2,391--408(2000;Zbl 0944.68101) 全文: 内政部
G.帕西尼。;塞萨,M.I。 通过目标的良好准排序进行SLD推导中的循环检查。 (英语) Zbl 0944.68013号 西奥。计算。科学。 238,编号1-2,221-246(2000).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Pacini}和\textit{M.I.Sessa},Theor。计算。科学。238,编号1-2221-246(2000年;兹bl 0944.68013) 全文: 内政部
罗伯托·贾科巴齐;弗朗西斯科·兰扎托 抽象域上的相对功耗降低操作。 (英语) Zbl 0914.68129号 西奥。计算。科学。 216,第1-2号,159-211(1999).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{F.Ranzato},Theor。计算。科学。216,编号1--2,159-211(1999;Zbl 0914.68129) 全文: 内政部
范德波尔(Jaco van de Pol) 使用优先级重写的操作语义。 (英语) Zbl 0917.68141号 西奥。计算。科学。 200,第1-2号,289-312(1998).MSC公司:68问题55 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.van de Pol},Theor。计算。科学。200,编号1--2,289--312(1998;Zbl 0917.68141) 全文: 内政部
托马斯·艾特;尼古拉·利昂;多梅尼科·萨卡 析取演绎数据库部分模型的表达能力和复杂性。 (英语) Zbl 0913.68053号 西奥。计算。科学。 206,编号1-2,181-218(1998).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Theor。计算。科学。206,编号1--2,181-218(1998;Zbl 0913.68053) 全文: 内政部
桑德罗·埃塔利 模块化通用逻辑程序的语义。 (英语) Zbl 0947.68022号 西奥。计算。科学。 206,编号1-2,51-80(1998).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{S.Etalle},Theor。计算。科学。206,编号1--2,51-80(1998;Zbl 0947.68022) 全文: 内政部
佩德罗·R·达吉尼奥。;克里斯·弗霍夫 带有不等式的过程代数中的一般保守扩张定理。 (英语) Zbl 0901.68111号 西奥。计算。科学。 177,第2期,351-380(1997).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{C.Verhoef},Theor。计算。科学。177,编号2,351--380(1997;Zbl 0901.68111) 全文: 内政部
安东尼奥·布罗吉;伊芙琳娜·拉姆;保罗·曼卡雷拉;保罗·梅洛 具有非单调推理的逻辑编程的统一视图。 (英语) Zbl 0942.68021号 西奥。计算。科学。 184,第1-2、1-59号(1997年). 审核人:M.Duí(普拉哈) MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Brogi}等人,Theor。计算。科学。184,编号1-2,1-59(1997;Zbl 0942.68021) 全文: 内政部
卢卡·埃特罗 GSOS和有限标记跃迁系统。 (英语) Zbl 0822.68060号 西奥。计算。科学。 131,第1期,181-195(1994).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Aceto},Theor。计算。科学。131,编号1,181--195(1994;Zbl 0822.68060) 全文: 内政部
谢泼德森,J.C。 在逻辑编程中分开标准化的作用。 (英语) Zbl 0811.68068号 西奥。计算。科学。 129,第1期,143-166(1994).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{J.C.Shepherdson},Theor。计算。科学。129,第1号,143--166(1994;Zbl 0811.68068) 全文: 内政部
Jan Friso,格鲁特 带有否定前提的过渡系统规范。 (英语) Zbl 0778.68057号 西奥。计算。科学。 118,第2期,263-299(1993). 审核人:简·弗里索·格鲁特 MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote},西奥。计算。科学。118,第2号,263--299(1993;Zbl 0778.68057) 全文: 内政部 链接
罗兰·博尔。 逻辑编程中循环检查的一般完整性结果。 (英语) Zbl 0771.68034号 西奥。计算。科学。 104,第1期,3-28页(1992年). 审核人:O.Štěpánková(普拉哈) MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{R.N.Bol},Theor。计算。科学。104,第1号,第3--28号(1992;Zbl 0771.68034) 全文: 内政部