编辑配置文件(在新选项卡中打开) 罗马斯·阿隆德里斯 合著者距离 作者ID: 孤独症.romas 发布日期: 罗马斯·阿隆德里斯;R·阿隆德里斯。 已编制索引的文档: 27出版物自2000年起 合著者: 4位合著者具有11联合出版物 22位合作作者 合著者 16 单作者的 7 哈洛达斯·吉德拉 5 普利乌什凯维奇乌斯,里贾曼塔斯 三 艾达,普留什凯维奇 2 Sakalauskaitö,Jératö 全部的 前5名系列 7 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 5 立陶宛数学杂志 4 Lietuvos Matematikos林基尼。Lietuvos Matematiku Draugijos Darbai公司 三 Lietuvos Matematikos林基尼 三 IGPL逻辑杂志 1 Studia Logica公司 1 自动推理杂志 1 数学逻辑档案 1 Informatica(维尔纽斯) 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 26 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用11中的次10文件 引用人▼ 年份▼ 时序逻辑的循环型序列计算。 Zbl 1462.03012号 R·阿隆德里斯。;Pliuškevičius,R。;Pliuškevičiené,A。;希德拉,H。 三 2020 PLTL的有限序列计算。 Zbl 1508.03050号 罗马斯·阿隆德里斯;普利乌什凯维奇乌斯,里贾曼塔斯;艾达,普留什凯维奇 1 2015 命题无星似然逻辑的Glivenko序列类。 Zbl 1118.03019号 罗马斯·阿隆德里斯 1 2007 PLTL的割、不变规则和无循环序列演算。 Zbl 1338.03024号 罗马斯·阿隆德里斯;普利乌什凯维奇乌斯,里贾曼塔斯 1 2011 时间间隔时序逻辑的实证理论研究。 兹伯利0971.03021 R·阿隆德里斯。 1 2000 命题逻辑序列演算的一种编码方法。 Zbl 1156.03010号 R·阿隆德里斯。 1 2008 命题无星似然逻辑的序贯计算。 Zbl 1076.03018号 R·阿隆德里斯。 1 2005 相关知识逻辑的可决定性。 Zbl 1387.03015号 哈洛达斯·吉德拉;Sakalauskaitö,Jératö;罗马斯·阿隆德里斯 1 2014 似然逻辑的证明搜索系统。 Zbl 1494.03070号 R·阿隆德里斯。;希德拉,H。 1 2020 时序逻辑的循环型序列计算。 Zbl 1462.03012号 R·阿隆德里斯。;Pliuškevičius,R。;Pliuškevičiené,A。;希德拉,H。 三 2020 似然逻辑的证明搜索系统。 Zbl 1494.03070号 R·阿隆德里斯。;希德拉,H。 1 2020 PLTL的有限序列计算。 Zbl 1508.03050号 罗马斯·阿隆德里斯;普利乌什凯维奇乌斯,里贾曼塔斯;艾达,普留什凯维奇 1 2015 相关知识逻辑的可决定性。 Zbl 1387.03015号 哈洛达斯·吉德拉;Sakalauskaitö,Jératö;罗马斯·阿隆德里斯 1 2014 PLTL的割、不变规则和无循环序列演算。 Zbl 1338.03024号 罗马斯·阿隆德里斯;普利乌什凯维奇乌斯,里贾曼塔斯 1 2011 命题逻辑序列演算的一种编码方法。 Zbl 1156.03010号 R·阿隆德里斯。 1 2008 命题无星似然逻辑的Glivenko序列类。 Zbl 1118.03019号 罗马斯·阿隆德里斯 1 2007 命题无星似然逻辑的序贯计算。 Zbl 1076.03018号 R·阿隆德里斯。 1 2005 时间间隔时序逻辑的实证理论研究。 Zbl 0971.03021号 R·阿隆德里斯。 1 2000 所有引用出版物 前5名被引用出版物 全部的 前5名6位作者引用 9 罗马斯·阿隆德里斯 4 哈洛达斯·吉德拉 三 艾达,普留什凯维奇 三 普利乌什凯维奇乌斯,里贾曼塔斯 1 阿多马斯·比什图纳斯 1 埃琳娜·雷维提特 5篇连载文章中引用 6 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 1 立陶宛数学杂志 1 Studia Logica公司 1 自动推理杂志 1 数学逻辑档案 在3个字段中引用 9 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 1 量子理论(81-XX) 按年份列出的引文