卢卡·特兰奇尼 双直觉逻辑的自然演绎。 (英语) Zbl 1436.03095号 J.应用。日志。 25补遗,S72-S96(2017).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Tranchini},J.应用。日志。25补遗,S72-S96(2017;Zbl 1436.03095) 全文: 内政部
阿里特拉·哈兹拉;帕拉布·达斯古普塔;查克拉巴蒂,帕塔·普拉蒂姆 嵌入式网络物理系统可靠性规范的正式评估。 (英语) Zbl 1436.68196号 J.应用。日志。 18, 71-104 (2016).MSC公司:60年第68季度 68米15 68平方米 PDF格式BibTeX公司 XML格式引用 \文本{A.Hazra}等人,J.Appl。日志。18、71——104(2016;Zbl 1436.68196) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在分裂草甸中将分数转换为简单分数。 (英语) Zbl 1401.68210号 J.应用。日志。 92年2月16日至110日(2016年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。92年6月16日至110日(2016年;兹比尔1401.68210) 全文: 内政部 arXiv公司
谢尔盖·巴本尼舍夫;马丁斯(Manuel A.Martins)。 隐逻辑的行为等价:一种抽象代数方法。 (英语) Zbl 1436.68193号 J.应用。日志。 16, 72-91 (2016).MSC公司:60年第68季度 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和textit{M.A.Martins},J.Appl。日志。16、72——91(2016;Zbl 1436.68193) 全文: 内政部
诺里希罗·卡米德 成串的顺序信息。 (英语) Zbl 1436.03144号 J.应用。日志。 15, 150-170 (2016).MSC公司:03B47号 03B45号 03B70号 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.应用。日志。15、150-170(2016年;Zbl 1436.03144) 全文: 内政部
罗伯特·德莫洛姆;路易斯·法利尼亚斯·德尔·塞罗;纳吉·奥贝德 通过完备性理论将一阶公式转换为基本公式。 (英语) Zbl 1436.03100号 J.应用。日志。 15, 130-149 (2016).MSC公司:03B35型 68T27型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Demolombe}等人,J.Appl。日志。15、130-149(2016年;Zbl 1436.03100) 全文: 内政部
洛伦佐·马格纳尼 绑架的生态认知模型。二、。无关紧要和难以置信被开脱。 (英语) Zbl 1436.03055号 J.应用。日志。 15, 94-129 (2016).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Magnani},J.应用。日志。15、94-129(2016;Zbl 1436.03055) 全文: 内政部
阿姆诺·罗森曼 用于硬件电路设计和验证的多值逻辑方法。 (英语) Zbl 1436.68198号 J.应用。日志。 15, 69-93 (2016).MSC公司:60年第68季度 03B50号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{A.Rosenmann},J.Appl。日志。15、69-93(2016年;Zbl 1436.68198) 全文: 内政部 arXiv公司
Eric A.Martin。 逻辑编程作为经典推理。 (英语) Zbl 1521.68030号 J.应用。日志。 13,第3号,316-369(2015).MSC公司:68N17号 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Martin},J.Appl。日志。13、编号3、316-369(2015;Zbl 1521.68030) 全文: 内政部
张燕;朱兆辉;张金金;周勇(Zhou,Yong) 公理化Lüttgen&Vogler的有限过程就绪模拟{CLL}_{R} \)。 (英语) Zbl 1457.68196号 J.应用。日志。 第3部分第4号第13页,654-675(2015).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Appl。日志。13,第4号,第3部分,654--675(2015;Zbl 1457.68196) 全文: 内政部 arXiv公司
Jan A.Bergstra。;英格·贝斯克;阿尔班·蓬塞 形式上真实草地的方程式。 (英语) Zbl 1350.68189号 J.应用。日志。 13,第2号,B部分,1-23(2015).MSC公司:68问题65 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,J.Appl。日志。13,第2号,B部分,1--23(2015;Zbl 1350.68189) 全文: 内政部 arXiv公司 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在非进化草甸中被零除。 (英语) Zbl 1401.68209号 J.应用。日志。 13,第1期,第1-12页(2015年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。13、第1号、第1-12号(2015;Zbl 1401.68209) 全文: 内政部 arXiv公司
V.Michele Abrusci;克里斯托夫·福奎雷;马可·罗马诺 形式本体和连贯空间。 (英语) Zbl 1335.68254号 J.应用。日志。 第1期第12期,第67-74页(2014年).MSC公司:68立方英尺 03楼52 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{V.M.Abrusci}等人,J.Appl。日志。12,第1号,67--74(2014;Zbl 1335.68254) 全文: 内政部
狄奥·库曼斯;梅·盖尔克;Lorijn,van Rooijen 全线性逻辑的关系语义。 (英语) Zbl 1335.03063号 J.应用。日志。 12,第1期,50-66页(2014年).MSC公司:03楼52 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{D.Coumans}等人,J.Appl。日志。12,第1号,50--66(2014;Zbl 1335.03063) 全文: 内政部
弗朗索瓦·拉马克 在类别中对Martin-Löf类型理论进行建模。 (英语) 兹比尔1335.03009 J.应用。日志。 12,第1期,28-44(2014).MSC公司:03B15号机组 03G30型 18天30分 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{F.Lamarche},J.应用。日志。12、第1号、第28-44号(2014;Zbl 1335.03009) 全文: 内政部
吉恩·吉利伯特(编辑);雷托雷,基督徒(编辑) 范畴理论、逻辑和形式语言学:新旧联系。 (英语) Zbl 1335.03002号 J.应用。日志。 12,第1期,第1-13页(2014年).MSC公司:03-06 03B15号机组 03B65号 03楼52 03G30型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gillibert}(编辑)和textit{C.Retoré}(主编),J.Appl。日志。12,编号1,1-13(2014;兹bl 1335.03002) 全文: 内政部 arXiv公司
达戈斯蒂诺,马塞洛;马里奥广场;加布里埃尔·普奇尼 控制单调性的逻辑演算。 (英语) Zbl 1345.03102号 J.应用。日志。 12,第4期,558-569(2014).MSC公司:05年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}等人,J.Appl。日志。12,第4号,558--569(2014;Zbl 1345.03102) 全文: 内政部
马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫岑蒂;马蒂奥·普拉德拉;罗西,马蒂奥;圣彼得罗,皮耶路易吉 无自动机约束LTL可满足性检查。 (英语) Zbl 1310.68141号 J.应用。日志。 12,第4期,522-557(2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.M.Bersani}等人,J.Appl。日志。12,第4号,522--557(2014;Zbl 1310.68141) 全文: 内政部 arXiv公司
克莱顿·彼得森 范畴命令:作为道义逻辑基础的范畴理论。 (英语) Zbl 1395.03010号 J.应用。日志。 12,第4期,417-461(2014).MSC公司:03B45号 18B99型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Peterson},J.应用。日志。12,第4号,417--461(2014;Zbl 1395.03010) 全文: 内政部
布鲁诺·特奥 用于搜索有错误游戏的命题动态逻辑。 (英语) Zbl 1395.03011号 J.应用。日志。 12,第4期,377-394(2014).MSC公司:03B45号 03B50号 03B70号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{B.Teheux},J.应用。日志。12,第4号,377-394(2014年;兹bl 1395.03011) 全文: 内政部 arXiv公司
Dana S.斯科特。 随机计算:一种扩展的抽象。 (英语) Zbl 1352.03020号 J.应用。日志。 12,第3期,369-376(2014).MSC公司:03B40型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Scott},J.Appl(J.应用程序)。日志。12,第3号,369--376(2014;Zbl 1352.03020) 全文: 内政部
格劳贝尔·德博纳;法比奥·加利亚迪·科兹曼;马塞洛·芬格 对命题概率逻辑进行分类。 (英语) 兹比尔1352.03032 J.应用。日志。 12,第3期,349-368(2014).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{G.De Bona}等人,J.Appl。日志。12,第3号,349--368(2014;Zbl 1352.03032) 全文: 内政部
路易斯·法利尼亚斯·德尔·塞罗;安德烈亚斯·赫齐格;苏·埃兹吉·伊拉兹 获取模态逻辑中的平衡模型。 (英语) Zbl 1328.03018号 J.应用。日志。 192-207年第2期第12页(2014年).MSC公司:03B45号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Fariñas del Cerro}等人,J.Appl。日志。12,第2号,192--207(2014;Zbl 1328.03018) 全文: 内政部
徐赞生;邱恩·荣·廖;王大伟 隐私保护社交网络发布的逻辑框架。 (英语) Zbl 1328.91263号 J.应用。日志。 12,第2期,151-174(2014).MSC公司:91天30分 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.-s.Hsu}等人,J.Appl。日志。12,第2号,151--174(2014;Zbl 1328.91263) 全文: 内政部
塞尔纳达斯,C。;J·拉斯加。;塞尔纳达斯,A。 通过矩阵逻辑的乘积保持Craig插值。 (英语) Zbl 1284.03214号 J.应用。日志。 11,第3期,328-349(2013).MSC公司:03C40号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人,J.Appl。日志。11,第3号,328--349(2013;Zbl 1284.03214) 全文: 内政部
林克,塞巴斯蒂安 受控不确定性下饱和条件概率独立性的合理近似推理。 (英语) Zbl 1284.68551号 J.应用。日志。 11,第3期,309-327(2013).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Link},J.应用。日志。11,第3号,309--327(2013;Zbl 1284.68551) 全文: 内政部
布鲁诺·库塞尔;艾琳·杜兰德 用于验证一元二阶图属性的自动机。 (英语) Zbl 1285.03049号 J.应用。日志。 10,第4期,368-409(2012).MSC公司:05年3月 03B25号 65年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},J.Appl。日志。10,第4号,368--409(2012;Zbl 1285.03049) 全文: 内政部
Tiu,Alwen先生;阿尔贝托·莫米利亚诺 带归纳和共归纳的逻辑的截消。 (英语) Zbl 1278.03086号 J.应用。日志。 10,第4号,330-367(2012). 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiu}和\textit{A.Momigliano},J.Appl。日志。10,第4号,330-367(2012;Zbl 1278.03086) 全文: 内政部 arXiv公司
菲利普·巴尔比亚尼 判定纯双布尔代数中的单词问题。 (英语) Zbl 1283.06027号 J.应用。日志。 10,第3期,260-273(2012).MSC公司:06至75 03B25号 03D40号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani},J.应用。日志。10,编号3,260-273(2012年;兹bl 1283.06027) 全文: 内政部
默多克·J·加贝。 名词性方程式推理的统一:名词集合上的等式代数。 (英语) Zbl 1239.03019号 J.应用。日志。 10,第2期,199-217(2012).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Appl.(《应用杂志》)。日志。10,第2号,199--217(2012;Zbl 1239.03019) 全文: 内政部
贝内迪克特·博利格;迪特里赫·库斯克 汉夫句的最佳结构。 (英语) Zbl 1258.03048号 J.应用。日志。 10,第2期,179-186(2012).MSC公司:2015年3月1日 03B10号机组 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{D.Kuske},J.Appl。日志。10,第2号,179--186(2012;Zbl 1258.03048) 全文: 内政部 arXiv公司
罗杰·维尔梅尔;西尔万·霍尔 关于可见性的推理。 (英语) Zbl 1237.68209号 J.应用。日志。 10,第2期,163-178(2012).MSC公司:68T27型 65年第68季度 03B45号 60年第68季度 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{R.Villemaire}和\textit{S.Hallé},J.Appl。日志。10,第2号,163--178(2012;Zbl 1237.68209) 全文: 内政部
阿希姆·布卢门萨特 地点和模块化Ehrenfeucht-Fraísse游戏。 (英语) 兹比尔1408.03020 J.应用。日志。 10,第1号,144-162(2012).MSC公司:03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},J.Appl。日志。10,第1号,144--162(2012;Zbl 1408.03020) 全文: 内政部
阿黛尔·布胡拉;佛罗伦萨·杰克马尔 条件和约束TRS的充分完整性验证。 (英语) Zbl 1279.68228号 J.应用。日志。 10,第1期,127-143(2012).MSC公司:68问题65 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}和\textit{F.Jacquemard},J.Appl。日志。10,第1号,127--143(2012;Zbl 1279.68228) 全文: 内政部 哈尔
塞莱斯尼克,S.A。;G.S.欧文。 量子逻辑与精神分裂症。 (英语) Zbl 1238.91122号 J.应用。日志。 10,第1期,115-126(2012).MSC公司:91E10型 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Selesnick}和\textit{G.S.Owen},J.Appl。日志。10,第1号,115-126(2012;Zbl 1238.91122) 全文: 内政部
朱塞佩·普里米埃罗;马里亚罗萨利亚·塔迪奥 形式化可信通信的模式类型理论。 (英语) Zbl 1254.68247号 J.应用。日志。 10,第1期,92-114(2012). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{G.Primiero}和\textit{M.Taddeo},J.Appl。日志。10,第1号,92--114(2012;Zbl 1254.68247) 全文: 内政部 链接
玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 将正则表达式匹配转换为转换器。 (英语) Zbl 1238.68052号 J.应用。日志。 10,第1期,32-51(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sakuma}等人,J.应用。日志。10,编号1,32--51(2012;Zbl 1238.68052) 全文: 内政部
马,吉;穆罕默德·奥尔根(Mehmet A.Orgun)。;卡梅尔·阿迪 时间化信念逻辑的分析表演算。 (英语) Zbl 1248.68471号 J.应用。日志。 9,第4号,289-304(2011).MSC公司:68T27型 68吨15 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ma}等人,J.Appl。日志。9,编号4289-304(2011年;兹bl 1248.68471) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 倒置草甸和分裂草甸。 (英语) 兹比尔1251.68144 J.应用。日志。 9,第3期,203-220(2011).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。9,第3号,203--220(2011;Zbl 1251.68144) 全文: 内政部 arXiv公司
罗伯特·S·R·迈尔斯。;德克·帕丁森 图泛化的差分形式混合逻辑。 (英语) Zbl 1215.03036号 J.应用。日志。 8,第4号,441-458(2010).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.S.R.Myers}和textit{D.Pattinson},J.Appl。日志。8,第4号,441--458(2010;Zbl 1215.03036) 全文: 内政部
阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;迈克尔·托马斯;沃尔克·韦伯;费利克斯·维斯 混合逻辑片段可满足性的复杂性。一、。 (英语) Zbl 1215.03034号 J.应用。日志。 8,第4号,409-421(2010).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,J.Appl。日志。8,第4号,409--421(2010;Zbl 1215.03034) 全文: 内政部
卡洛斯·阿雷塞斯;丹尼尔·戈林 模态逻辑的共创模型和范式(或者我们如何学会停止担忧和热爱共创)。 (英语) Zbl 1215.03031号 J.应用。日志。 8,第4号,305-318(2010).MSC公司:03B45号 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{D.Gorín},J.Appl。日志。8,第4号,305-318(2010;Zbl 1215.03031) 全文: 内政部
斯特凡·德姆里;丹尼斯·卢吉兹 具有Presburger约束的模态逻辑的复杂性。 (英语) Zbl 1220.03008号 J.应用。日志。 8,第3期,233-252(2010年). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Lugiez},J.Appl。日志。8,第3号,233--252(2010;Zbl 1220.03008) 全文: 内政部
托马斯·奥戈特内斯;菲利普·巴尔比亚尼;汉斯·范·迪特马什;巴勃罗·塞班 集团公告逻辑。 (英语) Zbl 1200.03015号 J.应用。日志。 8,第1号,62-81(2010). 审核人:埃里克·马丁(悉尼) MSC公司:03B42号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,J.Appl。日志。8、编号1、62--81(2010;Zbl 1200.03015) 全文: 内政部
利奥尼德·利金;克里斯蒂娜·西兰吉罗 用时序逻辑和自动机推理XML。 (英语) Zbl 1192.68435号 J.应用。日志。 8,第2期,210-232(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Libkin}和\textit{C.Sirangelo},J.Appl。日志。8,第2号,210--232(2010;Zbl 1192.68435) 全文: 内政部 链接
弗洛里斯·吉尔茨;安东尼拉·波吉 关于K关系的数据库查询语言。 (英语) Zbl 1192.68211号 J.应用。日志。 8,第2期,173-185(2010).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Geerts}和\textit{A.Poggi},J.Appl。日志。8,第2号,173--185(2010;Zbl 1192.68211) 全文: 内政部
10个Cate,Balder;塔德乌什·利塔克;马克思,马尔滕 XPath片段的完整公理化。 (英语) 兹比尔1192.68223 J.应用。日志。 8,第2期,153-172(2010).MSC公司:第68页,共15页 68第05页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.ten Cate}等人,J.Appl。日志。8,第2号,153--172(2010;Zbl 1192.68223) 全文: 内政部 链接
奥利弗·雷 非单调诱因归纳学习。 (英语) Zbl 1179.68125号 J.应用。日志。 7,第3号,329-340(2009).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{O.Ray},J.Appl(J.应用程序)。日志。7,第3号,329-340(2009年;兹bl 1179.68125) 全文: 内政部
越南Tran;奇塔·巴拉尔 关于信令网络的假设。 (英语) 兹比尔1168.92002 J.应用。日志。 7,第3期,253-274(2009年).MSC公司:92B05型 92 C55 68层35 PDF格式BibTeX公司 XML格式引用 \textit{N.Tran}和\textit{C.Baral},J.Appl。日志。7,第3号,253--274(2009;Zbl 1168.92002) 全文: 内政部
德·坎波斯,卡西奥·波尔波;法比奥·加利亚迪·科兹曼;何塞·爱德华多·奥乔亚·卢纳 在具有随机独立性的关系概率逻辑中组合一组一致的句子。 (英语) Zbl 1172.03316号 J.应用。日志。 7,第2期,137-154(2009).MSC公司:03B48号 68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \文本{C.P.de Campos}等人,J.Appl。日志。7,第2号,137--154(2009;Zbl 1172.03316) 全文: 内政部 链接
阿雷利斯·迪亚斯;卡洛斯·乌兹卡特吉 基于累积模型的解释性推理的表示定理。 (英语) Zbl 1158.68445号 J.应用。日志。 6,第4期,564-579(2008).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz}和\textit{C.Uzcátegui},J.Appl。日志。6,第4号,564--579(2008;Zbl 1158.68445) 全文: 内政部
布鲁诺·库塞尔 圆图和一元二阶逻辑。 (英语) Zbl 1149.03011号 J.应用。日志。 6,第3期,416-442(2008).MSC公司:03B15号机组 05C62号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},J.Appl.(文本{B.库塞尔})。日志。6,第3号,416--442(2008;Zbl 1149.03011) 全文: 内政部
托马斯·艾特;埃斯拉·埃尔登;沃尔夫冈·费伯 撤消动作序列的效果。 (英语) Zbl 1158.68042号 J.应用。日志。 6,第3号,380-415(2008).MSC公司:68T20型 68立方英尺 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,J.Appl。日志。6,第3号,380--415(2008;Zbl 1158.68042) 全文: 内政部
弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 高阶统一:休特方法和基于显式替换的方法之间的结构关系。 (英语) Zbl 1138.03014号 J.应用。日志。 6,第1期,72-108(2008).MSC公司:03B40型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.L.C.de Moura}等人,J.Appl。日志。6,第1号,72——108(2008年;兹bl 1138.03014) 全文: 内政部
亨利·朱恩·凯伯格。;滕,Choh Man;格雷戈里·惠勒 条件和后果。 (英语) Zbl 1138.03023号 J.应用。日志。 5,第4号,638-650(2007).MSC公司:03B48号 03B60号 PDF格式BibTeX公司 XML格式引用 \文本{H.E.Kyburg jun.}等人,J.Appl。日志。5,第4号,638--650(2007;Zbl 1138.03023) 全文: 内政部
Ernst-Erich Doberkat 多算子连续时间随机逻辑的Hennessy-Milner等价性。 (英语) Zbl 1137.03014号 J.应用。日志。 5,第3号,519-544(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B70号 68问题85 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},J.Appl。日志。5,第3号,519--544(2007;Zbl 1137.03014) 全文: 内政部
哥伦比亚特区达马西奥。;J.麦地那。;Ojeda-Aciego,M。 不完全信息逻辑程序的终止:应用程序和查询过程。 (英语) Zbl 1122.68025号 J.应用。日志。 5,第3期,435-458(2007).MSC公司:68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Damásio}等人,J.Appl。日志。5,第3号,435--458(2007;Zbl 1122.68025) 全文: 内政部
菲利普·巴尔比亚尼;廷切夫、廷科 欧氏平面中基于线性的仿射推理。 (英语) Zbl 1122.68118号 J.应用。日志。 5,第3期,421-434(2007).MSC公司:68T27型 03B45号 51N10号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev},J.Appl。日志。5,第3号,421--434(2007;Zbl 1122.68118) 全文: 内政部
Franz巴德;巴里斯·瑟特卡亚;安妮·亚斯敏(Anni-Yasmin Turhan) 计算最不常见的消费者w.r.t.背景术语。 (英语) Zbl 1122.68117号 J.应用。日志。 5,第3号,392-420(2007).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,J.Appl。日志。5,第3号,392--420(2007;Zbl 1122.68117) 全文: 内政部
默多克·J·加贝。 新鲜的逻辑:FM和标称技术的证明理论和语义。 (英语) Zbl 1124.03010号 J.应用。日志。 5,第2期,356-387(2007). 审核人:Reinhard Kahle(科英布拉) MSC公司:03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Appl.(《应用杂志》)。日志。5,编号2,356--387(2007;Zbl 1124.03010) 全文: 内政部
郭海峰;刘、苗;罗普,Partha S。;罗摩克里希南。;罗马克里希南,I.V。 嵌入式系统中自适应重用的精确规范匹配。 (英语) Zbl 1122.68074号 J.应用。日志。 5,第2号,333-355(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-F.Guo}等人,J.Appl。日志。5,第2号,333--355(2007;Zbl 1122.68074) 全文: 内政部
德波尔,F.S。;Hindriks,K.V.公司。;范德霍克,W。;梅耶,J.-J.Ch。 具有声明性目标的代理编程验证框架。 (英语) Zbl 1122.68078号 J.应用。日志。 5,第2期,277-302(2007).MSC公司:60年第68季度 68T01型 03B70号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Appl。日志。5,第2号,277--302(2007;Zbl 1122.68078) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 程序代数的执行体系结构。 (英语) Zbl 1116.68024号 J.应用。日志。 170-192年第1期第5页(2007年).MSC公司:68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Appl。日志。5,第1号,170--192(2007;Zbl 1116.68024) 全文: 内政部
安德鲁斯,彼得·B·。;乍得·E·布朗。 TPS:一种用于开发校样的混合自动交互系统。 (英语) Zbl 1107.68091号 J.应用。日志。 4,第4期,367-395(2006).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Andrews}和\textit{C.E.Brown},J.Appl。日志。4,第4号,367--395(2006;Zbl 1107.68091) 全文: 内政部
马蒂斯·克雷茨;托马斯·施图德 常识的演绎链。 (英语) Zbl 1104.03009号 J.应用。日志。 4,第3期,331-357(2006).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kretz}和\textit{T.Studer},J.Appl。日志。4,第3号,331--357(2006;Zbl 1104.03009) 全文: 内政部
达戈斯蒂诺,G。;Lenzi,G。 关于具有显式插值的模态演算。 (英语) Zbl 1106.03024号 J.应用。日志。 第4期,第3期,256-278页(2006年).MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},J.Appl。日志。4,第3号,256--278(2006;Zbl 1106.03024) 全文: 内政部
娜塔莎·亚历奇纳;德米特里·什卡托夫 证明直觉模态逻辑可判定性的一般方法。 (英语) Zbl 1106.03005号 J.应用。日志。 4,第3期,219-230(2006).MSC公司:03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}和\textit{D.Shkatov},J.Appl。日志。4,第3号,219--230(2006;Zbl 1106.03005) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十五: 根据D.Seese的一个猜想。 (英语) 邮编1099.03007 J.应用。日志。 4,第1期,79-114(2006). 审核人:马格努斯·斯坦比(图尔库) MSC公司:03B25号 03B15号机组 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},J.Appl.(文本{B.库塞尔})。日志。4,第1号,79--114(2006;Zbl 1099.03007) 全文: 内政部
马丁·兰格 使用所有附加项对命题动态逻辑进行模型检查。 (英语) Zbl 1095.68053号 J.应用。日志。 4,第1期,39-49(2006).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},J.Appl.(《应用杂志》)。日志。4,编号1,39-49(2006年;兹bl 1095.68053) 全文: 内政部
马西莫·弗朗西切特;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 时间粒度的二进制谓词的可定义性和可判定性。 (英语) 兹比尔1101.03016 J.应用。日志。 4,第2期,168-191(2006).MSC公司:03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}等人,J.Appl。日志。4,第2号,168--191(2006;Zbl 1101.03016) 全文: 内政部
菲利普·巴尔比亚尼;Jean-François康多塔;杰拉德·利戈扎特 关于(mathcal{INDU})演算的一致性问题。 (英语) Zbl 1098.03038号 J.应用。日志。 4,第2期,119-140(2006).MSC公司:03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,J.Appl。日志。4,第2号,119--140(2006;Zbl 1098.03038) 全文: 内政部
阿诺·阿夫隆 结合经典逻辑、次一致性和相关性。 (英语) Zbl 1067.03030号 J.应用。日志。 3,第1期,133-160(2005). 审核人:马丁·邦德(伍伦贡) MSC公司:03B53号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},J.应用。日志。3,编号1,133--160(2005;Zbl 1067.03030) 全文: 内政部
保拉·福切里;保罗·金蒂里尼 次一致信息逻辑。 (英语) Zbl 1063.03012号 J.应用。日志。 3,第1期,97-118(2005).MSC公司:03B53号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Forcheri}和\textit{P.Gentilini},J.Appl。日志。3,编号1,97-118(2005年;兹bl 1063.03012) 全文: 内政部
佐奥州阿尔坎塔拉;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉 准一致逻辑程序的一个包含框架。 (英语) Zbl 1063.03015号 J.应用。日志。 3,第1期,67-95(2005).MSC公司:03B70号 03B53号 68N17号 68立方英尺 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Alcántara}等人,J.Appl。日志。3,第1号,67--95(2005;Zbl 1063.03015) 全文: 内政部
蒂埃里·利伯特 次协调集理论的模型。 (英语) Zbl 1063.03040号 J.应用。日志。 3,第1期,15-41页(2005年).MSC公司:03E70型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{T.Libert},J.应用。日志。3、编号1、15--41(2005;Zbl 1063.03040) 全文: 内政部
塞巴斯蒂安·巴德;帕斯卡·希茨勒 逻辑程序、迭代函数系统和递归径向基函数网络。 (英语) Zbl 1072.68086号 J.应用。日志。 2,第3号,273-300(2004).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bader}和\textit{P.Hitzler},J.Appl。日志。2,第3号,273--300(2004;Zbl 1072.68086) 全文: 内政部 链接
帕斯卡·希茨勒;斯特芬·Hölldobler;安东尼·卡雷尔·塞达 逻辑程序和连接网络。 (英语) Zbl 1072.68090号 J.应用。日志。 2,第3期,245-272(2004).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Hitzler}等人,J.Appl。日志。2,第3号,245--272(2004;Zbl 1072.68090) 全文: 内政部 链接
M.W.邦德。;乔纳森·塞尔丁。 基本构造演算的变体。 (英语) Zbl 1068.03012号 J.应用。日志。 191-217(2004),第2期. 审核人:弗拉基米尔·科门丹茨基(科克) MSC公司:03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}和\textit{J.P.Seldin},J.Appl。日志。2,第2号,191--217(2004;Zbl 1068.03012) 全文: 内政部
乔纳森·塞尔丁。 解释结构微积分中的HOL。 (英语) Zbl 1051.03015号 J.应用。日志。 第2期,第173-189页(2004年).MSC公司:03B35型 03B40型 03B70号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},J.应用。日志。2,第2号,173--189(2004;Zbl 1051.03015) 全文: 内政部
罗伯特·戈德布拉特 数学模态逻辑:对其演变的看法。 (英语) Zbl 1041.03015号 J.应用。日志。 1,编号5-6,309-392(2003). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B45号 03-03 01A60型 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},J.应用。日志。1、编号5--6309--392(2003;Zbl 1041.03015) 全文: 内政部