编辑配置文件（在新选项卡中打开） 斯蒂芬·斯基里克 合著者距离 作者ID： 斯基里克·斯蒂芬 发布日期： 斯蒂芬·斯基里克 已编制索引的文档： 9出版物自2015年起 合著者： 3位合著者具有9联合出版物 132联合作者 合著者 0 单作者的 9 何塞·梅塞盖尔·瓜伊塔 2 安德烈·特夫内斯库 1 卡米洛·罗查 系列 1 计算的形式方面 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 领域 9 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用34中的次20文件 引用人▼ 年份▼ 变量可满足性的元级算法。 Zbl 1430.68423号 斯蒂芬·斯基里克；何塞·梅塞盖尔 8 2018 初始有序代数中的方程公式和模式运算。 Zbl 1362.68054号 何塞·梅塞盖尔；斯蒂芬·斯基里克 6 2017 重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68075号 斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞盖尔 5 2018 带有等式谓词的归纳推理、上下文重写和基于方差的简化。 Zbl 1517.68167号 何塞·梅塞盖尔；斯蒂芬·斯基里克 5 2020 重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68076号 斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞盖尔 4 2020 初始有序代数中的方程公式和模式运算。 兹比尔1362.68053 何塞·梅塞盖尔；斯蒂芬·斯基里克 三 2015 条件方程程序层次的地面收敛性和完备性。 Zbl 1514.68039号 何塞·梅塞盖尔；斯蒂芬·斯基里克 1 2022 变量可满足性的元级算法。 Zbl 1367.68256号 斯蒂芬·斯基里克；何塞·梅塞盖尔 1 2016 验证可达性逻辑中的IBOS浏览器安全属性。 Zbl 1517.68254号 斯蒂芬·斯基里克；何塞·梅塞盖尔；卡米洛·罗查 1 2020 条件方程程序层次的地面收敛性和完备性。 Zbl 1514.68039号 何塞·梅塞盖尔；斯蒂芬·斯基里克 1 2022 带有等式谓词的归纳推理、上下文重写和基于方差的简化。 Zbl 1517.68167号 何塞·梅塞盖尔；斯蒂芬·斯基里克 5 2020 重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68076号 斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞格尔 4 2020 验证可达性逻辑中的IBOS浏览器安全属性。 Zbl 1517.68254号 斯蒂芬·斯基里克；何塞·梅塞盖尔；卡米洛·罗查 1 2020 变量可满足性的元级算法。 Zbl 1430.68423号 斯蒂芬·斯基里克；何塞·梅塞盖尔 8 2018 重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68075号 斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞盖尔 5 2018 初始有序代数中的方程公式和模式运算。 Zbl 1362.68054号 何塞·梅塞盖尔；斯蒂芬·斯基里克 6 2017 变量可满足性的元级算法。 Zbl 1367.68256号 斯蒂芬·斯基里克；何塞·梅塞盖尔 1 2016 初始有序代数中的方程公式和模式运算。 Zbl 1362.68053号 何塞·梅塞盖尔；斯蒂芬·斯基里克 三 2015 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 8 何塞·梅塞盖尔·瓜伊塔 5 斯蒂芬·斯基里克 三 弗朗西斯科·杜兰 三 圣地亚哥埃斯科瓦尔 2 史蒂文·艾克 2 马蒂·奥利特，纳西索 2 格里高·罗什乌 2 鲁本·卢比奥 2 卡罗琳·塔尔科特。 1 玛丽亚·阿尔普恩特 1 艾琳娜·莫瑞卡 1 黛米斯·巴利斯 1 Ciobâcă，沙特凡 1 埃尔萨·甘特。 1 劳尔·古铁雷斯 1 李丽怡 1 多雷尔·卢卡努 1 萨尔瓦多卢卡斯 1 拉杜·梅鲁塔 1 布兰登·摩尔（Brandon M.Moore）。 1 大卫·E·诺瓦克。 1 阿德里安·里斯科 1 卡米洛·罗查 1 弗拉德·鲁苏 1 朱莉娅·萨皮娜 1 Şerbănuţă，特拉恩·弗洛林 1 拉丁·托菲吉（Ramtine Tofighi Shirazi） 1 安德烈·特夫内斯库 1 植村康吉 4篇连载文章中引用 9 程序设计中的逻辑和代数方法杂志 1 自动推理杂志 1 计算的形式方面 1 计算机科学中的逻辑方法 在3个字段中引用 20 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 按年份列出的引文