编辑配置文件（在新选项卡中打开） 哈洛达斯·吉德拉 合著者距离 作者ID： 吉德拉·哈罗德斯 发布日期： 哈洛达斯·吉德拉；希德拉，H。 已编制索引的文档： 9出版物自2010年起 合著者： 4位合著者具有8联合出版物 22位合作作者 合著者 1 单作者的 7 罗马斯·阿隆德里斯 2 艾达，普留什凯维奇 2 普利乌什凯维奇乌斯，里贾曼塔斯 2 Sakalauskaitö，Jératö 全部的 前5名系列 2 IGPL逻辑杂志 2 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 2 Lietuvos Matematikos林基尼。Lietuvos Matematiku Draugijos Darbai公司 1 Studia Logica公司 1 自动推理杂志 1 Informatica（维尔纽斯） 领域 8 数学逻辑和基础（03-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用6中的次6文件 引用人▼ 年份▼ 时序逻辑的循环型序列计算。 Zbl 1462.03012号 R·阿隆德里斯。；Pliuškevičius，R。；Pliuškevičiené，A。；希德拉，H。 三 2020 逻辑S5\（_n\）（ED）的无切割序列演算。 兹比尔1338.03105 哈洛达斯·吉德拉 1 2010 相关知识逻辑的可决定性。 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 相关知识逻辑的可决定性。 Zbl 1387.03015号 哈洛达斯·吉德拉；Sakalauskaitö，Jératö；罗马斯·阿隆德里斯 1 2014 逻辑S5\（_n\）（ED）的无切割序列演算。 Zbl 1338.03105号 哈洛达斯·吉德拉 1 2010 所有引用出版物 前5名被引用出版物 全部的 前5名9位作者引用 4 罗马斯·阿隆德里斯 三 哈洛达斯·吉德拉 2 艾达，普留什凯维奇 2 普利乌什凯维奇乌斯，里贾曼塔斯 1 阿多马斯·比什图纳斯 1 柳村井 1 埃琳娜·雷维提特 1 胜彦三野 1 苏佑安 3篇连载文章中引用 三 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 1 Studia Logica公司 1 自动推理杂志 在3个字段中引用 4 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 1 量子理论（81-XX） 按年份列出的引文