卢克·亨斯伯格;罗伯托·波塞纳托 将具有不确定性的简单时态网络转换为可调度形式的快速算法。 (英语) Zbl 07713427号 Inf.计算。 293,文章ID 105063,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Hunsberger}和\textit{R.Posenato},信息计算。293,文章ID 105063,21 p.(2023;Zbl 07713427) 全文: 内政部
刘、莫;阿南塔·帕德马纳巴;拉马努贾姆,R。;王燕京 捆绑包对于一阶模态逻辑来说很划算吗? (英语) Zbl 07713426号 Inf.计算。 293,文章ID 105062,23 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Liu}等人,《信息计算》。293,文章ID 105062,23 p.(2023;Zbl 07713426) 全文: 内政部 arXiv公司
陈金生;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯 非正规模态逻辑和条件逻辑:语义分析和证明理论。 (英语) Zbl 07540278号 Inf.计算。 287,文章ID 104756,27 p.(2022).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人,《信息计算》。287,文章ID 104756,27 p.(2022;Zbl 07540278) 全文: 内政部 链接
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;奥利姆·图伊特 线性框架上的中间逻辑的一个可变片段。 (英语) Zbl 07540277号 Inf.计算。 287,文章ID 104755,20 p.(2022).MSC公司:03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人,《信息计算》。287,文章ID 104755,20 p.(2022;Zbl 07540277) 全文: 内政部
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 从逻辑上描述事件结构等效谱的特征。 (英语) 兹比尔1504.68138 Inf.计算。 285,B部分,文章ID 104887,25 p.(2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。285,B部分,文章ID 104887,25 p.(2022;Zbl 1504.68138) 全文: 内政部
程泽辉;Phokion G.科莱提斯。 临时数据交换的通用解决方案。 (英语) Zbl 1518.68083号 Inf.计算。 281,文章ID 104793,26 p.(2021).MSC公司:第68页,共15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Cheng}和\textit{P.G.Kolaitis},Inf.Compute。281,文章ID 104793,26 p.(2021;Zbl 1518.68083) 全文: 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 融合的并发语义:弱素域和连接事件结构。 (英语) Zbl 1518.68227号 Inf.计算。 281,文章ID 104770,第32页(2021).MSC公司:68问题85 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。281,文章ID 104770,32 p.(2021;Zbl 1518.68227) 全文: 内政部
Wałga,Przemys aw Andrzej;Micha Zawidzki 以主观为导向的空间逻辑。 (英语) Zbl 1518.68368号 Inf.计算。 280,文章ID 104643,15 p.(2021).MSC公司:68T27型 03B45号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Wa和\textit{M.Zawidzki},Inf.Compute。280,文章ID 104643,15 p.(2021;Zbl 1518.68368) 全文: 内政部 链接
佩拉斯、昆廷;朱利安·布鲁内尔;戴维·谢穆伊尔 许多一阶线性时序逻辑的一个可判定且可表达的片段。 (英语) 兹比尔1518.68214 Inf.计算。 280,文章ID 104641,20 p.(2021).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Peyras}等人,《信息计算》。280,文章ID 104641,20 p.(2021;Zbl 1518.68214) 全文: 内政部 哈尔
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹 TPTL和\(\mathrm{TPTL_b+Past}\)的单程和树形表格系统。 (英语) Zbl 07354965号 Inf.计算。 278,文章ID 104599,25 p.(2021).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《信息计算》。278,文章ID 104599,25 p.(2021;Zbl 07354965) 全文: 内政部
藤田,健毅 丘吉尔-罗瑟定理和证人定量分析。 (英语) Zbl 1436.03104号 Inf.计算。 263, 52-56 (2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.-e.Fujita},信息计算。263、52-56(2018年;Zbl 1436.03104) 全文: 内政部
约翰·范·本特姆 计算作为社会中介:什么、如何以及谁。 (英语) Zbl 1395.68119号 Inf.计算。 261,第3部分,519-535(2018).MSC公司:第68季度01 03B42号 68T27型 91A80型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},信息计算。261,第3部分,519--535(2018;Zbl 1395.68119) 全文: 内政部 链接
马蒂杰斯·瓦卡;拉达,贾加德桑;萨姆森·艾布拉姆斯基 依赖类型的游戏语义。 (英语) Zbl 1395.68183号 Inf.计算。 261,第2部分,401-431(2018).MSC公司:68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Vákár}等人,《Inf.Compute》。261,第2部分,401-431(2018;Zbl 1395.68183) 全文: 内政部 链接
习晓勇;杨金波;寇,惠 阿马迪奥和居里公开问题的部分解决方案。 (英语) Zbl 1391.68074号 Inf.计算。 260, 126-134 (2018).MSC公司:68问题55 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{X.Xi}等人,《信息计算》。260126-134(2018;Zbl 1391.68074) 全文: 内政部
卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 用于推理无纠缠量子态变换的分支分布式时序逻辑。 (英语) Zbl 1372.68191号 Inf.计算。 255,第2部分,311-333(2017).MSC公司:68问题85 03B44号 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{L.Vigan“}等人,《Inf.Compute》。255,第2部分,311--333(2017;Zbl 1372.68191) 全文: 内政部 链接
古斯塔沃·阿德里安·博丹萨;阿莱西奥,克劳迪奥·安德烈斯 重新思考可废止推理中的特殊性及其在论点恢复中的作用。 (英语) Zbl 1372.68236号 Inf.计算。 255,第2部分,287-310(2017).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Bodanza}和\textit{C.A.Alessio},Inf.Comput。255,第2部分,287--310(2017;Zbl 1372.68236) 全文: 内政部
Natsuki Urabe;一郎·哈索 通过矩阵进行定量模拟。 (英语) Zbl 1355.68197号 Inf.计算。 252, 110-137 (2017).MSC公司:68问题85 18个C20 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Urabe}和\textit{I.Hasuo},Inf.Comput。252110--137(2017年;Zbl 1355.68197) 全文: 内政部 arXiv公司
多里特·帕尔多(奥登特里希);亚历山大·拉比诺维奇 没有未来(暗示)过去。“几乎未来”时序逻辑的有限基础。 (英语) Zbl 1408.03012号 Inf.计算。 247, 203-216 (2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pardo(Ordentlich)}和\textit{A.Rabinovich},Inf.Compute。247203--216(2016;Zbl 1408.03012) 全文: 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基 用战略背景扩充ATL。 (英语) Zbl 1332.68140号 Inf.计算。 245, 98-123 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey},Inf.Comput。245,98-123(2015年;兹比尔1332.68140) 全文: 内政部
克拉拉·贝托利西;玛丽贝尔·费尔南德斯 分布式环境访问控制的元模型:应用程序和属性。 (英语) Zbl 1360.68206号 Inf.计算。 238, 187-207 (2014).MSC公司:64岁以下 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertolissi}和\textit{M.Fernández},Inf.Comput。238187-207(2014年;Zbl 1360.68206) 全文: 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司:68问题55 03B70号 68纳米30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},信息计算。231、38--69(2013年;Zbl 1435.68188) 全文: 内政部
弗洛里安·拉贝;迈克尔·科尔哈斯 可扩展模块系统。 (英语) Zbl 1358.68283号 Inf.计算。 230, 1-54 (2013).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{M.Kohlhase},Inf.Compute。230、1-54(2013年;Zbl 1358.68283) 全文: 内政部
达斯科·巴甫洛维奇 单面体计算机。一: 字符串图的基本可计算性。 (英语) 兹伯利1317.68054 Inf.计算。 226, 94-116 (2013).MSC公司:2005年第68季度 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlovic},Inf.计算。22694--116(2013;Zbl 1317.68054) 全文: 内政部 arXiv公司
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 带计数的连续时间时序逻辑。 (英语) Zbl 1242.03044号 Inf.计算。 214,1-9(2012年).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。214,1-9(2012;Zbl 1242.03044) 全文: 内政部
亚历山大·拉比诺维奇 线性时域上的时间逻辑在PSPACE中。 (英语) Zbl 1280.68112号 Inf.计算。 210, 40-67 (2012).MSC公司:65年第68季度 03B44号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。210、40-67(2012年;Zbl 1280.68112) 全文: 内政部
迈克尔·门德勒;斯蒂芬·谢勒 多模态CK的无割Gentzen演算。 (英语) Zbl 1248.03036号 Inf.计算。 209,第12期,1465-1490(2011).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler}和\textit{S.Scheele},Inf.Compute。209,第12号,1465--1490(2011;Zbl 1248.03036) 全文: 内政部
托本·布吕纳 直觉混合逻辑:介绍和调查。 (英语) Zbl 1243.03025号 Inf.计算。 209,第12期,1437-1446(2011).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Braüner},Inf.计算。209,第12号,1437--1446(2011;Zbl 1243.03025) 全文: 内政部
马克西姆·克罗西莫尔;Dov M.加巴伊。 反应自动机。 (英语) Zbl 1210.68067号 Inf.计算。 209,第4期,692-704(2011).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Crochemore}和\textit{D.M.Gabbay},Inf.Compute。209,第4号,692--704(2011;Zbl 1210.68067) 全文: 内政部
约尔格恩德鲁利斯;赫尔曼·格乌弗斯;雅各布·格鲁·西蒙森;汉斯·赞特马 重写中的不确定性级别。 (英语) Zbl 1210.68064号 Inf.计算。 209,第2期,227-245(2011).MSC公司:2012年第68季度 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,《信息计算》。209,第2号,227--245(2011;Zbl 1210.68064) 全文: 内政部
德克·帕丁森;卢茨·施罗德 余代数逻辑中的截消。 (英语) Zbl 1255.03052号 Inf.计算。 208,第12期,1447-1468(2010).MSC公司:05年3月 03G30型 03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}和\textit{L.Schröder},Inf.Comput。208,第12号,1447--1468(2010;Zbl 1255.03052) 全文: 内政部 链接
保罗·加斯丁;迪特里赫·库斯克 Mazurkiewicz迹上局部时序逻辑的一致可满足性问题。 (英语) Zbl 1195.68069号 Inf.计算。 208,第7期,797-816(2010).MSC公司:68问题85 03B44号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{D.Kuske},Inf.计算。208,编号7,797-816(2010年;兹bl 1195.68069) 全文: 内政部
杰拉德·布多尔 在高阶并发命令式语言中键入终止。 (英语) Zbl 1213.68159号 Inf.计算。 208,第6期,716-736(2010).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol},Inf.计算。208,第6号,716--736(2010;Zbl 1213.68159) 全文: 内政部
默多克·J·加贝。;多米尼克·P·穆利根。 柯里·霍华德(Curry-Howard),针对使用一级半项的不完全一阶逻辑推导。 (英语) Zbl 1186.68102号 Inf.计算。 208,第3期,230-258(2010); 更正同上,212、119(2012)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{D.P.Mulligan},Inf.Compute。208,第3号,230--258(2010;Zbl 1186.68102) 全文: 内政部
奥赞·卡拉马诺·乌拉尔 关于线性逻辑规划和并发。 (英语) Zbl 1192.68644号 Inf.计算。 207,第11期,1229-1258(2009).MSC公司:68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kahramanoullar},信息计算。207,第11号,1229--1258(2009;Zbl 1192.68644) 全文: 内政部
马修·霍洛普;克里斯托巴尔·罗哈斯 度量空间上概率测度的可计算性和Martin-Löf随机性。 (英语) 兹比尔1167.68023 Inf.计算。 207,第7期,830-847(2009).MSC公司:68问题30 03天80 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoyrup}和\textit{C.Rojas},Inf.Compute。207,第7号,830--847(2009;Zbl 1167.68023) 全文: 内政部 arXiv公司
亨克·巴伦德雷格特;扬·威廉·克鲁普 无穷λ演算的应用。 (英语) Zbl 1167.03010号 Inf.计算。 207,第5期,559-582(2009).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt}和\textit{J.W.Klop},Inf.Compute。207,第5号,559--582(2009;Zbl 1167.03010) 全文: 内政部 链接
马丁·埃斯卡多;Ho,翁金 顺序编程语言的操作域理论和拓扑结构。 (英语) Zbl 1263.68104号 Inf.计算。 207,第3期,411-437(2009).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Escardó}和\textit{W.K.Ho},Inf.Comput。207,第3号,411--437(2009;Zbl 1263.68104) 全文: 内政部
伊雷克·乌利多夫斯基;袁,Shoji 为OSOS过程语言生成优先级重写系统。 (英语) Zbl 1165.68037号 Inf.计算。 207,第2期,第120-145页(2009年).MSC公司:2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Ulidowski}和\textit{S.Yuen},Inf.Compute。207,编号2120-145(2009年;兹bl 1165.68037) 全文: 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔 在术语重写中终止公正/公平计算。 (英语) Zbl 1146.68040号 Inf.计算。 206,第5号,652-675(2008).MSC公司:2012年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer},Inf.Compute。206,第5号,652--675(2008;Zbl 1146.68040) 全文: 内政部 链接
斯特凡尼德劳恩;帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特里宁 单体方程理论的符号协议分析。 (英语) Zbl 1148.68325号 Inf.计算。 206,编号2-4,312-351(2008).MSC公司:68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}等人,《信息计算》。206,编号2--4,312--351(2008;Zbl 1148.68325) 全文: 内政部
尼科莱塔·德·弗朗西斯科;卢卡·马提尼 基于堆栈的汇编语言中信息流的指令级安全分析。 (英语) Zbl 1127.68016号 Inf.计算。 205,编号9,1334-1370(2007).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{N.De Francesco}和\textit{L.Martini},Inf.Compute。205,第9号,1334--1370(2007;Zbl 1127.68016) 全文: 内政部
默多克·J·加贝。 名字的一般数学。 (英语) Zbl 1123.03047号 Inf.计算。 205,第7号,982-111(2007).MSC公司:03E70型 03B70号 03日70 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},Inf.计算。205,第7号,982--1011(2007;Zbl 1123.03047) 全文: 内政部
亚历山大·拉比诺维奇 具有不可通约距离的时间逻辑是不可判定的。 (英语) 邮编1128.03009 Inf.计算。 205,第5期,707-715(2007). 审核人:托马斯·斯图德(伯尔尼) MSC公司:03B44号 03天35分 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。205,第5号,707--715(2007;Zbl 1128.03009) 全文: 内政部
斯特凡·德姆里;迪帕克·D’Souza 一种用于约束LTL的自动机理论方法。 (英语) Zbl 1113.03015号 Inf.计算。 205,第3期,380-415(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D'Souza},Inf.Comput。205,第3号,380--415(2007;Zbl 1113.03015) 全文: 内政部 哈尔
安德烈亚斯·施费尔 多维持续时间微积分的公理化和可判定性。 (英语) Zbl 1109.68069号 Inf.计算。 205,第1期,25-64(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schäfer},Inf.计算。205,编号1,25--64(2007;Zbl 1109.68069) 全文: 内政部
斯特凡·德姆里;兰科·拉齐奇;大卫·诺瓦克 关于约束LTL中的冻结量词:可决定性和复杂性。 (英语) Zbl 1116.03014号 Inf.计算。 205,第1期,2-24(2007).MSC公司:03B44号 03B25号 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。205,第1、2、-24号(2007年;Zbl 1116.03014) 全文: 内政部 哈尔
弗兰兹·巴德;西尔维奥·吉拉尔迪;塞萨尔·蒂内利 针对词问题的一种新的组合过程推广了融合可判定性,从而产生了模态逻辑。 (英语) Zbl 1098.03048号 Inf.计算。 204,第10期,1413-1452(2006).MSC公司:03D40号 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,《信息计算》。204,第10号,1413-1452(2006;Zbl 1098.03048) 全文: 内政部
亚历山大·拉比诺维奇;菲利普·施诺贝伦 \(\text{比特币}_{2} 和(text{ECTL}^{+})的表达能力。 (英语) Zbl 1110.68076号 Inf.计算。 204,第7期,1023-1044(2006).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{P.Schnoebelen},Inf.Comput。204,第7号,1023--1044(2006;Zbl 1110.68076) 全文: 内政部
雅各布·格鲁·西蒙森 无限项重写中的模块性。 (英语) Zbl 1104.68057号 Inf.计算。 204,第6期,957-988(2006).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Simonsen},《信息计算》。204,编号6,957-988(2006年;Zbl 1104.68057) 全文: 内政部
文卡特斯·乔佩拉;克里斯托弗·海恩斯(Christopher T.Haynes)。 源跟踪统一。 (英语) Zbl 1088.68026号 Inf.计算。 201,第2期,121-159(2005).MSC公司:68N17号 68吨15 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Choppella}和\textit{C.T.Haynes},信息计算。201,第2号,121--159(2005;Zbl 1088.68026) 全文: 内政部
马克·雷诺兹 PCTL*的公理化。 (英语) Zbl 1099.03013号 Inf.计算。 201,第1期,72-119(2005). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},《信息计算》。201,第1号,72--119(2005;Zbl 1099.03013) 全文: 内政部
鲍里斯·科涅夫;安纳托利·德吉亚列夫;克莱尔·迪克森;迈克尔·费希尔;乌尔里希·赫斯塔特 机械化一阶时间分辨率。 (英语) Zbl 1086.03009号 Inf.计算。 199,第1-2号,55-86(2005).MSC公司:03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,Inf.Comput。199,编号1--2,55-86(2005;Zbl 1086.03009) 全文: 内政部
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 计时器公式和可判定的度量时态逻辑。 (英语) Zbl 1068.03014号 Inf.计算。 198,第2期,148-178(2005). 审核人:贾科莫·波南诺(戴维斯) MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。198,第2号,148--178(2005;Zbl 1068.03014) 全文: 内政部
简·乔米奇;耶日·马钦科夫斯基 使用元组删除进行最小更改完整性维护。 (英语) Zbl 1075.68022号 Inf.计算。 197,编号1-2,90-121(2005).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Chomicki}和\textit{J.Marcinkowski},Inf.Compute。197,编号1--2,90-121(2005;Zbl 1075.68022) 全文: 内政部 arXiv公司
曼弗雷德·施密特·沙乌 有界二阶统一的判定性。 (英语) Zbl 1078.68139号 Inf.计算。 188,第2期,143-178(2004).MSC公司:68吨15 03B35型 03B40型 03B25号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß},Inf.计算。188,第2号,143--178(2004;Zbl 1078.68139) 全文: 内政部 链接
圣埃芬伦格兰;皮埃尔·莱斯坎;丹·多尔蒂;马里亚纽拉州Dezani-Ciancaglini;范·贝克尔,斯特芬 用于显式替换的交集类型。 (英语) Zbl 1082.68014号 Inf.计算。 189,第1期,17-42(2004).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Lengrand}等人,《Inf.Compute》。189,编号1,17--42(2004;Zbl 1082.68014) 全文: 内政部
吉田、Nobuko;马丁·伯杰;本田、高黑 \(\pi\)演算中的强归一化。 (英语) Zbl 1101.68705号 Inf.计算。 191,第2145-202号(2004年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Yoshida}等人,《信息计算》。191,第2号,145--202(2004;Zbl 1101.68705) 全文: 内政部
阿德里亚娜·孔皮诺尼 高阶子类型及其可判定性。 (英语) Zbl 1055.03013号 Inf.计算。 191,第1期,第41-103页(2004年).MSC公司:03B40型 03B25号 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Compagnoni},信息计算。191,第1号,41--103(2004;Zbl 1055.03013) 全文: 内政部
吉安·卢卡·卡塔尼;彼得·休厄尔 姓名传递过程模型:交错和因果。 (英语) Zbl 1101.68693号 Inf.计算。 190,第2期,136-178(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Cattani}和\textit{P.Sewell},Inf.Compute。190,编号2,136--178(2004;Zbl 1101.68693) 全文: 内政部
马塞洛·M·邦桑格。;Joost N.角。 无限交点类型。 (英语) Zbl 1055.03012号 Inf.计算。 186,第2期,285-318(2003).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsange}和\textit{J.N.Kok},Inf.Compute。186,第2285-318号(2003年;兹bl 1055.03012) 全文: 内政部
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 未来的时序逻辑需要无限多的形式。 (英语) Zbl 1045.03019号 Inf.计算。 187,第2期,196-208(2003).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。187,第2号,196--208(2003;Zbl 1045.03019) 全文: 内政部
马尔钦·尤季扬斯基;尼尔森,莫根斯;吉·斯尔巴 多米诺骨牌游戏的不确定性和hhp双相似性。 (英语) Zbl 1054.68094号 Inf.计算。 184,第2期,343-368(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人,《信息计算》。184,第2号,343--368(2003;Zbl 1054.68094) 全文: 内政部
阿德里亚娜·孔皮诺尼;Healfdene戈根 高阶子类型的类型化操作语义。 (英语) Zbl 1055.68075号 Inf.计算。 184,第2期,242-297(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Compagnoni}和\textit{H.Goguen},信息计算。184,第2号,242--297(2003;Zbl 1055.68075) 全文: 内政部
法隆·莫勒;亚历山大·拉比诺维奇 计数CTL(^*\):关于一元路径逻辑的表达能力。 (英语) Zbl 1019.03023号 Inf.计算。 184,第1期,147-159(2003).MSC公司:03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Moller}和\textit{A.Rabinovich},Inf.Compute。184,编号1,147-159(2003年;兹bl 1019.03023) 全文: 内政部
乔恩·里克(Jon G.Riecke)。;安德斯·桑德霍姆 按调用值排序的关系帐户。 (英语) Zbl 1096.68019号 Inf.计算。 179,第2期,296-331(2002).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Riecke}和\textit{A.Sandholm},Inf.Compute。179,No.2,296--331(2002;Zbl 1096.68019) 全文: 内政部 链接
库沙·埃特萨米;莫舍·瓦尔迪。;托马斯·威尔克 具有两个变量的一阶逻辑和一元时态逻辑。 (英语) Zbl 1096.03013号 Inf.计算。 179,第2期,279-295(2002).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人,《信息计算》。179,第2号,279--295(2002;Zbl 1096.03013) 全文: 内政部
蒂亚加拉扬,P.S。;Walukiewicz,I。 Mazurkiewicz轨迹的一种表达完整的线性时间时序逻辑。 (英语) Zbl 1096.03015号 Inf.计算。 179,第2期,230-249(2002).MSC公司:03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{I.Walukiewicz},信息计算。179,编号2,230--249(2002;Zbl 1096.03015) 全文: 内政部
伊利亚诺·塞维萨托;弗兰克·芬宁 线性逻辑框架。 (英语) Zbl 1031.03056号 Inf.计算。 179,第1期,第19-75页(2002年).MSC公司:03B70号 68纳米30 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{F.Pfenning},Inf.Compute。179,编号1,19--75(2002;Zbl 1031.03056) 全文: 内政部
亚历山大·拉比诺维奇;沙哈尔·茂兹 分支时间上的时间逻辑的无限层次结构。 (英语) Zbl 1005.03022号 Inf.计算。 171,第2期,306-332(2001).MSC公司:03B44号 60年第68季度 03立方厘米85 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{S.Maoz},Inf.Comput。171,编号2,306--332(2001;Zbl 1005.03022) 全文: 内政部 链接
威廉·罗恩斯(William C.Rounds)。;张国强 代数域中的子句逻辑和逻辑编程。 (英语) Zbl 1005.68094号 Inf.计算。 171,第2期,183-200(2001).MSC公司:68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Rounds}和\textit{G.-Q.Zhang},Inf.Compute。171,第2号,183--200(2001;Zbl 1005.68094) 全文: 内政部 链接
M.克莱博特。;Roos,Y。;莱尔,I。 同步语言和重写系统。 (英语) Zbl 1007.68084号 Inf.计算。 167,第1号,46-69(2001).MSC公司:2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Clerbout}等人,《信息计算》。167,编号1,46--69(2001;Zbl 1007.68084) 全文: 内政部
乔治·戈特洛布;莱因哈德·皮克勒 使用ARM:Herbrand模型的原子表示的复杂性结果。 (英语) Zbl 1007.03009号 Inf.计算。 165,第2期,183-207(2001).MSC公司:03B35型 2017年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}和\textit{R.Pichler},Inf.计算。165,第2号,183--207(2001;Zbl 1007.03009) 全文: 内政部
Jerzy Tiuryn 多态类型子类型的序列演算。 (英语) Zbl 1007.03011号 Inf.计算。 164,第2期,345-369(2001).MSC公司:03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Tiuryn},Inf.计算。164,编号2,345--369(2001;Zbl 1007.03011) 全文: 内政部 链接
苏拉布·卡西达什维利;小川,水井裕人;文森特·范·奥斯特罗姆 正交重写系统中的持久性和一致归一化。 (英语) Zbl 1003.68057号 Inf.计算。 164,第1期,第118-151页(2001年).MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Khasidashvili}等人,《信息计算》。164,编号1,118--151(2001;Zbl 1003.68057) 全文: 内政部 链接
萨姆森·艾布拉姆斯基;拉达,贾加德桑;帕斯夸尔马拉卡里亚 PCF的完全抽象。 (英语) Zbl 1006.68028号 Inf.计算。 163,编号2409-470(2000).MSC公司:68甲18 03B40型 20日03时 18 C50 18D20天 2005年第68季度 68问题55 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}等人,《信息计算》。163,第2号,409--470(2000;Zbl 1006.68028) 全文: 内政部 链接
埃格利,乌韦;托马斯·拉特 定义翻译为标准形式的实用变体。 (英语) Zbl 1003.68149号 Inf.计算。 162,编号1-2,255-264(2000).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Egly}和\textit{T.Rath},Inf.计算。162,编号1--2255-264(2000;Zbl 1003.68149) 全文: 内政部
萨图尼诺·F·卢兹。 使用tableaux自动化Lambek和其他类别计算。 (英语) Zbl 1006.03008号 Inf.计算。 162,编号1-2,206-225(2000).MSC公司:03B35型 03B47号 68T50型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Luz},Inf.计算。162,编号1-2206-225(2000年;Zbl 1006.03008) 全文: 内政部
米基·赫尔曼;Phokion G.科莱提斯。 统一算法不能在多项式时间内组合。 (英语) Zbl 1045.68568号 Inf.计算。 162,编号1-2,24-42(2000).MSC公司:65年第68季度 03B35型 2015年第68季度 2017年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermann}和\textit{P.G.Kolaitis},Inf.Compute。162,编号1-2,24-42(2000年;兹bl 1045.68568) 全文: 内政部 链接
郭青;巴利亚特·纳伦德兰;沃尔夫拉姆,D.A。 幂零统一和匹配问题的复杂性。 (英语) Zbl 1045.68603号 Inf.计算。 162,编号1-2,3-23(2000).MSC公司:68吨15 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Guo}等人,《信息计算》。162,编号1--2,3--23(2000;Zbl 1045.68603) 全文: 内政部
阿巴斯·埃达拉特;马丁·霍泽尔·埃斯卡多 在Real PCF中集成。 (英语) Zbl 1005.03035号 Inf.计算。 160,编号1-2,128-166(2000).MSC公司:03B70号 03D65年 68问题55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{A.Edalat}和\textit{M.H.Escardó},Inf.Comput。160,编号1--2,128--166(2000;Zbl 1005.03035) 全文: 内政部 链接
库沙·埃特萨米;托马斯·威尔克 时间逻辑Ehrenfeucht-Fraíssé游戏的直到层次结构和其他应用程序。 (英语) Zbl 1005.03021号 Inf.计算。 160,编号1-2,88-108(2000).MSC公司:03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{T.Wilke},Inf.Compute。160,编号1--2,88-108(2000;Zbl 1005.03021) 全文: 内政部
约翰内斯·沃尔德曼 组合子S。 (英语) Zbl 1005.03017号 Inf.计算。 159,编号1-2,2-21(2000).MSC公司:03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Waldmann},《信息计算》。159,编号1--2,2--21(2000;Zbl 1005.03017) 全文: 内政部
亚历山大·拉比诺维奇 持续时间演算的表达式完整性。 (英语) Zbl 1046.68606号 Inf.计算。 156,编号1-2,320-344(2000).MSC公司:60年第68季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。156,编号1--2,320-344(2000;Zbl 1046.68606) 全文: 内政部 链接
泽纳·M·阿里奥拉。;扬·威廉·克鲁普;丰满,细节 术语图重写中的双相似性。 (英语) Zbl 1045.68590号 Inf.计算。 156,编号1-2,2-24(2000).MSC公司:68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}等人,《信息计算》。156,编号1--2,2--24(2000;Zbl 1045.68590) 全文: 内政部 链接
Bonsangue,Marcelo M。;Joost N.角。 走向领域的无限逻辑:过渡系统的Abramsky逻辑。 (英语) Zbl 1004.03030号 Inf.计算。 155,第1-2号,170-201(1999).MSC公司:03B70号 68问题55 60年第68季度 06B35号 03G10年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsange}和\textit{J.N.Kok},Inf.Compute。155,编号1-2-170-201(1999年;Zbl 1004.03030) 全文: 内政部 链接
弗朗西斯科·兰扎托 CPO上的闭包形成完整的格。 (英语) Zbl 1004.06007号 Inf.计算。 152,第2期,236-249(1999).MSC公司:2015年1月6日 06B35号 68问题55 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato},Inf.计算。152,第2号,236--249(1999;Zbl 1004.06007) 全文: 内政部 链接
范·拉姆斯东克(Femke van Raamsdonk);波拉·塞韦利;索伦森,莫滕·海涅B。;席宏伟 (lambda)-演算的永久约简。 (英语) Zbl 0920.03024号 Inf.计算。 149,第2期,173-225(1999).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.van Raamsdonk}等人,《信息计算》。149,第2号,173--225(1999;Zbl 0920.03024) 全文: 内政部
埃里克·巴杜埃尔;达朗道,菲利普;让-克洛德·拉乌尔 无上下文事件域是可识别的。 (英语) Zbl 0928.68050号 Inf.计算。 149,第2期,134-172(1999).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}等人,《信息计算》。149,第2号,134--172(1999;Zbl 0928.68050) 全文: 内政部 链接
吉尔·巴特 排序归纳类型。 (英语) Zbl 0928.68022号 Inf.计算。 149,第1期,42-76(1999).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe},Inf.计算。149,编号1,42--76(1999;Zbl 0928.68022) 全文: 内政部 链接
克劳迪奥·赫米达;巴特·雅各布斯 结构归纳法和共聚归纳法。 (英语) Zbl 0941.18006号 Inf.计算。 145,第2期,第107-152页(1998年). 审核人:S.V.Solov'ev(达勒姆) MSC公司:18B20型 68问题55 03D65年 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}和\textit{B.Jacobs},Inf.Comput。145,No.2,107--152(1998;Zbl 0941.18006) 全文: 内政部 链接
Wan Fokkink公司;克里斯·弗霍夫 保守地看待变量绑定的操作语义。 (英语) 兹比尔0916.68098 Inf.计算。 146,第1期,24-54(1998).MSC公司:60年第68季度 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}和\textit{C.Verhoef},Inf.计算。146,编号1,24--54(1998;Zbl 0916.68098) 全文: 内政部 链接
罗尔夫·巴科芬;拉尔夫·特雷宁 如何赢得具有功能的游戏。 (英语) 兹比尔0912.68018 Inf.计算。 142,第1期,76-101(1998).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{R.Treinen},Inf.计算。142,编号1,76--101(1998;Zbl 0912.68018) 全文: 内政部 链接
石原、Hajime;巴哈迪尔·库萨诺夫;尼禄,阿尼尔 可计算克里普克模型和中间逻辑。 (英语) Zbl 0913.03033号 Inf.计算。 143,第2期,205-230(1998). 审核人:M.M.Arslanov(喀山) MSC公司:03B55号 03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}等人,《信息计算》。143,第2号,205--230(1998;Zbl 0913.03033) 全文: 内政部
Chrysafis哈托纳斯;马修·轩尼诗 具有高阶值传递的函数/并发语言的完全抽象性。 (英语) Zbl 0912.68114号 Inf.计算。 145,第1期,64-106(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas}和\textit{M.Hennessy},Inf.Comput。145,编号1,64--106(1998;Zbl 0912.68114) 全文: 内政部
泽纳·M·阿里奥拉。;扬·威廉·克鲁普 带有显式递归的Lambda演算。 (英语) Zbl 0892.68015号 Inf.计算。 139,第2期,154-233(1997).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}和\textit{J.W.Klop},Inf.Comput。139,第2号,154--233(1997;Zbl 0892.68015) 全文: 内政部 链接
马特·费尔特洛;迈克尔·门德勒 命题逻辑松散。 (英语) Zbl 0889.03015号 Inf.计算。 137,第1期,第1-33页(1997年). 审核人:A.A.Mullin(亨茨维尔) MSC公司:03B45号 68平方米 03B80型 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fairtlough}和\textit{M.Mendler},Inf.Comput。137,第1号,1-33(1997;Zbl 0889.03015) 全文: 内政部 链接
妮可·比多瓦;克莉丝汀·弗罗伊德沃 通用逻辑数据库和程序:默认逻辑语义和分层。 (英语) Zbl 0800.68292号 Inf.计算。 91,第1期,第15-54页(1991年).MSC公司:68N17号 第68页,共15页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bidoit}和\textit{C.Froidevaux},Inf.Comput。91,编号1,15--54(1991;Zbl 0800.68292) 全文: 内政部
阿诺·阿夫隆 简单的后果关系。 (英语) Zbl 0733.03007号 Inf.计算。 92,第1期,第105-139页(1991年). 审核人:G.Mints(斯坦福) MSC公司:03B22号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},Inf.计算。92,编号1,105--139(1991;Zbl 0733.03007) 全文: 内政部
帕西,所罗门;廷切夫、廷科 组合动态逻辑论文。 (英语) Zbl 0732.03021号 Inf.计算。 93,第2期,263-332(1991). 审核人:N.Curteanu(伊阿什) MSC公司:03B70号 03B40型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Passy}和\textit{T.Tinchev},Inf.计算。93,第2号,263--332(1991;Zbl 0732.03021) 全文: 内政部
尼尔·伊梅尔曼;德克斯特·科赞 有界变量数的可定义性。 (英语) Zbl 0711.03004号 Inf.计算。 83,第2期,121-139(1989). 审核人:谢夫兰内克 MSC公司:03B70号 03C30号 03B45号 03C13号机组 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Immerman}和\textit{D.Kozen},信息计算。83,第2号,121--139(1989;Zbl 0711.03004) 全文: 内政部