编辑配置文件（在新选项卡中打开） Besik Dundua 合著者距离 作者ID： dundua.besik公司 发布日期： Besik Dundua；B.Dundua。 外部链接： 管理程序 已编制索引的文档： 15出版物自2006年起 2作为编辑的贡献 合著者： 15位合著者具有15联合出版物 393合著作者 全部的 前5名合著者 2 单作者的 9 特默尔库西亚 8 马林·米尔恰 三 马里奥弗洛里多 三 米哈伊尔·鲁卡亚 2 拉里·提布阿 1 塞达特·阿克莱莱克 1 阿尔维斯，桑德拉 1 玛丽亚姆·贝里亚什维利 1 卡洛斯·卡米诺 1 吉安卢卡·德拉·维多瓦 1 沃尔克·迪克特 1 斯泰芬·伦普 1 弗罗林·马内亚 1 保罗，克莱奥 1 塞尼泽格斯，热罗 全部的 前5名系列 2 应用数学、信息学和力学 1 符号计算杂志 1 IGPL逻辑杂志 1 I.Vekua应用数学研究所扩大研讨会报告 1 逻辑程序设计理论与实践 1 I.Vekua应用数学研究所论文集 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 纯数学与应用数学展望 领域 16 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 特殊功能（33至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 zbMATH Open中包含的引文 6出版物有被引用7中的次5文件 引用人▼ 年份▼ 无限树的正则匹配问题。 Zbl 07471714号 卡洛斯·卡米诺；沃尔克·迪克特；Besik Dundua；马林·米尔恰；塞尼泽格斯，热罗 2 2022 模糊限制语的约束逻辑编程：语义重构。 Zbl 1416.68031号 Besik Dundua；马里奥弗洛里多；特默尔库西亚；马林·米尔恰 1 2014 变量等式匹配。 Zbl 1428.68341号 Besik Dundua；特默尔库西亚；马林·米尔恰 1 2019 使用序列和上下文变量编程。 兹比尔1222.68058 B.Dundua。 1 2008 CLP（\（\mathsf{H}\））：对冲的约束逻辑编程。 Zbl 1379.68057号 Besik Dundua；马里奥弗洛里多；特默尔库西亚；马林·米尔恰 1 2016 基于模式的有限匹配计算。 Zbl 1492.68040号 阿尔维斯，桑德拉；Besik Dundua；马里奥弗洛里多；特默尔库西亚 1 2018 无限树的正则匹配问题。 Zbl 07471714号 卡洛斯·卡米诺；沃尔克·迪克特；Besik Dundua；马林·米尔恰；塞尼泽格斯，热罗 2 2022 变量等式匹配。 Zbl 1428.68341号 Besik Dundua；特默尔库西亚；马林·米尔恰 1 2019 基于模式的有限匹配计算。 Zbl 1492.68040号 阿尔维斯，桑德拉；Besik Dundua；马里奥弗洛里多；特默尔库西亚 1 2018 CLP（\（\mathsf{H}\））：对冲的约束逻辑编程。 Zbl 1379.68057号 Besik Dundua；马里奥弗洛里多；特默尔库西亚；马林·米尔恰 1 2016 模糊限制语的约束逻辑编程：一种语义重构。 Zbl 1416.68031号 Besik Dundua；马里奥弗洛里多；特默尔库西亚；马林·米尔恰 1 2014 使用序列和上下文变量编程。 Zbl 1222.68058号 Dundua，B。 1 2008 全部的 前5名10位作者引用 2 Besik Dundua 2 特默尔库西亚 2 马林·米尔恰 1 阿尔维斯，桑德拉 1 阿希姆·布卢门萨特 1 马里奥弗洛里多 1 迪莉娅·凯斯纳 1 托达蓬·昆当 1 松邦斯里旺萨 1 丹尼尔·利马·文图拉 4篇连载文章中引用 1 代数通讯 1 符号计算杂志 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 在5个字段中引用 4 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 1 群论与推广（20-XX） 1 特殊功能（33至XX） 按年份列出的引文