编辑配置文件(在新选项卡中打开) 西尔维娅·斯特拉 合著者距离 作者ID: 西尔维亚牛排 发布方式: 西尔维娅·斯特拉 已编制索引的文档: 16出版物自2014年以来,包括1个附加arXiv预打印 1名编辑贡献 合著者: 9合著者具有14联合出版物 139位合作作者 全部的 前5名合著者 三 单作者的 5 斯特凡诺·贝拉尔迪 三 贾格尔,格哈德 三 Keita横山 2 乔治·奥德里托 2 煎炸,伊曼纽尔 2 保罗·奥利瓦 1 T.V.戈帕尔。 1 弗洛里安·佩卢佩西 1 Viale,Matteo公司 系列 4 符号逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 逻辑与计算杂志 1 数学基础 1 计算机科学课堂讲稿 领域 16 数学逻辑和基础(03-XX) 9 组合数学(05-XX) 4 计算机科学(68至XX) 1 一般性和全局性主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用38中的次25文件 引用人▼ 年份▼ 配对拉姆齐定理是直觉算法中的经典原理。 Zbl 1359.03045号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 7 2014 Schwichtenberg条递归闭包定理的直接证明。 Zbl 1406.03059号 保罗·奥利瓦;西尔维娅·斯特拉 6 2018 拉姆齐定理的直观版本及其在程序终止中的使用。 Zbl 1378.03050号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 5 2015 反转终止定理的数学界。 兹比尔1402.03023 西尔维娅·斯特拉;Keita横山 5 2016 通过棒递归分析Podelski-Rybalchenko终止定理。 Zbl 1444.03140号 斯特凡诺·贝拉尔迪;保罗·奥利瓦;西尔维娅·斯特拉 4 2019 关于Kripke-Platek环境中的一些不动点公理和相关原理。 Zbl 1469.03139号 贾格尔,格哈德;西尔维娅·斯特拉 4 2018 尺寸变化终止的直观分析。 Zbl 1369.68156号 西尔维娅·斯特拉 2 2015 从数学的普遍性到不动点和相关的集合理论概念。 Zbl 1469.03140号 贾格尔,格哈德;西尔维娅·斯特拉 1 2019 拉姆齐定理是建立良好关系的直观性质。 Zbl 1417.03299号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2014 计算模型的理论和应用。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。 兹比尔1360.68012 1 2017 通用大基数和过滤器系统。 Zbl 1422.03111号 乔治·奥德里托;西尔维娅·斯特拉 1 2017 Ramsey关于成对和(k)颜色的定理是一种亚经典的算术原理。 Zbl 1419.03055号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2017 通过条递归分析波德尔斯基-赖巴尔琴科终止定理。 Zbl 1444.03140号 斯特凡诺·贝拉尔迪;保罗·奥利瓦;西尔维娅·斯特拉 4 2019 从数学的普遍性到不动点和相关的集合理论概念。 Zbl 1469.03140号 贾格尔,格哈德;西尔维娅·斯特拉 1 2019 Schwichtenberg条递归闭包定理的直接证明。 Zbl 1406.03059号 保罗·奥利瓦;西尔维娅·斯特拉 6 2018 关于Kripke-Platek环境中的一些不动点公理和相关原理。 Zbl 1469.03139号 贾格尔,格哈德;西尔维娅·斯特拉 4 2018 计算模型的理论和应用。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。 Zbl 1360.68012号 1 2017 通用大基数和过滤器系统。 Zbl 1422.03111号 乔治·奥德里托;西尔维娅·斯特拉 1 2017 Ramsey关于成对和(k)颜色的定理是一种亚经典的算术原理。 Zbl 1419.03055号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2017 反转终止定理的数学界。 兹比尔1402.03023 西尔维娅·斯特拉;Keita横山 5 2016 拉姆齐定理的直观版本及其在程序终止中的使用。 Zbl 1378.03050号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 5 2015 尺寸变化终止的直观分析。 Zbl 1369.68156号 西尔维娅·斯特拉 2 2015 配对拉姆齐定理是直觉算法中的经典原理。 Zbl 1359.03045号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 7 2014 拉姆齐定理是建立良好关系的直观性质。 Zbl 1417.03299号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2014 所有引用出版物 前5名被引用出版物 全部的 前5名24位作者引用 7 西尔维娅·斯特拉 5 藤原真本 三 斯特凡诺·贝拉尔迪 三 卡瓦伊、达松吉 三 Keita横山 2 乌尔里希·威廉·科伦巴赫 2 卢多维奇·佩蒂 1 瓦斯科·布拉特卡 1 塞缪尔·R·巴斯。 1 肖恩·考克斯。 1 煎炸,伊曼纽尔 1 罗莎莉,伊姆霍夫 1 贾格尔,格哈德 1 Kurahashi、Taishi 1 保罗·奥利瓦 1 大田康彦 1 Orponen、Tuomas 1 弗洛里安·佩卢佩西 1 塔希纳州拉科托尼亚纳 1 Michael Rathjen,迈克尔 1 巴勃罗·施默金。 1 乔纳森·斯特林 1 Makoto Tatsuta 1 徐创杰 全部的 前5名10篇连载文章中引用 4 符号逻辑杂志 4 纯逻辑与应用逻辑年鉴 三 数学逻辑档案 2 《数理逻辑季刊》 2 计算机科学中的逻辑方法 1 数学进展 1 杜克大学数学期刊 1 圣母院形式逻辑期刊 1 函数编程杂志 1 Oberwolfach报告 全部的 前5名在6个字段中引用 24 数学逻辑和基础(03-XX) 8 组合数学(05-XX) 4 计算机科学(68至XX) 1 一般性和全局性主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 测量和集成(28-XX) 按年份列出的引文