乌戈·德利古罗;里卡多·特雷格里亚 从语义到类型:命令式演算的情况。 (英语) Zbl 07735130号 西奥。计算。科学。 973,文章ID 114082,25 p.(2023).MSC公司:68甲18 03B40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{U.de'Liguoro}和\textit{R.Treglia},Theor。计算。科学。973,文章ID 114082,25 p.(2023;Zbl 07735130) 全文: 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek 自然演绎中的一个新连接词及其在量子计算中的应用。 (英语) Zbl 1529.81040号 西奥。计算。科学。 957,文章ID 113840,27 p.(2023).MSC公司:81页68 32E05 68甲18 03B38型 68伏15 第81页,共15页 81页第10页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek},Theor。计算。科学。957,文章ID 113840,27 p.(2023;Zbl 1529.81040) 全文: 内政部 哈尔
张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) Zbl 07657061号 西奥。计算。科学。 949,文章ID 113702,28 p.(2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。949,文章ID 113702,28 p.(2023;Zbl 07657061) 全文: 内政部
马蒂亚斯·埃贝尔 势无限的高阶概念。 (英语) 兹伯利07648671 西奥。计算。科学。 945,文章ID 113667,17 p.(2023). 审核人:Łukasz Czajka(多特蒙德) MSC公司:03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{M.Eberl},Theor。计算。科学。945,文章ID 113667,17 p.(2023;Zbl 07648671) 全文: 内政部
G.贝扎尼什维利。;J.哈丁。;P.J.莫兰迪。 关于Priestley空间的超空间的注记。 (英语) Zbl 07638594号 西奥。计算。科学。 943, 187-202 (2023).MSC公司:03B45号 06月XX日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Theor。计算。科学。943187-202(2023;Zbl 07638594) 全文: 内政部 arXiv公司
科普,尼尔斯;赫尔穆特·施维赫滕贝格 用逻辑方法进行精确实数运算的前瞻性分析。 (英语) Zbl 07638593号 西奥。计算。科学。 943, 171-186 (2023).MSC公司:03B70号 03D78号 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Köpp}和\textit{H.Schwichtenberg},Theor。计算。科学。943171--186(2023年;Zbl 07638593) 全文: 内政部
刘德鹏;王,弯腰;付,陈;张丽君 模型检查差异私有属性。 (英语) Zbl 1512.68157号 西奥。计算。科学。 943年、153-170年(2023年).MSC公司:60年第68季度 03B44号 60J20型 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人,Theor。计算。科学。943153-170(2023年;Zbl 1512.68157) 全文: 内政部
米哈伊尔·里巴科夫;德米特里·什卡托夫 命题时间逻辑和计算模态逻辑的有限变量片段的复杂性。 (英语) Zbl 07547827号 西奥。计算。科学。 925, 45-60 (2022).MSC公司:03B70号 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},Theor。计算。科学。925,45-60(2022;Zbl 07547827) 全文: 内政部
亨克·巴伦德雷格特;塞巴斯蒂安·特维恩。 部分组合代数和广义数。 (英语) 兹伯利07547826 西奥。计算。科学。 925, 37-44 (2022).MSC公司:03D45号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt}和\textit{S.A.Terwijn},Theor。计算。科学。925,37-44(2022;Zbl 07547826) 全文: 内政部 arXiv公司
艾尔·格恩斯特;克里斯托夫·斯科尔;尤拉吉·西奇;拉尔夫·威默 使用量词定位求解依赖量化布尔公式。 (英语) Zbl 1489.68394号 西奥。计算。科学。 925,1-24(2022).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ge-Ernst}等人,Theor。计算。科学。925,1--24(2022;Zbl 1489.68394) 全文: 内政部 arXiv公司
克里斯托夫·贝奇;恩德雷·博罗斯;乔佩克,Ondřej;彼得·库切拉;Kazuhisa Makino 独特的按键喇叭功能。 (英语) Zbl 1500.68005号 西奥。计算。科学。 922, 170-178 (2022). 审核人:Hirokazu Nishimura(筑波) MSC公司:第68页,共15页 03英镑05 05年6月15日 06E30年 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{K.Bérczi}等人,Theor。计算。科学。922170--178(2022;Zbl 1500.68005) 全文: 内政部 arXiv公司
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 配置结构的行为逻辑。 (英语) Zbl 1483.68222号 西奥。计算。科学。 913, 94-112 (2022).MSC公司:68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。913,94-112(2022;Zbl 1483.68222) 全文: 内政部
邓玉欣;冯、袁 经典量子语言的形式语义。 (英语) Zbl 1483.68076号 西奥。计算。科学。 913, 73-93 (2022).MSC公司:68号30 03B70号 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Feng},Theor。计算。科学。913、73-93(2022年;Zbl 1483.68076) 全文: 内政部 arXiv公司
徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上的模型检查QCTL plus。 (英语) Zbl 1483.68212号 西奥。计算。科学。 913, 43-72 (2022).MSC公司:60年第68季度 03B44号 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。913、43-72(2022年;Zbl 1483.68212) 全文: 内政部
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 渴望作为过程发挥作用。 (英语) Zbl 1483.68226号 西奥。计算。科学。 913, 8-42 (2022).MSC公司:68问题85 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人,Theor。计算。科学。913,8--42(2022;Zbl 1483.68226) 全文: 内政部 哈尔
马克·贝泽姆;可口、蒂埃里 膨胀自同态联合相似的循环检查和一致词问题。 (英语) Zbl 1515.03061号 西奥。计算。科学。 913, 1-7 (2022).MSC公司:03B38型 06B25号 2012年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}和\textit{T.Coquand},Theor。计算。科学。913,1--7(2022;Zbl 1515.03061) 全文: 内政部
莫森野生动物园;玛丽克·赫斯曼 CUDA中并行前缀和流压缩算法的形式化验证。 (英语) Zbl 1483.68091号 西奥。计算。科学。 912, 81-98 (2022).MSC公司:68号30 03B70号 60年第68季度 68瓦10 PDF格式BibTeX公司 XML格式引用 \textit{M.Safari}和\textit{M.Huisman},Theor。计算。科学。912、81-98(2022年;Zbl 1483.68091) 全文: 内政部
金,赵;张博文;张磊;曹永志;王汉平 用于云存储系统本地推理的自适应完整证明系统。 (英语) Zbl 1517.68103号 西奥。计算。科学。 903, 39-73 (2022).MSC公司:68第20页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Jin}等人,Theor。计算。科学。903、39-73(2022年;Zbl 1517.68103) 全文: 内政部
安吉洛·蒙塔纳里;皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 (英语) Zbl 1515.68185号 西奥。计算。科学。 899, 48-79 (2022).MSC公司:60年第68季度 03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala},Theor。计算。科学。899、48-79(2022年;Zbl 1515.68185) 全文: 内政部
英明生;周、李;李,杨佳;冯、袁 不相交并行量子程序的证明系统。 (英语) Zbl 1478.68047号 西奥。计算。科学。 897, 164-184 (2022).MSC公司:第68页第19页 03B70号 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}等人,Theor。计算。科学。897,164--184(2022;Zbl 1478.68047) 全文: 内政部
丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;J.M.达沃伦。;伊曼·谢姆斯 用于LTL验证的采样多项式轨迹。 (英语) Zbl 1478.68174号 西奥。计算。科学。 897, 135-163 (2022).MSC公司:60年第68季度 03B44号 68T40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Selvaratnam}等人,Theor。计算。科学。897135-163(2022年;Zbl 1478.68174) 全文: 内政部 arXiv公司
罗伯托·戈里埃里 BPP网络的团队互模拟和H团队互模拟研究。 (英语) Zbl 07437214号 西奥。计算。科学。 897, 83-113 (2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{R.Gorrieri},Theor。计算。科学。897,83-113(2022年;兹bl 07437214) 全文: 内政部
张燕;朱兆辉;张金金 在\(\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) 全文: 内政部
乌戈·达尔拉戈;弗朗西斯科·加瓦佐 微分逻辑关系。II: 增量和衍生品。 (英语) Zbl 1514.68032号 西奥。计算。科学。 895, 34-47 (2021).MSC公司:68号30 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{F.Gavazzo},Theor。计算。科学。895,34-47(2021;Zbl 1514.68032) 全文: 内政部
琳达·布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基 反应系统的逻辑和图形框架。 (英语) Zbl 1504.68065号 西奥。计算。科学。 875, 1-27 (2021).MSC公司:2007年第68季度 03B70号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人,Theor。计算。科学。875,1--27(2021;Zbl 1504.68065) 全文: 内政部
马洛·苏扎;雷娜塔·维埃拉;阿尔瓦罗·莫雷拉 动态偏好逻辑满足迭代信念变化:表示结果和假设表征。 (英语) Zbl 1504.03013号 西奥。计算。科学。 872,15-40(2021).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Souza}等人,Theor。计算。科学。872,15--40(2021;Zbl 1504.03013) 全文: 内政部 arXiv公司
马尔西克,吉尔卡;马克西姆·安布拉德;菲利普·德格罗特 引入\(\llparentaris\lambda\rrparentaris \),一种用于有效计算的\(\lambda\)-演算。 (英语) Zbl 1497.68095号 西奥。计算。科学。 869, 108-155 (2021).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marík}等人,Theor。计算。科学。869108-155(2021年;Zbl 1497.68095) 全文: 内政部
斯普林,迪特 通用信息系统捕获L域。 (英语) Zbl 1502.68174号 西奥。计算。科学。 869,1-28(2021).MSC公司:68问题55 03B70号 06B35号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{D.斯普林}。计算。科学。869,1--28(2021;Zbl 1502.68174) 全文: 内政部 arXiv公司
张楠;段振华;田聪 统一的时序逻辑。 (英语) Zbl 1497.68322号 西奥。计算。科学。 864, 58-69 (2021).MSC公司:60年第68季度 03B44号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。864,58-69(2021;Zbl 1497.68322) 全文: 内政部
张楠;于斌;田聪;段振华;袁小帅 程序的时序逻辑规范挖掘。 (英语) Zbl 1477.68168号 西奥。计算。科学。 857, 29-42 (2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。857,29-42(2021;Zbl 1477.68168) 全文: 内政部
Arpit Sharma公司 非确定性随机系统等价项的线性时间分支时间谱。 (英语) Zbl 1464.68263号 西奥。计算。科学。 850, 148-167 (2021).MSC公司:68问题85 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Sharma},Theor。计算。科学。850148-167(2021年;Zbl 1464.68263) 全文: 内政部
米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 操作员优先时序逻辑和模型检查。 (英语) 兹比尔1464.68197 西奥。计算。科学。 848, 47-81 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chiari}等人,Theor。计算。科学。848、47-81(2020年;Zbl 1464.68197) 全文: 内政部 链接
坎通纳,多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。二: 涉及成员关系的“小型”语言分类。 (英语) Zbl 1498.03113号 西奥。计算。科学。 848, 28-46 (2020).MSC公司:03E30年 03B25号 03B35型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Cantone}等人,Theor。计算。科学。84828--46(2020年;Zbl 1498.03113) 全文: 内政部
维拉州Koponen 条件概率逻辑、提升贝叶斯网络和几乎确定的量词消除。 (英语) Zbl 1483.03023号 西奥。计算。科学。 848, 1-27 (2020). 审核人:吉尔根·兰德斯(慕尼黑) MSC公司:03立方厘米13 03B42号 03B48号 03C10号机组 2011年第68季度 87年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \文本{V.Koponen},Theor。计算。科学。848,1--27(2020年;Zbl 1483.03023) 全文: 内政部 arXiv公司
乌戈·德利古罗;里卡多·特雷格里亚 非类型计算(lambda)演算及其交集类型规程。 (英语) Zbl 1464.68056号 西奥。计算。科学。 846, 141-159 (2020).MSC公司:68甲18 03B40型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.de'Liguoro}和\textit{R.Treglia},Theor。计算。科学。846141-159(2020年;Zbl 1464.68056) 全文: 内政部 链接
František,布拉胡德克;Juraj少校;斯特雷切克,简 LTL到具有通用接受和返回的自循环交替自动机。 (英语) Zbl 1460.68049号 西奥。计算。科学。 840, 122-142 (2020).MSC公司:65年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Blahoudek}等人,Theor。计算。科学。840122--142(2020年;Zbl 1460.68049) 全文: 内政部
赵亮;王晓兵;舒新峰;张楠 统一时序逻辑的完善证明系统。 (英语) Zbl 1485.03045号 西奥。计算。科学。 838,25-44(2020).MSC公司:03B44号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,Theor。计算。科学。838,25-44(2020;Zbl 1485.03045) 全文: 内政部
舒新峰;张楠;王晓兵;赵亮 命题投影时序逻辑的有效决策过程。 (英语) Zbl 1476.03019号 西奥。计算。科学。 838, 1-16 (2020). 审核人:Valentin F.Goranko(斯德哥尔摩) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。838,1--16(2020;Zbl 1476.03019) 全文: 内政部
Aceto,卢卡;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Ingólfsdóttir,安娜;巴斯·卢提克;佩德森,马蒂亚斯·鲁加德 关于优先权的公理化。三: 优先权再次罢工。 (英语) Zbl 1452.68124号 西奥。计算。科学。 837, 223-246 (2020).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。837223-246(2020年;兹比尔1452.68124) 全文: 内政部
马提亚斯·巴兹;Lolic,阿内拉 由命题插值导出的一阶插值。 (英语) Zbl 1460.03006号 西奥。计算。科学。 837, 209-222 (2020). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:03B50号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{A.Lolic},Theor。计算。科学。837、209--222(2020;Zbl 1460.03006) 全文: 内政部 arXiv公司
阿列克桑达尔·迪莫夫斯基。;Legay、Axel;安德烈·沃索斯基 基于游戏的CTL提升模型检查的广义抽象精化。 (英语) Zbl 1460.68058号 西奥。计算。科学。 837, 181-206 (2020).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,Theor。计算。科学。837、181--206(2020年;Zbl 1460.68058) 全文: 内政部
格雷戈·戈斯勒;Jean-Bernard斯特凡尼 基于组件的系统中的因果分析和故障归属。 (英语) 兹比尔1460.68019 西奥。计算。科学。 837, 158-180 (2020).MSC公司:68米15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gössler}和\textit{J.-B.Stefani},Theor。计算。科学。837158-180(2020年;Zbl 1460.68019) 全文: 内政部 哈尔
Gianluca Curzi;卢卡·罗维斯 线性擦除和复制的一种类型。 (英语) Zbl 1484.03128号 西奥。计算。科学。 837, 26-53 (2020).MSC公司:03楼52 03B40型 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Curzi}和\textit{L.Roversi},Theor。计算。科学。837,26-53(2020;Zbl 1484.03128) 全文: 内政部 arXiv公司
马丁·吕克 关于具有团队语义的线性时序逻辑的复杂性。 (英语) Zbl 1477.68165号 西奥。计算。科学。 837, 1-25 (2020). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.Lück},Theor。计算。科学。837,1--25(2020年;Zbl 1477.68165) 全文: 内政部 arXiv公司
阿希姆·布卢门塔什;费利克斯·沃尔夫 有限域中的互模拟不变单子二阶逻辑。 (英语) Zbl 1484.03047号 西奥。计算。科学。 823, 26-43 (2020).MSC公司:03B70号 03B16号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumentach}和\textit{F.Wolf},Theor。计算。科学。823,26-43(2020;Zbl 1484.03047) 全文: 内政部 arXiv公司 链接
贾诺什·Döcker;布丽塔·多恩;西蒙·林茨;查尔斯·森普尔 放置3-SAT和不完全平等多项式层次中的3-SAT。 (英语) Zbl 1440.68114号 西奥。计算。科学。 822,72-91(2020).MSC公司:65年第68季度 03B70号 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Döcker}等人,Theor。计算。科学。822、72-91(2020年;Zbl 1440.68114) 全文: 内政部 arXiv公司
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 分支时间逻辑\(\mathsf{ECTL}^{#}\)及其树型单程表:扩展\(\mathsf{ECTL}^+\)的公平性表示。 (英语) Zbl 1433.03049号 西奥。计算。科学。 813, 428-451 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人,Theor。计算。科学。813428-451(2020年;Zbl 1433.03049) 全文: 内政部
王龙春;李庆国 Lawson紧代数L域的逻辑。 (英语) Zbl 1481.03012号 西奥。计算。科学。 813, 410-427 (2020).MSC公司:03B70号 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{Q.Li},Theor。计算。科学。813410--427(2020;Zbl 1481.03012) 全文: 内政部
费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 关于中间逻辑的并发计算内容。 (英语) Zbl 1433.68229号 西奥。计算。科学。 813, 375-409 (2020).MSC公司:68问题85 03B40型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri}等人,Theor。计算。科学。813375--409(2020年;Zbl 1433.68229) 全文: 内政部
丹尼尔·克恩伯格;马丁·兰格 关于混合分支时间逻辑的表达能力。 (英语) Zbl 1433.03051号 西奥。计算。科学。 813, 362-374 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kernberger}和\textit{M.Lange},Theor。计算。科学。813362-374(2020年;Zbl 1433.03051) 全文: 内政部 链接
藤田,健毅 用于并行约简的正式约简路径系统。 (英语) Zbl 1433.68190号 西奥。计算。科学。 813, 327-340 (2020).MSC公司:2012年第68季度 03B40型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.-e.Fujita},Theor(西奥)。计算。科学。813、327--340(2020年;Zbl 1433.68190) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 密集时间域上基于时间的规划。 (英语) 兹比尔1433.68406 西奥。计算。科学。 813, 305-326 (2020).MSC公司:68T20型 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813305--326(2020年;Zbl 1433.68406) 全文: 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;洛雷达纳·索伦蒂诺 线性过去的交替时间逻辑。 (英语) Zbl 1433.03050号 西奥。计算。科学。 813, 199-217 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813199-217(2020年;Zbl 1433.03050) 全文: 内政部
马塞洛·M·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 关于时间形式中时钟的初始化。 (英语) Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。813175-198(2020年;Zbl 1433.03048) 全文: 内政部 链接
阿曼多·马托斯(Armando B.Matos)。;卢卡·保里尼;卢卡·罗维斯 简单可逆语言的不动点问题。 (英语) Zbl 1433.68079号 西奥。计算。科学。 813, 143-154 (2020).MSC公司:68甲15 03B70号 68号30 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Matos}等人,Theor。计算。科学。813、143--154(2020年;Zbl 1433.68079) 全文: 内政部 链接
乌戈·达尔拉戈;加布里埃尔·瓦诺尼 关于(lambda)演算中的随机策略。 (英语) 兹比尔1481.03004 西奥。计算。科学。 813, 100-116 (2020).MSC公司:03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{G.Vanoni},Theor。计算。科学。813100--116(2020;Zbl 1481.03004) 全文: 内政部 arXiv公司 哈尔
帕特里克·贝洛特;亚历克西斯·盖塞伦 结合线性逻辑和大小类型以实现隐式复杂性。 (英语) Zbl 1433.68086号 西奥。计算。科学。 813, 70-99 (2020).MSC公司:68甲18 03B70号 03楼52 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{A.Ghyselen},Theor。计算。科学。813、70-99(2020年;Zbl 1433.68086) 全文: 内政部 链接
布鲁斯·卡普伦。;弗洛里安·斯坦伯格 第二类多项式时间和限制前瞻。 (英语) Zbl 1471.03070号 西奥。计算。科学。 813,1-19(2020). 审核人:Iosif Petrakis(慕尼黑) MSC公司:03D65年 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.M.卡普隆}和\textit{F.斯坦伯格},提奥。计算。科学。813,1--19(2020年;Zbl 1471.03070) 全文: 内政部 arXiv公司
舒新峰;段振华;杜洪伟 投影时序逻辑的决策过程和完整公理化。 (英语) Zbl 1506.03070号 西奥。计算。科学。 819, 50-84 (2020).MSC公司:03B44号 03B35型 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。819、50-84(2020年;Zbl 1506.03070) 全文: 内政部
卢、徐;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英语) Zbl 1464.68209号 西奥。计算。科学。 819, 35-49 (2020).MSC公司:60年第68季度 03B44号 03B70号 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,Theor。计算。科学。819、35-49(2020年;Zbl 1464.68209) 全文: 内政部
阿莫拉内(Amrane,Amazigh);尼古拉斯·贝登 分散和可数系列平行偏序集的逻辑和有理语言。 (英语) Zbl 1453.03037号 西奥。计算。科学。 809, 538-562 (2020). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:05年3月 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Amrane}和\textit{N.Bedon},Theor。计算。科学。809538-562(2020年;Zbl 1453.03037) 全文: 内政部 arXiv公司
张楠;段振华;田聪;杜洪伟 一种验证程序上下文无关属性的新方法。 (英语) Zbl 1436.68200号 西奥。计算。科学。 809, 519-530 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。809,519-530(2020年;兹比尔1436.68200) 全文: 内政部
阿尼埃洛·穆拉诺;帕伦特,米姆;萨沙·鲁宾;洛雷达纳·索伦蒂诺 具有有限路径语义的模型检查分级计算树逻辑。 (英语) Zbl 1436.68197号 西奥。计算。科学。 806, 577-586 (2020).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Murano}等人,Theor。计算。科学。806577-586(2020年;Zbl 1436.68197) 全文: 内政部
罗查,蒂亚戈·阿尔维斯;阿娜·特蕾莎·马丁斯;费雷拉,弗朗西斯卡·马丁斯 使用Ehrenfeucht-Fraísse游戏从字符串样本合成DNF公式。 (英语) Zbl 1436.68154号 西奥。计算。科学。 805, 109-126 (2020).MSC公司:68问题32 03B70号 03C07号机组 03立方厘米13 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人,Theor。计算。科学。805109--126(2020年;Zbl 1436.68154) 全文: 内政部
巴托什·贝德纳尔奇克 单变量逻辑满足Presburger算法。 (英语) Zbl 1454.03038号 西奥。计算。科学。 802, 141-146 (2020).MSC公司:03B70号 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk},Theor(西奥)。计算。科学。802、141--146(2020年;Zbl 1454.03038) 全文: 内政部 arXiv公司
威廉·布鲁姆 使用遍历计算lambda项。 (英语) Zbl 1436.03103号 西奥。计算。科学。 802, 77-104 (2020).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \文本{W.Blum},Theor。计算。科学。802、77--104(2020;Zbl 1436.03103) 全文: 内政部
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 具有有限有界语义的交替时间时序逻辑ATL。 (英语) Zbl 1434.03067号 西奥。计算。科学。 797, 129-155 (2019).MSC公司:03B44号 03B25号 2017年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,Theor。计算。科学。797、129--155(2019年;Zbl 1434.03067) 全文: 内政部
Wałga,Przemys aw Andrzej Halpern-Shoham逻辑的混合片段及其表达能力。 (英语) Zbl 1434.03068号 西奥。计算。科学。 797, 102-128 (2019).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{P.A.Waęga},Theor。计算。科学。797102-128(2019年;Zbl 1434.03068) 全文: 内政部 链接
斯文·舍韦(编辑);托马斯·施耐德(编辑);杰夫·威森(编辑) 时间表征和推理专题(TIME 2017)。 (英语) Zbl 1434.68032号 西奥。计算。科学。 797,第1页(2019).MSC公司:68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}(编辑)等人,Theor。计算。科学。797,1页(2019年;Zbl 1434.68032) 全文: 内政部
盖勒,凯蒂;萨博尔茨·伊凡 由序数语法生成的序数是可计算的。 (英语) Zbl 1430.68135号 西奥。计算。科学。 793, 1-13 (2019).MSC公司:2012年第68季度 03B25号 03E10年 PDF格式BibTeX公司 XML格式引用 \textit{K.Gelle}和\textit{S.Iván},Theor。计算。科学。793,1-13(2019年;Zbl 1430.68135) 全文: 内政部 arXiv公司
Recasens,J。 关于半正定性的一个猜想。 (英语) Zbl 1430.03048号 西奥。计算。科学。 791, 112-115 (2019).MSC公司:03B52号 15个B48 PDF格式BibTeX公司 XML格式引用 \textit{J.Recasens},Theor。计算。科学。791112-115(2019年;Zbl 1430.03048) 全文: 内政部 链接
段振华;田聪;张楠;马,钱;杜洪伟 索引集表达式可以表示时序逻辑公式。 (英语) Zbl 1498.03047号 西奥。计算。科学。 788, 21-38 (2019).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。788,21-38(2019年;Zbl 1498.03047) 全文: 内政部
考斯托夫·乔杜里;莱昂纳多·利马;吉赛尔·赖斯 线性逻辑顺序计算的形式化元理论。 (英语) Zbl 1425.03007号 西奥。计算。科学。 781, 24-38 (2019).MSC公司:03B35型 03B47号 05年3月 03楼52 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人,Theor。计算。科学。781,24-38(2019;Zbl 1425.03007) 全文: 内政部
毛里西奥·阿亚拉·林科恩;华盛顿州,de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥;罗查·奥利维拉,安娜·克里斯蒂娜 与A、C和AC函数符号的标称(α)等价的形式化。 (英语) Zbl 1423.68405号 西奥。计算。科学。 781, 3-23 (2019).MSC公司:68吨15 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Theor。计算。科学。781,3--23(2019年;Zbl 1423.68405) 全文: 内政部 链接
赵亮;王晓兵;段振华 投影时序逻辑下推系统的模型检查。 (英语) Zbl 1423.68297号 西奥。计算。科学。 774, 82-94 (2019).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,Theor。计算。科学。774,82-94(2019年;Zbl 1423.68297) 全文: 内政部
田聪;段振华 使用交替投影时序逻辑对开放系统进行模型检查。 (英语) Zbl 1423.68293号 西奥。计算。科学。 774, 65-81 (2019).MSC公司:60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Theor。计算。科学。774,65-81(2019年;Zbl 1423.68293) 全文: 内政部
可口、蒂埃里 从属类型理论的规范性和规范化。 (英语) Zbl 1454.03019号 西奥。计算。科学。 777, 184-191 (2019).MSC公司:03B38型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand},Theor(泰奥)。计算。科学。777184-191(2019年;Zbl 1454.03019) 全文: 内政部 arXiv公司
Aceto,卢卡;黛拉·莫妮卡,达里奥;伊格纳西奥·法布雷加斯;Ingólfsdóttir,安娜 素数公式的特征是什么时候? (英语) Zbl 1425.68246号 西奥。计算。科学。 777, 3-31 (2019).MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。777,3-31(2019年;兹比尔1425.68246) 全文: 内政部
G.伯诺。;J.-P.科姆特。;哈里斯,Z。;A.理查德。;O.罗克斯。 经过基因改造的霍尔逻辑。 (英语) Zbl 1423.68163号 西奥。计算。科学。 765, 145-157 (2019).MSC公司:2005年第68季度 03B70号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Bernot}等人,Theor。计算。科学。765145-157(2019年;Zbl 1423.68163) 全文: 内政部 arXiv公司
罗宾·赫希;马塞尔·杰克逊;托马斯·科瓦尔斯基 定性计算和网络的代数基础。 (英语) Zbl 1417.68160号 西奥。计算。科学。 768, 99-116 (2019).MSC公司:68兰特 03B70号 03G15年 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人,Theor。计算。科学。768,99-116(2019年;Zbl 1417.68160) 全文: 内政部 arXiv公司
卢茨斯特拉汉堡 关于MELL的决策问题。 (英语) 兹比尔1454.03084 西奥。计算。科学。 768, 91-98 (2019).MSC公司:03楼52 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{L.Straß汉堡},Theor。计算。科学。768,91-98(2019;Zbl 1454.03084) 全文: 内政部 哈尔
杰伊,巴里 高阶函数的密集计算。 (英语) Zbl 1417.68041号 西奥。计算。科学。 768, 76-90 (2019).MSC公司:第68季度01 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Jay},Theor。计算。科学。768、76-90(2019年;Zbl 1417.68041) 全文: 内政部
彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 格值逻辑的Skolemization和Herbrand定理。 (英语) Zbl 1472.03022号 西奥。计算。科学。 768、54-75(2019).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Theor。计算。科学。768,54-75(2019;Zbl 1472.03022) 全文: 内政部 链接
梅赫迪·瓦坦多奥斯特;阿里·阿克巴尔·埃斯塔吉;Rahimeh Pourkhandani 因果结构中的广义模态逻辑。 (英语) Zbl 1417.68217号 西奥。计算。科学。 768, 43-53 (2019).MSC公司:68层37 03B45号 68问题85 83C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Vatandoost}等人,Theor。计算。科学。768、43-53(2019年;Zbl 1417.68217) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 在模型检查中,区间时序逻辑HS的哪些片段是可处理的? (英语) Zbl 1429.68139号 西奥。计算。科学。 764, 125-144 (2019). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。764125-144(2019年;Zbl 1429.68139) 全文: 内政部 链接
马可·贝尔纳多;马里诺·米库兰 反应概率系统双相似性的构造性逻辑特征。 (英语) Zbl 1476.68165号 西奥。计算。科学。 764, 80-99 (2019). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 03B45号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{M.Miculan},Theor。计算。科学。764,80-99(2019;Zbl 1476.68165) 全文: 内政部
北阿勒奇纳州。;北布林。;德姆里,S。;B·洛根。 关于资源约束逻辑的复杂性。 (英语) Zbl 1403.68136号 西奥。计算。科学。 750691-100(2018).MSC公司:68问题85 03B25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Theor。计算。科学。750、69-100(2018;Zbl 1403.68136) 全文: 内政部
亚历山大·韦内特;马丁·齐默尔曼 可见的线性动态逻辑。 (英语) Zbl 1400.68059号 西奥。计算。科学。 747, 100-117 (2018).MSC公司:68号30 03B44号 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinert}和\textit{M.Zimmermann},Theor。计算。科学。747100--117(2018;Zbl 1400.68059) 全文: 内政部 arXiv公司 链接
胜胜石井 (lambda\beta\eta)-演算最左约简定理的证明。 (英语) Zbl 1436.03105号 西奥。计算。科学。 747, 26-32 (2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \发短信{K.Ishii},Theor。计算。科学。747,26-32(2018;Zbl 1436.03105) 全文: 内政部
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1400.68126号 西奥。计算。科学。 744, 143-169 (2018).MSC公司:60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schwammberger},Theor。计算。科学。744143-169(2018;Zbl 1400.68126) 全文: 内政部
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯(Manuel A.Martins)。 反应系统逐步发展的逻辑。 (英语) Zbl 1400.68125号 西奥。计算。科学。 744, 78-96 (2018).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,Theor。计算。科学。744,78-96(2018;Zbl 1400.68125) 全文: 内政部 链接
米歇尔·古兹曼;萨利姆·珀西;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 描述空间约束系统右逆的特征及其在模态逻辑中的应用。 (英语) Zbl 1400.68134号 西奥。计算。科学。 744, 56-77 (2018).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Guzmán}等人,Theor。计算。科学。744,56-77(2018;Zbl 1400.68134) 全文: 内政部 哈尔
贝内维迪斯,马里奥;布鲁诺·洛佩斯;爱德华·赫尔曼·海尔 关于Petri网的推理:一种基于命题动态逻辑的方法。 (英语) Zbl 1401.68220号 西奥。计算。科学。 744,22-36(2018).MSC公司:68问题85 03B70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benevides}等人,Theor。计算。科学。744,22-36(2018;Zbl 1401.68220) 全文: 内政部
葛存静;马,菲菲;张鹏;张健 计算和估计SMT(LA)约束解空间的体积。 (英语) Zbl 1398.68491号 西奥。计算。科学。 743, 110-129 (2018).MSC公司:68T20型 03B70号 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{C.Ge}等人,Theor。计算。科学。743110--129(2018年;Zbl 1398.68491) 全文: 内政部
费尔南多·奥雷贾斯;埃尔维拉·皮诺;玛丽莎·纳瓦罗;莱恩·兰伯斯 图形结构导航逻辑机构。 (英语) Zbl 1436.03325号 西奥。计算。科学。 741, 19-24 (2018).MSC公司:03G30型 03B60号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Orejas}等人,Theor。计算。科学。741,19-24(2018;Zbl 1436.03325) 全文: 内政部 链接
吉列尔莫·巴迪亚;卡莱斯·诺格拉 分级关系结构的框架类。 (英语) Zbl 1436.03156号 西奥。计算。科学。 737, 81-90 (2018).MSC公司:03B52号 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}和\textit{C.Noguera},Theor。计算。科学。737,81-90(2018年;兹bl 1436.03156) 全文: 内政部 arXiv公司
乔瓦娜·达戈斯蒂诺;贾科莫伦齐 有限平面图上的演算交替深度层次是无限的。 (英语) Zbl 1395.03009号 西奥。计算。科学。 737, 40-61 (2018).MSC公司:03B45号 03B70号 05年3月 05年10月 65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},Theor。计算。科学。737,40-61(2018;Zbl 1395.03009) 全文: 内政部 链接
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 模型检查平面计数器系统和Presburger算法之间的等效性。 (英语) 兹比尔1393.68100 西奥。计算。科学。 735, 2-23 (2018).MSC公司:60年第68季度 03B44号 30楼03号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Theor。计算。科学。735,2--23(2018;Zbl 1393.68100) 全文: 内政部
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马,伊德 模态演算的完备性:从动力学中分离组合学。 (英语) Zbl 1391.68077号 西奥。计算。科学。 727, 37-100 (2018).MSC公司:60年第68季度 03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人,Theor。计算。科学。727,37--100(2018;Zbl 1391.68077) 全文: 内政部
阿列舍·比兹亚克;拉尔斯·比克达尔 通过广义平衡空间的保护递归模型。 (英语) Zbl 1388.68023号 西奥。计算。科学。 722, 1-18 (2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bizjak}和\textit{L.Birkedal},Theor。计算。科学。722,1-18(2018;Zbl 1388.68023) 全文: 内政部