编辑配置文件(在新选项卡中打开) 乔斯特·恩格尔弗里特 合著者距离 作者ID: 恩格弗里特·乔斯特 发布日期: 乔斯特·恩格尔弗里特;Engelfriet,J。 主页: http://liacs.leidenuniv.nl/~engelfrietj/ 外部链接: MGP公司·数据库许可证 编入索引的文档: 154出版物自1972年以来,包括3本书 1进一步贡献 合著者: 37位合著者具有115联合出版物 1237联合作者 全部的 前5名合著者 40 单作者的 20 格列泽戈兹·罗森贝格 17 塞巴斯蒂安·马内思 13 亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 12 福格勒、海科 8 乔治·雷 6 吉尔伯托·菲莱 5 法兰克·德雷维斯 5 贾林·盖尔塞马 5 琳达·海克 5 安德烈亚斯·马莱蒂 4 彼得·阿斯维尔德(Peter R.J.Asveld)。 4 布鲁诺·库塞尔 4 乔拉·斯卢茨基 3 安德烈·埃伦菲赫特 3 埃里克·梅内切·施密特 3 赫尔穆特·塞德尔 2 Aalbersberg、Ijsbrand Jan 2 Michael A.Benedikt。 2 罗德里克·布洛姆 2 汉斯·L·博德兰德。 2 安德烈亚斯·布兰德斯特 2 佐尔坦,福尔öp 2 Hoáng-Onh Le村 2 埃里克·利林 2 瓦迪姆·弗拉迪斯拉沃维奇·洛津 2 莫里斯·尼瓦特 2 斯文·斯库姆 2 文森特·范·奥斯特罗姆 2 简·乔里斯·维雷伊肯(Jan Joris Vereijken) 1 啊,阿尔弗雷德·瓦伊诺 1 Jean-Michel,Autebert 1 乔夫罗伊·博基尔 1 吕克·博阿松 1 书,罗纳德·弗农 1 贾努斯·安东尼·布尔佐夫斯基 1 卡雷尔·库利克二世 1 威廉·德容。 1 西摩金斯伯格 1 乔纳森·戈德斯汀 1 特罗·哈尔朱 1 杰拉德·休特。 1 稻田,Kazuhiro 1 米歇尔·拉特奥 1 博克哈德·莫尼恩 1 Derek C.奥本。 1 安德烈·普洛斯科洛夫斯基 1 阿尔托·库斯塔·萨洛马 1 巴特·桑维尔 1 伊万·哈尔·苏德伯勒 1 保罗,十帕 1 Van Best,Jan-Pascal公司 1 范·列文(Jan Van Leeuwen) 1 埃莫·韦尔兹尔 全部的 前5名系列 24 计算机与系统科学杂志 17 信息学报 17 理论计算机科学 10 信息与计算 9 信息处理信件 4 信息和控制 4 数学系统理论 3 计算机协会杂志 3 计算系统理论 2 控制论学报 2 SIAM计算机杂志 1 算法杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 欧洲理论计算机科学协会(EATCS)公报 1 国际计算机数学杂志 1 尼乌档案馆(Nieuw Archief voor Wiskunde)。德德系列 1 RAIRO公司。Informatique Théorique et Applications公司 1 人工智能研究杂志 1 自动机、语言和组合数学杂志 1 离散数学和理论计算机科学。DMTCS公司 1 计算机基础理论 1 ACM计算逻辑事务 1 数学百科全书及其应用 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 领域 151 计算机科学(68至XX) 24 数学逻辑和基础(03-XX) 13 组合数学(05-XX) 2 群论与推广(20-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 137出版物有2054年被引用中的次1042文件 引用人▼ 年份▼ 图结构和一元二阶逻辑。一种语言理论方法。 Zbl 1257.68006号 布鲁诺·库塞尔;乔斯特·恩格尔弗里特 202 2012 处理重写超图文法。 Zbl 0825.68446号 布鲁诺·库塞尔;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 149 1993 自下而上和自上而下的树转换-比较。 Zbl 0335.68061号 乔斯特·恩格尔弗里特 120 1975 具有常规外观的自顶向下树型传感器。 Zbl 0369.68048号 乔斯特·恩格尔弗里特 72 1977 Petri网的分支过程。 兹比尔0743.68106 乔斯特·恩格尔弗里特 64 1991 宏树传感器。 Zbl 0588.68039号 乔斯特·恩格尔弗里特;福格勒、海科 60 1985 树传感器、L系统和双向机器。 Zbl 0426.68075号 乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格;乔拉·斯卢茨基 60 1980 IO和OI。二、。 Zbl 0371.68020号 乔斯特·恩格尔弗里特;埃里克·梅内切·施密特 52 1978 IO和OI。一、。 Zbl 0366.68053号 乔斯特·恩格尔弗里特;埃里克·梅内切·施密特 45 1977 MSO可定义字符串转换和双向有限状态传感器。 Zbl 1171.03326号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 42 2001 基本网络系统。 Zbl 0926.68082号 格列泽戈兹·罗森贝格;乔斯特·恩格尔弗里特 36 1998 定点语言、等式语言和递归枚举语言的表示。 Zbl 0475.68047号 Engelfriet,J。;G.罗森伯格。 36 1980 四顶点禁止子图的Clique-width。 Zbl 1103.68088号 安德烈亚斯·布兰德斯特;乔斯特·恩格尔弗里特;Le,Hoang-Onh(黄安);瓦迪姆·洛津。 36 2006 传感器的三个层次。 Zbl 0509.68078号 乔斯特·恩格尔弗里特 34 1982 宏树变换器、属性语法和MSO可定义树翻译。 Zbl 1045.68585号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 33 1999 边界图文法和无上下文超图文法的比较。 Zbl 0706.68067号 乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 32 1990 具有动态边重标记的边界图文法。 Zbl 0694.68049号 乔斯特·恩格尔弗里特;乔治·雷;埃莫·韦尔兹尔 28 1990 宏树换能器的下压机器。 Zbl 0619.68065号 乔斯特·恩格尔弗里特;福格勒、海科 28 1986 一元二阶逻辑和属性语法定义的树转换的比较。 Zbl 0960.68086号 罗德里克·布洛姆;乔斯特·恩格尔弗里特 28 2000 由超边替换文法定义的超图集的逻辑特征。 Zbl 0830.68098号 库塞尔,B。;Engelfriet,J。 26 1995 部分功能的树上传感器。 Zbl 0379.94066号 乔斯特·恩格尔弗里特 26 1978 线性图文法:能力和复杂性。 Zbl 0684.68088号 乔斯特·恩格尔弗里特;乔治·雷 26 1989 图形语法和树变换器。 Zbl 0938.68681号 Engelfriet,J。 24 1994 \(X\)-在\(\omega\)-字上自动机。 Zbl 0777.68058号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 23 1993 线性大小增加的宏树转换是MSO可定义的。 Zbl 1029.68090号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 21 2003 无上下文NCE图语法。 Zbl 0756.68070号 乔斯特·恩格尔弗里特 20 1989 无上下文超图文法的字符串生成能力。 Zbl 0776.68075号 乔斯特·恩格尔弗里特;琳达·海克 20 1991 高级树传感器和迭代下推树传感器。 Zbl 0633.68073号 乔斯特·恩格尔弗里特;福格勒、海科 20 1988 迭代堆栈自动机和复杂性类。 兹比尔0758.68029 乔斯特·恩格尔弗里特 19 1991 基于节点重写的图文法:NLC图文法简介。 Zbl 0765.68091号 乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 17 1991 树行卵石自动机。 Zbl 0944.68108号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 17 1999 确定性\(\ to \)(观测等效\(=\)迹线等效)。 Zbl 0571.68018号 乔斯特·恩格尔弗里特 17 1985 无上下文图文法和图的连接。 Zbl 0896.68092号 乔斯特·恩格尔弗里特;简·乔里斯·维雷伊肯(Jan Joris Vereijken) 17 1997 一次访问属性语法的形式力量。 Zbl 0471.68044号 乔斯特·恩格尔弗里特;吉尔伯托,档案 17 1981 用树上的一元二阶逻辑描述无上下文NCE图语言。 Zbl 0765.68090号 乔斯特·恩格尔弗里特 16 1991 顶点图语法和属性语法。 Zbl 0659.68096号 乔斯特·恩格尔弗里特;乔治·雷;格列泽戈兹·罗森贝格 16 1988 卵石树传感器与宏树传感器的比较。 Zbl 1060.68062号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 15 2003 上下文无关句柄重写超图语法。 Zbl 0765.68084号 布鲁诺·库塞尔;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 14 1991 像素中一个新的自然结构一致性与复制。 Zbl 1057.03022号 乔斯特·恩格尔弗里特;贾林·盖尔塞马 14 2004 自下而上和自上而下的树序列转换。 Zbl 1019.68056号 乔斯特·恩格尔弗里特;佐尔坦,福尔öp;福格勒、海科 14 2002 具有复制的pi-calculus的多重集和结构一致性。 Zbl 0912.68125号 乔斯特·恩格尔弗里特;贾林·盖尔塞马 14 1999 堆栈机器和非嵌套宏语言类。 Zbl 0428.68087号 乔斯特·恩格尔弗里特;埃里克·梅内切·施密特;范·列文(Jan van Leeuwen) 14 1980 无上下文超图文法与属性文法具有相同的术语生成能力。 Zbl 0769.68072号 乔斯特·恩格尔弗里特;琳达·海克 13 1992 简单的程序方案和形式语言。 Zbl 0288.68030号 乔斯特·恩格尔弗里特 13 1974 无上下文图形语言的逻辑描述。 Zbl 0897.68061号 乔斯特·恩格尔弗里特;文森特·范·奥斯特罗姆 13 1997 平等语言和定点语言。 Zbl 0422.68034号 乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 13 1979 具有复制功能的pi-calculus的多集语义。 Zbl 0872.68125号 乔斯特·恩格尔弗里特 12 1996 复制定理。 Zbl 0323.68051号 乔斯特·恩格尔弗里特;斯文·斯库姆 12 1976 有界度的无上下文图语言是由顶点图文法生成的。 Zbl 0818.68102号 乔斯特·恩格尔弗里特;琳达·海克;乔治·雷 12 1994 边界图语言的复杂性。 Zbl 0701.68062号 乔斯特·恩格尔弗里特;乔治·雷 12 1990 在树上旅行。 Zbl 0926.68078号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);范·贝斯特,简·帕斯卡尔 11 1999 树转导范围有限性的可判定性。 Zbl 1034.68525号 法兰克·德雷维斯;乔斯特·恩格尔弗里特 11 1998 确定性MSO树传感器的等效问题是可判定的。 Zbl 1185.68385号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 11 2006 确定多项式时间内自上而下的XML转换的等价性。 Zbl 1167.68032号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 11 2009 表面树语言和并行派生树。 Zbl 0346.68040号 乔斯特·恩格尔弗里特 11 1976 一致非本原标记2-结构的特征和复杂性。 兹伯利0873.68161 Engelfriet,J。;T·哈尔朱。;Proskurowski,A。;G.罗森伯格。 10 1996 多米诺树宽度。 Zbl 0882.68106号 汉斯·L·博德兰德。;乔斯特·恩格尔弗里特 10 1997 简单的多访问属性语法。 Zbl 0524.68048号 乔斯特·恩格尔弗里特;吉尔伯托,档案 10 1982 基项重写系统的派生树。 Zbl 1045.68580号 乔斯特·恩格尔弗里特 9 1999 扩展宏语法和堆栈控制机器。 Zbl 0575.68081号 乔斯特·恩格尔弗里特;乔拉·斯卢茨基 9 1984 有界度的超图语言。 Zbl 0802.68073号 乔斯特·恩格尔弗里特;琳达·海克 9 1994 自顶向下的树到图传感器的转换能力。 Zbl 0821.68078号 乔斯特·恩格尔弗里特;福格勒、海科 9 1994 俯卧撑时的表情。 Zbl 0625.68063号 乔斯特·恩格尔弗里特;福格勒、海科 9 1987 Apex图语法。 Zbl 0643.68112号 乔斯特·恩格尔弗里特;乔治·雷;格列泽戈兹·罗森贝格 9 1987 图文法中的非末端分离。 Zbl 0727.68059号 乔斯特·恩格尔弗里特;乔治·雷;格列泽戈兹·罗森贝格 9 1991 图和树上的一元二阶逻辑和节点关系。 Zbl 0888.03025号 罗德里克·布洛姆;乔斯特·恩格尔弗里特 8 1997 属性语法生成的语言的复杂性。 兹伯利0589.68055 乔斯特·恩格尔弗里特 8 1986 双向自动机和检查自动机。 Zbl 0423.68035号 Engelfriet,J。 8 1979 宏语法中的有界嵌套。 兹比尔0453.68051 乔斯特·恩格尔弗里特;乔拉·斯卢茨基 8 1979 带嵌套卵石的自动机用传递闭包捕获一阶逻辑。 Zbl 1128.03027号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 8 2007 模块化树形传感器。 Zbl 0729.68018号 乔斯特·恩格尔弗里特;福格勒、海科 8 1991 在一元二阶逻辑中可定义的图语言的一种规则特征。 Zbl 0739.68052号 乔斯特·恩格尔弗里特 7 1991 双Greibach范式的一个初等证明。 Zbl 0796.68133号 乔斯特·恩格尔弗里特 7 1992 树变换器和语法导向语义。 Zbl 0539.68075号 乔斯特·恩格尔弗里特 7 1982 无上下文图文法的Greibach范式。 Zbl 1425.68162号 乔斯特·恩格尔弗里特 6 1992 超AFL的层次结构。 Zbl 0565.68072号 乔斯特·恩格尔弗里特 6 1985 常规DNLC图形语言的复杂性。 Zbl 0694.68045号 Aalbersberg、Ijsbrand Jan;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 6 1990 非终端有界NLC图文法。 Zbl 0662.68074号 乔斯特·恩格尔弗里特;乔治·雷 6 1988 扩展的多自下而上树传感器。 Zbl 1186.68254号 乔斯特·恩格尔弗里特;埃里克·利林;安德烈亚斯·马莱蒂 6 2009 由无上下文图文法生成的树语言。 Zbl 0956.68074号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 5 2000 确定性宏树变换器组成的输出字符串语言。 Zbl 1013.68124号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 5 2002 在属性语法中传递、扫描和访问。 Zbl 0697.68069号 乔斯特·恩格尔弗里特;吉尔伯托·菲莱 5 1989 自下而上和自上而下的树到图传感器的等效性。 Zbl 1034.68526号 乔斯特·恩格尔弗里特;福格勒、海科 5 1998 迭代确定性替换。 Zbl 0343.68034号 彼得·阿斯维尔德(Peter R.J.Asveld)。;乔斯特·恩格尔弗里特 5 1977 通过树行走自动机和带有可见和不可见卵石的传感器进行XML导航和转换。 Zbl 1464.68165号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);巴特,桑维尔 5 2021 双向确定性检查堆栈自动机的强大功能。 Zbl 0744.68042号 乔斯特·恩格尔弗里特 4 1989 关于无限树的注释。 Zbl 0251.68041号 乔斯特·恩格尔弗里特 4 1972 树状换能器、\(L\)系统和双向机器(扩展摘要)。 Zbl 1282.68154号 Engelfriet,J。;G.罗森伯格。;斯拉茨基,G。 4 1978 自顶向下和MSO树转换的确定性和重写。 兹比尔1398.68104 迈克尔·本尼迪克特;乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 4 2013 扩展线性宏语法、迭代语法和寄存器程序。 Zbl 0382.68061号 彼得·阿斯维尔德(Peter R.J.Asveld)。;乔斯特·恩格尔弗里特 4 1979 属性语法的传递和路径。 Zbl 0471.68045号 乔斯特·恩格尔弗里特;吉尔伯托,档案 4 1981 无上下文图形语言的常规描述。 Zbl 0869.68063号 乔斯特·恩格尔弗里特;文森特·范·奥斯特罗姆 3 1996 双向有限状态传感器和一元二阶逻辑。 Zbl 0946.68083号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 3 1999 下推自动机。 Zbl 1088.68089号 亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);乔斯特·恩格尔弗里特 3 2004 总确定性自顶向下树传感器的Look-ahead删除。 Zbl 1333.68163号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 3 2016 使用嵌套表对同步语法进行分支。 Zbl 1069.68060号 法兰克·德雷维斯;乔斯特·恩格尔弗里特 3 2004 树型传感器的层次结构。 Zbl 0386.68070号 乔斯特·恩格尔弗里特 3 1978 宏语法、Lindenmayer系统和其他复制设备。 Zbl 0363.68093号 乔斯特·恩格尔弗里特 3 1977 单状态树传感器的复制能力。 Zbl 0495.68073号 乔斯特·恩格尔弗里特;斯文·斯库姆 3 1982 EOL语言类的平移定理。 Zbl 0507.68052号 乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 3 1981 通过树行走自动机和带有可见和不可见卵石的传感器进行XML导航和转换。 Zbl 1464.68165号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);巴特·桑维尔 5 2021 具有MSO图存储的自动机的Büchi-Elget-Trakhtenbrot定理。 Zbl 1477.68151号 乔斯特·恩格尔弗里特;福格勒、海科 1 2020 多重无上下文树语法:词汇化和特征化。 Zbl 1395.68163号 乔斯特·恩格尔弗里特;安德烈亚斯·马莱蒂;塞巴斯蒂安·马内思 1 2018 线性扩展自顶向下树换能器的合成闭包。 Zbl 1369.68252号 乔斯特·恩格尔弗里特;佐尔坦,福尔öp;安德烈亚斯·马莱蒂 2 2017 多个无上下文树文法和多组件树邻接文法。 Zbl 1495.68112号 乔斯特·恩格尔弗里特;安德烈亚斯·马莱蒂 1 2017 总确定性自顶向下树传感器的Look-ahead删除。 兹比尔1333.68163 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 3 2016 勘误表:“具有常规外观的自顶向下树传感器”。 Zbl 1435.68157号 乔斯特·恩格尔弗里特 1 2016 用于部分函数的双向卵石传感器及其组成。 Zbl 1330.68155号 乔斯特·恩格尔弗里特 2 2015 如何删除自上而下的树状换能器的前瞻性。 Zbl 1298.68132号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 1 2014 自顶向下和MSO树转换的确定性和重写。 Zbl 1398.68104号 迈克尔·本尼迪克特;乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 4 2013 图结构和一元二阶逻辑。一种语言理论方法。 Zbl 1257.68006号 布鲁诺·库塞尔;乔斯特·恩格尔弗里特 202 2012 决定自顶向下的XML转换在多项式时间内的等价性。 Zbl 1167.68032号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 11 2009 扩展的多自下而上树传感器。 Zbl 1186.68254号 乔斯特·恩格尔弗里特;埃里克·利林;安德烈亚斯·马莱蒂 6 2009 类型检查树行走树换能器的时间复杂性。 Zbl 1165.68039号 乔斯特·恩格尔弗里特 3 2009 扩展的多自下而上树传感器。 Zbl 1161.68523号 乔斯特·恩格尔弗里特;埃里克·利林;安德烈亚斯·马莱蒂 2 2008 带嵌套卵石的自动机用传递闭包捕获一阶逻辑。 Zbl 1128.03027号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 8 2007 结构一致性练习。 Zbl 1185.68443号 乔斯特·恩格尔弗里特;贾林·盖尔塞马 2 2007 可计算性的克莱恩表征。 Zbl 1185.68330号 乔斯特·恩格尔弗里特 2 2007 双向有限状态转导的金融成分。 Zbl 1128.68046号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 1 2007 双向有限状态转导的金融成分。 Zbl 1137.68422号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 1 2007 四顶点禁止子图的Clique-width。 Zbl 1103.68088号 安德烈亚斯·布兰德斯特;乔斯特·恩格尔弗里特;Le,Hoang-Onh(黄安);瓦迪姆·洛津。 36 2006 确定性MSO树传感器的等效问题是可判定的。 Zbl 1185.68385号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 11 2006 嵌套卵石和过渡闭合。 Zbl 1136.68417号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 2 2006 确定性MSO树换能器的等效问题是可判定的。 Zbl 1172.03308号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 2 2005 四顶点禁止子图的Clique-width。 Zbl 1123.68086号 安德烈亚斯·布兰德斯特;乔斯特·恩格尔弗里特;Le,Hoáng-Oanh;瓦迪姆·洛津。 1 2005 π演算中一个新的具有复制的自然结构同余。 Zbl 1057.03022号 乔斯特·恩格尔弗里特;贾林·盖尔塞马 14 2004 下推自动机。 Zbl 1088.68089号 亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);乔斯特·恩格尔弗里特 3 2004 使用嵌套表分支同步语法。 Zbl 1069.68060号 法兰克·德雷维斯;乔斯特·恩格尔弗里特 3 2004 线性大小增加的宏树转换是MSO可定义的。 Zbl 1029.68090号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 21 2003 卵石树传感器与宏树传感器的比较。 Zbl 1060.68062号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 15 2003 分支语法:ET0L系统的泛化。 Zbl 1037.68068号 法兰克·德雷维斯;乔斯特·恩格尔弗里特 1 2003 自下而上和自上而下的树系列转换。 Zbl 1019.68056号 乔斯特·恩格尔弗里特;佐尔坦,福尔öp;福格勒、海科 14 2002 确定性宏树变换器组成的输出字符串语言。 Zbl 1013.68124号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 5 2002 由确定性树变换器生成的字符串语言的层次结构。 Zbl 1073.68667号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 1 2002 带有嵌套卵石的双向有限状态传感器。 Zbl 1014.68087号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 1 2002 MSO可定义字符串转换和双向有限状态传感器。 Zbl 1171.03326号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 42 2001 具有复制的卵丘中的结构包裹体。 Zbl 0974.68133号 Engelfriet,J。;Gelsema,T。 1 2001 一元二阶逻辑和属性文法定义的树转导的比较。 Zbl 0960.68086号 罗德里克·布洛姆;乔斯特·恩格尔弗里特 28 2000 由无上下文图文法生成的树语言。 Zbl 0956.68074号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 5 2000 描述和确定宏树转导的MSO可定义性。 Zbl 0962.68092号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 2 2000 宏树转换器、属性语法和MSO可定义的树翻译。 Zbl 1045.68585号 乔斯特·恩格尔弗里特;塞巴斯蒂安·马内思 33 1999 树行卵石自动机。 Zbl 0944.68108号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 17 1999 具有复制的pi-calculus的多重集和结构一致性。 兹比尔0912.68125 乔斯特·恩格尔弗里特;贾林·盖尔塞马 14 1999 在树上旅行。 Zbl 0926.68078号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);Van Best,Jan-Pascal公司 11 1999 地面项重写系统的导树。 Zbl 1045.68580号 乔斯特·恩格尔弗里特 9 1999 双向有限状态传感器和一元二阶逻辑。 Zbl 0946.68083号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 3 1999 基本网络系统。 Zbl 0926.68082号 格列泽戈兹·罗森贝格;乔斯特·恩格尔弗里特 36 1998 树转导范围有限性的可判定性。 Zbl 1034.68525号 法兰克·德雷维斯;乔斯特·恩格尔弗里特 11 1998 自下而上和自上而下的树到图传感器的等效性。 Zbl 1034.68526号 乔斯特·恩格尔弗里特;福格勒、海科 5 1998 广义图公理,由Cantor-Bernstein命题说明。 Zbl 0927.68068号 乔斯特·恩格尔弗里特;贾林·盖尔塞马 1 1998 优先逻辑中的单调性和持久性。 Zbl 0894.68135号 Engelfriet,J。 1 1998 无上下文图文法和图的连接。 Zbl 0896.68092号 乔斯特·恩格尔弗里特;简·乔里斯·维雷伊肯(Jan Joris Vereijken) 17 1997 无上下文图形语言的逻辑描述。 Zbl 0897.68061号 乔斯特·恩格尔弗里特;文森特·范·奥斯特罗姆 13 1997 多米诺树宽度。 Zbl 0882.68106号 汉斯·L·博德兰德。;乔斯特·恩格尔弗里特 10 1997 图和树上的一元二阶逻辑和节点关系。 Zbl 0888.03025号 罗德里克·布洛姆;乔斯特·恩格尔弗里特 8 1997 具有复制功能的pi-calculus的多集语义。 Zbl 0872.68125号 乔斯特·恩格尔弗里特 12 1996 一致非本原标记2-结构的特征和复杂性。 兹伯利0873.68161 Engelfriet,J。;T·哈尔朱。;Proskurowski,A。;G.罗森伯格。 10 1996 无上下文图形语言的常规描述。 兹伯利0869.68063 乔斯特·恩格尔弗里特;文森特·范·奥斯特罗姆 3 1996 有限图表示的有限语言。 Zbl 0846.68080号 安德烈·埃伦菲赫特;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 1 1996 反向双连洗。 Zbl 0875.68588号 乔斯特·恩格尔弗里特 1 1996 超边置换文法定义的超图集的一种逻辑特征。 Zbl 0830.68098号 库塞尔,B。;Engelfriet,J。 26 1995 树的语法代码和终端编码语法。 Zbl 0827.68068号 安德烈·埃伦菲赫特;乔斯特·恩格尔弗里特;保罗,十帕;格列泽戈兹·罗森贝格 1 1995 图形语法和树变换器。 Zbl 0938.68681号 Engelfriet,J。 24 1994 有界度的无上下文图语言是由顶点图文法生成的。 Zbl 0818.68102号 乔斯特·恩格尔弗里特;琳达·海克;乔治·雷 12 1994 有界度的超图语言。 Zbl 0802.68073号 乔斯特·恩格尔弗里特;琳达·海克 9 1994 自顶向下的树到图传感器的转换能力。 Zbl 0821.68078号 乔斯特·恩格尔弗里特;福格勒、海科 9 1994 处理重写超图文法。 Zbl 0825.68446号 布鲁诺·库塞尔;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 149 1993 \(X\)-在\(\omega\)-字上自动机。 Zbl 0777.68058号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 23 1993 无上下文超图文法与属性文法具有相同的术语生成能力。 Zbl 0769.68072号 乔斯特·恩格尔弗里特;琳达·海克 13 1992 双Greibach范式的一个初等证明。 Zbl 0796.68133号 乔斯特·恩格尔弗里特 7 1992 无上下文图文法的Greibach范式。 Zbl 1425.68162号 乔斯特·恩格尔弗里特 6 1992 Petri网的分支过程。 兹比尔0743.68106 乔斯特·恩格尔弗里特 64 1991 无上下文超图文法的字符串生成能力。 Zbl 0776.68075号 乔斯特·恩格尔弗里特;琳达·海克 20 1991 迭代堆栈自动机和复杂性类。 兹比尔0758.68029 乔斯特·恩格尔弗里特 19 1991 基于节点重写的图文法:NLC图文法简介。 Zbl 0765.68091号 乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 17 1991 通过树上的一元二阶逻辑对上下文无关的NCE图语言进行表征。 Zbl 0765.68090号 乔斯特·恩格尔弗里特 16 1991 无上下文的handle-rewriting超图语法。 Zbl 0765.68084号 布鲁诺·库塞尔;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 14 1991 图文法中的非末端分离。 兹比尔0727.68059 乔斯特·恩格尔弗里特;乔治·雷;格列泽戈兹·罗森贝格 9 1991 模块化树形传感器。 Zbl 0729.68018号 乔斯特·恩格尔弗里特;福格勒、海科 8 1991 可在一元二阶逻辑中定义的图形语言的一种正则特征。 Zbl 0739.68052号 乔斯特·恩格尔弗里特 7 1991 无上下文超图文法的生成能力。 Zbl 0765.68092号 乔斯特·恩格尔弗里特;琳达·海克 1 1991 边界图文法和无上下文超图文法的比较。 Zbl 0706.68067号 乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 32 1990 具有动态边重标记的边界图文法。 Zbl 0694.68049号 乔斯特·恩格尔弗里特;乔治·雷;埃莫·韦尔兹尔 28 1990 边界图语言的复杂性。 Zbl 0701.68062号 乔斯特·恩格尔弗里特;乔治·雷 12 1990 常规DNLC图形语言的复杂性。 Zbl 0694.68045号 Aalbersberg、Ijsbrand Jan;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 6 1990 按堆栈优化属性存储。 Zbl 0674.68046号 乔斯特·恩格尔弗里特;威廉·德容 1 1990 线性图文法:能力和复杂性。 Zbl 0684.68088号 乔斯特·恩格尔弗里特;乔治·雷 26 1989 无上下文NCE图语法。 Zbl 0756.68070号 乔斯特·恩格尔弗里特 20 1989 在属性语法中传递、扫描和访问。 Zbl 0697.68069号 乔斯特·恩格尔弗里特;吉尔伯托·菲莱 5 1989 双向确定性检查堆栈自动机的威力。 Zbl 0744.68042号 乔斯特·恩格尔弗里特 4 1989 存储无限单词的自动机。 Zbl 0697.68068号 乔斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 1 1989 高级树传感器和迭代下推树传感器。 兹伯利0633.68073 乔斯特·恩格尔弗里特;福格勒、海科 20 1988 顶点图文法和属性文法。 Zbl 0659.68096号 乔斯特·恩格尔弗里特;乔治·雷;格列泽戈兹·罗森贝格 16 1988 非终端有界NLC图文法。 兹比尔0662.68074 乔斯特·恩格尔弗里特;乔治·雷 6 1988 俯卧撑时的表情。 Zbl 0625.68063号 乔斯特·恩格尔弗里特;福格勒、海科 9 1987 Apex图语法。 Zbl 0643.68112号 乔斯特·恩格尔弗里特;乔治·雷;格列泽戈兹·罗森贝格 9 1987 使用超图文法生成字符串。 Zbl 0638.68079号 乔斯特·恩格尔弗里特 2 1987 限制常规DNLC语言的复杂性。 Zbl 0643.68111号 Aalbersberg、Ijsbrand Jan;乔斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 2 1987 宏树换能器的下压机器。 Zbl 0619.68065号 乔斯特·恩格尔弗里特;福格勒、海科 28 1986 属性语法生成的语言的复杂性。 Zbl 0589.68055号 乔斯特·恩格尔弗里特 8 1986 …和另外37份文件 所有引用出版物 前5名被引用出版物 全部的 前5名1144位作者引用 71 乔斯特·恩格尔弗里特 45 布鲁诺·库塞尔 32 福格勒、海科 29 佐尔坦,福尔öp 23 安德烈亚斯·马莱蒂 21 格列泽戈兹·罗森贝格 20 塞巴斯蒂安·马内思 19 丹尼尔·保卢斯马 19 瓦格伏尔盖,桑多尔 17 瓦迪姆·弗拉迪斯拉沃维奇·洛津 16 法兰克·德雷维斯 15 奥利维·芬克尔 13 康拉德·卡齐米尔兹·达布罗夫斯基 13 马西耶·库特尼 13 约翰·安德烈亚斯·马考斯基 11 安德烈亚斯·布兰德斯特 11 码头Kleijn 11 赫尔穆特·塞德尔 10 西蒙·博扎帕里迪斯 10 Heggenes,皮纳尔 10 朱哈尼·卡鲁马基 10 丹尼尔·梅斯特 9 艾曼纽·菲利奥特 9 Petr A.Golovach。 9 Chính T.Hoáng。 9 皮埃尔·阿莱·雷尼尔 9 Kai T.Salomaa。 8 安德烈·埃伦菲赫特 8 金昌旭 8 桑卡拉·纳拉亚南·克里希纳 8 乌迪·罗蒂斯 8 万克,伊贡 8 维克多·扎马拉耶夫。 7 艾西克,佐尔坦 7 费多尔·福明。 7 保罗·加斯廷 7 弗兰克·古尔斯基 7 Stefan哈尔 7 奥斯卡·H·伊巴拉。 7 里扎德·贾尼基 7 伊恩·麦克奎伦 7 安卡·穆斯科尔 7 佩恩,古奥热 7 康斯坦丁·斯科迪尼斯 6 彼得·阿斯维尔德(Peter R.J.Asveld)。 6 汉斯·L·博德兰德。 6 罗伯托·戈里埃里 6 安东尼奥斯·卡兰帕卡斯 6 马马杜·穆斯塔法·坎特 6 阿明·库内曼 6 迈克尔·兰皮斯 6 乔治·雷 6 马库斯·洛伊 6 马丁·米拉尼奇 6 弗兰克,内文 6 亚历山大·奥霍金 6 查里斯·帕帕佐普洛斯 6 Micha Pilipczuk 6 加布里埃尔,小狗 6 乔拉·斯卢茨基 6 爱荷华州托丹加 6 范格拉贝克、罗伯特·扬 5 Mikołaj博扬奇克 5 弗朗兹·约瑟夫·勃兰登堡 5 罗伯特·布里纳尔 5 马克斯·多切特 5 德奥利维拉·奥利维拉,马特乌斯 5 罗伯特·加尼安 5 特罗·哈尔朱 5 马克·赫尔穆特 5 彼得·赫林 5 亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 5 维克托·科门科 5 米歇尔·拉特奥 5 佩德罗·蒙塔雷格里 5 奥尔德罗格(Ernst-Rüdiger Olderog) 5 克里斯托夫·保罗 5 乔治·拉霍尼斯 5 米歇尔·拉奥 5 塞尼泽格斯,热罗 5 美国Uéverton Souza。 5 斯泽德,斯特凡 5 武·马丁 4 卢卡·埃特罗 4 艾索尔德·阿德勒 4 安德烈·阿诺德 4 保罗·巴尔丹 4 米歇尔·鲍德龙 4 卢卡·伯纳迪内洛 4 阿德里安·博伊雷特 4 史蒂文·查普利克 4 艾琳·杜兰德。 4 大卫·亚瑟·爱普斯坦 4 安格尔·M·福利。 4 马丁·格罗 4 Tesshu的Hanaka 4 琳达·海克 4 黄、申伟 4 巴巴拉·科尼格 4 尼古拉斯·科佩莱宁 …还有1044名作者 全部的 前5名95篇连载文章中引用 212 理论计算机科学 65 信息与计算 60 离散应用数学 60 计算机与系统科学杂志 38 信息学报 34 信息处理信件 33 国际计算机科学基础杂志 21 算法 17 数学系统理论 16 计算系统理论 14 计算机科学中的逻辑方法 11 欧洲组合数学杂志 11 SIAM离散数学杂志 10 离散数学 9 国际计算机数学杂志 8 RAIRO公司。理论信息学及其应用 8 ACM计算逻辑事务 7 组合理论杂志。B系列 7 MSCS公司。计算机科学中的数学结构 7 计算机基础理论 7 程序设计中的逻辑和代数方法杂志 6 RAIRO公司。Informatique Théorique et Applications公司 6 RAIRO公司。理论信息学及其应用 5 信息科学 5 RAIRO,Informatique Théorique公司 5 纯逻辑与应用逻辑年鉴 5 逻辑、语言与信息杂志 4 人工智能 4 图论杂志 4 计算的形式方面 4 逻辑与代数程序设计杂志 3 SIAM计算机杂志 3 图与组合 3 离散事件动态系统 3 系统设计中的形式化方法 3 组合数学电子杂志 3 组合优化期刊 3 离散数学和理论计算机科学。DMTCS公司 3 高阶和符号计算 3 应用逻辑杂志 3 计算机科学评论 2 代数杂志 2 凯伯内特斯 2 编程和计算机软件 2 半群论坛 2 运筹学年鉴 2 数学逻辑档案 2 数学逻辑季刊(MLQ) 2 符号逻辑公报 2 数学与人工智能年鉴 2 图形算法与应用杂志 2 自然计算 1 代数通讯 1 国际理论物理杂志 1 数学分析与应用杂志 1 数学生物学杂志 1 代数普遍性 1 Automatica公司 1 比特币 1 模糊集与系统 1 国际计算机与信息科学杂志 1 组合理论杂志。系列A 1 符号逻辑杂志 1 凯贝内提卡 1 网络 1 数学成绩 1 控制论 1 应用数学进展 1 计算机程序设计科学 1 运营研究信件 1 订单 1 自动推理杂志 1 国际代数与计算杂志 1 线性代数及应用 1 分布式计算 1 澳大利亚组合数学杂志 1 计算与应用数学 1 函数编程杂志 1 运筹学国际交易 1 工程中的数学问题 1 软计算 1 组合年刊 1 自然与社会中的离散动力学 1 澳大利亚数学学会杂志 1 应用数学杂志 1 计算机语言、系统和结构 1 4个或 1 离散优化 1 对离散数学的贡献 1 优化信函 1 蒂米·奥拉的阿莱莱大学。Seria Matematic??信息 1 算法 1 ACM算法事务 1 莫斯科组合数学与数论杂志 1 枚举组合数学及其应用 全部的 前5名27个领域被引用 903 计算机科学(68至XX) 255 组合数学(05-XX) 173 数学逻辑和基础(03-XX) 24 群论与推广(20-XX) 20 运筹学、数学规划(90-XX) 19 博弈论、经济学、金融和其他社会和行为科学(91-XX) 13 生物学和其他自然科学(92-XX) 12 有序,格,有序代数结构(06-XX) 10 一般代数系统(08-XX) 9 范畴理论;同调代数(18-XX) 8 系统论;控制(93至XX) 7 结合环与代数(16-XX) 5 总体主题;集合(00-XX) 4 信息与通信理论、电路(94-XX) 2 数论(11-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 流形和细胞复合体(57至XX) 2 概率论与随机过程(60-XX) 2 数值分析(65-XX) 2 量子理论(81-XX) 1 历史和传记(01-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 几何图形(51至XX) 1 凸和离散几何(52至XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 按年份列出的引文