编辑配置文件(在新选项卡中打开) 约根·维拉德森 合著者距离 作者ID: 维拉德森 发布日期: 约根·维拉德森 已编制索引的文档: 11出版物自2001年起 1作为编辑的贡献 合著者: 14合著者具有8联合出版物 131位Co-Co作者 全部的 前5名合著者 4 单作者的 三 来自阿斯塔·哈尔克 2 帕特里克·布莱克本 2 安德斯·施利奇特克鲁尔 1 托马斯·博兰德 1 老板,Niklas Skamriis 1 托本·布吕纳 1 瓦莱里亚·德·佩瓦 1 艾格尼斯·莫斯格德·埃舍恩 1 胡安·费尔南德斯·奥尔蒂斯 1 亚历山大·伯奇·延森 1 安德烈亚斯·施密特·延森 1 约翰·布伦特·拉森 1 尼古拉斯·克里斯托夫·彼得森 1 Steen背心 系列 1 人工智能通信 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 理论计算机科学电子笔记 领域 8 数学逻辑和基础(03-XX) 8 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 zbMATH Open中包含的引文 5出版物有被引用8中的次3文件 引用人▼ 年份▼ 形式化混合逻辑的塞利格曼式表格系统(短文)。 Zbl 07614529号 来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森 三 2020 一种准一致的高阶逻辑。 Zbl 1109.03314号 约根·维拉德森 2 2004 超逻辑:使用带类型变量的超限类型理论实现超一致性。 Zbl 1185.03051号 约根·维拉德森 1 2005 亚一致态度的组合器。 Zbl 0990.03509号 约根·维拉德森 1 2001 Isabelle/HOL中形式化的一阶逻辑的序列演算。 Zbl 07696225号 来自阿斯塔·哈尔克;安德斯·施利奇特克鲁尔;约根·维拉德森 1 2023 Isabelle/HOL中形式化的一阶逻辑的序列演算。 Zbl 07696225号 来自阿斯塔·哈尔克;安德斯·施利奇特克鲁尔;约根·维拉德森 1 2023 形式化混合逻辑的塞利格曼式表格系统(短文)。 Zbl 07614529号 来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森 三 2020 超逻辑:使用带类型变量的超限类型理论实现超一致性。 Zbl 1185.03051号 约根·维拉德森 1 2005 一种次协调的高阶逻辑。 Zbl 1109.03314号 约根·维拉德森 2 2004 亚一致态度的组合器。 Zbl 0990.03509号 约根·维拉德森 1 2001 2位作者引用 1 来自阿斯塔·哈尔克 1 安德斯·施利奇特克鲁尔 0连载引用 在2个字段中引用 三 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 按年份列出的引文