编辑配置文件(在新选项卡中打开) 安德烈·塔莱基 合著者距离 作者ID: 塔莱基·安德泽 发布日期: 安德烈·塔莱基;A.塔莱基。 外部链接: MGP公司·维基数据·数据库管理程序·接地·ID参考 已编制索引的文档: 68出版物自1983年以来,包括2本书 9作为编辑的贡献 合著者: 47位合著者具有66联合出版物 1108合作作者 全部的 前5名合著者 11 单作者的 33 唐纳德·桑内拉。 16 蒂尔·莫萨科夫斯基 5 米歇尔·比多特 5 马丁·威尔辛 4 拉兹万·迪亚科内斯库 4 卢茨施罗德 三 安德烈·雅切克·布利克尔 三 约瑟夫·阿马迪·戈根 三 罗伯特·哈珀 三 彼得·霍夫曼 三 巴托克·克林 三 Pawłowski、Wies \322»aw 2 拉尔斯·阿格 2 埃吉迪奥·阿斯泰西亚诺 2 克里斯蒂安·卡钦 2 斯特凡·迈克尔·卡尔斯 2 伯恩哈德·莫勒 1 阿达梅克,吉安尼 1 罗德·M·伯斯托尔。 1 维多利亚州玛丽亚·桑加尔 1 纳胡姆德肖维茨 1 安妮·伊丽莎白·哈克斯豪森 1 伊恩·海耶斯。 1 Furio Honsell 1 伊巴涅兹,雅兹明·安吉利卡 1 阿希姆·荣格 1 托马斯·尤金斯基 1 赫莱内·基什内尔 1 亚历山大·纳普 1 比塔·科尼科夫斯卡 1 Krieg-Brückner,伯尔尼 1 亚历山大·库兹 1 玛丽娜·莱妮莎 1 约翰·朗利。 1 简·马迪 1 Jerzy Marcinkowski 1 利奥·马库斯 1 格拉兹纳·米尔考斯卡 1 彼得·莫塞斯(Peter D.Mosses)。 1 伊夫林·尼尔森(Evelyn M.Nelson)。 1 雷焦·詹娜 1 安德烈·索尔维基 1 唐纳德·桑内利 1 斯特凡·索科·奥斯基 1 玛丽安·斯雷布尼 1 米克尔·索洛普 1 马雷克·W·阿迪斯·托斯基 全部的 前5名系列 7 理论计算机科学 7 计算机科学课堂讲稿 三 计算的形式方面 2 信息学报 2 计算机与系统科学杂志 2 SIAM计算机杂志 2 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 泛逻辑 1 信息处理信件 1 卡罗莱纳大学数学评论 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 欧洲理论计算机科学协会(EATCS)公报 1 欧洲理论计算机科学协会公报 1 计算与信息学 1 理论计算机科学专著。EATCS系列 全部的 前5名领域 68 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 9 一般性和全局性主题;集合(00-XX) 7 范畴理论;同调代数(18-XX) 6 一般代数系统(08-XX) 2 历史和传记(01-XX) 1 有序,格,有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 65出版物有被引用672次316文件 引用人▼ 年份▼ 任意机构中的规范。 Zbl 0654.68017号 唐纳德·桑内拉;安德烈·塔莱基 75 1988 代数规范和正式软件开发的基础。 Zbl 1237.68129号 唐纳德·桑内拉;安德烈·塔莱基 62 2012 CASL:通用代数规范语言。 Zbl 1061.68103号 埃吉迪奥·阿斯泰西亚诺;米歇尔·比多特;赫莱内·基什内尔;Krieg-Brückner,伯尔尼;彼得·莫塞斯(Peter D.Mosses)。;唐纳德·桑内拉;安德烈·塔莱基 42 2002 从代数规范走向程序的正式开发:重温实现。 Zbl 0621.68004号 唐纳德·桑内拉;安德烈·塔莱基 35 1988 关于观测等价和代数规范。 Zbl 0619.68028号 唐纳德·桑内拉;安德烈·塔莱基 32 1987 计算语义的一些基本代数工具。三: 索引类别。 Zbl 0755.18004号 安德烈·塔莱基;罗德·M·伯斯托尔。;约瑟夫·戈根(Joseph A.Goguen)。 31 1991 抽象代数机构中自由模型的存在性。 Zbl 0608.68014号 安德烈·塔莱基 30 1985 抽象代数机构中的拟变元。 Zbl 0622.68033号 安德烈·塔莱基 26 1986 从代数规范走向程序的正式开发:重新审视参数化。 Zbl 0790.68077号 唐纳德·桑内拉;斯特凡·索科·奥斯基;安德烈·塔莱基 25 1992 零零碎碎的制度理论。 Zbl 0636.68029号 安德烈·塔莱基 25 1986 结构化理论陈述和逻辑表示。 Zbl 0809.03019号 罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 17 1994 面向异构规范。 Zbl 0988.03056号 安德烈·塔莱基 15 2000 什么是逻辑翻译? Zbl 1255.03023号 蒂尔·莫萨科夫斯基;拉兹万·迪亚科内斯库;安德烈·塔莱基 15 2009 扩展ML:用于正式程序开发的机构依赖框架。 Zbl 0616.68015号 唐纳德·桑内利;安德烈·塔莱基 14 1986 代数规范和程序开发的基本概念。 Zbl 0887.68070号 唐纳德·桑内拉;安德烈·塔莱基 13 1997 可达高阶代数的代数规范。 Zbl 0659.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 13 1988 什么是逻辑? Zbl 1080.03028号 蒂尔·莫萨科夫斯基;约瑟夫·戈根;拉兹万·迪亚科内斯库;安德烈·塔莱基 11 2005 CASL中的建筑规范。 Zbl 1001.68078号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 9 2002 关于观测等价和代数规范。 Zbl 0563.68017号 唐纳德·桑内拉;安德烈·塔莱基 9 1985 重写系统的存在性、唯一性和构造。 Zbl 0658.68029号 纳胡姆德肖维茨;利奥·马库斯;安德烈·塔莱基 9 1988 UML语义的异构方法。 Zbl 1143.68373号 维多利亚州玛丽亚·桑加尔;亚历山大·纳普;安德烈·塔莱基;马丁·威尔辛 9 2008 扩展ML的定义:简单介绍。 Zbl 0901.68024号 斯特凡·卡尔斯;唐纳德·桑内拉;安德烈·塔莱基 8 1997 任意机构的建筑规范。 Zbl 0552.68015号 唐纳德·桑内拉;安德烈·塔莱基 8 1984 从代数规范走向程序的正式开发:重温实现。 Zbl 0614.68013号 唐纳德·桑内拉;安德烈·塔莱基 8 1987 LF中的结构和表示。 Zbl 0716.68078号 罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 8 1989 用于软件规范和验证的三值逻辑。 Zbl 0771.68087号 比塔·科尼科夫斯卡;安德烈·塔莱基;安德烈·布利克 7 1991 代数入门。 Zbl 0945.68129号 唐纳德·桑内拉;安德烈·塔莱基 6 1999 通用代数规范语言:语义和证明理论。 兹比尔1104.68365 蒂尔·莫萨科夫斯基;安妮·E·哈克斯豪森。;唐纳德·桑内拉;安德烈·塔莱基 6 2003 指定程序的一种语言。 Zbl 0559.68023号 安德烈·塔莱基 6 1985 多门泛代数的一些细微差别:综述。 Zbl 1261.68088号 安德烈·塔莱基 6 2011 分布式规范的异构逻辑环境。 Zbl 1253.68231号 蒂尔·莫萨科夫斯基;安德烈·塔莱基 5 2009 组合和表示逻辑系统。 Zbl 0881.03044号 蒂尔·莫萨科夫斯基;安德烈·塔莱基;Pawłowski、Wies \322»aw 5 1997 CASL语义的融合。 Zbl 1070.68094号 卢茨施罗德;蒂尔·莫萨科夫斯基;安德烈·塔莱基;巴托克·克林;彼得·霍夫曼 5 2005 CASL规范的观测解释。 Zbl 1141.68026号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 5 2008 什么是逻辑?纪念约瑟夫·戈根。第二次修订版。 Zbl 1143.03356号 蒂尔·莫萨科夫斯基;约瑟夫·戈根;拉兹万·迪亚科内斯库;安德烈·塔莱基 5 2007 使用模型理论羊皮纸组合和表示逻辑系统。 兹比尔0907.03030 蒂尔·莫萨科夫斯基;安德烈·塔莱基;Pawłowski、Wies \322»aw 4 1998 天真的指称语义。 兹伯利0514.68021 安德烈·布利克;安德烈·塔莱基 4 1983 连续抽象数据类型。 Zbl 0624.68024号 安德烈·塔莱基;马丁·威尔辛 4 1986 具有内置域构造的代数规范。 Zbl 0645.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 4 1988 子集系统的比较。 Zbl 0657.06009号 尼尔森,E。;阿达梅克,J。;A.Jung。;雷特曼,J。;A.塔莱基。 4 1988 Casl的一种简单细化语言。 兹比尔1118.68560 蒂尔·莫萨科夫斯基;唐纳德·桑内拉;安德烈·塔莱基 4 2005 机构:正式规范的抽象框架。 兹比尔0945.68130 安德烈·塔莱基 三 1999 计算机科学中的代数和余代数。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。 Zbl 1175.68014号 三 2009 扩展ML的语义:一个温和的介绍。 Zbl 0813.68132号 斯特凡·卡尔斯;唐纳德·桑内拉;安德烈·塔莱基 三 1994 CASL中架构规范的语义。 Zbl 0977.68744号 卢茨施罗德;蒂尔·莫萨科夫斯基;安德烈·塔莱基;巴托克·克林;彼得·霍夫曼 三 2001 连续抽象数据类型:基本机械和结果。 Zbl 0571.68014号 安德烈·塔莱基;马丁·威尔辛 三 1985 LF中的逻辑表示。关于正在进行的工作的报告。 兹比尔1496.03055 罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 三 1989 类型lambda演算中的构造数据精化。 Zbl 0965.68012号 Furio Honsell;约翰·朗利;唐纳德·桑内拉;安德烈·塔莱基 2 2000 数据类型规范的最新趋势。第十次抽象数据类型规范研讨会与第五次COMPASS研讨会联合举办,意大利圣马格里塔,1994年5月30日至6月3日。精选论文。 Zbl 1154.68304号 2 1995 通过丰富的签名在CASL中合并。 Zbl 0986.68015号 卢茨施罗德;蒂尔·莫萨科夫斯基;安德烈·塔莱基 2 2001 通过当地观测施工步骤实现全球发展。 Zbl 1014.68099号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 2 2002 从代数规范走向程序的形式化开发:模型理论基础。 Zbl 1425.68082号 唐纳德·桑内拉;安德烈·塔莱基 2 1992 具体模型类别中的行为满意度和等效性。 Zbl 1508.68207号 米歇尔·比多特;安德烈·塔莱基 2 1996 结构化异构规范的相对完整演算。 Zbl 1405.68193号 蒂尔·莫萨科夫斯基;安德烈·塔莱基 2 2014 程序开发的代数规范和形式化方法:真正的问题是什么! Zbl 0744.68102号 唐纳德·桑内拉;安德烈·塔莱基 1 1990 1991年计算机科学数学基础。第十六届国际研讨会,1991年9月9日至13日,波兰卡齐米尔兹·多尔尼。诉讼程序。 Zbl 0753.00030号 1 1991 数据类型规范的最新趋势。第五次抽象数据类型规范研讨会,1987年9月1日至4日,苏格兰Gullane。精选论文。 Zbl 0653.00015号 1 1988 检查CASL建筑规范的汞齐条件。 Zbl 0999.68506号 巴托克·克林;彼得·霍夫曼;安德烈·塔莱基;卢茨施罗德;蒂尔·莫萨科夫斯基 1 2001 计算机科学逻辑。2004年9月20日至24日,第18届国际研讨会,CSL 2004,第13届EACSL年会,波兰卡尔帕茨。诉讼程序。 Zbl 1060.68004号 1 2004 关于代数规范的一些思考。 Zbl 0584.68036号 唐纳德·桑内拉;安德烈·塔莱基 1 1985 重新审视横向可组合性。 Zbl 1132.68340号 唐纳德·桑内拉;安德烈·塔莱基 1 2006 自动化、语言和编程。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会,ICALP 2007。诉讼程序。 Zbl 1119.68002号 1 2007 FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。 Zbl 1078.68005号 1 2005 逻辑定理的理论范围。 Zbl 1338.03073号 拉兹万·迪亚科内斯库;蒂尔·莫萨科夫斯基;安德烈·塔莱基 1 2014 结构化规范的面向属性语义。 Zbl 1342.68218号 唐纳德·桑内拉;安德烈·塔莱基 1 2014 结构化异构规范的相对完整演算。 Zbl 1405.68193号 蒂尔·莫萨科夫斯基;安德烈·塔莱基 2 2014 逻辑定理的理论范围。 Zbl 1338.03073号 拉兹万·迪亚科内斯库;蒂尔·莫萨科夫斯基;安德烈·塔莱基 1 2014 结构化规范的面向属性语义。 Zbl 1342.68218号 唐纳德·桑内拉;安德烈·塔莱基 1 2014 代数规范和正式软件开发的基础。 Zbl 1237.68129号 唐纳德·桑内拉;安德烈·塔莱基 62 2012 多门泛代数的一些细微差别:综述。 Zbl 1261.68088号 安德烈·塔莱基 6 2011 什么是逻辑翻译? Zbl 1255.03023号 蒂尔·莫萨科夫斯基;拉兹万·迪亚科内斯库;安德烈·塔莱基 15 2009 分布式规范的异构逻辑环境。 Zbl 1253.68231号 蒂尔·莫萨科夫斯基;安德烈·塔莱基 5 2009 计算机科学中的代数和余代数。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。 Zbl 1175.68014号 三 2009 UML语义的异构方法。 Zbl 1143.68373号 维多利亚州玛丽亚·桑加尔;亚历山大·纳普;安德烈·塔莱基;马丁·威尔辛 9 2008 CASL规范的观测解释。 Zbl 1141.68026号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 5 2008 什么是逻辑?纪念约瑟夫·戈根。第二次修订版。 Zbl 1143.03356号 蒂尔·莫萨科夫斯基;约瑟夫·戈根;拉兹万·迪亚科内斯库;安德烈·塔莱基 5 2007 自动化、语言和编程。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会,ICALP 2007。诉讼程序。 Zbl 1119.68002号 1 2007 重新审视横向可组合性。 Zbl 1132.68340号 唐纳德·桑内拉;安德烈·塔莱基 1 2006 什么是逻辑? Zbl 1080.03028号 蒂尔·莫萨科夫斯基;约瑟夫·戈根;拉兹万·迪亚科内斯库;安德烈·塔莱基 11 2005 CASL语义的融合。 Zbl 1070.68094号 卢茨施罗德;蒂尔·莫萨科夫斯基;安德烈·塔莱基;巴托克·克林;彼得·霍夫曼 5 2005 Casl的一种简单细化语言。 兹比尔1118.68560 蒂尔·莫萨科夫斯基;唐纳德·桑内拉;安德烈·塔莱基 4 2005 FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。 Zbl 1078.68005号 1 2005 计算机科学逻辑。2004年9月20日至24日,第18届国际研讨会,CSL 2004,第13届EACSL年会,波兰卡尔帕茨。诉讼程序。 Zbl 1060.68004号 1 2004 通用代数规范语言:语义和证明理论。 兹比尔1104.68365 蒂尔·莫萨科夫斯基;安妮·E·哈克斯豪森。;唐纳德·桑内拉;安德烈·塔莱基 6 2003 CASL:通用代数规范语言。 Zbl 1061.68103号 埃吉迪奥·阿斯泰西亚诺;米歇尔·比多特;赫莱内·基什内尔;Krieg-Brückner,伯尔尼;彼得·莫塞斯(Peter D.Mosses)。;唐纳德·桑内拉;安德烈·塔莱基 42 2002 CASL中的建筑规范。 Zbl 1001.68078号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 9 2002 通过当地观测施工步骤实现全球发展。 Zbl 1014.68099号 米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 2 2002 CASL中架构规范的语义。 Zbl 0977.68744号 卢茨施罗德;蒂尔·莫萨科夫斯基;安德烈·塔莱基;巴托克·克林;彼得·霍夫曼 三 2001 通过丰富的签名在CASL中合并。 Zbl 0986.68015号 卢茨施罗德;蒂尔·莫萨科夫斯基;安德烈·塔莱基 2 2001 检查CASL建筑规范的汞齐条件。 Zbl 0999.68506号 巴托克·克林;彼得·霍夫曼;安德烈·塔莱基;卢茨施罗德;蒂尔·莫萨科夫斯基 1 2001 面向异构规范。 Zbl 0988.03056号 安德烈·塔莱基 15 2000 类型lambda演算中的构造数据精化。 Zbl 0965.68012号 Furio Honsell;约翰·朗利;唐纳德·桑内拉;安德烈·塔莱基 2 2000 代数入门。 Zbl 0945.68129号 唐纳德·桑内拉;安德烈·塔莱基 6 1999 机构:正式规范的抽象框架。 兹比尔0945.68130 安德烈·塔莱基 三 1999 使用模型理论羊皮纸组合和表示逻辑系统。 兹比尔0907.03030 蒂尔·莫萨科夫斯基;安德烈·塔莱基;Pawłowski、Wies \322»aw 4 1998 代数规范和程序开发的基本概念。 Zbl 0887.68070号 唐纳德·桑内拉;安德烈·塔莱基 13 1997 扩展ML的定义:简单介绍。 Zbl 0901.68024号 斯特凡·卡尔斯;唐纳德·桑内拉;安德烈·塔莱基 8 1997 组合和表示逻辑系统。 Zbl 0881.03044号 蒂尔·莫萨科夫斯基;安德烈·塔莱基;Pawłowski、Wies \322»aw 5 1997 具体模型类别中的行为满意度和等效性。 Zbl 1508.68207号 米歇尔·比多特;安德烈·塔莱基 2 1996 数据类型规范的最新趋势。第十次抽象数据类型规范研讨会与第五次COMPASS研讨会联合举办,意大利圣马格里塔,1994年5月30日至6月3日。精选论文。 Zbl 1154.68304号 2 1995 结构化理论陈述和逻辑表示。 Zbl 0809.03019号 罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 17 1994 扩展ML的语义:一个温和的介绍。 Zbl 0813.68132号 斯特凡·卡尔斯;唐纳德·桑内拉;安德烈·塔莱基 三 1994 从代数规范走向程序的正式开发:重新审视参数化。 Zbl 0790.68077号 唐纳德·桑内拉;斯特凡·索科·奥斯基;安德烈·塔莱基 25 1992 从代数规范走向程序的形式化开发:模型理论基础。 Zbl 1425.68082号 唐纳德·桑内拉;安德烈·塔莱基 2 1992 计算语义的一些基本代数工具。三: 索引类别。 Zbl 0755.18004号 安德烈·塔莱基;罗德·M·伯斯托尔。;约瑟夫·戈根(Joseph A.Goguen)。 31 1991 用于软件规范和验证的三值逻辑。 Zbl 0771.68087号 比塔·科尼科夫斯卡;安德烈·塔莱基;安德烈·布利克 7 1991 1991年计算机科学数学基础。第十六届国际研讨会,1991年9月9日至13日,波兰卡齐米尔兹·多尔尼。诉讼程序。 Zbl 0753.00030号 1 1991 程序开发的代数规范和形式化方法:真正的问题是什么! Zbl 0744.68102号 唐纳德·桑内拉;安德烈·塔莱基 1 1990 LF中的结构和表示。 Zbl 0716.68078号 罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 8 1989 LF中的逻辑表示。关于正在进行的工作的报告。 兹比尔1496.03055 罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 三 1989 任意机构中的规范。 Zbl 0654.68017号 唐纳德·桑内拉;安德烈·塔莱基 75 1988 从代数规范走向程序的正式开发:重温实现。 Zbl 0621.68004号 唐纳德·桑内拉;安德烈·塔莱基 35 1988 可达高阶代数的代数规范。 Zbl 0659.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 13 1988 重写系统的存在性、唯一性和构造。 Zbl 0658.68029号 纳胡姆德肖维茨;利奥·马库斯;安德烈·塔莱基 9 1988 具有内置域构造的代数规范。 Zbl 0645.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 4 1988 子集系统的比较。 Zbl 0657.06009号 尼尔森,E。;阿达梅克,J。;A.Jung。;雷特曼,J。;A.塔莱基。 4 1988 数据类型规范的最新趋势。第五次抽象数据类型规范研讨会,1987年9月1日至4日,苏格兰Gullane。精选论文。 Zbl 0653.00015号 1 1988 关于观测等价和代数规范。 Zbl 0619.68028号 唐纳德·桑内拉;安德烈·塔莱基 32 1987 从代数规范走向程序的正式开发:重温实现。 Zbl 0614.68013号 唐纳德·桑内拉;安德烈·塔莱基 8 1987 抽象代数机构中的拟变元。 Zbl 0622.68033号 安德烈·塔莱基 26 1986 零零碎碎的制度理论。 Zbl 0636.68029号 安德烈·塔莱基 25 1986 扩展ML:用于正式程序开发的机构依赖框架。 Zbl 0616.68015号 唐纳德·桑内利;安德烈·塔莱基 14 1986 连续抽象数据类型。 Zbl 0624.68024号 安德烈·塔莱基;马丁·威尔辛 4 1986 抽象代数机构中自由模型的存在性。 Zbl 0608.68014号 安德烈·塔莱基 30 1985 关于观测等价和代数规范。 Zbl 0563.68017号 唐纳德·桑内拉;安德烈·塔莱基 9 1985 指定程序的一种语言。 Zbl 0559.68023号 安德烈·塔莱基 6 1985 连续抽象数据类型:基本机械和结果。 Zbl 0571.68014号 安德烈·塔莱基;马丁·威尔辛 三 1985 关于代数规范的一些思考。 Zbl 0584.68036号 唐纳德·桑内拉;安德烈·塔莱基 1 1985 任意机构的建筑规范。 Zbl 0552.68015号 唐纳德·桑内拉;安德烈·塔莱基 8 1984 天真的指称语义。 兹伯利0514.68021 安德烈·布利克;安德烈·塔莱基 4 1983 所有引用出版物 前5名被引用出版物 全部的 前5名被320位作者引用 31 拉兹万·迪亚科内斯库 23 安德烈·塔莱基 21 罗尔夫·亨尼克 21 蒂尔·莫萨科夫斯基 18 唐纳德·桑内拉。 11 米歇尔·比多特 11 亚历山大·马德拉 11 弗洛里安·拉贝 8 Gaĭnă,丹尼尔 8 亚历山大·纳普 7 Jan A.Bergstra。 7 马丁斯(Manuel António Martins) 7 科内利斯·A·米德尔堡。 7 马库斯·罗根巴赫 7 马丁·威尔辛 6 巴博萨、路易斯·索亚雷斯 6 彼得·莫塞斯(Peter D.Mosses)。 6 费尔南多·奥雷贾斯 5 纳胡姆德肖维茨 5 哈特穆特·埃里格 5 富利亚·霍罗扎尔 5 何塞·梅塞盖尔·瓜伊塔 5 凯瑟琳·奥里亚特 5 卢茨施罗德 4 马克·艾吉尔 4 埃吉迪奥·阿斯泰西亚诺 4 米海·Codescu 4 高基町五指 4 赫莱内·基什内尔 4 奥利弗·库茨 4 托马斯·斯蒂芬·爱德华·迈鲍姆 4 卡尔·梅恩克 4 玛丽莎·纳瓦罗 4 Kazuhiro绪方 4 弗朗西斯科·帕里西·普雷西奇 4 乔治·斯特鲁斯 4 Ţuţu,伊奥努 三 谢尔盖·奥特西尔 三 维多利亚州玛丽亚·桑加尔 三 莫拉·塞里奥利 三 JoséLuiz Fiadeiro 三 约瑟夫·阿马迪·戈根 三 罗伯特·哈珀 三 安妮·伊丽莎白·哈克斯豪森 三 迈克尔·科尔哈斯 三 比塔·科尼科夫斯卡 三 Krieg-Brückner,伯尔尼 三 马吕斯·佩特里亚 三 安德烈·波佩斯库 三 格里高·罗什乌 2 阿达梅克,吉安尼 2 塞巴斯蒂安·鲍尔。 2 休伯特·鲍迈斯特 2 吉尔斯·伯诺 2 卞金亭 2 玛丽亚·保拉(Maria Paola Bonacina) 2 托马斯·博齐斯科夫斯基 2 Tour男孩,蒂埃里 2 维南齐奥·卡普雷塔 2 德波尔(Frank S。 2 斯蒂恩·德古乌 2 玛丽·克劳德·高德尔 2 马丁·格罗·罗德 2 马格尼·哈夫雷恩 2 Hiep,Hans-Dieter A。 2 C.A.R.Tony Hoare 2 马丁·霍夫曼 2 迪特尔·赫特 2 埃米尔·杰瓦贝克 2 斯特凡·迈克尔·卡尔斯 2 特奥多尔·科纳皮克 2 亚历山大·库兹 2 莱恩·兰伯斯 2 多雷尔·卢卡努 2 马丁斯·莫雷拉,阿纳玛丽亚 2 伯恩哈德·莫勒 2 Nikitchenko、Mykola S。 2 埃尔维拉·皮诺 2 雷焦·詹娜 2 Edmund P.罗宾逊。 2 安德烈亚斯·施罗德 2 克里斯蒂娜·索贾科娃 2 L.Jason,Steggles 2 Paulo Augusto S.维洛索。 2 Sheila R.M.维洛索。 2 科兹兹托夫·沃伊特基维奇 1 巴哈州阿默里 1 维托·米歇尔·阿布鲁西 1 Nazareno M.阿吉雷。 1 阿兰,阿基 1 杰里特·安德斯 1 F.I.安东。 1 P.I.安东。 1 卡洛斯·阿雷塞斯 1 安德烈·阿鲁索艾 1 大卫·阿斯皮纳尔 1 贾马尔·阿蒂夫 1 奥彻,纪尧姆 1 阿诺·阿夫隆 1 谢尔盖·巴本尼舍夫 …和220多位作者 全部的 前5名47篇连载文章被引用 73 理论计算机科学 13 信息处理信件 12 MSCS公司。计算机科学中的数学结构 11 程序设计中的逻辑和代数方法杂志 10 信息学报 10 计算的形式方面 10 逻辑与代数程序设计杂志 9 泛逻辑 7 Studia Logica公司 6 信息与计算 4 计算机与系统科学杂志 三 应用的分类结构 三 图表 三 ACM计算逻辑事务 三 应用逻辑杂志 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 模糊集与系统 2 纯逻辑与应用逻辑年鉴 2 符号计算杂志 2 控制论与系统分析 2 系统设计中的形式化方法 2 数学与人工智能年鉴 2 计算系统理论 2 RAIRO公司。理论信息学及其应用 2 计算机科学中的逻辑方法 2 符号逻辑述评 1 人工智能 1 数学生物科学 1 代数杂志 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 订单 1 自动推理杂志 1 国际近似推理杂志 1 运筹学年鉴 1 国际代数与计算杂志 1 数学逻辑档案 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 摩尔多瓦计算机科学杂志 1 约束条件 1 软计算 1 计算机基础理论 1 计算机语言、系统和结构 1 理论计算机科学电子笔记 1 计算机科学中的数学 1 第比利斯数学杂志 全部的 前5名13个领域引用 273 计算机科学(68至XX) 110 数学逻辑和基础(03-XX) 29 范畴理论;同调代数(18-XX) 13 一般代数系统(08-XX) 5 历史和传记(01-XX) 4 有序,格,有序代数结构(06-XX) 三 一般拓扑结构(54至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 群论与推广(20-XX) 1 凸和离散几何(52-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.