编辑配置文件（在新选项卡中打开） Jan A.Bergstra。 合著者距离 作者ID： 伯格斯特拉贾纳 发布日期： J.A.伯格斯特拉。；Jan A.Bergstra。；伯格斯特拉（Jan Bergstra）；J.伯格斯特拉。 更多。。。较少的 其他拼写： 约翰·奥尔德特·伯格斯特拉 主页： https://staff.fnwi.uva.nl/j.a.bergstra网站/ 外部链接： MGP公司·逆戟鲸·维基数据·谷歌学者·ResearchGate研究之门·数据库许可证·接地·ID参考 已编制索引的文档： 249出版物自1976年以来，包括21本书和8份额外的arXiv预印本 5作为编辑的贡献·2进一步捐款 审查活动： 5评论 合著者： 44位合著者具有235联合出版物 918合著作者 全部的 前5名合著者 18 单作者的 57 科内利斯·A·米德尔堡。 44 约翰·V·塔克。 42 扬·威廉·克鲁普 31 阿尔班·蓬塞 20 Jos C.M.Baeten。 17 英格·贝斯克 11 Jerzy Tiuryn 9 约翰·朱尔斯·查尔斯·梅耶 6 海林，简 5 tefénescu，Gheorghe 4 保罗·克林特 4 范德维德，西奥·P·。 三 雅各布斯·W·德·巴克。 三 约拉姆·赫什菲尔德 三 织机，M.E。 三 亚历山大·奥伦格伦 2 亨德里克·彼得·巴伦德雷格特 2 安娜·奇米林斯卡 2 威廉·扬·福克金 2 Henk J.M.戈曼。 2 斯科特·斯莫尔卡。 2 Daan J.C.斯塔特。 2 范德兹瓦格，马克B。 2 亨利·沃尔肯 2 马丁·威尔辛 1 Krzysztof Rafal公寓 1 肯尼斯·琼·巴维斯 1 罗兰·博尔。 1 曼弗雷德·布罗伊 1 马克·伯吉斯 1 所罗门·费弗曼 1 Loe M.G.Feijs。 1 延斯·埃里克·芬斯塔德 1 Sy-David弗里德曼 1 罗宾·甘迪。 1 迪米特里·亨德里克斯 1 Hyland，J.Martin E。 1 亚历山大·凯克里斯。 1 曼纽尔·勒曼 1 沃尔夫冈·马斯 1 V.Wiktor马雷克 1 绍克·莫 1 Meertens，Lambert G.L.T。 1 梅耶，J.Ch。 1 约翰·莫尔德斯塔德 1 达格·诺曼 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 彼得·罗登堡。 1 简·J·M·M·鲁顿。 1 萨克斯，杰拉尔德·伊诺克 1 理查德·阿诺德·肖尔 1 斯蒂芬·辛普森。 1 辛特，H.J。 1 ⑩tefaonescu，Gh。 1 维戈·斯托尔滕贝格·汉森 1 J·H·特·贝克。 1 特普斯特拉，G.A。 1 亚罗斯拉夫·乌森科。 1 van Benthem，Johan F.A.K。 1 范德波尔，扬·科内利斯 1 范德里特（van de Riet）、雷德·P·。 1 范德梅伦（van der Meulen），Sietse G。 1 范·埃姆德·博阿斯（Peter van Emde Boas） 1 范·列文（Jan Van Leeuwen） 1 约翰内斯·范·弗利特（Johannes C.van Vliet）。 1 马林纳斯·维尔德霍斯特 1 斯坦利·斯科特·韦纳 1 W.Peter Weijland 1 弗里克·威迪杰克 全部的 前5名系列 24 理论计算机科学 20 计算机科学科学年鉴 12 计算机基础理论 9 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 8 信息处理信件 7 信息学报 7 计算的形式方面 7 计算系统理论 7 应用逻辑杂志 6 逻辑与代数程序设计杂志 5 信息与计算 4 国际计算机数学杂志 4 应用非经典逻辑杂志 三 信息和控制 三 计算机协会杂志 三 圣母院形式逻辑杂志 三 Elektronische信息verarbeitung und Kybernetik 2 计算机与系统科学杂志 2 SIAM计算机杂志 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 摩尔多瓦计算机科学杂志 2 美国医学会杂志 2 ACM计算逻辑事务 2 计算机科学课堂讲稿 1 《数学与应用》（Revue Roumaine de Mathématiques Pures et Appliques） 1 《计算机杂志》。A部分/B部分 1 符号逻辑杂志 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 纯逻辑与应用逻辑年鉴 1 国际计算机科学基础杂志 1 Indagationes Mathematicae公司。新系列 1 逻辑、语言与信息杂志 1 欧洲理论计算机科学协会公报 1 逻辑与数学基础研究 1 计算机科学中的逻辑方法 1 荷兰Akademie van Wetenschappen。诉讼程序。系列A.Indagationes Mathematicae 1 程序设计中的逻辑和代数方法杂志 1 亚特兰蒂斯计算机研究 1 MC教学大纲 全部的 前5名领域 233 计算机科学（68至XX） 70 数理逻辑与基础（03-XX） 三 总体主题；集合（00-XX） 三 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 一般代数系统（08-XX） 2 结合环与代数（16-XX） 2 概率论与随机过程（60-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 场论与多项式（12-XX） 1 交换代数（13-XX） 1 群论与推广（20-XX） 1 一般拓扑结构（54至XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 191出版物有1923年被引用中的次991文件 引用人▼ 年份▼ 同步通信的进程代数。 Zbl 0597.68027号 J.A.伯格斯特拉。；Klop，J.W。 209 1984 用抽象传递过程的代数。 Zbl 0579.68016号 J.A.伯格斯特拉。；Klop，J.W。 147 1985 过程代数手册。 Zbl 0971.00006号 88 2001 实时进程代数。 Zbl 0719.68020号 巴顿，J.C.M。；伯格斯特拉，J.A。 59 1991 进程代数中中断机制的语法和定义公式。 Zbl 0617.68027号 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。 57 1986 条件重写规则：合并和终止。 Zbl 0658.68031号 J.A.伯格斯特拉。；Klop，J.W。 57 1986 论库门公平抽象规则的一致性。 Zbl 0621.68010号 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。 43 1987 模代数。 兹伯利0696.68040 J.A.伯格斯特拉。；海林，J。；克林特，P。 43 1990 生成无上下文语言的过程的互模拟等价性的判定。 Zbl 0801.68102号 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。 41 1993 可计算和半可计算数据类型的代数规范。 Zbl 0637.68013号 J.A.伯格斯特拉。；J.V.塔克。 35 1987 递归定义过程的代数和正则过程的代数。 Zbl 0561.68019号 J.A.伯格斯特拉。；Klop，J.W。 34 1984 具体进程代数中的全局重命名运算符。 Zbl 0651.68031号 巴顿，J.C.M。；伯格斯特拉，J.A。 32 1988 通过有限方程规范方法描述可计算数据类型。 Zbl 0449.68003号 J.A.伯格斯特拉。；J.V.塔克。 28 1980 带组合子的过程代数。 Zbl 0953.68572号 J.A.伯格斯特拉。；我·贝斯克。；A.Ponse。 28 1994 公理化概率过程：具有生成概率的ACP。 Zbl 0829.60044号 巴顿，J.C.M。；J.A.伯格斯特拉。；S.A.斯莫尔卡。 28 1995 通信过程的代数。 Zbl 0605.68013号 J.A.伯格斯特拉。；Klop，J.W。 24 1986 生成无上下文语言的过程的互模拟等价性的判定。 兹比尔0635.68014 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。 24 1987 序列代码的程序代数。 Zbl 1008.68079号 J.A.伯格斯特拉。；Loots，M.E.先生。 24 2002 混合系统的进程代数。 兹比尔1080.68073 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 24 2005 数据类型规范的初始和最终代数语义：两个特征化定理。 Zbl 0515.68016号 J.A.伯格斯特拉。；J.V.塔克。 24 1983 有四个值的命题逻辑：真、假、发散和无意义。 Zbl 0843.03012号 Jan A.Bergstra。；英格·贝斯克；彼得·罗登堡 24 1995 具有优先级的术语重写系统。 Zbl 0657.68028号 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。 24 1987 带有命题信号的过程代数。 Zbl 0901.68117号 巴顿，J.C.M。；J.A.伯格斯特拉。 22 1997 通过进程代数验证交替位协议。 Zbl 0595.68024号 J.A.伯格斯特拉。；Klop，J.W。 21 1986 代数规范。 Zbl 0711.68073号 21 1989 离散时间过程代数。 Zbl 0849.68033号 巴顿，J.C.M。；伯格斯特拉，J.A。 21 1996 进程代数：互模拟语义中的规范和验证。 Zbl 0625.68023号 J.A.伯格斯特拉。；Klop，J.W。 20 1986 具有规则优先级的Term-重写系统。 Zbl 0686.68018号 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。；韦杰兰德，W.P。 20 1989 有理数作为抽象数据类型。 Zbl 1292.68105号 Jan A.Bergstra。；J.V.塔克。 20 2007 带有优先级运算符的具体进程代数的就绪跟踪语义。 Zbl 0627.68016号 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。 18 1987 霍尔逻辑的表达能力和完整性。 Zbl 0549.68021号 J.A.伯格斯特拉。；J.V.塔克。 18 1982 带合并的递归的线性时间和分支时间语义。 Zbl 0985.68517号 德·巴克尔，J.W。；J.A.伯格斯特拉。；Klop，J.W。；梅耶，J.-J.Ch。 17 1984 关于代数规格说明的威力。 Zbl 0462.68001号 J.A.伯格斯特拉。；布罗伊，M。；J.V.塔克。；Wirsing，M。 16 1981 草地和划分的等式规范。 Zbl 1172.68039号 J.A.伯格斯特拉。；Y.Hirshfeld。；J.V.塔克。 16 2009 一个完整的推理系统，用于具有无声移动的正则进程。 Zbl 0647.68033号 J.A.伯格斯特拉。；Klop，J.W。 15 1988 基于互模拟语义的过程理论。（教程）。 兹伯利0683.68066 J.A.伯格斯特拉。；Klop，J.W。 15 1989 结合程序和状态机。 Zbl 1008.68068号 Jan A.Bergstra。；阿尔班·蓬塞 14 2002 可计算数据类型的代数规范方法的完整性。 Zbl 0513.68017号 J.A.伯格斯特拉。；J.V.塔克。 13 1982 具有递归操作的进程代数。 Zbl 1027.68091号 Jan A.Bergstra。；Wan Fokkink公司；阿尔班·蓬塞 12 2001 等式规范，完整项重写系统，可计算和半可计算代数。 Zbl 0885.68092号 J.A.伯格斯特拉。；J.V.塔克。 12 1995 过渡系统的逻辑。 Zbl 0827.03019号 约翰·范·本特姆；伯格斯特拉（Jan Bergstra） 12 1995 可计算和半可计算数据结构的代数规范。 Zbl 0419.68029号 J.A.伯格斯特拉。；J.V.塔克。 11 1979 通信过程代数中的就绪和失败。 Zbl 0677.68089号 J.A.伯格斯特拉。；Klop，J.W。；E.-R.奥尔德罗。 11 1988 lambda代数中的可表示性。 Zbl 0399.03013号 亨克·巴伦德雷格特；伯格斯特拉（Jan Bergstra）；扬·威廉·克鲁普；亨利·沃尔肯 10 1976 倒置草甸和分裂草甸。 兹比尔1251.68144 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 10 2011 用于策略交错的线程代数。 Zbl 1131.68067号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 10 2007 通过有限的等式规范方法对可计算数据类型进行表征。 Zbl 0417.68012号 J.A.伯格斯特拉。；J.V.塔克。 9 1979 弗洛伊德原理、正确性理论和程序等价。 Zbl 0474.68017号 伯格斯特拉，J.A。；Tiuryn，J。；J.V.塔克。 9 1982 在普通草地上被零除。 Zbl 1453.68104号 Jan A.Bergstra。；阿尔班·蓬塞 9 2015 实空间进程代数。 Zbl 0942.68607号 巴顿，J.C.M。；J.A.伯格斯特拉。 8 1993 在顺序组合中，操作前缀和进程前缀。 Zbl 0942.68608号 巴顿，J.C.M。；伯格斯特拉，J.A。 8 1994 自顶向下设计和通信过程代数。 Zbl 0606.68021号 J.A.伯格斯特拉。；J.V.塔克。 8 1985 具有四值逻辑的进程代数。 Zbl 1036.68067号 Jan A.Bergstra。；阿尔班·蓬塞 8 2000 分支时间和正交互模拟等价性。 Zbl 1070.68100号 Jan A.Bergstra。；阿尔班·蓬塞；范德兹瓦格，马克B。 8 2003 广义递归理论2。1977年奥斯陆研讨会记录。 Zbl 0453.03047号 8 1978 一些自然结构在其while-programs中没有一个合理且可判定的Hoare-like逻辑。 Zbl 0483.68033号 J.A.伯格斯特拉。；J.V.塔克。 8 1982 具有最小参数和目标代数的参数化数据类型的代数规范。 兹伯利0489.68016 J.A.伯格斯特拉。；Klop，J.W。 8 1982 多层次策略的线程代数。 Zbl 1095.68061号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 7 2006 极化进程代数和程序等价。 Zbl 1039.68040号 Jan A.Bergstra。；英格·贝斯克 7 2003 具有异步通信机制的进程代数。 Zbl 0579.68015号 J.A.伯格斯特拉。；Klop，J.W。；J.V.塔克。 7 1985 lambda演算中的强正规化和永久约简。 Zbl 0523.03009号 Jan A.Bergstra。；扬·威廉·克鲁普 7 1982 拆分相互模拟和追溯条件。 Zbl 1104.68070号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 6 2006 有理复数的初等代数规范。 Zbl 1132.68485号 Jan A.Bergstra。；约翰·V·塔克。 6 2006 在非进化草甸中被零除。 Zbl 1401.68209号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 6 2015 组件代码的程序代数。 Zbl 0964.68509号 J.A.伯格斯特拉。；Loots，M.E.先生。 6 2000 Bochvar-McCarthy逻辑和过程代数。 兹伯利0970.68115 Jan A.Bergstra。；阿尔班·蓬塞 6 1998 霍尔的逻辑和皮亚诺的算术。 Zbl 0497.68007号 J.A.伯格斯特拉。；J.V.塔克。 6 1983 具有多级策略交错的线程代数。 Zbl 1113.68426号 Jan A.Bergstra。；米德尔堡，C.A.（Kees） 6 2005 克莱恩的三值逻辑和过程代数。 Zbl 1338.68200号 Jan A.Bergstra。；阿尔班·蓬塞 6 1998 约化交换环上的分数和分数。 Zbl 1348.13012号 Jan A.Bergstra。；阿尔班·蓬塞 6 2016 用于流水线指令处理的Maurer计算机。 兹比尔1141.68010 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 6 2008 队列的进程代数语义。 Zbl 0636.68025号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 5 1987 程序代数的执行体系结构。 Zbl 1116.68024号 Jan A.Bergstra。；阿尔班·蓬塞 5 2007 下推线程的决策问题。 兹比尔1120.68077 Jan A.Bergstra。；英格·贝斯克；阿尔班·蓬塞 5 2007 离散时间工具软件协调体系结构。 Zbl 0941.68010号 J.A.伯格斯特拉。；克林特，P。 5 1998 通过方程和条件方程指定有限数据类型的界限。 Zbl 0421.68020号 J.A.伯格斯特拉。；J.V.塔克。 5 1980 指令流的传输协议。 Zbl 1250.68183号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 5 2009 规范的细化和霍尔逻辑的稳定性。 Zbl 0504.68019号 J.A.伯格斯特拉。；J.V.塔克。 5 1982 关于霍尔逻辑完备性的两个定理。 兹比尔0541.68008 J.A.伯格斯特拉。；J.V.塔克。 5 1982 参数化数据类型的初始代数规范。 Zbl 0549.68012号 J.A.伯格斯特拉。；Klop，J.W。 5 1982 带有状态运算符的递归流程定义。 Zbl 0724.68035号 巴顿，J.C.M。；J.A.伯格斯特拉。 5 1991 命题代数。 Zbl 1352.03040号 Jan A.Bergstra。；阿尔班·蓬塞 5 2011 进程代数的模型理论。 Zbl 1171.68561号 Jan A.Bergstra。；米德尔堡，C.A.（Kees） 4 2005 优先选择和协调条件。 Zbl 1106.68071号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2007 具有多级策略交错的线程代数。 Zbl 1127.68066号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2007 离散时间进程代数和SDL的语义。 Zbl 1020.68063号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。；Usenko，Y.S。 4 2001 进程代数中的非正则迭代器。 兹伯利0983.68138 Jan A.Bergstra。；阿尔班·蓬塞 4 2001 过程代数和条件合成。 Zbl 1003.68091号 Jan A.Bergstra。；阿尔班·蓬塞 4 2001 递归断言是不够的，还是不够？ Zbl 0393.68016号 Krzysztof R.阿普特。；Jan A.Bergstra。；Meertens，Lambert G.L.T。 4 1979 lambda演算中的Church-Rosser策略。 Zbl 0404.03015号 伯格斯特拉（Jan Bergstra）；扬·威廉·克鲁普 4 1979 可计算数据类型的等式规范：六个隐藏函数足够和其他充分性边界。 Zbl 0418.68019号 J.A.伯格斯特拉。；J.V.塔克。 4 1979 指令序列处理运算符。 Zbl 1279.68075号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2012 具有有限理解项的过程微积分。 Zbl 1283.68233号 伯格斯特拉，J.A。；加利福尼亚州米德尔堡。 4 2013 一种自然数据类型，具有有限的等式最终语义规范，但没有有效的等式初始语义规范。 Zbl 0421.68021号 J.A.伯格斯特拉。；J.V.塔克。 4 1980 具有五值条件的进程代数。 Zbl 0960.68123号 Jan A.Bergstra。；阿尔班·蓬塞 4 1999 代数指定的编程系统和霍尔逻辑。 Zbl 0465.68003号 伯格斯特拉，J.A。；J.V.塔克。 4 1981 使用跳转指令编程代数。 Zbl 1158.68359号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2008 合计字段中的分区安全计算。 Zbl 1162.68479号 J.A.伯格斯特拉。；J.V.塔克。 4 2008 Tuplix演算。 Zbl 1424.68098号 J.A.伯格斯特拉。；A.Ponse。；Van Der Zwaag，医学博士。 4 2008 在分裂草甸中将分数转换为简单分数。 Zbl 1401.68210号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2016 求有理数算术的等式。 Zbl 07713583号 Jan A.Bergstra。；约翰·V·塔克。 1 2023 作为抽象数据类型的有理数轮子。 Zbl 07415131号 Jan A.Bergstra。；约翰·V·塔克。 三 2021 具有真分数的算术数据类型。 Zbl 1448.68323号 Jan A.Bergstra。；阿尔班·蓬塞 1 2020 有理数抽象数据类型的最通用代数规范。 Zbl 1513.68032号 Jan A.Bergstra。 1 2020 具有正式更改理由的指令序列错误。 Zbl 1513.68008号 Jan A.Bergstra。 1 2020 草地品种的亚变种。 Zbl 1424.68095号 Jan A.Bergstra。；英格·贝斯克 2 2017 符号对合草地背景下的概率函数（扩展摘要）。 Zbl 1453.68105号 Jan A.Bergstra。；阿尔班·蓬塞 1 2017 单程指令序列行为一致性公理。 Zbl 1424.68027号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2017 约化交换环上的分数和分数。 Zbl 1348.13012号 Jan A.Bergstra。；阿尔班·蓬塞 6 2016 在分裂草甸中将分数转换为简单分数。 Zbl 1401.68210号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2016 关于程序代数中布尔寄存器的指令集。 Zbl 1424.68032号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2016 奇偶校验的指令序列大小复杂性。 Zbl 1373.68218号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2016 在普通草地上被零除。 Zbl 1453.68104号 Jan A.Bergstra。；阿尔班·蓬塞 9 2015 在非进化草甸中被零除。 Zbl 1401.68209号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 6 2015 命题代数的评估树。 Zbl 1444.03110号 Jan A.Bergstra。；阿尔班·蓬塞 2 2015 形式上真实草地的方程式。 Zbl 1350.68189号 Jan A.Bergstra。；英格·贝斯克；阿尔班·蓬塞 1 2015 关于拟一致性和分数推理的注记。 Zbl 1398.03137号 Jan A.Bergstra。；英格·贝斯克 1 2015 关于计算位串函数的指令序列的算法等价性。 Zbl 1334.68313号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2015 基于指令序列的非均匀复杂性类。 Zbl 1424.68036号 伯格斯特拉（Jan Bergstra）；科内利斯米德尔堡 1 2014 具有有限理解项的过程微积分。 Zbl 1283.68233号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2013 指令序列处理运算符。 Zbl 1279.68075号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2012 命题代数和短路逻辑。 Zbl 1354.03035号 Jan A.Bergstra。；阿尔班·蓬塞 三 2012 关于单程指令序列的表达性。 Zbl 1278.68032号 伯格斯特拉，J.A。；加利福尼亚州米德尔堡。 1 2012 执行中指令序列产生的行为。 Zbl 1256.68041号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2012 倒置草甸和分裂草甸。 兹比尔1251.68144 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 10 2011 命题代数。 Zbl 1352.03040号 Jan A.Bergstra。；阿尔班·蓬塞 5 2011 取消草地上总计算的直线指令序列完整性。 Zbl 1217.68141号 Jan A.Bergstra。；英格·贝斯克 三 2011 四值序列逻辑的微积分。 Zbl 1227.03028号 Jan A.Bergstra。；范德波尔（Jaco van de Pol） 1 2011 流程组件的接口组。 Zbl 1204.68134号 Jan A.Bergstra。；科内利斯·A·米德尔堡。 2 2010 分子动力学的线程演算。 Zbl 1197.68046号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 2 2010 关于负载/存储架构的操作单元大小。 Zbl 1206.68114号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2010 草甸和等式划分规范。 Zbl 1172.68039号 伯格斯特拉，J.A。；Y.Hirshfeld。；J.V.塔克。 16 2009 指令流的传输协议。 Zbl 1250.68183号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 5 2009 带有动态实例化指令的指令序列。 Zbl 1200.68069号 Jan A.Bergstra。；科内利斯·A·米德尔堡。 2 2009 面向机器结构的控制代码逻辑。 Zbl 1186.68104号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2009 具有对合反自同构的指令序列半群。 Zbl 1424.68037号 J.A.伯格斯特拉。；A.Ponse。 1 2009 用于流水线指令处理的Maurer计算机。 兹比尔1141.68010 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 6 2008 使用跳转指令编程代数。 Zbl 1158.68359号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2008 合计字段中的分区安全计算。 Zbl 1162.68479号 J.A.伯格斯特拉。；J.V.塔克。 4 2008 Tuplix演算。 Zbl 1424.68098号 J.A.伯格斯特拉。；A.Ponse。；Van Der Zwaag，医学博士。 4 2008 字段、草地和抽象数据类型。 兹伯利1134.68034 伯格斯特拉（Jan Bergstra）；约拉姆·赫什菲尔德；约翰·塔克 1 2008 在Maurer机器上模拟图灵机器。 Zbl 1150.03011号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 1 2008 线程代数和风险评估服务。 Zbl 1149.68022号 Jan A.Bergstra。；英格·贝斯克；阿尔班·蓬塞 1 2008 有理数作为抽象数据类型。 Zbl 1292.68105号 Jan A.Bergstra。；J.V.塔克。 20 2007 用于策略交错的线程代数。 Zbl 1131.68067号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 10 2007 程序代数的执行体系结构。 Zbl 1116.68024号 Jan A.Bergstra。；阿尔班·蓬塞 5 2007 下推线程的决策问题。 兹比尔1120.68077 Jan A.Bergstra。；英格·贝斯克；阿尔班·蓬塞 5 2007 优先选择和协调条件。 Zbl 1106.68071号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2007 具有多级策略交错的线程代数。 Zbl 1127.68066号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 4 2007 带有间接跳转的指令序列。 兹比尔1349.68048 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 三 2007 显式多线程的同步合作。 Zbl 1133.68051号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 三 2007 网络和系统管理手册。 Zbl 1147.68300号 1 2007 多层次策略的线程代数。 Zbl 1095.68061号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 7 2006 拆分共刺激和回顾性条件。 Zbl 1104.68070号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 6 2006 有理复数的基本代数规范。 Zbl 1132.68485号 Jan A.Bergstra。；约翰·V·塔克。 6 2006 连续性控制的混合自动机。 Zbl 1088.68085号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 2 2006 有理函数域的基本代数规范。 Zbl 1145.68465号 J.A.伯格斯特拉。 2 2006 混合系统的进程代数。 兹比尔1080.68073 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 24 2005 具有多级策略交错的线程代数。 Zbl 1113.68426号 Jan A.Bergstra。；Middelburg，C.A.（基斯） 6 2005 进程代数的模型理论。 Zbl 1171.68561号 Jan A.Bergstra。；米德尔堡，C.A.（Kees） 4 2005 具有反应合成的极化过程代数。 Zbl 1077.68057号 J.A.伯格斯特拉。；我·贝斯克。 三 2005 强分裂互模拟等价。 Zbl 1151.68504号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。 2 2005 基于机器功能的控制代码代数。 Zbl 1104.68407号 Jan A.Bergstra。 1 2004 在进程代数中定位带有计时的动作。 Zbl 1098.68085号 Jan A.Bergstra。；科内利斯·A·米德尔堡。 1 2004 分支时间和正交共刺激等价。 Zbl 1070.68100号 Jan A.Bergstra。；阿尔班·蓬塞；范德兹瓦格，马克B。 8 2003 极化进程代数和程序等价。 Zbl 1039.68040号 Jan A.Bergstra。；英格·贝斯克 7 2003 序列代码的程序代数。 Zbl 1008.68079号 J.A.伯格斯特拉。；Loots，M.E.先生。 24 2002 结合程序和状态机。 Zbl 1008.68068号 Jan A.Bergstra。；阿尔班·蓬塞 14 2002 分子动力学。 Zbl 1008.68033号 J.A.伯格斯特拉。；我·贝斯克。 1 2002 过程代数手册。 Zbl 0971.00006号 88 2001 具有递归操作的进程代数。 Zbl 1027.68091号 Jan A.Bergstra。；Wan Fokkink公司；阿尔班·蓬塞 12 2001 离散时间进程代数和SDL的语义。 Zbl 1020.68063号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。；Usenko，Y.S。 4 2001 进程代数中的非正则迭代器。 Zbl 0983.68138号 Jan A.Bergstra。；阿尔班·蓬塞 4 2001 过程代数和条件合成。 Zbl 1003.68091号 Jan A.Bergstra。；阿尔班·蓬塞 4 2001 基于注册表的进程。 Zbl 1323.68401号 Jan A.Bergstra。；阿尔班·蓬塞 2 2001 具有四值逻辑的进程代数。 Zbl 1036.68067号 Jan A.Bergstra。；阿尔班·蓬塞 8 2000 组件代码的程序代数。 Zbl 0964.68509号 J.A.伯格斯特拉。；Loots，M.E.先生。 6 2000 具有五值条件的进程代数。 Zbl 0960.68123号 Jan A.Bergstra。；阿尔班·蓬塞 4 1999 Bochvar-McCarthy逻辑和过程代数。 Zbl 0970.68115号 Jan A.Bergstra。；阿尔班·蓬塞 6 1998 克莱恩的三值逻辑和过程代数。 兹比尔1338.68200 Jan A.Bergstra。；阿尔班·蓬塞 6 1998 离散时间工具总线。–软件协调体系结构。 Zbl 0941.68010号 J.A.伯格斯特拉。；克林特，P。 5 1998 具有恶魔关系运算符的网络代数。 Zbl 0998.68060号 伯格斯特拉，J.A。；⑩tefnescu，Gh。 三 1998 拆分和ST互模拟语义中的死锁行为。 Zbl 0919.68081号 巴顿，J.C.M。；J.A.伯格斯特拉。 2 1998 带有命题信号的过程代数。 Zbl 0901.68117号 巴顿，J.C.M。；J.A.伯格斯特拉。 22 1997 异步数据流的网络代数。 Zbl 0891.68040号 J.A.伯格斯特拉。；加利福尼亚州米德尔堡。；乔治亚州斯特夫内斯库。 三 1997 离散时间过程代数。 Zbl 0849.68033号 巴顿，J.C.M。；J.A.伯格斯特拉。 21 1996 具有多个入口和出口的过程模同构和模互模拟。 兹比尔0854.68031 J.A.伯格斯特拉。；斯特夫内斯库，Gh。 2 1996 时间帧代数。 Zbl 1001.68518号 J.A.伯格斯特拉。；W.J.福克金。；加利福尼亚州米德尔堡。 1 1996 公理化概率过程：具有生成概率的ACP。 Zbl 0829.60044号 巴顿，J.C.M。；J.A.伯格斯特拉。；S.A.斯莫尔卡。 28 1995 有四个值的命题逻辑：真、假、发散和无意义。 Zbl 0843.03012号 Jan A.Bergstra。；英格·贝斯克；彼得·罗登堡 24 1995 等式规范，完整项重写系统，可计算和半可计算代数。 Zbl 0885.68092号 J.A.伯格斯特拉。；J.V.塔克。 12 1995 过渡系统的逻辑。 Zbl 0827.03019号 约翰·范·本特姆；伯格斯特拉（Jan Bergstra） 12 1995 堆栈代数的数据类型变化。 Zbl 0821.68082号 J.A.伯格斯特拉。；J.V.塔克。 三 1995 具有抽象的离散时间过程代数。 Zbl 1504.68137号 巴顿，J.C.M。；J.A.伯格斯特拉。 1 1995 带组合子的过程代数。 兹比尔0953.68572 J.A.伯格斯特拉。；我·贝斯克。；A.Ponse。 28 1994 在顺序组合中，操作前缀和进程前缀。 Zbl 0942.68608号 巴顿，J.C.M。；J.A.伯格斯特拉。 8 1994 互模拟是双向模拟。 Zbl 0938.68742号 J.A.伯格斯特拉。；⑩tefnescu，Gh。 2 1994 生成无上下文语言的过程的互模拟等价性的判定。 Zbl 0801.68102号 巴顿，J.C.M。；J.A.伯格斯特拉。；Klop，J.W。 41 1993 实空间进程代数。 兹比尔0942.68607 巴顿，J.C.M。；J.A.伯格斯特拉。 8 1993 流程图方案和过程图之间的转换。 Zbl 0794.68053号 J.A.伯格斯特拉。；⑩tefnescu，Gh。 1 1993 …还有91个文档 所有引用的出版物 前5名被引用出版物 全部的 前5名被991位作者引用 86 Jan A.Bergstra。 32 卢卡·埃特罗 30 Jos C.M.Baeten。 30 科内利斯·A·米德尔堡。 28 阿尔班·蓬塞 24 Ingólfsdóttir，安娜 23 威廉·扬·福克金 22 巴斯·卢提克 22 约翰·V·塔克。 22 范格拉贝克、罗伯特·扬 20 何塞·梅塞盖尔·瓜伊塔 16 米歇尔·阿德里安 14 扬·威廉·克鲁普 14 约翰·朱尔斯·查尔斯·梅耶 13 Jan Friso，格鲁特 12 英格·贝斯克 12 迪亚科内斯库，勒兹万 11 杰拉尔德·吕特根 10 马丁·威尔辛 9 马可·贝尔纳多 9 埃里克·P·德文克。 9 安东尼·库塞拉 9 乌戈·蒙塔纳里。 9 卢茨·施罗德 9 西蒙·蒂尼 9 van Benthem，Johan F.A.K。 8 牧场克利夫兰 8 洛科·德尼古拉 8 彼得·霍夫纳 8 斯科特·斯莫尔卡。 8 沃尔特·福格勒 7 瓦伦蒂娜·卡斯蒂格利奥尼 7 Pieter J.L.Cuijpers。 7 雅各布斯·W·德·巴克。 7 皮耶保罗·德加诺 7 贡查罗夫，谢尔盖·萨沃斯特·亚诺维奇 7 罗伯托·戈里埃里 7 卡西莫夫，纳迪穆拉·哈比卜拉耶维奇 7 法隆·莫勒 7 奥尔德罗格（Ernst-Rüdiger Olderog） 7 范德波尔，扬·科内利斯 6 罗伯特·J·科尔文。 6 弗拉维奥·科拉迪尼 6 C.A.R.Tony Hoare 6 李因苏普 6 马丁·奥列特，纳西索 6 理查德·梅尔。 6 阿尔特·米德尔多普 6 蒂尔·莫萨科夫斯基 6 伊恩·菲利普斯。 6 科拉多·普里亚米 6 Masahiko酒井 6 Vaandrager，Frits W。 6 范德兹瓦格，马克B。 5 苏珊娜·安多瓦 5 塞尔吉奥·安托伊 5 纳鸿·德肖维茨 5 休伯特·加拉维 5 约拉姆·赫什菲尔德 5 彼得·扬查尔 5 圣埃芬·卡普兰 5 Bakhadyr M.库萨诺夫。 5 萨尔瓦多卢卡斯 5 伯恩哈德·莫勒 5 直纪西田 5 克里斯托夫·劳赫 5 彼得·罗登堡。 5 戴维·桑吉奥吉 5 隋、岳飞 5 安德烈·塔莱基 5 克里斯·托夫茨 5 伊雷克·乌利多夫斯基 5 杰弗里·扎克。 4 玛丽亚·阿尔普特 4 Eerke A.Boiten。 4 马里奥·布雷韦蒂 4 曼弗雷德·布罗伊 4 佩德罗·鲁宾·达吉尼奥 4 德波尔（Frank S。 4 约翰·德里克 4 亚历山德拉·迪·皮耶罗 4 哈特穆特·埃里格 4 圣地亚哥埃斯科瓦尔 4 艾西克，佐尔坦 4 玛丽贝尔·费尔南德斯 4 吉安·路易吉，法拉利 4 法比奥·加杜奇 4 法特梅·加塞米 4 卡洛斯·格雷戈里奥·罗德里格斯 4 轩尼诗，Matthew C.B。 4 Huynh，Dung T。 4 保拉·因弗拉迪 4 Joost-Pieter卡托恩 4 安娜·拉布拉 4 拉诺特、拉格罗 4 米拉·塞德尔巴姆少校。 4 罗宾·米尔纳 4 弗朗西斯科·帕里西·普雷西奇 4 约阿希姆·帕罗 4 格里高·罗什乌 …和891多位作者 全部的 前5名85篇连载文章中引用 248 理论计算机科学 83 信息与计算 51 逻辑与代数程序设计杂志 46 计算的形式方面 36 信息学报 31 信息处理信件 28 程序设计中的逻辑和代数方法杂志 19 MSCS公司。计算机科学中的数学结构 16 计算机与系统科学杂志 15 计算机科学中的逻辑方法 14 符号计算杂志 8 计算机程序设计科学 8 纯逻辑与应用逻辑年鉴 8 应用逻辑杂志 7 计算系统理论 6 工程、通信和计算中的应用代数 6 控制论与系统分析 6 系统设计中的形式化方法 6 应用非经典逻辑杂志 5 信息科学 5 国际计算机数学杂志 5 分布式计算 5 RAIRO公司。Informatique Théorique et Applications公司 4 代数与逻辑 4 哲学逻辑杂志 4 符号逻辑杂志 4 自动推理杂志 4 ACM计算逻辑事务 三 西伯利亚数学杂志 三 合成 三 图表 三 数学与人工智能年鉴 三 萨达纳 三 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 人工智能 2 国际理论物理杂志 2 代数普遍性 2 模糊集与系统 2 圣母院形式逻辑杂志 2 RAIRO，Informatique Théorique公司 2 Studia Logica公司 2 国际并行程序设计杂志 2 国际近似推理杂志 2 国际代数与计算杂志 2 离散事件动态系统 2 Indagationes Mathematicae公司。新系列 2 应用的分类结构 2 数学科学杂志（纽约） 2 符号逻辑公报 2 RAIRO公司。理论信息学及其应用 2 计算机基础理论 2 计算机科学前沿 1 数学生物学通报 1 混沌、孤子和分形 1 应用数学与计算 1 Automatica公司 1 比特币 1 计算与应用数学杂志 1 纯粹与应用代数杂志 1 苏联数学杂志 1 数学系统理论 1 软件。实践与经验 1 美国数学学会会刊 1 系统和控制信件 1 计算机科学与技术杂志 1 新一代计算 1 国际智能系统杂志 1 神经计算 1 数学逻辑档案 1 计算与决策科学基础 1 俄罗斯数学 1 逻辑、语言与信息杂志 1 国际计算机与系统科学杂志 1 数学逻辑季刊（MLQ） 1 约束条件 1 工程中的数学问题 1 组合优化期刊 1 混乱 1 国际应用数学与计算机科学杂志 1 智能与模糊系统杂志 1 Oberwolfach报告 1 泛逻辑 1 符号逻辑述评 1 科学中国。信息科学 1 西伯利亚联邦大学学报。数学和物理 全部的 前5名在24个字段中引用 917 计算机科学（68至XX） 213 数理逻辑与基础（03-XX） 26 一般代数系统（08-XX） 23 范畴理论；同调代数（18-XX） 14 系统论；控制（93至XX） 11 生物学和其他自然科学（92-XX） 8 阶、格、有序代数结构（06-XX） 8 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 7 概率论与随机过程（60-XX） 6 结合环与代数（16-XX） 5 运筹学、数学规划（90-XX） 4 动力系统和遍历理论（37至XX） 4 信息与通信理论、电路（94-XX） 三 历史和传记（01-XX） 三 群论与推广（20-XX） 三 一般拓扑结构（54至XX） 三 量子理论（81-XX） 2 总体主题；集合（00-XX） 2 组合数学（05-XX） 2 交换代数（13-XX） 1 数论（11-XX） 1 功能分析（46倍X倍） 1 经典热力学，传热（80-XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.