Nguyen、Hoang Nga;阿卜杜尔·拉基布 概率资源受限代理的形式化建模和验证。 (英语) Zbl 07800199号 J.逻辑语言信息。 32,第5号,829-859(2023).MSC公司:03月XX日 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Nguyen}和\textit{A.Rakib},《逻辑语言汇编》第32卷,第5829-859期(2023年;Zbl 07800199) 全文: 内政部 OA许可证
阿比塞克·桑卡拉 一阶逻辑前缀类的Feferman-vought分解。 (英语) Zbl 07727823号 J.逻辑语言信息。 32,编号1,147-174(2023).MSC公司:03C13号机组 03C40号 03元52分 05二氧化碳 05C38号 05C62号 05C69号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sankaran},J.Logic Lang.Inf.32,No.1,147--174(2023年;Zbl 07727823) 全文: 内政部 arXiv公司
德米特里·什卡托夫;范阿尔滕,C.J。 剩余序群胚的普适理论的复杂性。 (英语) Zbl 07726398号 J.逻辑语言信息。 32,第3期,489-510(2023).MSC公司:03月XX日 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Shkatov}和\textit{C.J.Van Alten},J.Logic Lang.Inf.32,No.3,489--510(2023;Zbl 07726398) 全文: 内政部
诺里希罗·卡米德 包括S4和S5在内的正常模态逻辑的伪造软件计算和语义。 (英语) Zbl 07726395号 J.逻辑语言信息。 32,第3号,395-440(2023).MSC公司:03月XX日 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Logic Lang.Inf.32,No.3,395--440(2023年;Zbl 07726395) 全文: 内政部
乔丹·奈德 将\(\mathsf{HTLCG}\)嵌入\(\mathsf{液晶}_\φ)。 (英语) Zbl 1515.03140号 J.逻辑语言信息。 31,第4期,677-721(2022).MSC公司:03B65号 05年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Needle},J.Logic Lang.Inf.31,No.4,677--721(2022;Zbl 1515.03140) 全文: 内政部
保罗·T·格拉。;雷娜塔·瓦瑟曼 修改时序逻辑中的系统规范。 (英语) Zbl 1515.68180号 J.逻辑语言信息。 31,4号,591-618(2022).MSC公司:60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann},J.Logic Lang.Inf.31,No.4,591--618(2022;Zbl 1515.68180) 全文: 内政部
弗朗索瓦·赫布利特 IDL-PMCFG,一种描述自由语序语言的语法形式主义。 (英语) Zbl 1515.68155号 J.逻辑语言信息。 31,第3号,327-388(2022).MSC公司:2012年第68季度 65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hublet},J.Logic Lang.Inf.31,No.3,327--388(2022年;Zbl 1515.68155) 全文: 内政部 OA许可证
亚历山大·巴尔塔格;李大竹;米娜·杨·佩德森 用于监督学习的模态逻辑。 (英语) Zbl 1515.03089号 J.逻辑语言信息。 31,第2期,213-234(2022).MSC公司:03B45号 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人,J.Logic Lang.Inf.31,No.2,213--234(2022;Zbl 1515.03089) 全文: 内政部
理查德·穆特;史蒂文斯·盖尔、西蒙·乔里 混合类型逻辑语法的逻辑基础。 (英语) Zbl 1515.03115号 J.逻辑语言信息。 31,第1号,35-76(2022).MSC公司:03B47号 03B40型 05年3月 07年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Moot}和\textit{S.J.Stevens-Guille},J.Logic Lang.Inf.31,No.1,35--76(2022;Zbl 1515.03115) 全文: 内政部 arXiv公司
安永Zimmermann 自下而上的自然扣除。 (英语) Zbl 1515.03118号 J.逻辑语言信息。 30,第3号,601-631(2021).MSC公司:03B47号 05年3月 07年3月 第03页 PDF格式BibTeX公司 XML格式引用 \textit{E.Zimmermann},J.Logic Lang.Inf.30,No.3,601--631(2021年;Zbl 1515.03118) 全文: 内政部 OA许可证
诺里希罗·卡米德 具有经典否定的扩展Belnap-Dunn逻辑的模态和直觉变体。 (英语) Zbl 1515.03097号 J.逻辑语言信息。 第3期第30期第491-531页(2021年).MSC公司:03B45号 03B20型 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Logic Lang.Inf.30,No.3,491--531(2021年;Zbl 1515.03097) 全文: 内政部
马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 具有次指数和括号形式的乘法加法Lambek演算。 (英语) Zbl 1496.03087号 J.逻辑语言信息。 30,编号1,31-88(2021).MSC公司:03B47号 第03页 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,J.Logic Lang.Inf.30,No.1,31--88(2021;Zbl 1496.03087) 全文: 内政部 arXiv公司
Jean-Philippe Bernardy;斯特吉奥斯·查齐基里亚基迪斯;Aleksandre Maskharashvili 回指的计算处理及其算法实现。 (英语) Zbl 1496.03057号 J.逻辑语言信息。 30,编号1,1-29(2021).MSC公司:03B40型 03B65号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Bernardy}等人,J.Logic Lang.Inf.30,No.1,1-29(2021;Zbl 1496.03057) 全文: 内政部 OA许可证
阿曼迪普·辛格·巴蒂亚;阿杰·库马尔 线性时序逻辑和量子有限自动机的关系。 (英语) Zbl 1477.68147号 J.逻辑语言信息。 第2109-120号第29页(2020年).MSC公司:65年第68季度 03B44号 第68季度12 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bhatia}和\textit{A.Kumar},J.Logic Lang.Inf.29,No.2,109-120(2020;Zbl 1477.68147) 全文: 内政部
道德,德拉甘;内纳德·萨维奇;佐兰·奥格尼亚诺维奇 用于推理高阶上下概率的多代理逻辑。 (英语) Zbl 1477.03069号 J.逻辑语言信息。 29,第1期,77-107(2020年).MSC公司:03B48号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人,《逻辑语言汇编》第29期,第1期,第77-107页(2020年;Zbl 1477.03069) 全文: 内政部 链接
卡尔·尼格伦 道义动作逻辑的超覆语义。 (英语) Zbl 1441.03020号 J.逻辑语言信息。 28,第3期,427-458(2019). 审核人:David Makinson(伦敦) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Nygren},J.Logic Lang.Inf.28,No.3,427--458(2019;Zbl 1441.03020) 全文: 内政部 OA许可证
吉斯·维恩霍尔斯;梅赫努什·萨德扎德 一种类型驱动的向量语义,用于带回指的省略,使用有限收缩的Lambek演算。 (英语) Zbl 1477.03115号 J.逻辑语言信息。 28,第2号,331-358(2019).MSC公司:03B65号 03B47号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Wijnholds}和\textit{M.Sadrzadeh},《逻辑语言汇编》第28期,第2期,第331-358页(2019;Zbl 1477.03115) 全文: 内政部 arXiv公司 OA许可证
理查德·穆特;克里斯蒂安·雷托雷 自然语言语义和可计算性。 (英语) Zbl 1477.03112号 J.逻辑语言信息。 28,第2期,287-307(2019).MSC公司:03B65号 03B47号 第03页 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{R.Moot}和\textit{C.Retoré},J.Logic Lang.Inf.28,No.2,287--307(2019;Zbl 1477.03112) 全文: 内政部 arXiv公司
格林·莫里尔 逻辑语法解析/理论证明分类日志3. (英语) Zbl 1478.68416号 J.逻辑语言信息。 28,编号2,183-216(2019).MSC公司:68T50型 03B47号 03B65号 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Morrill},J.Logic Lang.Inf.28,No.2,183--216(2019;Zbl 1478.68416) 全文: 内政部
沃伊切赫·巴斯科夫斯基 关于对合非结合Lambek演算。 (英语) Zbl 1477.03063号 J.逻辑语言信息。 28,第2号,157-181(2019).MSC公司:03B47号 第03页 PDF格式BibTeX公司 XML格式引用 \textit{W.Buszkowski},《逻辑语言期刊》第28期,第2期,157-181页(2019年;Zbl 1477.03063) 全文: 内政部 OA许可证
范德波尔,Iris;艾丽斯·范·罗伊;贾库布·西曼尼克 动态认知逻辑中心理推理理论的参数化复杂性。 (英语) Zbl 1509.03067号 J.逻辑语言信息。 27,第3期,255-294(2018).MSC公司:03B42号 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{I.van de Pol}等人,J.Logic Lang.Inf.27,No.3,255--294(2018;Zbl 1509.03067) 全文: 内政部 OA许可证
格雷戈里·科贝尔。 库伯存储习惯用法。 (英语) Zbl 1509.03086号 J.逻辑语言信息。 27,第2期,95-131(2018).MSC公司:03B65号 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Kobele},J.Logic Lang.Inf.27,No.2,95-131(2018;Zbl 1509.03086) 全文: 内政部
伊曼纽尔·基诺(Emmanuel J.Genot)。;贾斯汀·杰科特 逻辑对话与明确的偏好概况和策略选择。 (英语) Zbl 1420.03052号 J.逻辑语言信息。 26,第3号,261-291(2017).MSC公司:03B60号 03B42号 91A26型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Genot}和\textit{J.Jacot},J.Logic Lang.Inf.26,No.3,261--291(2017;Zbl 1420.03052) 全文: 内政部 OA许可证
丹尼斯·贝切特;迈克尔·德克蒂亚 亚历山大·迪科夫斯基传记。 (英语) Zbl 1378.01015号 J.逻辑语言信息。 26,第4期,333-340(2017).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Béchet}和\textit{M.Dekhtyar},J.Logic Lang.Inf.26,No.4,333--340(2017;Zbl 1378.01015) 全文: 内政部
克里斯蒂安·沃尔姆 (完整)Lambek演算的语言理论和有限关系模型。 (英语) Zbl 1420.03041号 J.逻辑语言信息。 第2179-214号第26页(2017年).MSC公司:03B47号 2015年1月6日 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Wurm},J.Logic Lang.Inf.26,No.2,179--214(2017;Zbl 1420.03041) 全文: 内政部
谢恩·施泰纳特·特雷克尔德 迭代语言的一些属性。 (英语) Zbl 1396.03083号 J.逻辑语言信息。 25,第2期,191-213(2016).MSC公司:05年3月 03C80号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Steinert-Threlkeld},J.Logic Lang.Inf.25,第2期,191--213(2016;Zbl 1396.03083) 全文: 内政部
安蒂·库西斯托 广义量词的双组语义。 (英语) Zbl 1350.03025号 逻辑语言信息。 24,第2期,149-191(2015).MSC公司:03B60号 03C80号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kuusisto},J.Logic Lang.Inf.24,No.2,149--191(2015;Zbl 1350.03025) 全文: 内政部 arXiv公司 OA许可证
阿诺·杜兰德;约翰内斯·埃宾;朱哈·科廷宁;赫里贝特·沃尔默 带有多数量词的依赖逻辑。 (英语) Zbl 1368.03040号 J.逻辑语言信息。 24,第3期,289-305(2015).MSC公司:03B60号 03C80号 03C85号 03B15号机组 19年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,J.Logic Lang.Inf.24,No.3,289--305(2015;Zbl 1368.03040) 全文: 内政部 链接
皮埃尔·布罗 关于IO-替代对半线性全AFL Parikh图像的影响。 (英语) Zbl 1362.68129号 J.逻辑语言信息。 24,第1期,1-26页(2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Borreau},J.Logic Lang.Inf.24,No.1,1--26(2015;Zbl 1362.68129) 全文: 内政部 arXiv公司
伊戈尔·亚诺维奇 “现在”和“然后”操作符的表达能力。 (英语) Zbl 1369.03110号 J.逻辑语言信息。 第1号,第24页,第65-93页(2015年).MSC公司:03B65号 03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.Yanovich},J.Logic Lang.Inf.24,No.1,65-93(2015;Zbl 1369.03110) 全文: 内政部
拉格罗·帕格南 基本线性逻辑中的三段论,图解法。 (英语) Zbl 1305.03056号 J.逻辑语言信息。 22,第1期,71-113(2013).MSC公司:第03页 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Pagnan},J.Logic Lang.Inf.22,No.1,71--113(2013;Zbl 1305.03056) 全文: 内政部 arXiv公司
彼得·贝姆·格拉本;萨布丽娜·格思 极简主义文法的几何表示。 (英语) Zbl 1305.91210号 J.逻辑语言信息。 21,第4期,393-432(2012).MSC公司:91层20 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.beim地堑}和\textit{S.Gerth},J.Logic Lang.Inf.21,No.4,393--432(2012;Zbl 1305.91210) 全文: 内政部 arXiv公司
Koji县Mineshima;冈田三弘;柳竹村 带有欧拉圆的图解推理系统。 (英语) Zbl 1305.03014号 J.逻辑语言信息。 21,第3期,365-391(2012).MSC公司:03B20型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Mineshima}等人,J.Logic Lang.Inf.21,No.3,365-391(2012;Zbl 1305.03014) 全文: 内政部
亚历山大·波奇曼;Dov M.加巴伊。 顺序动态逻辑。 (英语) Zbl 1305.03020号 J.逻辑语言信息。 21,第3期,279-298(2012).MSC公司:03B47号 03B65号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman}和\textit{D.M.Gabbay},J.Logic Lang.Inf.21,No.3,279--298(2012;Zbl 1305.03020) 全文: 内政部 链接
安德拉斯·科奈 概率语法和语言。 (英语) 兹比尔1259.03042 J.逻辑语言信息。 20,第3期,317-328(2011).MSC公司:03B65号 2012年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kornai},J.Logic Lang.Inf.20,No.3,317--328(2011;Zbl 1259.03042) 全文: 内政部 链接
斯蒂芬·凯普瑟;吉姆·罗杰斯 树邻接文法和一元线性无上下文树文法的等价性。 (英语) Zbl 1274.68151号 J.逻辑语言信息。 20,第3期,361-384(2011). 审核人:Heribert Vollmer(汉诺威) MSC公司:2012年第68季度 03C13号机组 05年3月 65年第68季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{S.Kepser}和\textit{J.Rogers},《逻辑语言汇编》第20卷,第3期,361-384页(2011年;Zbl 1274.68151) 全文: 内政部
帕特里夏·布耶;弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 实时系统的定时模态逻辑。规范、验证和控制。 (英语) Zbl 1216.68158号 J.逻辑语言信息。 20,第2期,169-203(2011).MSC公司:60年第68季度 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,J.Logic Lang.Inf.20,No.2,169--203(2011;Zbl 1216.68158) 全文: 内政部
Inge Bethke公司;彼得·罗登堡 部分应用结构的可类型性。 (英语) Zbl 1231.03011号 J.逻辑语言信息。 20,第2期,161-168(2011).MSC公司:03B40型 03B65号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Bethke}和\textit{P.Rodenburg},J.Logic Lang.Inf.20,No.2,161--168(2011;Zbl 1231.03011) 全文: 内政部 OA许可证
格林·莫里尔;奥利奥尔·瓦伦廷;马里奥·法达 位移演算。 (英语) Zbl 1233.03035号 J.逻辑语言信息。 20,第1期,1-48页(2011).MSC公司:03B65号 03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Morrill}等人,J.Logic Lang.Inf.20,No.1,1-48(2011;Zbl 1233.03035) 全文: 内政部
萨瓦斯·科努尔 基于事件的一阶逻辑片段。 (英语) Zbl 1231.03009号 J.逻辑语言信息。 20,第1号,49-68(2011).MSC公司:03B20型 03B25号 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},J.Logic Lang.Inf.20,No.1,49--68(2011;Zbl 1231.03009) 全文: 内政部
周春来 有限可加性信念的概率逻辑。 (英语) Zbl 1204.03027号 逻辑语言信息。 19,第3期,247-282(2010). 审核人:吉尔根·兰德斯(慕尼黑) MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou},J.Logic Lang.Inf.19,No.3,247--282(2010;Zbl 1204.03027) 全文: 内政部
西尔万·萨尔瓦蒂 非线性抽象范畴文法的隶属度问题。 (英语) Zbl 1197.03033号 J.逻辑语言信息。 19,第2期,163-183(2010).MSC公司:03B65号 03B25号 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati},J.Logic Lang.Inf.19,No.2,163--183(2010;Zbl 1197.03033) 全文: 内政部 链接
Makoto金泽 二阶抽象范畴语法作为超边替换语法。 (英语) Zbl 1204.68113号 J.逻辑语言信息。 第2137-161号第19页(2010年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanazawa},J.Logic Lang.Inf.19,No.2,137--161(2010;Zbl 1204.68113) 全文: 内政部
诺里希罗·卡米德 动态非交换逻辑。 (英语) Zbl 1193.03062号 J.逻辑语言信息。 19,第1期,33-51(2010).MSC公司:03B70号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},《逻辑语言汇编》第19卷,第1期,第33-51页(2010年;Zbl 1193.03062) 全文: 内政部
凯瑟琳·赖;史蒂文·伯德 查询语言树。 (英语) Zbl 1191.68245号 J.逻辑语言信息。 19,第1期,53-73(2010).MSC公司:第68页,共15页 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lai}和\textit{S.Bird},J.Logic Lang.Inf.19,No.1,53--73(2010;Zbl 1191.68245) 全文: 内政部 链接
沃尔克·韦伯 分支时间逻辑反复引用状态。 (英语) Zbl 1193.03034号 J.逻辑语言信息。 18,第4期,593-624(2009).MSC公司:03B44号 03B62型 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Weber},J.Logic Lang.Inf.18,第4期,593--624(2009;Zbl 1193.03034) 全文: 内政部
马丁·兰格 混合逻辑的模型检查。 (英语) Zbl 1193.03053号 J.逻辑语言信息。 18,第4期,465-491(2009).MSC公司:03B62号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},J.Logic Lang.Inf.18,No.4,465--491(2009;Zbl 1193.03053) 全文: 内政部
Dixon,Lucas卢卡斯;阿兰·斯梅尔;Tracy Tsang 使用线性逻辑进行计划、行动和对话。 (英语) Zbl 1166.68357号 J.逻辑语言信息。 18,第2期,251-289(2009).MSC公司:68T27型 第03页 PDF格式BibTeX公司 XML格式引用 \textit{L.Dixon}等人,J.Logic Lang.Inf.18,No.2,251--289(2009;Zbl 1166.68357) 全文: 内政部
托马斯·奥戈特内斯;德克·沃尔特 有限记忆下的战略能力逻辑。 (英语) Zbl 1163.68037号 J.逻辑语言信息。 18,第1期,55-77(2009).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特斯}和\textit{D.Walther},J.Logic Lang.Inf.18,No.1,55--77(2009;Zbl 1163.68037) 全文: 内政部
丹尼尔·范斯坦;Shuly Wintner公司 高度约束的统一语法。 (英语) Zbl 1172.68056号 J.逻辑语言信息。 17,第3号,345-381(2008).MSC公司:68T50型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Feinstein}和\textit{S.Wintner},J.Logic Lang.Inf.17,No.3,345--381(2008;Zbl 1172.68056) 全文: 内政部
孔蒂宁,朱哈;贾库布·西曼尼克 关于集体量化的评论。 (英语) Zbl 1162.03313号 J.逻辑语言信息。 17,第2期,131-140(2008).MSC公司:03B65号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}和\textit{J.Szymanik},J.Logic Lang.Inf.17,No.2,131--140(2008;Zbl 1162.03313) 全文: 内政部 OA许可证
汉斯·约格·蒂德 模型理论语法的不必要特征、不可定义特征和模态逻辑。 (英语) Zbl 1192.03004号 J.逻辑语言信息。 17,第2期,217-227(2008). 审核人:克莱门斯·库普克(伦敦) MSC公司:03B65号 03B45号 05年3月 91层20 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Tiede},《逻辑语言汇编》第17卷,第2期,第217-227页(2008年;Zbl 1192.03004) 全文: 内政部
勒纳德尔·德·拉瓦莱特,杰拉德;巴特尔·库伊;韦布鲁克(Rineke Verbrugge) PDL的强完整性和有限规范性。 (英语) Zbl 1159.03020号 J.逻辑语言信息。 17,第1号,69-87(2008); 勘误表同上18,第2号,291-292(2009年)。MSC公司:03B70号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Renardel de Lavalette}等人,J.Logic Lang.Inf.17,No.1,69-87(2008;Zbl 1159.03020) 全文: 内政部 OA许可证
Kokkonidis,米尔蒂亚迪斯 一级胶水。 (英语) Zbl 1158.03019号 J.逻辑语言信息。 17,第1号,43-68(2008).MSC公司:03B65号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kokkonidis},J.Logic Lang.Inf.17,No.1,43--68(2008;Zbl 1158.03019) 全文: 内政部
劳埃德·亨伯斯通 研究左结构右子结构序列演算。 (英语) Zbl 1158.03012号 J.逻辑语言信息。 16,第2期,141-171(2007).MSC公司:03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},J.Logic Lang.Inf.16,No.2,141--171(2007;Zbl 1158.03012) 全文: 内政部
玛尔塔·恰尔迪亚·梅耶;卡拉·利蒙盖利;安德里亚·奥兰迪尼;瓦伦蒂娜·波吉奥尼 线性时态逻辑作为规划语言的可执行语义。 (英语) Zbl 1159.68562号 J.逻辑语言信息。 16,第1期,63-89(2007).MSC公司:68T20型 03B44号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cialdea Mayer}等人,J.Logic Lang.Inf.16,No.1,63-89(2007;Zbl 1159.68562) 全文: 内政部
诺里希罗·卡米德 资源敏感强否定的阶段语义和Petri网解释。 (英语) Zbl 1159.03329号 逻辑语言信息。 15,第4期,371-401(2006).MSC公司:第03页 68问题85 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Logic Lang.Inf.15,No.4,371--401(2006;Zbl 1159.03329) 全文: 内政部
克里斯·巴克;Shan、Chung-chieh 作为图形的类型:类型逻辑语法中的延续。 (英语) Zbl 1162.68716号 J.逻辑语言信息。 15,第4期,331-370(2006).MSC公司:68T50型 03B65号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barker}和\textit{C.-C.Shan},J.Logic Lang.Inf.15,No.4,331--370(2006;Zbl 1162.68716) 全文: 内政部
马塞洛·芬格;Dov Gabbay公司 削减并支付。 (英语) Zbl 1108.03034号 J.逻辑语言信息。 第3期第15页,195-218页(2006年).MSC公司:03B60号 03B05号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{D.Gabbay},J.Logic Lang.Inf.15,No.3,195--218(2006;Zbl 1108.03034) 全文: 内政部
伊恩·普拉特·哈特曼 带有计数量词的双变量片段的复杂性。 (英语) Zbl 1082.03007号 J.逻辑语言信息。 14,第3期,369-395(2005).MSC公司:03B20型 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},J.Logic Lang.Inf.14,No.3,369--395(2005;Zbl 1082.03007) 全文: 内政部
德克·伦德斯;马尔滕·马克思;杰西·蒂什基维茨(Jerzy Tyszkiewicz);Van den Bussche,简 半联代数和保护片段。 (英语) Zbl 1080.03012号 J.逻辑语言信息。 14,第3期,331-343(2005).MSC公司:03B70号 03B20型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Leinders}等人,J.Logic Lang.Inf.14,No.3,331--343(2005;Zbl 1080.03012) 全文: 内政部 arXiv公司
斯特凡·德姆里;汉斯·德·尼维尔 通过一阶逻辑用逆确定正则语法逻辑。 (英语) Zbl 1083.03023号 逻辑语言信息。 14,第3期,289-329(2005).MSC公司:03B45号 2012年第68季度 03B25号 03B20型 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{H.de Nivelle},J.Logic Lang.Inf.14,No.3,289--329(2005;Zbl 1083.03023) 全文: 内政部 arXiv公司
维罗尼卡·贝彻;圣地亚哥菲格拉 可能无限计算的Kolmogorov复杂性。 (英语) Zbl 1075.68034号 J.逻辑语言信息。 14,第2期,133-148(2005).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}和\textit{S.Figueira},《逻辑语言汇编》第14卷,第2期,第133-148页(2005年;Zbl 1075.68034) 全文: 内政部 链接
斯蒂芬·凯普瑟 用一元二阶逻辑在线性时间内查询语言树库。 (英语) Zbl 1067.68154号 J.逻辑语言信息。 13,第4期,457-470(2004).MSC公司:68T50型 65年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Kepser},J.Logic Lang.Inf.13,No.4,457--470(2004;Zbl 1067.68154) 全文: 内政部
菲利普·德格罗特;西尔万·波戈达拉 论抽象范畴语法的表达能力:表现无语境形式主义。 (英语) Zbl 1062.03024号 J.逻辑语言信息。 13,第4期,421-438(2004).MSC公司:03B65号 2012年第68季度 65年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.de Groote}和\textit{S.Pogodalla},J.Logic Lang.Inf.13,No.4,421--438(2004;Zbl 1062.03024) 全文: 内政部 链接
JoséM.Castaño。 全球索引语法和描述能力。 (英语) Zbl 1067.68079号 J.逻辑语言信息。 13,第4期,403-419(2004).MSC公司:2012年第68季度 65年第68季度 68T50型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Castaño},J.Logic Lang.Inf.13,No.4,403--419(2004;Zbl 1067.68079) 全文: 内政部
约琴·多尔;埃丝特·柯尼格;Dov Gabbay公司 基于特征的语法逻辑的光纤语义。 (英语) Zbl 0858.03034号 J.逻辑语言信息。 5,第3-4387-422号(1996年). 审核人:J.Dörre(斯图加特) MSC公司:03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dörre}等人,J.Logic Lang.Inf.5,No.3--4387--422(1996;Zbl 0858.03034) 全文: 内政部
沃伊切赫·巴斯科夫斯基 将Lambek文法扩展到基本范畴文法。 (英语) Zbl 0855.03015号 J.逻辑语言信息。 5,第3-4279-295号(1996年).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{W.Buszkowski},J.Logic Lang.Inf.5,No.3--4279--295(1996;Zbl 0855.03015) 全文: 内政部
M.Andrew Moshier 特征结构领域的合理重构。 (英语) Zbl 0832.03015号 J.逻辑语言信息。 4,第2期,111-143(1995).MSC公司:03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Moshier},J.Logic Lang.Inf.4,No.2,111--143(1995;Zbl 0832.03015) 全文: 内政部
罗尔夫·巴科芬;詹姆斯·罗杰斯;Vijay-Shanker,K。 有限树理论的一阶公理化。 (英语) 兹伯利0833.03010 J.逻辑语言信息。 第4期,第1期,第5-39页(1995年).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}等人,J.Logic Lang.Inf.4,No.1,5--39(1995;Zbl 0833.03010) 全文: 内政部
安娜·布卡洛 线性逻辑中的模态弱于指数“当然”:代数语义和关系语义。 (英语) Zbl 0809.03010号 J.逻辑语言信息。 3,第3期,211-232(1994). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:03B45号 03B20型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucalo},J.Logic Lang.Inf.3,No.3,211--232(1994;Zbl 0809.03010) 全文: 内政部
碧姬·彭瑟 动态的行动逻辑。 (英语) 兹伯利0810.03015 J.逻辑语言信息。 3,第3号,169-210(1994). 审核人:H.Wansing(莱比锡) MSC公司:03B60号 03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Penther},J.Logic Lang.Inf.3,No.3,169--210(1994;Zbl 0810.03015) 全文: 内政部
马蒂·彭特斯 兰贝克演算和线性逻辑中的可结合关系。 (英语) Zbl 0805.03004号 J.逻辑语言信息。 3,第2期,121-140(1994).MSC公司:03B15号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Pentus},J.Logic Lang.Inf.3,No.2,121--140(1994;Zbl 0805.03004) 全文: 内政部
哈伊纳尔·安德雷卡;米库拉斯(Mikulás,Szabolcs) 兰贝克演算及其关系语义:完全性和不完全性。 (英语) Zbl 0808.03003号 J.逻辑语言信息。 3,第1期,第1-37页(1994年).MSC公司:03B20型 03C90 PDF格式BibTeX公司 XML格式引用 \textit{H.Andréka}和\textit{S.MikuláS},J.Logic Lang.Inf.3,No.1,1-37(1994;Zbl 0808.03003) 全文: 内政部
汉伯斯通。 功能依赖、从属和结果关系。 (英语) Zbl 0804.68036号 J.逻辑语言信息。 2,第4期,309-336(1993).MSC公司:第68页,共15页 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{I.L.Humberstone},《逻辑语言汇编》第2卷,第4期,第309-336页(1993年;Zbl 0804.68036) 全文: 内政部
海因里希·瓦辛 子结构命题逻辑的信息解释。 (英语) Zbl 0795.03014号 J.逻辑语言信息。 2,第4期,285-308(1993). 审核人:H.Wansing(莱比锡) MSC公司:03B20型 03B47号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},J.Logic Lang.Inf.2,No.4,285--308(1993;Zbl 0795.03014) 全文: 内政部
格里戈里薄荷 一阶线性逻辑的分解演算。 (英语) Zbl 0793.03006号 J.逻辑语言信息。 2,第1号,59-83(1993). 审核人:G.Mints(斯坦福) MSC公司:03B35型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},J.Logic Lang.Inf.2,No.1,59--83(1993;Zbl 0793.03006) 全文: 内政部
范德霍克,威比;马尔滕·德·里杰克 广义量词和模态逻辑。 (英语) Zbl 0797.03014号 J.逻辑语言信息。 第2期,第1期,第19-58页(1993年). 审核人:M.Zakharyashev(莫斯科) MSC公司:03B45号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}和\textit{M.de Rijke},J.Logic Lang.Inf.2,No.1,19-58(1993;Zbl 0797.03014) 全文: 内政部
帕特里克·布莱克本;伊迪丝·斯潘 属性值语法计算复杂性的模态观点。 (英语) Zbl 0793.03018号 J.逻辑语言信息。 第2期,第129-169页(1993年).MSC公司:03B45号 2015年3月1日 65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}和\textit{E.Spaan},J.Logic Lang.Inf.2,No.2,129--169(1993;Zbl 0793.03018) 全文: 内政部
科斯塔·多森 模态逻辑作为元逻辑。 (英语) Zbl 0793.03011号 J.逻辑语言信息。 第1期,第3期,173-201(1992).MSC公司:03B45号 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen},J.Logic Lang.Inf.1,No.3,173--201(1992;Zbl 0793.03011) 全文: 内政部