编辑配置文件(在新选项卡中打开) 维克多·Gyuris 合著者距离 作者ID: gyuris.viktor公司 发布日期: 维克多·Gyuris 已编制索引的文档: 5出版物自1995年起 合著者: 1位合著者具有1联合出版物 15位合作作者 合著者 三 单作者的 1 伊尔迪科·塞恩 系列 1 理论计算机科学 1 计算的形式方面 1 IGPL期刊 1 IGPL逻辑杂志 字段 4 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用14中的次13文件 引用人▼ 年份▼ 有限可图解代数逻辑。 Zbl 0886.03044号 伊尔迪科·塞恩;维克多·Gyuris 8 1997 使用自动机作为不变量对线性网络进行参数化验证。 Zbl 0955.68069号 普拉萨德·西斯特拉;维克多·Gyuris 三 1999 fork代数可表示性的简短证明。 Zbl 0838.03047号 维克多·Gyuris 2 1995 如果没有模态分布公理,关联性并不意味着不可判定。 Zbl 0874.03024号 维克多·Gyuris 1 1996 使用自动机作为不变量对线性网络进行参数化验证。 兹比尔0955.68069 普拉萨德·西斯特拉;维克多·Gyuris 三 1999 有限的可图解的代数逻辑。 Zbl 0886.03044号 伊尔迪科·塞恩;维克多·Gyuris 8 1997 如果没有模态分布公理,关联性并不意味着不可判定。 Zbl 0874.03024号 维克多·Gyuris 1 1996 fork代数可表示性的简短证明。 Zbl 0838.03047号 维克托·久里斯 2 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名14位作者引用 4 艾哈迈德、塔雷克说 三 哈伊纳尔·安德雷卡 2 伊斯坦·内梅蒂 1 帕罗什·阿齐兹·阿卜杜拉 1 萨米克·巴苏 1 维克托·久里斯 1 拉杜·马达尔 1 或者艾瓦·奥斯卡。 1 阿尔贝托,Policriti 1 罗马克里希南,C.R。 1 巴西姆·萨米尔 1 马修·斯宾克斯 1 穆拉利达尔·塔卢普尔 1 罗伯特·弗罗夫 全部的 前5名9篇连载文章中引用 2 理论计算机科学 2 应用非经典逻辑杂志 1 代数通讯 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 美国数学学会会刊 1 纯逻辑与应用逻辑年鉴 1 数学逻辑季刊(MLQ) 在3个字段中引用 11 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 2 一般代数系统(08-XX) 按年份列出的引文