logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
F

FRONTIERS OF COMBINING SYSTEMS, FROCOS 2025

IF
论文数21
被引数
期刊论文 21
发表时间
delete
Certifying rlive: A New Proof Strategy for Liveness Model Checking验证活性：一种新的活性模型检测证明策略
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteSindoni, Giulia; Griggio, Alberto; Tonetta, Stefano
delete分享
delete收藏
Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems逻辑约束项重写系统中约束模式的差异
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteNishida, Naoki; Kojima, Misaki; Nakamura, Yuto
delete分享
delete收藏
An Analytic Representation of the Semantics of First-Order S5一阶S5语义的解析表示
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteBaaz, Matthias; Gamsakhurdia, Mariami; Lolic, Anela
delete分享
delete收藏
Deciding Satisfiability for Overlaid Symbolic Heaps重叠符号堆的满足性判定
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deletePeltier, Nicolas; Petitjean, Quentin; Sighireanu, Mihaela
delete分享
delete收藏
Shininess, Strong Politeness, and Unicorns光泽度、强礼貌策略与独角兽
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete1
deleteOAAI
deletePrzybocki, Benjamin; Toledo, Guilherme V.; Zohar, Yoni
delete分享
delete收藏
Number Theory Combination: Natural Density and SMT数论组合：自然密度和SMT
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteToledo, Guilherme V.; Zohar, Yoni
delete分享
delete收藏
Subtyping in Dependently-Typed Higher-Order Logic依赖类型高阶逻辑中的子类型
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteRothgang, Colin; Rabe, Florian
delete分享
delete收藏
Iterative Monomorphisation迭代单形态化
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteBozec, Tanguy; Blanchette, Jasmin
delete分享
delete收藏
Graph-Embedded Rewrite Systems: Combination and Undecidability Results图嵌入重写系统：组合与不可判定性结果
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteErbatur, Serdar; Marshall, Andrew M.; Narendran, Paliath; Ringeissen, Christophe
delete分享
delete收藏
A Finite Abstraction of Real-Valued Functions for Complete Reasoning About Influence实值函数的有限抽象：用于完整推理影响
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteMoller, Soren; Bruse, Florian; Lange, Martin
delete分享
delete收藏
Checking Linear Integer Arithmetic Proofs in Lambdapi在Lambdapi中检查线性整数算术证明
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteColtellacci, Alessio; Merz, Stephan
delete分享
delete收藏
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories利用部分赋值枚举进行理论模优化
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteMasina, Gabriele; Sebastiani, Roberto
delete分享
delete收藏
When GNNs Met a Word Equations Solver: Learning to Rank Equations当图神经网络遇到方程求解器：学习排序方程
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAbdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng; Ruemmer, Philipp
delete分享
delete收藏
Data-Driven Runtime Complexity Analysis数据驱动的运行时复杂度分析
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteFrontull, Samuel; Meitinger, Manuel; Moser, Georg
delete分享
delete收藏
Reasoning in OWL 2 EL with Hierarchical Concrete DomainsOWL 2 EL中带层次具体域的推理
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteKriegel, Francesco
delete分享
delete收藏
The Concrete EVONNE: Visualization Meets Concrete Domain Reasoning混凝土EVONNE：可视化与具体领域推理的结合
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAlrabbaa, Christian; Baader, Franz; Dachselt, Raimund; Kovtunova, Alisa; Mendez, Julian
delete分享
delete收藏
Polite Combination in Parametric Array Theories参数阵理论中的礼貌组合
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteRaya, Rodrigo; Ringeissen, Christophe
delete分享
delete收藏
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models描述逻辑在受限模型类上的数值约束表达能力
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteBaader, Franz; De Bortoli, Filippo
delete分享
delete收藏
Context-Aware Clause Selection Using Symbol Name Meanings in Theorem Proving基于符号名称含义的定理证明中的上下文感知子句选择
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteSchon, Claudia
delete分享
delete收藏
Weighted Rewriting加权重写
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAvanzini, Martin; Yamada, Akihisa
delete分享
delete收藏