编辑配置文件（在新选项卡中打开） 米库拉斯（Mikulás，Szabolcs） 合著者距离 作者ID： 米库拉斯·萨博尔茨 发布日期： 米库拉斯（Mikulás，Szabolcs） 外部链接： MGP公司 已编制索引的文档： 44出版物自1992年以来，包括2个附加arXiv预打印 1进一步贡献 合著者： 18位合著者具有33联合出版物 364联合作者 全部的 前5名合著者 11 单作者的 10 马克思，马尔滕 7 罗宾·赫希 6 伊斯坦·内梅蒂 5 哈伊纳尔·安德雷卡 4 伊恩·马丁·霍德金森 4 伊尔迪科·塞恩 三 安德烈斯·西蒙 2 希德斯，简 2 马塞尔·杰克逊。 2 塔德乌什·利塔克 2 马克·亚历山大·雷诺兹 2 斯特凡·施洛巴赫 2 维尼马，伊德 1 菲利普·巴尔比亚尼 1 伊沃·杜恩施 1 史蒂文·吉万特（Steven R.Givant）。 1 布雷特·麦克林 1 蒂莫西·斯托克斯（Timothy E.Stokes）。 全部的 前5名系列 5 IGPL逻辑杂志 4 代数普遍性 三 符号逻辑杂志 2 Studia Logica公司 2 合成 2 理论计算机科学 2 逻辑、语言与信息杂志 2 程序设计中的逻辑和代数方法杂志 1 纯粹与应用代数杂志 1 逻辑科公报 1 纯逻辑与应用逻辑年鉴 1 逻辑与计算杂志 1 国际代数与计算杂志 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 逻辑科公报 1 符号逻辑述评 领域 38 数理逻辑与基础（03-XX） 12 计算机科学（68至XX） 11 一般代数系统（08-XX） 8 阶、格、有序代数结构（06-XX） 2 群论与推广（20-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用180中的次114文件 引用人▼ 年份▼ 二元关系正代数的公理化。 Zbl 1253.03091号 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs） 23 2011 兰贝克演算及其关系语义：完全性和不完全性。 兹比尔0808.03003 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs） 22 1994 可表示域代数的公理化。 兹比尔1207.68207 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 13 2011 关系代数化简的公理化性。 Zbl 1011.03051号 伊恩·霍德金森；米库拉斯（Mikulás，Szabolcs） 12 2000 可表示半格序幺半群。 Zbl 1136.03044号 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 12 2007 在代数逻辑中暗示可表示性的密度概念。 Zbl 0930.03100号 哈伊纳尔·安德雷卡；史蒂文·吉万特；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂；安德烈斯·西蒙 9 1998 有序域代数。 Zbl 1284.03275号 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 9 2013 具有反域和范围的函数代数。 Zbl 1377.08001号 罗宾·赫希；马塞尔·杰克逊；米库拉斯（Mikulás，Szabolcs） 8 2016 时序逻辑的镶嵌方法。 Zbl 0963.03025号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs）；马克·雷诺兹 7 2000 关系代数和关联逻辑。 Zbl 1173.03048号 米库拉斯（Mikulás，Szabolcs） 6 2009 克莱恩格的方程理论。 Zbl 1234.68273号 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂 5 2011 关系格：从数据库到泛代数。 Zbl 1372.68081号 塔德乌什·利塔克；米库拉斯（Mikulás，Szabolcs）；希德斯，简 5 2016 具有投影元素的关系代数方程理论的复杂性。 Zbl 0770.03021号 米库拉斯（Mikulás，Szabolcs）；伊尔迪科·塞恩；安德烈斯·西蒙 4 1992 驯服逻辑。 Zbl 0847.03013号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂 4 1995 驯服一阶逻辑。 Zbl 0898.03004号 米库拉斯（Mikulás，Szabolcs） 4 1998 关系数据库中的圆柱形结构和依赖关系。 Zbl 0992.68045号 伊沃·杜恩施；米库拉斯，萨博尔斯 三 2001 关联逻辑的正片段和二元关系的代数。 Zbl 1231.03020号 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 三 2011 产品，或如何创建高复杂性的模态逻辑。 Zbl 0971.03024号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs） 三 2001 共轭箭头逻辑的完整演算。 Zbl 0874.03026号 米库拉斯（Mikulás，Szabolcs） 三 1996 下半格序剩余半群和子结构逻辑。 兹比尔1378.03051 米库拉斯（Mikulás，Szabolcs） 三 2015 关于关系语义的Lambek演算的强完备性。 Zbl 0793.03029号 米库拉斯（Mikulás，Szabolcs） 2 1993 关系的模态逻辑。（附附录：罗宾·赫什、伊恩·霍德金森、马尔滕·马克思、萨博尔斯·米库拉斯和马克·雷诺兹的《马赛克和分步》）。 Zbl 0924.03030号 维尼马，伊德；马克思，马尔滕 2 1999 剩余Kleene代数。 Zbl 1354.03096号 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂 2 2012 动态趋势的可判定逻辑，以及相对化的关系代数。 Zbl 0843.03008号 米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂；伊尔迪科·塞恩 2 1995 关于可表示的有序剩余半群。 Zbl 1235.03088号 米库拉斯（Mikulás，Szabolcs） 2 2011 天使和恶魔作品的领域和范围。 Zbl 1417.68033号 马塞尔·杰克逊；米库拉斯（Mikulás，Szabolcs） 2 2019 可表示剩余半群的方程理论。 Zbl 1357.06012号 米库拉斯（Mikulás，Szabolcs） 2 2015 合成、交集、域和范围的有限表示属性。 Zbl 1382.08001号 布雷特·麦克莱恩；米库拉斯（Mikulás，Szabolcs） 2 2016 非确定性程序的代数：恶魔般的操作、命令和公理。 兹比尔1499.08001 罗宾·赫希；米库拉斯（Mikulás，Szabolcs）；蒂姆·斯托克斯 1 2022 非基本过程的基本构造。 Zbl 1010.03014号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs） 1 2002 通过游戏公理化复杂代数。 Zbl 1063.08011号 伊恩·霍德金森；米库拉斯（Mikulás，Szabolcs）；维尼马，伊德 1 2001 局部三次模态逻辑的表演算及其实现。 Zbl 0939.03025号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs）；斯特凡·施洛巴赫 1 1999 二维圆柱集代数和二变量一阶逻辑的可判定性。 Zbl 0953.03012号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs） 1 1999 关系格。 Zbl 1344.68065号 塔德乌什·利塔克；米库拉斯（Mikulás，Szabolcs）；希德斯，简 1 2014 无界密集线性序词典编纂产品的时间逻辑的镶嵌决定性和复杂性。 Zbl 1398.03078号 菲利普·巴尔比亚尼；米库拉斯（Mikulás，Szabolcs） 1 2013 Gabbay型结石。 Zbl 0862.03006号 米库拉斯，萨博尔斯 1 1996 非确定性程序的代数：恶魔般的操作、命令和公理。 Zbl 1499.08001号 罗宾·赫希；米库拉斯（Mikulás，Szabolcs）；蒂姆·斯托克斯 1 2022 天使和恶魔作品的领域和范围。 Zbl 1417.68033号 马塞尔·杰克逊；米库拉斯（Mikulás，Szabolcs） 2 2019 具有反域和范围的函数代数。 Zbl 1377.08001号 罗宾·赫希；马塞尔·杰克逊；米库拉斯（Mikulás，Szabolcs） 8 2016 关系格：从数据库到泛代数。 Zbl 1372.68081号 塔德乌什·利塔克；米库拉斯（Mikulás，Szabolcs）；希德斯，简 5 2016 合成、交集、域和范围的有限表示属性。 兹标1382.08001 布雷特·麦克莱恩；米库拉斯（Mikulás，Szabolcs） 2 2016 下半格序剩余半群和子结构逻辑。 Zbl 1378.03051号 米库拉斯，萨博尔斯 三 2015 可表示剩余半群的方程理论。 Zbl 1357.06012号 米库拉斯（Mikulás，Szabolcs） 2 2015 关系格。 Zbl 1344.68065号 塔德乌什·利塔克；米库拉斯（Mikulás，Szabolcs）；希德斯，简 1 2014 有序域代数。 Zbl 1284.03275号 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 9 2013 无界密集线性序词典编纂产品的时间逻辑的镶嵌决定性和复杂性。 Zbl 1398.03078号 菲利普·巴尔比亚尼；米库拉斯，萨博尔斯 1 2013 剩余Kleene代数。 Zbl 1354.03096号 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂 2 2012 二元关系正代数的公理化。 Zbl 1253.03091号 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs） 23 2011 可表示域代数的公理化。 兹比尔1207.68207 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 13 2011 Kleene格的方程理论。 Zbl 1234.68273号 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂 5 2011 关联逻辑的正片段和二元关系的代数。 兹比尔1231.03020 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 三 2011 关于可表示的有序剩余半群。 Zbl 1235.03088号 米库拉斯（Mikulás，Szabolcs） 2 2011 关系代数和关联逻辑。 Zbl 1173.03048号 米库拉斯（Mikulás，Szabolcs） 6 2009 可表示半格序幺半群。 Zbl 1136.03044号 罗宾·赫希；米库拉斯（Mikulás，Szabolcs） 12 2007 非基本过程的基本构造。 Zbl 1010.03014号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs） 1 2002 关系数据库中的圆柱形结构和依赖关系。 Zbl 0992.68045号 伊沃·杜恩施；米库拉斯（Mikulás，Szabolcs） 三 2001 产品，或者如何创建高复杂度的模态逻辑。 Zbl 0971.03024号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs） 三 2001 通过游戏公理化复杂代数。 Zbl 1063.08011号 伊恩·霍德金森；米库拉斯（Mikulás，Szabolcs）；维尼马，伊德 1 2001 关系代数化简的公理化性。 Zbl 1011.03051号 伊恩·霍德金森；米库拉斯（Mikulás，Szabolcs） 12 2000 时序逻辑的镶嵌方法。 Zbl 0963.03025号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs）；马克·雷诺兹 7 2000 关系的模态逻辑。（附附录：罗宾·赫什、伊恩·霍德金森、马尔滕·马克思、萨博尔斯·米库拉斯和马克·雷诺兹的《马赛克和分步》）。 Zbl 0924.03030号 维尼马，伊德；马克思，马尔滕 2 1999 局部三次模态逻辑的表演算及其实现。 Zbl 0939.03025号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs）；斯特凡·施洛巴赫 1 1999 二维圆柱集代数和二元一阶逻辑的可判定性。 Zbl 0953.03012号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs） 1 1999 在代数逻辑中暗示可表示性的密度概念。 Zbl 0930.03100号 哈伊纳尔·安德雷卡；史蒂文·吉万特；米库拉斯，萨博尔斯；伊斯坦·内梅蒂；安德烈斯·西蒙 9 1998 驯服一阶逻辑。 Zbl 0898.03004号 米库拉斯（Mikulás，Szabolcs） 4 1998 共轭箭头逻辑的完整演算。 Zbl 0874.03026号 米库拉斯（Mikulás，Szabolcs） 三 1996 Gabbay型结石。 Zbl 0862.03006号 米库拉斯（Mikulás，Szabolcs） 1 1996 驯服逻辑。 Zbl 0847.03013号 马克思，马尔滕；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂 4 1995 动态趋势的判定逻辑和相对化关系代数。 Zbl 0843.03008号 米库拉斯，萨博尔斯；伊斯坦·内梅蒂；伊尔迪科·塞恩 2 1995 兰贝克演算及其关系语义：完全性和不完全性。 Zbl 0808.03003号 哈伊纳尔·安德雷卡；米库拉斯（Mikulás，Szabolcs） 22 1994 关于关系语义的Lambek演算的强完备性。 Zbl 0793.03029号 米库拉斯（Mikulás，Szabolcs） 2 1993 具有投影元素的关系代数方程理论的复杂性。 Zbl 0770.03021号 米库拉斯（Mikulás，Szabolcs）；伊尔迪科·塞恩；安德烈斯·西蒙 4 1992 所有引用的出版物 前5名被引用出版物 全部的 前5名96位作者引用 15 米库拉斯，萨博尔斯 8 罗宾·赫希 7 哈伊纳尔·安德雷卡 7 德米特里·布雷迪钦（Dmitri）ĭAleksandrovich 6 马塞尔·杰克逊。 6 伊斯坦·内梅蒂 5 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 5 布雷特·麦克林 5 蒂莫西·斯托克斯（Timothy E.Stokes）。 4 马克·亚历山大·雷诺兹 4 路易吉·桑托卡纳莱 三 菲利普·巴尔比亚尼 三 阿米娜·杜马内 三 伊沃·杜恩施 三 罗杰·D·麦德克斯。 三 Damien Pous 三 赛义德·艾哈迈德，塔里克 三 安德烈斯·西蒙 2 塞利亚·博利多 2 斯特凡·德姆里。 2 大卫·加伯里亚 2 史蒂文·吉万特（Steven R.Givant）。 2 沃尔特·古特曼 2 伊恩·马丁·霍德金森 2 彼得·吉普森 2 阿吉·库鲁茨 2 塔德乌什·利塔克 2 马克思，马尔滕 2 任妙妙 2 伊尔迪科·塞恩 2 Sedlár，伊戈尔 2 Šemrl，贾什 2 弗兰克·沃尔特 2 迈克尔·维克托洛维奇（Michael Viktorovich） 2 赵显忠 1 阿尔姆，杰里米·F。 1 Michael A.Benedikt。 1 克利福德·伯格曼 1 约瑟夫·布杜 1 保罗·布鲁内特 1 沃伊切赫·巴斯科夫斯基 1 卡洛斯·卡莱罗 1 威廉·康雷迪 1 弗雷德里克·达尔奎斯特 1 塞德里克·德拉克鲁瓦 1 汉斯·德·尼维尔 1 马丁·德沙奈斯 1 乔恩·迈克尔·邓恩 1 东部，詹姆斯 1 米克洛斯·费伦齐 1 斯特凡·格勒 1 瓦伦丁·F·戈兰科。 1 谢尔盖·古塞夫（Serge Gusev）ĭ瓦伦蒂诺维奇（Valentinovich） 1 维克多·Gyuris 1 安德烈亚斯·赫齐格 1 希德斯，简 1 安德烈·因德泽扎克（Andrzej Indrzejczak） 1 让·克里斯托夫·荣格 1 Max Iosifovich，卡诺维奇 1 穆罕默德·哈立德 1 Mirosławaka-Gawiejnowicz，米洛斯·阿瓦 1 科特尔斯，延斯 1 理查德·克莱默。 1 托达蓬·昆当 1 阿格内斯·库鲁茨 1 雷东林 1 马库斯·洛伊 1 Luz-Filho，Saturnino F。 1 Luz，Saturnino F。 1 温迪·麦考尔 1 吉木中村 1 莫里·纽泽林 1 或者艾瓦·奥斯卡。 1 马蒂·彭特斯 1 克莱顿·彼得森 1 查尔斯·品特（Charles C.Pinter）。 1 大卫·J·派姆。 1 安德烈·罗杰斯 1 丹尼尔·罗戈津 1 尼克·鲁什库克 1 新南威尔士州Ryzhkova。 1 安德烈·斯克洛夫 1 斯特凡·施密特（Stefan E.Schmidt）。 1 辛雅，龙马 1 杰夫·萨特克利夫 1 安德鲁·特德 1 十个Cate，Balder David 1 尼古拉斯·特罗夸德 1 瓦林金，M.V。 1 迈克尔·范登·布姆 1 维尼马，伊德 1 卢卡·维甘诺 1 米哈伊尔·弗拉基米洛维奇（Mikhail Vladimirovich Volkov） 1 马尔科·沃尔佩 1 克里斯蒂安·沃尔姆 1 谢尔盖·弗拉基米洛维奇（Sergey Vladimirovich Zykin） 全部的 前5名36篇连载文章中引用 13 代数普遍性 10 符号逻辑杂志 9 程序设计中的逻辑和代数方法杂志 6 纯逻辑与应用逻辑年鉴 5 理论计算机科学 4 逻辑、语言与信息杂志 三 代数杂志 三 半群论坛 三 Studia Logica公司 三 符号逻辑述评 2 代数与逻辑 2 纯粹与应用代数杂志 2 合成 2 信息与计算 2 数学逻辑季刊（MLQ） 2 符号逻辑公报 2 ACM计算逻辑事务 2 应用逻辑杂志 1 信息学报 1 代数通讯 1 数学笔记 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 美国数学学会会刊 1 人工智能通信 1 大学数学学报。新系列 1 人工智能综述 1 应用的分类结构 1 逻辑与代数程序设计杂志 1 莫斯科数学杂志 1 泛逻辑 1 计算机科学中的逻辑方法 1 Modelirovanie i Analiz信息系统 1 意大利马特马提卡联盟Bollettino dell'Unione Matematica Italiana 全部的 前5名11个领域引用 83 数理逻辑与基础（03-XX） 38 计算机科学（68至XX） 25 阶、格、有序代数结构（06-XX） 22 一般代数系统（08-XX） 14 群论与推广（20-XX） 4 结合环与代数（16-XX） 4 范畴理论；同调代数（18-XX） 1 组合数学（05-XX） 1 一般拓扑结构（54至XX） 1 相对论和引力理论（83至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文