编辑配置文件（在新选项卡中打开） 达娜·斯图尔特·斯科特 合著者距离 作者ID： 斯科特·达纳 发布日期： 达纳·斯科特；Dana S.斯科特。；D.斯科特。；D.S.斯科特。；D.B.斯科特。 更多。。。较少的 主页： https://www.cs.cmu.edu/~斯科特/ 外部链接： MGP公司·维基数据·谷歌学者·数据库许可证·接地·ID参考 奖品： 图灵奖（1976） 已编制索引的文档： 111出版物自1949年以来，包括3本书和1个附加arXiv预打印 作为编辑的10份贡献·9进一步捐款 传记参考： 1出版物 合著者： 57位合著者具有49联合出版物 1347位合作作者 全部的 前5名合著者 70 单作者的 6 拉尔斯·比克达尔 5 克里斯托夫·埃瓦尔德·本兹穆勒 三 史蒂夫·阿沃迪 三 安德烈·鲍尔 三 所罗门·费弗曼 三 卡尔·海因里希·霍夫曼 三 亚历山德鲁·拉斯库。 三 迈克尔·奥·拉宾。 三 朱塞佩·罗索里尼 2 彼得·阿策尔 2 约翰·艾迪生（John T.Addison）。 2 马提亚斯·巴兹 2 约翰·鲍德温（John T.Baldwin）。 2 肯尼斯·琼·巴维斯 2 安德烈亚斯·鲍迪什 2 Chang、Chen-Chung 2 马克斯·迪克曼（Max A.Dickmann）。 2 海因兹·迪特·埃宾豪斯 2 保罗·埃克洛夫。 2 弗鲁姆，约格 2 迈克尔·保罗·福曼 2 吉兹，格哈德 2 查尔斯·朱恩·哈珀。 2 莱昂·艾伯特·汉金 2 约翰·霍蒂。 2 简·卡利基 2 马特·考夫曼 2 克劳斯·凯梅尔 2 霍华德·杰罗姆·凯斯勒 2 Phokion G.科莱蒂斯。 2 杰米·唐·劳森 2 约翰·安德烈亚斯·马考斯基 2 大卫·查尔斯·麦卡蒂 2 Mislove，Michael W。 2 大卫·布赖恩特，芒福德 2 丹尼尔·蒙迪奇 2 马克·纳德尔（Mark E.Nadel）。 2 克里斯托斯·哈里劳斯·帕帕迪米特里奥 2 戈登·普洛金（Gordon D.Plotkin）。 2 希拉里·怀特霍尔·普特南 2 詹姆斯·施默尔（James H.Schmerl）。 2 Seese，Detlef G。 2 查尔斯·斯坦霍恩。 2 阿尔弗雷德·塔斯基 2 汉斯·彼得·塔奇克 2 Väänänen，Jouko Antero 2 雅普·范·奥斯汀 2 罗伯特·L·沃特。 2 马丁·威斯 2 马丁·齐格勒 1 阿伦斯，贝内迪克特 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 荒木，Keijiro 1 杰里米·阿维加德 1 乔治·巴奇 1 亨德里克·彼得·巴伦德雷格特 1 布鲁诺·巴拉斯 1 乔纳斯·拜耳 1 米罗斯拉夫·本达 1 伊夫·贝托特 1 马克·贝泽姆 1 科拉多·伯姆 1 安东尼·博尔吉 1 路易森·埃格伯图斯·扬（Luitzen Egbertus Jan Brouwer） 1 纪尧姆·布鲁内里 1 马丁·邦德。 1 乔治·坎托 1 奥雷里奥·卡博尼 1 西里尔·科恩 1 保罗·约瑟夫·科恩 1 罗伯特·李，警察 1 马里奥·科普 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 尼古拉斯·戈弗特·德布鲁因 1 马里亚纽拉州Dezani-Ciancaglini 1 朱斯塔斯·迪勒 1 杜莫托、舒吉 1 彼得·戴比杰 1 埃夫亚塔尔·阿斯里尔 1 乌尔里希·费尔格纳 1 卢卡斯，菲纳莫 1 埃里克·芬斯特 1 菲奇，弗雷德里克·布伦顿 1 亚伯拉罕·弗伦克尔 1 T·弗雷恩。 1 彼得·弗雷德。 1 彼得·弗里茨 1 加尔，I.l。 1 尼古拉·甘比诺 1 罗宾·甘迪。 1 Richard加纳 1 保罗·C·吉尔摩。 1 吉拉德，P.M。 1 库尔特·哥德尔 1 乔治·戈蒂尔 1 阿列克谢·戈纳斯 1 丹尼尔·理查德·格雷森 1 卡尔·A·冈特。 …还有106位合作作者 全部的 前5名系列 4 Annali di Matematica Pura ed Applicata公司。四分之一系列 4 伦敦数学学会会刊。第三系列 4 荷兰Akademie van Wetenschappen。诉讼程序。系列A.Indagationes Mathematicae 三 数学基础 三 理论计算机科学 三 纯数学专题讨论会论文集 2 《伦敦数学学会通报》 2 符号逻辑杂志 2 MSCS公司。计算机科学中的数学结构 2 剑桥哲学学会会刊 2 伦敦数学学会杂志 2 数学课堂笔记 2 数学逻辑的观点 1 信息学报 1 剑桥哲学学会数学进展杂志 1 美国数学杂志 1 数学座谈会 1 数学合成 1 计算机与系统科学杂志 1 伦敦数学学会杂志。第二系列 1 数学心理学杂志 1 哲学逻辑杂志 1 Kiberneticheskiĭ斯博尼克。诺瓦亚·塞里亚 1 数学系统理论 1 SIAM计算机杂志 1 软件。实践与经验 1 合成 1 美国数学学会会刊 1 信息与计算 1 自动推理杂志 1 经济学快报 1 ACM通信 1 IBM研究与开发杂志 1 美国数学学会通告 1 符号逻辑公报 1 高阶和符号计算 1 应用逻辑杂志 1 《科学公报》、《数学科学》、《天文学与物理学》 1 伦敦数学学会会刊。第二系列 1 Rendiconti Di Matematica e Delle Sue Applicazioni，V.Serie公司 1 数学与物理杂志 1 数学百科全书及其应用 1 计算机科学课堂讲稿 1 博洛尼亚大学几何研究所 1 理论计算机科学电子笔记 1 符号逻辑述评 全部的 前5名领域 62 数理逻辑与基础（03-XX） 29 计算机科学（68至XX） 15 范畴理论；同调代数（18-XX） 12 历史和传记（01-XX） 11 总体主题；集合（00-XX） 9 阶、格、有序代数结构（06-XX） 9 代数几何（14-XX） 8 一般拓扑结构（54至XX） 2 代数拓扑（55-XX） 1 一般代数系统（08-XX） 1 场论与多项式（12-XX） 1 交换代数（13-XX） 1 群论与推广（20-XX） 1 拓扑群、李群（22日至XX日） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 歧管和细胞复合体（57-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 95出版物有被引用4322中的次3619文件 引用人▼ 年份▼ 连续格和域。 Zbl 1088.06001号 格哈德·吉尔兹；卡尔·霍夫曼；克劳斯·凯梅尔；吉米·劳森；Mislove，迈克尔；Dana S.斯科特。 909 2003 连续格纲要。 Zbl 0452.06001号 G·吉尔兹。；卡尔·海因里希·霍夫曼；凯梅尔，K。；J.D.劳森。；Mislove，M。；D.S.斯科特。 648 1980 有限自动机及其决策问题。 Zbl 0158.25404号 M.O.拉宾。；斯科特，D。 314 1959 连续晶格。 Zbl 0239.54006号 达纳·斯科特 245 1972 指称语义的域。 兹伯利0495.68025 Dana S.斯科特。 221 1982 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 数据类型为格。 Zbl 0337.02018号 达纳·斯科特 206 1976 测量理论的基础方面。 Zbl 0084.24603号 达纳·斯科特；帕特里克·苏普斯 188 1959 测量结构和线性不等式。 Zbl 0129.12102号 达纳·斯科特 153 1964 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 滑轮和逻辑。 Zbl 0415.03053号 M.P.福曼。；D.S.斯科特。 111 1979 模型理论逻辑。（第A-C部分）。 Zbl 0587.03001号 108 1985 有限自动机及其决策问题。 Zbl 1461.68105号 M.O.拉宾。；D.斯科特。 107 1959 多值逻辑中的完备性和公理化。 Zbl 0318.02021号 达纳·斯科特 77 1974 计算机语言的数学语义。 Zbl 0268.68004号 达纳·斯科特；克里斯托弗·斯特拉基 73 1971 语义域。 Zbl 0900.68301号 冈特，C.A。；Dana S.斯科特。 63 1990 有无数长公式和有限的量词串的逻辑。 Zbl 0166.26003号 达纳·斯科特 62 1965 减少直接产品。 Zbl 0108.00501号 T·弗雷恩。；A.C.莫雷尔。；D.S.斯科特。 61 1963 ISWIM、CUCH、OWHY的类型理论替代品。 Zbl 0942.68522号 Dana S.斯科特。 60 1993 关于模态逻辑的建议。 Zbl 0295.02013.中 达纳·斯科特 54 1970 模态逻辑导论。与Dana Scott合作。克里斯特·塞格伯格编辑，《柠檬笔记》。 Zbl 0388.03006号 E.J.莱蒙。 51 1977 可测基数和可构造集。 Zbl 0154.00702号 D.斯科特。 44 1961 对自动机理论的一些定义建议。 Zbl 0164.32103号 D.斯科特。 43 1967 流程图的格子。 兹比尔0228.68016 达纳·斯科特 43 1971 直觉主义逻辑中的同一性和存在性。 Zbl 0418.03016号 达纳·斯科特 39 1979 为逻辑公式分配概率。 Zbl 0202.29905号 达纳·斯科特；彼得·克劳斯 38 1966 等价空间。 兹比尔1059.18004 安德烈·鲍尔；拉尔斯·比克达尔；Dana S.斯科特。 28 2004 数学计算理论概述。 Zbl 0419.68076号 D.斯科特。 27 1977 抽象代数的等式完备性。 Zbl 0073.24501号 简·卡利基；达纳·斯科特 27 1955 模型理论逻辑。（零件D-F）。 Zbl 0587.0302号 25 1985 格理论、数据类型和语义。 Zbl 0279.68042号 达纳·斯科特 24 1972 在算术的完全扩展中可二数集的代数。 Zbl 0199.02601号 D.斯科特。 24 1962 连续统假设独立性的证明。 Zbl 0149.25302号 D.斯科特。 23 1967 关于计算数学理论的讲座。 Zbl 0516.68064号 Dana S.斯科特。 22 1982 规则和派生规则。 Zbl 0296.02012号 达纳·斯科特 21 1974 通过精确分类的类型理论。（扩展摘要）。 Zbl 0945.03542号 伯克达尔，L。；卡博尼，A。；罗索里尼，G。；D.S.斯科特。 21 1998 计算机科学中的一些有序集合。 Zbl 0497.06001号 Dana S.斯科特。 19 1982 将拓扑解释扩展到直觉分析。 Zbl 0197.00201号 达纳·斯科特 18 1968 顺序可定义性。 Zbl 0226.02048号 约翰·米希尔；达纳·斯科特 18 1971 Lambda微积分：一些模型，一些哲学。 Zbl 0515.03004号 达纳·斯科特 18 1980 滑轮的应用。层理论在逻辑、代数和分析中的应用研究研讨会论文集，达勒姆，1977年7月9日至21日。 兹比尔0407.00001 17 1979 正式化背景。 Zbl 0277.02003 Dana S.斯科特。 13 1973 数据类型为格。 Zbl 0322.02024号 达纳·斯科特 13 1975 组合器和类。 Zbl 0342.02018号 达纳·斯科特 13 1975 布尔模型和非标准分析。 Zbl 0187.27101号 D.斯科特。 13 1969 公理化集合论。 Zbl 0319.02061号 达纳·斯科特 12 1974 世界上十七位箴言家。Dana S.Scott的前言。。 Zbl 1084.68119号 11 2005 扩展PER。 Zbl 0762.18006号 弗雷德，P。；莫里，P。；罗索里尼，G。；D.斯科特。 11 1992 自交公式和“formule-clef”。 Zbl 0341.14002号 拉斯库，A.T。；D.芒福德。；D.B.斯科特。 11 1975 具有无限长表达式的句子演算。 Zbl 0119.25002号 D.斯科特。；A.塔斯基。 11 1958 兰姆达演算和递归理论。（初步版本。）。 Zbl 0322.02023号 达纳·斯科特 10 1975 推定有效性。 Zbl 0206.28402号 D.斯科特。 10 1970 射影丛和爆破Chern类应用的代数对应。 Zbl 0296.14009号 拉斯库，A.T。；D.B.斯科特。 9 1975 关于组合子理论的一些哲学问题。 Zbl 0342.02019 达纳·斯科特 9 1975 填写有序字段时。 兹比尔0188.32202 D.斯科特。 9 1969 将拓扑解释扩展到直觉分析。二、。 Zbl 0213.01203号 斯科特，D。 8 1970 Erdős和Tarski的一些结果的补充。 Zbl 0173.00803号 D.Monk。；D.斯科特。 7 1964 有限代数的等式完全扩张。 Zbl 0073.24602号 达纳·斯科特 7 1956 局部可实现拓扑和用于可计算性的模态逻辑。 Zbl 1007.03057号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 6 2002 布尔代数中某些分配律的独立性。 Zbl 0092.03401号 达纳·斯科特 6 1957 逻辑和编程语言。 Zbl 0355.68019号 Dana S.斯科特。 5 1977 奎因的个人。 Zbl 0151.00904号 D.斯科特。 5 1962 不变Borel集。 Zbl 0152.21304号 达纳·斯科特 4 1964 自然提升和托德的协变系统。 Zbl 0183.25601号 D.B.斯科特。 4 1969 多值逻辑中的完备性和公理化。 Zbl 1288.03021号 达纳·斯科特 4 2012 随机计算：一种扩展的抽象。 Zbl 1352.03020号 Dana S.斯科特。 4 2014 局部可实现拓扑和用于可计算性的模态逻辑。（扩展摘要）。 Zbl 0959.03504号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 4 1999 量词的代数解释：直觉主义和经典。 Zbl 1150.03019号 Dana S.斯科特。 4 2008 欧几里德几何的对称基本概念。 Zbl 0072.15502号 达纳·斯科特 4 1956 关于度量和拓扑的区域演算。 Zbl 1457.28001号 塔马尔·兰多；达纳·斯科特 4 2019 重新考虑有序对。 兹比尔1171.03028 达纳·斯科特；多米尼克·麦卡蒂 4 2008 自动化Isabelle/HOL中的自由逻辑。 Zbl 1434.68638号 克里斯托夫·本兹穆勒；达纳·斯科特 4 2016 Chern类爆破公式的简单证明。 兹比尔03886.14007 拉斯库，A.T。；D.B.斯科特。 三 1978 关于拉宾的一个定理。 Zbl 0173.00604号 D.斯科特。 三 1960 关于外延公理的更多内容。 Zbl 0199.01403号 达纳·斯科特 三 1962 直觉句子演算的完备性证明。 Zbl 0201.32403号 D.斯科特。 三 1960 库尔特·哥德尔和数学基础。真理的地平线。 Zbl 1253.00009号 三 2011 数学分析。引言。 Zbl 0136.34203号 D.B.斯科特。；Tims，S.R。 三 1966 塔斯基研讨会会议记录。在阿尔弗雷德·塔斯基70岁生日之际，为纪念他举行了一次国际研讨会。1971年6月23日至30日在加州大学伯克利分校举行。 Zbl 0291.00009 2 1974 集合理论中秩的概念。 Zbl 0156.02102号 D.斯科特。 2 1960 关于分配范式的注记。 Zbl 0452.03005号 达纳·斯科特 2 1979 关于构建算术模型。 Zbl 0126.01201号 D.斯科特。 2 1961 格拉斯曼束。 Zbl 0475.14043号 D.B.斯科特。 2 1981 初等欧几里德几何中的维数。 兹伯利0092.13704 达纳·斯科特 2 1959 自动化HOL中的自由逻辑，在范畴理论中的实验应用。 Zbl 1434.68639号 克里斯托夫·本兹穆勒；Dana S.斯科特。 2 2020 孟恩勒。 兹比尔0403.03035 1 1979 一些代数几何纤维空间。 Zbl 0148.41601号 D.B.斯科特。 1 1966 关于有限自动机的备注。 Zbl 0158.00906号 M.拉宾。；D.斯科特。 1 1960 语义考古学：一个寓言。 Zbl 0211.01002号 1 1970 关于多项式中的多项式。 Zbl 0255.12101号 A.Evyatar。；D.B.斯科特。 1 1972 代数簇的切线方向丛和线性系统的广义雅可比矩阵。 Zbl 0124.37002号 英格尔顿，A.W。；斯科特，D.B。 1 1961 求解线性方程组和矩阵求逆的向量方法。 Zbl 0074.10702号 J.P.罗斯。；D.S.斯科特。 1 1956 代数簇的切线方向束。 Zbl 0100.35603号 D.B.斯科特。 1 1961 随机（lambda）演算的布尔值语义。 Zbl 1453.03006号 乔治·巴奇；罗伯特·福伯；德克斯特·科赞；拉杜·马达尔；帕南加登，普拉卡什；达纳·斯科特 1 2018 计算机支持的类模型分类公理化探索。 Zbl 1509.68328号 卢卡·蒂门斯；Dana S.斯科特。；克里斯托夫·本兹穆勒；米罗斯拉夫·本达 1 2020 自动化HOL中的自由逻辑，在范畴理论中的实验应用。 Zbl 1434.68639号 克里斯托夫·本兹穆勒；Dana S.斯科特。 2 2020 计算机支持的类模型分类公理化探索。 Zbl 1509.68328号 蒂门斯，卢卡；Dana S.斯科特。；克里斯托夫·本兹穆勒；米罗斯拉夫·本达 1 2020 关于度量和拓扑的区域演算。 Zbl 1457.28001号 塔马尔·兰多；达纳·斯科特 4 2019 随机（lambda）演算的布尔值语义。 Zbl 1453.03006号 乔治·巴奇；罗伯特·福伯；德克斯特·科赞；拉杜·马达尔；帕南加登，普拉卡什；达纳·斯科特 1 2018 Isabelle/HOL中的自由逻辑自动化。 Zbl 1434.68638号 克里斯托夫·本兹穆勒；达纳·斯科特 4 2016 随机计算：一种扩展的抽象。 Zbl 1352.03020号 Dana S.斯科特。 4 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 多值逻辑中的完备性和公理化。 Zbl 1288.03021号 达纳·斯科特 4 2012 库尔特·哥德尔和数学基础。真理的地平线。 Zbl 1253.00009号 三 2011 量词的代数解释：直觉主义和经典。 Zbl 1150.03019号 Dana S.斯科特。 4 2008 重新考虑有序对。 Zbl 1171.03028号 达纳·斯科特；多米尼克·麦卡蒂 4 2008 世界上十七位箴言家。Dana S.Scott的前言。。 Zbl 1084.68119号 11 2005 等价空间。 兹比尔1059.18004 安德烈·鲍尔；拉尔斯·比克达尔；Dana S.斯科特。 28 2004 连续格和域。 Zbl 1088.06001号 吉兹，格哈德；卡尔·霍夫曼；克劳斯·凯梅尔；吉米·劳森；Mislove，迈克尔；Dana S.斯科特。 909 2003 局部可实现拓扑和用于可计算性的模态逻辑。 Zbl 1007.03057号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 6 2002 局部可实现拓扑和用于可计算性的模态逻辑。（扩展摘要）。 Zbl 0959.03504号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 4 1999 通过精确分类的类型理论。（扩展摘要）。 Zbl 0945.03542号 伯克达尔，L。；卡博尼，A。；罗索里尼，G。；D.S.斯科特。 21 1998 ISWIM、CUCH、OWHY的类型理论替代品。 Zbl 0942.68522号 Dana S.斯科特。 60 1993 扩展PER。 Zbl 0762.18006号 弗雷德，P。；莫里，P。；罗索里尼，G。；D.斯科特。 11 1992 语义域。 Zbl 0900.68301号 冈特，C.A。；Dana S.斯科特。 63 1990 模型理论逻辑。（第A-C部分）。 兹伯利0587.03001 108 1985 模型理论逻辑。（零件D-F）。 Zbl 0587.0302号 25 1985 用于指称语义的域。 Zbl 0495.68025号 Dana S.斯科特。 221 1982 关于计算数学理论的讲座。 Zbl 0516.68064号 Dana S.斯科特。 22 1982 计算机科学中的一些有序集合。 Zbl 0497.06001号 Dana S.斯科特。 19 1982 格拉斯曼束。 Zbl 0475.14043号 D.B.斯科特。 2 1981 连续格纲要。 Zbl 0452.06001号 G·吉尔兹。；卡尔·海因里希·霍夫曼；凯梅尔，K。；J.D.劳森。；Mislove，M。；D.S.斯科特。 648 1980 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 兰姆达微积分：一些模型，一些哲学。 Zbl 0515.03004号 达纳·斯科特 18 1980 滑轮和逻辑。 兹伯利0415.03053 M.P.福曼。；D.S.斯科特。 111 1979 直觉主义逻辑中的同一性和存在性。 Zbl 0418.03016号 达纳·斯科特 39 1979 滑轮的应用。层理论在逻辑、代数和分析中的应用研究研讨会论文集，达勒姆，1977年7月9日至21日。 Zbl 0407.0001号 17 1979 关于分配范式的注记。 Zbl 0452.03005号 达纳·斯科特 2 1979 孟恩勒。 Zbl 0403.03035号 1 1979 Chern类爆破公式的简单证明。 Zbl 0386.14007号 拉斯库，A.T。；D.B.斯科特。 三 1978 模态逻辑导论。与Dana Scott合作。克里斯特·塞格伯格编辑，《柠檬笔记》。 兹伯利0388.303006 E.J.莱蒙。 51 1977 数学计算理论概述。 Zbl 0419.68076号 D.斯科特。 27 1977 逻辑和编程语言。 Zbl 0355.68019号 Dana S.斯科特。 5 1977 数据类型为格。 Zbl 0337.02018号 达纳·斯科特 206 1976 数据类型为格。 Zbl 0322.02024号 达纳·斯科特 13 1975 组合器和类。 Zbl 0342.02018号 达纳·斯科特 13 1975 自交公式和“formule-clef”。 Zbl 0341.14002号 拉斯库，A.T。；D.芒福德。；D.B.斯科特。 11 1975 兰姆达演算和递归理论。（初步版本。）。 Zbl 0322.02023号 达纳·斯科特 10 1975 射影丛和爆破Chern类应用的代数对应。 Zbl 0296.14009号 拉斯库，A.T。；斯科特，D.B。 9 1975 关于组合子理论的一些哲学问题。 Zbl 0342.02019 达纳·斯科特 9 1975 多值逻辑中的完备性和公理化。 Zbl 0318.02021号 达纳·斯科特 77 1974 规则和派生规则。 Zbl 0296.02012号 达纳·斯科特 21 1974 公理化集合论。 Zbl 0319.02061号 达纳·斯科特 12 1974 塔斯基研讨会会议记录。在阿尔弗雷德·塔斯基70岁生日之际，为纪念他举行了一次国际研讨会。1971年6月23日至30日在加州大学伯克利分校举行。 Zbl 0291.00009 2 1974 正式化背景。 Zbl 0277.02003 Dana S.斯科特。 13 1973 连续晶格。 Zbl 0239.54006号 达纳·斯科特 245 1972 格理论、数据类型和语义。 Zbl 0279.68042号 达纳·斯科特 24 1972 关于多项式中的多项式。 Zbl 0255.12101号 叶维亚塔，A。；D.B.斯科特。 1 1972 计算机语言的数学语义。 Zbl 0268.68004号 达纳·斯科特；克里斯托弗·斯特拉基 73 1971 流程图的格子。 Zbl 0228.68016号 达纳·斯科特 43 1971 顺序可定义性。 Zbl 0226.02048号 约翰·米希尔；达纳·斯科特 18 1971 关于模态逻辑的建议。 Zbl 0295.02013.中 达纳·斯科特 54 1970 推定有效性。 Zbl 0206.28402号 D.斯科特。 10 1970 将拓扑解释扩展到直觉分析。二、。 Zbl 0213.01203号 D.斯科特。 8 1970 语义考古学：一个寓言。 兹比尔0211.01002 1 1970 布尔模型和非标准分析。 Zbl 0187.27101号 D.斯科特。 13 1969 填写有序字段时。 Zbl 0188.32202号 D.斯科特。 9 1969 自然提升和托德的协变系统。 Zbl 0183.25601号 D.B.斯科特。 4 1969 将拓扑解释扩展到直觉分析。 Zbl 0197.00201号 达纳·斯科特 18 1968 对自动机理论的一些定义建议。 Zbl 0164.32103号 D.斯科特。 43 1967 连续统假设独立性的证明。 Zbl 0149.25302号 斯科特，D。 23 1967 为逻辑公式分配概率。 Zbl 0202.29905号 达纳·斯科特；彼得·克劳斯 38 1966 数学分析。引言。 兹伯利0136.34203 D.B.斯科特。；蒂姆斯，S.R。 三 1966 一些代数几何纤维空间。 Zbl 0148.41601号 D.B.斯科特。 1 1966 具有可数长公式和有限数量词串的逻辑。 Zbl 0166.26003号 达纳·斯科特 62 1965 测量结构和线性不等式。 Zbl 0129.12102号 达纳·斯科特 153 1964 Erdős和Tarski的一些结果的补充。 Zbl 0173.00803号 D.Monk。；D.斯科特。 7 1964 不变Borel集。 Zbl 0152.21304号 达纳·斯科特 4 1964 减少直接产品。 Zbl 0108.00501号 T·弗雷恩。；莫雷尔，A.C。；D.S.斯科特。 61 1963 集的代数在算术的完全扩展中是二元的。 Zbl 0199.02601号 D.斯科特。 24 1962 奎因的个人。 Zbl 0151.00904号 D.斯科特。 5 1962 关于外延公理的更多内容。 Zbl 0199.01403号 达纳·斯科特 三 1962 可测基数和可构造集。 Zbl 0154.00702号 D.斯科特。 44 1961 关于构建算术模型。 Zbl 0126.01201号 D.斯科特。 2 1961 代数簇的切线方向丛和线性系统的广义雅可比矩阵。 Zbl 0124.37002号 英格尔顿，A.W。；D.B.斯科特。 1 1961 代数簇的切线方向束。 Zbl 0100.35603号 斯科特，D.B。 1 1961 关于拉宾的一个定理。 Zbl 0173.00604号 D.斯科特。 三 1960 直觉句子演算的完备性证明。 Zbl 0201.32403号 D.斯科特。 三 1960 集合理论中秩的概念。 Zbl 0156.02102号 D.斯科特。 2 1960 关于有限自动机的备注。 Zbl 0158.00906号 M.拉宾。；D.斯科特。 1 1960 有限自动机及其决策问题。 Zbl 0158.25404号 M.O.拉宾。；D.斯科特。 314 1959 测量理论的基础方面。 Zbl 0084.24603号 达纳·斯科特；帕特里克·苏普斯 188 1959 有限自动机及其决策问题。 Zbl 1461.68105号 M.O.拉宾。；斯科特，D。 107 1959 初等欧几里德几何中的维数。 Zbl 0092.13704号 达纳·斯科特 2 1959 具有无限长表达式的句子演算。 Zbl 0119.25002号 D.斯科特。；A.塔斯基。 11 1958 布尔代数中某些分配律的独立性。 Zbl 0092.03401号 达纳·斯科特 6 1957 有限代数的等式完全扩张。 Zbl 0073.24602号 达纳·斯科特 7 1956 欧几里德几何的对称基本概念。 Zbl 0072.15502号 达纳·斯科特 4 1956 求解线性方程组和矩阵求逆的向量方法。 Zbl 0074.10702号 J.P.罗斯。；D.S.斯科特。 1 1956 抽象代数的等式完备性。 兹比尔0073.24501 简·卡利基；达纳·斯科特 27 1955 所有引用的出版物 前5名被引用出版物 全部的 前5名3098位作者引用 86 李庆国 43 徐晓泉 42 赵东生 38 史福贵 37 费什伯恩，彼得·克林格曼 36 习晓勇 35 张德雪 31 马塞尔·欧内 25 杰米·唐·劳森 25 徐，罗山 25 赵斌 22 让·古鲍特·拉雷克 21 克劳斯·凯梅尔 20 托马斯·库比亚克 19 乌尔里希·赫勒 19 Jäger，冈瑟 19 寇，惠 19 谢尔盖·索洛维奥夫。 18 古拉姆·贝扎尼什维利 18 马库斯·霍尔泽 18 埃斯特班·因杜拉因 18 吉拉斯科娃，加利纳 18 阿希姆·荣格 18 马丁·库特里布 17 哈维尔·古铁雷斯·加西亚 16 沈冲 16 奥斯卡·瓦莱罗 15 阿巴斯·埃达拉特 15 维利亚姆·格弗特 15 郭兰坤 15 德克·霍夫曼 15 Hötzel Escardó，马汀 15 戈登·普洛金（Gordon D.Plotkin）。 15 亚历山大·奥斯塔克。 14 贝德雷加，本杰明·雷内·卡莱哈斯 14 布朗，劳伦斯·迈克尔 14 马里亚纽拉州Dezani-Ciancaglini 14 罗茂康 14 乔瓦尼·皮奇奇尼 14 王龙春 13 丹尼斯·鲍伊苏 13 马修·哈里森·特雷纳 13 Ho，翁金 13 拉尔夫·戴维·科珀曼 13 Mislove，Michael W。 13 阿莱什·普尔特尔 12 胡宝清 12 贾晓东 12 李胜刚 12 乔俊生 12 安德烈亚·特帕夫切维奇 12 张文峰 11 赖洪亮 11 刘英明 11 卢，京 11 萨尔瓦多罗马古拉·博尼拉 11 斯普林，迪特 11 福格勒、海科 11 姚伟 11 张忠熙 10 可口、蒂埃里 10 约斯特·恩格尔弗里特 10 阿西尔·埃斯特万 10 约翰·哈丁 10 奥尔纳·库普弗曼 10 弗雷德·罗伯茨。 10 朱塞佩·罗索里尼 10 什埃什埃尔贾，布朗尼米尔 10 莫西·亚亚科夫·瓦尔迪 10 王凯云 10 岳、岳丽 9 伯纳德·贝茨 9 玛丽亚·安吉利斯，德普拉达·维森特 9 曼弗雷德·德罗斯特 9 方、金明 9 Dimitrios N.乔治奥。 9 朱莉娅·奈特。 9 Kudri，Soraya R.T。 9 汉斯·佩特·A·Künzi。 9 M.Andrew Moshier 9 简·帕塞卡 9 希拉里·普里斯特利（Hilary A.Priestley）。 9 安德烈·斯切德罗夫 9 马蒂亚斯·施罗德 9 达娜·斯图尔特·斯科特 9 丹尼尔·韦塞尔 9 菲利兹·伊尔迪斯 8 阿达梅克，吉安尼 8 法比奥·阿莱西 8 乌尔里希·伯杰 8 玛丽亚·杰苏斯·坎皮翁 8 陈一香 8 卡尔·A·冈特。 8 何庆余 8 莱因霍尔德·赫克曼 8 卡尔·海因里希·霍夫曼 8 朱拉吉·赫罗姆科维奇 8 朱哈尼·卡鲁马基 8 霍华德·杰罗姆·凯斯勒 8 李凌强 …还有2998位作者 全部的 前5名352篇连载文章中引用 396 理论计算机科学 258 模糊集与系统 195 拓扑及其应用 126 纯逻辑与应用逻辑年鉴 96 信息与计算 93 数学心理学杂志 79 计算机与系统科学杂志 65 纯粹与应用代数杂志 63 MSCS公司。计算机科学中的数学结构 56 代数普遍性 52 半群论坛 52 Studia Logica公司 50 应用的分类结构 48 信息科学 48 订单 42 国际近似推理杂志 38 哲学逻辑杂志 32 计算机科学中的逻辑方法 31 合成 30 数学逻辑档案 29 信息处理信件 29 美国数学学会会刊 27 数学社会科学 26 软计算 25 信息学报 24 数学分析与应用杂志 24 符号逻辑杂志 22 圣母院形式逻辑杂志 21 美国数学学会会刊 21 Quaestions数学 21 符号逻辑述评 20 代数杂志 19 数学进展 19 数学系统理论 19 数学逻辑季刊（MLQ） 18 应用逻辑杂志 17 人工智能 17 离散数学 16 以色列数学杂志 16 代数与逻辑 16 理论与决策 16 伊朗模糊系统杂志 15 符号逻辑公报 14 凯贝内提卡 13 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 12 Indagationes Mathematicae公司。新系列 12 菲洛马 12 函数编程杂志 11 离散应用数学 11 自动推理杂志 11 拓扑程序 11 程序设计中的逻辑和代数方法杂志 10 经济理论杂志 10 数学经济学杂志 10 斯洛伐克数学 10 西伯利亚数学杂志 10 范畴的理论与应用 10 逻辑与逻辑哲学 9 Archive für Mathematische Logik und Grundlagenforschung公司 9 休斯顿数学杂志 9 数学学报。英语系列 9 泛逻辑 9 开放数学 8 代数通讯 8 国际理论物理杂志 8 数学档案馆 8 RAIRO公司。Informatique Théorique et Applications公司 7 心理测量学 7 数学期刊 7 计算的形式方面 7 计算系统理论 7 国际不确定性、模糊性和基于知识的系统杂志 7 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 7 美国数学学会公报 7 RAIRO公司。理论信息学及其应用 6 计算机与数学及其应用 6 洛基山数学杂志 6 数学合成 6 捷克斯洛伐克数学杂志 6 国际数学与数学科学杂志 6 京都大学数学科学研究所出版物 6 意大利信息研究所 6 控制论 6 欧洲运筹学杂志 6 应用非经典逻辑杂志 6 计算与应用数学 6 摘要与应用分析 6 RAIRO公司。理论信息学及其应用 6 逻辑与代数程序设计杂志 6 范畴和一般代数结构及其应用 5 数学笔记 5 Automatica公司 5 计算 5 数学手稿 5 匈牙利数学学报 5 国际计算机科学基础杂志 5 数学成像与视觉杂志 5 控制论与系统分析 5 智能与模糊系统杂志 5 应用的一般拓扑 …还有252部连续剧 全部的 前5名53个领域被引用 1,324 计算机科学（68至XX） 1,225 数理逻辑与基础（03-XX） 1,061 阶、格、有序代数结构（06-XX） 785 一般拓扑结构（54至XX） 484 范畴理论；同调代数（18-XX） 211 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 118 一般代数系统（08-XX） 88 群论与推广（20-XX） 72 功能分析（46倍X倍） 71 概率论与随机过程（60-XX） 52 组合数学（05-XX） 49 拓扑群、李群（22日至XX日） 40 测量和集成（28-XX） 38 结合环与代数（16-XX） 34 量子理论（81-XX） 33 历史和传记（01-XX） 31 代数几何（14-XX） 31 统计学（62-XX） 27 运筹学、数学规划（90-XX） 26 实际功能（26年X月X日） 26 凸和离散几何（52至XX） 25 代数拓扑（55-XX） 24 交换代数（13-XX） 22 信息与通信理论、电路（94-XX） 17 总体主题；集合（00-XX） 16 系统论；控制（93至XX） 14 数论（11-XX） 13 算子理论（47-XX） 12 线性代数和多线性代数；矩阵理论（15-XX） 11 变分法与最优控制；最优化（49至XX） 11 几何图形（51至XX） 11 歧管和细胞复合体（57-XX） 10 场论与多项式（12-XX） 9 数值分析（65-XX） 9 生物学和其他自然科学（92-XX） 8 动力系统和遍历理论（37至XX） 7 \（K\）理论（19-XX） 7 相对论和引力理论（83至XX） 6 微分几何（53至XX） 5 非结合环和代数（17-XX） 5 近似和展开（41至XX） 4 抽象谐波分析（43至XX） 三 整体分析，流形分析（58至XX） 2 复变量的函数（30年XX月） 2 几个复变量和分析空间（32-XX） 2 常微分方程（34-XX） 1 势能理论（31日至XX日） 1 特殊功能（33至XX） 1 差分和函数方程（39至XX） 1 积分变换，运算微积分（44-XX） 1 经典热力学，传热（80-XX） 1 统计力学，物质结构（82-XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.