编辑配置文件(在新选项卡中打开) 伊贡博格尔 合著者距离 作者ID: 博格埃贡 发布日期: 伊贡博格尔;Börger,E。;伊贡博格尔 更多。。。较少的 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 77出版物自1973年以来,包括10本书 21作为编辑的贡献·1进一步贡献 传记参考文献: 3出版物 合著者: 44位合著者具有58联合出版物 586合著作者 全部的 前5名合著者 40 单作者的 9 汉斯·克莱恩·勃宁 7 迈克尔·里希特(Michael M.Richter)。 6 尤里·古里维奇 5 利可宾,埃尔维尼亚 5 Robert F.Stärk。 4 院长罗森茨威格 三 圣奥拉夫阿安德拉 三 克里斯托弗·拜尔 三 罗丁,迪特 三 克劳斯·迪特尔·舍韦 三 乔阿希姆·施密德 2 托马索·博洛涅西 2 乔纳森·鲍文(Jonathan P.Bowen)。 2 亚历山德拉·卡瓦拉 2 文森佐·格瓦西 2 埃里希·格拉德尔 2 彼得·帕平豪斯 2 沃尔夫拉姆·舒尔特 1 Jean-Raymond Abrial先生 1 Anderaa,Stal O。 1 迈克·巴奈特 1 多纳泰拉·巴诺基 1 保罗·P·博卡。 1 Hansjürgen,Brämik 1 汉斯·乔治·卡斯滕斯 1 安东尼奥·西斯特尼诺 1 科霍尔斯·弗雷森堡,埃尔默 1 尼库·弗鲁贾。 1 安吉洛·加甘蒂尼 1 吉斯伯特·哈森贾格尔 1 克劳斯·海德勒 1 詹姆斯·哈金斯。 1 弗里德里希·考尔巴赫 1 汉斯·朗马克 1 哈里·刘易斯。 1 乌尔里希·洛文 1 西蒙·马提尼 1 卢卡·梅雷利 1 卡尔·梅恩克 1 沃尔特·奥伯舍普 1 迈克尔·波普尔顿 1 普里塞·卢茨 1 萨拉蒙,罗萨里奥·F·。 1 布丽塔·辛泽尔 1 彼得·施密特(Peter H.Schmitt)。 1 沃尔夫冈·施恩费尔德 1 阿纳托尔·斯利森科 1 马古斯·维恩斯 1 赫尔穆斯·沃格尔 全部的 前5名系列 12 计算机科学课堂讲稿 5 计算的形式方面 4 Archive für Mathematische Logik und Grundlagenforschung公司 三 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 三 通用计算机科学杂志 2 信息学报 2 理论计算机科学 2 逻辑与计算杂志 2 计算机基础理论 1 德国数学实验室(DMV) 1 计算机与系统科学杂志 1 符号逻辑杂志 1 逻辑与分析。Nouvelle Série公司 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 欧洲理论计算机科学协会(EATCS)公报 1 Mathematisch-Physikalische Semesterberichte,Neue Folge公司 1 数学课堂笔记 1 逻辑与数学基础研究 1 Universitext(通用文本) 1 数学逻辑的观点 全部的 前5名领域 80 计算机科学(68至XX) 39 数学逻辑和基础(03-XX) 21 总体主题;集合(00-XX) 4 信息和通信理论,电路(94-XX) 三 历史和传记(01-XX) 1 数论(11-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 60出版物有被引用512中的次354文件 引用人▼ 年份▼ 经典的决策问题。 Zbl 0865.03004号 伊贡博格尔;埃里希·格拉德尔;于古瑞奇(Yu Gurevich)。 136 1997 抽象状态机。一种高级系统设计和分析方法(使用CD-ROM)。 Zbl 1040.68042号 伊贡博格尔;罗伯特·斯塔克 83 2003 Java和Java虚拟机。定义、验证、确认。包括1张CD-ROM。 Zbl 0978.68033号 Robert F.Stärk。;乔阿希姆·施密德;伊贡博格尔 37 2001 经典的决策问题。平装版。 Zbl 0970.03001号 伊贡博格尔;埃里希·格拉德尔;于古瑞奇(Yu Gurevich)。 32 2001 ASM细化方法。 Zbl 1093.68601号 伊贡博格尔 22 2003 工业应用的形式化方法。规范和编程蒸汽锅炉控制。 Zbl 1060.68501号 18 1996 WAM–定义和编译器正确性。 Zbl 0832.68024号 伊贡博格尔;院长罗森茨威格 15 1995 完整Prolog的数学定义。 Zbl 0832.68022号 伊贡博格尔;院长罗森茨威格 11 1995 完整Prolog的逻辑操作语义。一: 选择核心和控制。 Zbl 0925.68301号 伊贡博格尔 11 1990 并发抽象状态机。 Zbl 1352.68176号 伯格,埃贡;克劳斯·迪特尔·舍韦 10 2016 C语言语义的高级模块化定义。 兹比尔1080.68006 伊贡博格尔;弗鲁贾,尼库·G。;文森佐·格瓦西;Robert F.Stärk。 9 2005 可计算性、复杂性、逻辑。Transl.公司。来自德国。 Zbl 0669.68002号 Börger,E。 8 1989 完整Prolog的逻辑操作语义。二: 用于数据库操作的内置谓词。 Zbl 0796.68140号 伊贡博格尔 7 1990 烘焙算法:又一个规范和验证。 Zbl 0844.68080号 伊贡博格尔;尤里·古里维奇;院长罗森茨威格 6 1995 谓词逻辑中的决策问题。 Zbl 0556.03012号 伊贡博格尔 6 1984 抽象状态机:计算模型和系统设计框架的统一视图。 Zbl 1066.68047号 伊贡博格尔 5 2005 Klassen von Hornformeln mit kurzen Alternatonen的Beitra zur Reduktion des Entscheidungs问题。 Zbl 0277.02009 伊贡博格尔 5 1974 顺序ASM的组成和子机概念。 Zbl 0973.68066号 伊贡博格尔;乔阿希姆·施密德 5 2000 地面模型的构建和分析及其改进,作为验证基于计算机的系统的基础。 Zbl 1123.68036号 伊贡博格尔 4 2007 语言问题和逻辑决策问题的完备性。 Zbl 0564.03008号 伊贡博格尔 4 1984 系统设计和分析的ASM方法。教程介绍。 Zbl 1171.68422号 伊贡博格尔 三 2005 通过多态有序类型对类型化WAM扩展进行细化。 Zbl 0876.68019号 克里斯托弗·拜尔;伯格,埃贡 三 1996 规范和验证方法。 Zbl 0831.00010号 三 1995 类型WAM的正确性证明。 Zbl 0819.68028号 Ch.拜尔勒。;Börger,E。 三 1992 具有抽象类型约束的WAM扩展的规范和正确性证明。 Zbl 0857.68016号 克里斯托弗·拜尔;伊贡博格尔 三 1996 C#线程和的ASM规范。NET内存模型。 Zbl 1188.68102号 Robert F.Stärk。;伊贡博格尔 三 2004 布尔函数的Horn和网络复杂性的等价性。 Zbl 0477.94034号 Anderaa,Stal O。;伊贡博格尔 三 1981 完整Prolog的逻辑操作语义。思想史。 Zbl 0744.68088号 伊贡博格尔 三 1990 具有应用程序的环境抽象状态机。 Zbl 1246.68088号 伊贡博格尔;安东尼奥·西斯特尼诺;文森佐·格瓦西 三 2012 关于函数方程和递归格式的turbo ASM的备注。 Zbl 1021.68035号 伊贡博格尔;托马索·博洛涅西 三 2003 将ASM集成到软件开发生命周期中。 Zbl 0971.68051号 伊贡博格尔;卢卡·梅雷利 三 1997 UML活动图的ASM语义。 Zbl 0983.68130号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾,埃尔维尼亚 三 2000 完整Prolog的逻辑操作语义。三: 用于文件、术语、算术和输入输出的内置谓词。 Zbl 0753.68060号 伊贡博格尔 2 1992 计算机科学逻辑。1992年9月28日至10月2日,意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 理论计算机科学的发展趋势。1984年9月24日至10月5日在意大利乌迪内举行的计算理论课程的论文。 Zbl 0702.68020号 2 1988 Berechenbarkeit、Komplexität、Logik。Eine Einführung在Algorithmen,Sprachen und Kalküle unter besonder Berücksichtigung ihrer Komplexität。小时。冯·迪特尔·罗丁。 Zbl 0593.03001号 伊贡博格尔 2 1985 关于演化代数的注释书目。 Zbl 0844.68001号 伊贡博格尔 2 1995 可证明正确编译\(\text{CLP}({\mathcal R})\)程序的CLAM规范。 Zbl 0852.68057号 伊贡博格尔;罗萨里奥·F·萨拉莫内。 2 1995 程序设计语言模块化设计和分析的抽象状态机方法。 Zbl 1361.68025号 伊贡博格尔 2 2017 m级逻辑芯片Entscheidungs问题。 Zbl 0362.02025号 伊贡博格尔;克劳斯·海德勒 2 1976 建模UML状态机的动态。 Zbl 0976.68516号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾,埃尔维尼亚 2 2000 关于ASM在软件设计中的实际应用的报告。 Zbl 0976.68567号 伊贡博格尔;彼得·帕平豪斯;乔阿希姆·施密德 2 2000 抽象状态过程。 Zbl 1021.68525号 托马索·博洛涅西;伊贡博格尔 2 2003 1988-1998年抽象状态机:评论ASM参考书目。 Zbl 0901.68130号 伊贡博格尔;詹姆斯·哈金斯。 2 1998 算法系统决策问题的多个等价性理论的一种新的通用方法。 Zbl 0429.03016号 伊贡博格尔 2 1979 递归算法的行为理论。 Zbl 1497.68552号 伊贡博格尔;克劳斯·迪特尔·舍韦 2 2020 计算机科学逻辑。1990年10月1日至5日,德国海德堡CSL’90第四次研讨会。诉讼程序。 Zbl 0782.00052号 1 1991 计算机科学逻辑。1991年10月7日至11日,瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。 兹比尔0772.68004 1 1992 88年CSL。诉讼程序。第二届计算机科学逻辑研讨会,德国杜伊斯堡,1988年10月3日至7日。 兹比尔0709.00020 1 1989 抽象状态机,B和Z。第一届国际会议,ABZ 2008,英国伦敦,2008年9月16日至18日。诉讼程序。 Zbl 1147.68002号 1 2008 用于高级系统设计和分析的抽象状态机方法。 Zbl 1189.93006号 伊贡博格尔 1 2010 重新检查了递归的无法解决的算法问题和相关问题。 Zbl 0333.02040号 伊贡博格尔 1 1975 关于无递归模型的简单一阶公式的构造。 Zbl 0357.02010 伊贡博格尔 1 1976 Eine entscheidbare Klasse von Kromformeln。 Zbl 0298.02048号 伊贡博格尔 1 1973 PROLOG程序无法解决的决策问题。 Zbl 0691.03027号 伊贡博格尔 1 1987 Java的初始化问题。 Zbl 1049.68029号 伊贡博格尔;沃尔夫拉姆·舒尔特 1 2000 利用抽象进行规范重用。Java/C#案例研究。 Zbl 1104.68357号 伊贡博格尔;Robert F.Stärk。 1 2004 布尔函数的Horn复杂性和Cook问题。 Zbl 0429.03022号 圣奥州阿安德拉。;伊贡博格尔 1 1979 Petri网的可达性问题和Skolem算法的决策问题。 Zbl 0453.03012号 伊贡博格尔;汉斯·克莱恩·勃宁 1 1980 具有部分顺序运行的分布式ASM的特征。 Zbl 1497.68174号 伊贡博格尔;克劳斯·迪特尔·舍韦 1 2020 递归算法的行为理论。 Zbl 1497.68552号 伯格,埃贡;克劳斯·迪特尔·舍韦 2 2020 具有部分顺序运行的分布式ASM的特征。 Zbl 1497.68174号 伯格,埃贡;克劳斯·迪特尔·舍韦 1 2020 程序设计语言模块化设计和分析的抽象状态机方法。 Zbl 1361.68025号 伯格,埃贡 2 2017 并发抽象状态机。 Zbl 1352.68176号 伊贡博格尔;克劳斯·迪特尔·舍韦 10 2016 具有应用程序的环境抽象状态机。 Zbl 1246.68088号 伊贡博格尔;安东尼奥·西斯特尼诺;文森佐·格瓦西 三 2012 用于高级系统设计和分析的抽象状态机方法。 Zbl 1189.93006号 伊贡博格尔 1 2010 抽象状态机,B和Z。第一届国际会议,ABZ 2008,英国伦敦,2008年9月16日至18日。诉讼程序。 Zbl 1147.68002号 1 2008 地面模型的构建和分析及其改进,作为验证基于计算机的系统的基础。 Zbl 1123.68036号 伊贡博格尔 4 2007 C语言语义的高级模块化定义。 兹比尔1080.68006 伊贡博格尔;尼库·弗鲁贾。;文森佐·格瓦西;Robert F.Stärk。 9 2005 抽象状态机:计算模型和系统设计框架的统一视图。 Zbl 1066.68047号 伊贡博格尔 5 2005 系统设计和分析的ASM方法。教程介绍。 Zbl 1171.68422号 伊贡博格尔 三 2005 C#线程和的ASM规范。NET内存模型。 Zbl 1188.68102号 Robert F.Stärk。;伊贡博格尔 三 2004 利用抽象进行规范重用。Java/C#案例研究。 Zbl 1104.68357号 伯格,埃贡;Robert F.Stärk。 1 2004 抽象状态机。一种高级系统设计和分析方法(使用CD-ROM)。 Zbl 1040.68042号 伊贡博格尔;罗伯特·斯特尔克 83 2003 ASM细化方法。 Zbl 1093.68601号 伊贡博格尔 22 2003 关于函数方程和递归格式的turbo ASM的备注。 兹比尔1021.68035 伊贡博格尔;托马索·博洛涅西 三 2003 抽象状态过程。 Zbl 1021.68525号 托马索·博洛涅西;伊贡博格尔 2 2003 Java和Java虚拟机。定义、验证、确认。包括1张CD-ROM。 Zbl 0978.68033号 Robert F.Stärk。;乔阿希姆·施密德;伯格,埃贡 37 2001 经典的决策问题。平装版。 Zbl 0970.03001号 伊贡博格尔;埃里希·格拉德尔;于古瑞奇(Yu Gurevich)。 32 2001 顺序ASM的组成和子机概念。 Zbl 0973.68066号 伊贡博格尔;乔阿希姆·施密德 5 2000 UML活动图的ASM语义。 Zbl 0983.68130号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾,埃尔维尼亚 三 2000 建模UML状态机的动态。 Zbl 0976.68516号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾,埃尔维尼亚 2 2000 关于ASM在软件设计中的实际应用的报告。 Zbl 0976.68567号 伊贡博格尔;彼得·帕平豪斯;乔阿希姆·施密德 2 2000 Java的初始化问题。 Zbl 1049.68029号 伊贡博格尔;沃尔夫拉姆·舒尔特 1 2000 1988-1998年抽象状态机:评论ASM参考书目。 Zbl 0901.68130号 伯格,埃贡;詹姆斯·哈金斯。 2 1998 经典的决策问题。 Zbl 0865.03004号 伊贡博格尔;埃里希·格拉德尔;于古瑞奇(Yu Gurevich)。 136 1997 将ASM集成到软件开发生命周期中。 Zbl 0971.68051号 伊贡博格尔;卢卡·梅雷利 三 1997 工业应用的形式化方法。规范和编程蒸汽锅炉控制。 Zbl 1060.68501号 18 1996 通过多态有序类型对类型化WAM扩展进行细化。 Zbl 0876.68019号 克里斯托弗·拜尔;伯格,埃贡 三 1996 具有抽象类型约束的WAM扩展的规范和正确性证明。 Zbl 0857.68016号 克里斯托弗·拜尔;伊贡博格尔 三 1996 WAM–定义和编译器正确性。 Zbl 0832.68024号 伊贡博格尔;院长罗森茨威格 15 1995 完整Prolog的数学定义。 Zbl 0832.68022号 伊贡博格尔;院长罗森茨威格 11 1995 烘焙算法:又一个规范和验证。 Zbl 0844.68080号 伊贡博格尔;尤里·古里维奇;院长罗森茨威格 6 1995 规范和验证方法。 Zbl 0831.00010号 三 1995 进化代数的注释书目。 Zbl 0844.68001号 伊贡博格尔 2 1995 用于可证明正确编译\(\text{CLP}({mathcal R})\)程序的CLAM规范。 Zbl 0852.68057号 伊贡博格尔;萨拉蒙,罗萨里奥·F·。 2 1995 计算机科学逻辑。1992年9月28日至10月2日,意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 类型WAM的正确性证明。 Zbl 0819.68028号 Ch.拜尔勒。;Börger,E。 三 1992 完整Prolog的逻辑操作语义。三: 用于文件、术语、算术和输入输出的内置谓词。 Zbl 0753.68060号 伊贡博格尔 2 1992 计算机科学逻辑。1991年10月7日至11日,瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。 兹比尔0772.68004 1 1992 计算机科学逻辑。1990年10月1日至5日,德国海德堡CSL’90第四次研讨会。诉讼程序。 Zbl 0782.00052号 1 1991 完整Prolog的逻辑操作语义。一: 选择核心和控制。 Zbl 0925.68301号 伊贡博格尔 11 1990 完整Prolog的逻辑操作语义。二: 用于数据库操作的内置谓词。 Zbl 0796.68140号 伊贡博格尔 7 1990 完整Prolog的逻辑操作语义。思想史。 Zbl 0744.68088号 伊贡博格尔 三 1990 可计算性、复杂性、逻辑。Transl.公司。来自德国。 Zbl 0669.68002号 Börger,E。 8 1989 88年版。诉讼程序。第二届计算机科学逻辑研讨会,德国杜伊斯堡,1988年10月3日至7日。 Zbl 0709.00020号 1 1989 理论计算机科学的发展趋势。1984年9月24日至10月5日在意大利乌迪内举行的计算理论课程的论文。 Zbl 0702.68020号 2 1988 PROLOG程序无法解决的决策问题。 Zbl 0691.03027号 伊贡博格尔 1 1987 Berechenbarkeit、Komplexität、Logik。Eine Einführung在Algorithmen,Sprachen und Kalküle unter besonder Berücksichtigung ihrer Komplexität。小时。冯·迪特尔·罗丁。 Zbl 0593.03001号 伊贡博格尔 2 1985 谓词逻辑中的决策问题。 Zbl 0556.03012号 伊贡博格尔 6 1984 语言问题和逻辑决策问题的完备性。 Zbl 0564.03008号 伊贡博格尔 4 1984 布尔函数的Horn和网络复杂性的等价性。 Zbl 0477.94034号 Anderaa,Stal O。;伊贡博格尔 三 1981 Petri网的可达性问题和Skolem算法的决策问题。 Zbl 0453.03012号 伊贡博格尔;汉斯·克莱恩·勃宁 1 1980 算法系统决策问题的多个等价性理论的一种新的通用方法。 Zbl 0429.03016号 伊贡博格尔 2 1979 布尔函数的Horn复杂性和Cook问题。 Zbl 0429.03022号 圣奥州阿安德拉。;伊贡博格尔 1 1979 m级逻辑芯片Entscheidungs问题。 Zbl 0362.02025号 伊贡博格尔;克劳斯·海德勒 2 1976 关于没有递归模型的简单一阶公式的构造。 Zbl 0357.02010 伊贡博格尔 1 1976 重新检查了递归无法解决的算法问题和相关问题。 Zbl 0333.02040号 伊贡博格尔 1 1975 在改变国家的过程中,Klassen von Horinformeln解决了企业问题。 Zbl 0277.02009 伊贡博格尔 5 1974 Eine entscheidbare Klasse von Kromformeln。 Zbl 0298.02048号 伊贡博格尔 1 1973 所有引用的出版物 前5名被引用出版物 全部的 前5名547位作者引用 15 伊贡博格尔 13 克劳斯·迪特尔·舍韦 11 尤里·古里维奇 8 弗拉维奥·安东尼奥·费拉罗蒂 7 何塞·梅塞盖尔·瓜伊塔 7 伊恩·普拉特·哈特曼 7 圭多·西亚维科 6 埃里希·格拉德尔 6 汉斯·克莱恩·勃宁 6 安吉洛·蒙塔纳里 6 格哈德·谢尔霍恩 6 Robert F.Stärk。 6 王青 6 弗兰克·沃尔特 6 迈克尔·维克托洛维奇(Michael Viktorovich) 5 克里斯托弗·拜尔 5 大卫·布雷索林 5 布鲁诺·杜兰德 5 雷巴科夫,米哈伊尔·尼古拉耶维奇 4 斯特凡·德姆里。 4 格里高·罗什乌 4 Tec,Loredana公司 三 卡洛斯·阿雷塞斯 三 约阿希姆·比斯库普 三 安德烈亚斯·拉斐尔·布拉斯 三 乌韦·布贝克 三 黛拉·莫妮卡,达里奥 三 托马斯·艾特 三 帕斯卡·方丹 三 尼库·弗鲁贾。 三 塞恩·冈萨雷斯 三 瓦伦丁·F·戈兰科。 三 迪特尔·霍夫鲍尔 三 罗马人孔查科夫 三 Michael Leuschel先生 三 约翰·安德烈亚斯·马考斯基 三 马丁·奥托 三 阿尔贝托,Policriti 三 沃尔夫冈·雷夫 三 安德烈·罗马什琴科 三 弗拉迪斯拉夫·里日科夫 三 穆利·萨吉夫 三 托马斯·施温蒂克 三 德米特里·什卡托夫 三 十个Cate,Balder David 三 利迪亚·坦德拉 三 马古斯·维恩斯 三 朱慧彪 2 亚哈龙·阿巴迪 2 乌里·亚伯拉罕 2 亚明·艾特阿默尔 2 伊戈尔·谢尔盖维奇(Igor’Sergeevich Anureev) 2 保罗·阿卡尼 2 亚历山德罗·阿塔尔 2 埃吉迪奥·阿斯泰西亚诺 2 马提亚斯·巴兹 2 理查德·巴纳赫 2 巴博萨、路易斯·索亚雷斯 2 巴勃罗·巴塞洛 2 雷米·布罗赫宁 2 马可·卡多利 2 亚历山德拉·卡瓦拉 2 罗伯特·J·科尔文。 2 Cuenca Grau,贝尔纳多 2 吉登·恩斯特 2 范文飞 2 奥利维·芬克尔 2 马西莫·弗朗西切特 2 文森佐·格瓦西 2 斯特凡·哈勒斯特德 2 赫里萨菲斯·哈托纳斯 2 罗尔夫·亨尼克 2 詹姆斯·哈金斯。 2 查尔斯·乔丹 2 叶夫根尼·哈萨克夫 2 Kern Isberner,加布里埃尔 2 多米尼克·柯斯特 2 格温·克莱恩 2 埃戈尔·柯斯特列夫(Egor V.Kostylev)。 2 Alisa Kovtunova 2 维克多·昆卡 2 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 2 泽维尔·勒罗伊 2 艾蒂安·洛兹 2 卡斯滕·卢茨 2 亚历山大·马德拉 2 托尼·曼奇尼 2 马丁斯(Manuel António Martins) 2 多米尼克·梅里 2 乔治·莫瑟 2 摩西,约拉姆 2 佐兰·奥格尼亚诺维奇 2 Peter Csaba,Olveczky 2 奥莫多,尤金尼奥·乔瓦尼 2 乔尔·欧·瓦克宁。 2 阿南莎·帕德马纳巴 2 卡蒂亚·帕金 2 亚历山大·拉比诺维奇 2 拉马努贾姆,R。 2 胡安·卢特(Juan L.Reutter)。 …还有447位作者 全部的 前5名57篇连载文章中引用 53 理论计算机科学 17 信息与计算 16 纯逻辑与应用逻辑年鉴 16 计算的形式方面 14 计算机与系统科学杂志 12 人工智能 9 数学与人工智能年鉴 7 自动推理杂志 6 计算系统理论 5 符号逻辑杂志 4 Archive für Mathematische Logik und Grundlagenforschung公司 4 信息处理信件 4 Studia Logica公司 4 计算机程序设计科学 4 数学逻辑档案 4 应用非经典逻辑杂志 4 逻辑程序设计理论与实践 三 MSCS公司。计算机科学中的数学结构 三 逻辑、语言与信息杂志 三 数学逻辑季刊(MLQ) 三 应用逻辑杂志 三 计算机科学中的逻辑方法 2 信息学报 2 美国数学学会会刊 2 符号计算杂志 2 国际近似推理杂志 2 数学科学杂志(纽约) 2 符号逻辑公报 2 逻辑与代数程序设计杂志 2 Logicheskie Issledovaniya公司 1 数学信使 1 模糊集与系统 1 信息科学 1 数学手稿 1 编程和计算机软件 1 遍历理论和动力系统 1 新一代计算 1 数学和计算机建模 1 国际计算机科学基础杂志 1 自动化和远程控制 1 模式识别 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 人工智能研究杂志 1 中国科学。E系列 1 欧洲控制杂志 1 Doklady数学 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 计算机语言、系统和结构 1 泛逻辑 1 符号逻辑述评 1 科学中国。信息科学 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名21个领域被引用 280 计算机科学(68至XX) 178 数学逻辑和基础(03-XX) 11 组合数学(05-XX) 5 动力系统和遍历理论(37至XX) 5 系统论;控制(93至XX) 5 信息和通信理论,电路(94-XX) 4 历史和传记(01-XX) 4 凸和离散几何(52至XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 数论(11-XX) 2 范畴理论;同调代数(18-XX) 2 运筹学、数学规划(90-XX) 2 生物学和其他自然科学(92-XX) 2 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 群论与推广(20-XX) 1 测量和集成(28-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.