编辑配置文件(在新选项卡中打开) 多米尼克·库莱斯扎 合著者距离 作者ID: 库列萨·多米尼克 发布日期: 多米尼克·库莱斯扎 已编制索引的文档: 1出版物自2020年起 合著者: 1位合著者具有1联合出版物 19位合作作者 合著者 0 单作者的 1 亚当·格拉博夫斯基 系列 1 形式化数学 领域 1 阶、格、有序代数结构(06-XX) 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 准晶格的形式化。 Zbl 1496.68375号 多米尼克·库莱斯扎;亚当·格拉博夫斯基 2 2020 准晶格的形式化。 Zbl 1496.68375号 多米尼克·库莱斯扎;亚当·格拉博夫斯基 2 2020 3位作者引用 2 亚当·格拉博夫斯基 1 沃伊切赫,库希米罗夫斯基 1 Damian Sawicki 在1个序列中引用 2 形式化数学 在2个字段中引用 2 阶、格、有序代数结构(06-XX) 2 计算机科学(68至XX) 按年份列出的引文