编辑配置文件(在新选项卡中打开) 马雷克·苏切内克(Marek A.Suchenek)。 作者ID: suchenek.marek-a公司 发布日期: 苏切内克,马雷克A。;医学硕士Suchenek。;M.苏切内克。 更多。。。较少的 已编制索引的文档: 13出版物自1981年起 合著者 13 单作者的 全部的 前5名系列 三 自动推理杂志 1 计算语言学与计算机语言 1 匈牙利科学研究所 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 国际计算机科学基础杂志 1 计算机基础理论 字段 13 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用9中的次6文件 引用人▼ 年份▼ 最小蕴涵、域最小蕴涵和Herbrand蕴涵的一阶句法特征。 Zbl 0805.03013号 马雷克·苏切内克(Marek A.Suchenek)。 三 1993 弗洛伊德堆建造计划的基本但精确的最坏情况分析。 Zbl 1252.68090号 马雷克·苏切内克(Marek A.Suchenek)。 2 2012 Lyndon同态定理在极小模型理论中的应用。 Zbl 0736.03008号 马雷克·苏切内克(Marek A.Suchenek)。 2 1990 更新数据库的增量模型。 Zbl 0798.68046号 马雷克·苏切内克(Marek A.Suchenek)。 1 1990 模型理论在不完全信息的Lipski数据库中的两个应用。 Zbl 0675.03017号 马雷克·苏切内克(Marek A.Suchenek)。 1 1989 弗洛伊德堆建造计划的基本但精确的最坏情况分析。 Zbl 1252.68090号 马雷克·苏切内克(Marek A.Suchenek)。 2 2012 最小蕴涵、域最小蕴涵和Herbrand蕴涵的一阶句法特征。 Zbl 0805.03013号 马雷克·苏切内克(Marek A.Suchenek)。 三 1993 Lyndon同态定理在极小模型理论中的应用。 Zbl 0736.03008号 苏切内克,马雷克A。 2 1990 更新数据库的增量模型。 Zbl 0798.68046号 马雷克·苏切内克(Marek A.Suchenek)。 1 1990 模型理论在不完全信息的Lipski数据库中的两个应用。 Zbl 0675.03017号 马雷克·苏切内克(Marek A.Suchenek)。 1 1989 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 1 弗朗索瓦·布里 1 帕特里克·多尔蒂 1 斯特凡·爱德坎普 1 阿姆斯特丹Elmasry 1 Jyrki Katajainen 1 弗拉基米尔·利夫希茨 1 洛伦茨,斯文 1 维托尔德·乌卡斯泽维奇 1 马雷克·苏切内克(Marek A.Suchenek)。 1 斯扎·阿斯、安德烈吉 1 阿德南·H·叶海亚。 3篇连载文章中引用 2 自动推理杂志 1 数学与人工智能年鉴 1 计算系统理论 在2个字段中引用 6 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文