logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
F

FRONTIERS OF COMBINING SYSTEMS, FROCOS 2025

IF
Papers21
Citations
Journal Papers 21
Publication Date
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
deleteShare
deleteSave
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
deleteShare
deleteSave
An Analytic Representation of the Semantics of First-Order S5
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteBaaz, Matthias; Gamsakhurdia, Mariami; Lolic, Anela
deleteShare
deleteSave
Deciding Satisfiability for Overlaid Symbolic Heaps
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deletePeltier, Nicolas; Petitjean, Quentin; Sighireanu, Mihaela
deleteShare
deleteSave
Shininess, Strong Politeness, and Unicorns
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete1
deleteOAAI
deletePrzybocki, Benjamin; Toledo, Guilherme V.; Zohar, Yoni
deleteShare
deleteSave
Number Theory Combination: Natural Density and SMT
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteToledo, Guilherme V.; Zohar, Yoni
deleteShare
deleteSave
Subtyping in Dependently-Typed Higher-Order Logic
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteRothgang, Colin; Rabe, Florian
deleteShare
deleteSave
Iterative Monomorphisation
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteBozec, Tanguy; Blanchette, Jasmin
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Checking Linear Integer Arithmetic Proofs in Lambdapi
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteColtellacci, Alessio; Merz, Stephan
deleteShare
deleteSave
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteMasina, Gabriele; Sebastiani, Roberto
deleteShare
deleteSave
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
deleteShare
deleteSave
Data-Driven Runtime Complexity Analysis
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteFrontull, Samuel; Meitinger, Manuel; Moser, Georg
deleteShare
deleteSave
Reasoning in OWL 2 EL with Hierarchical Concrete Domains
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteKriegel, Francesco
deleteShare
deleteSave
The Concrete EVONNE: Visualization Meets Concrete Domain Reasoning
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAlrabbaa, Christian; Baader, Franz; Dachselt, Raimund; Kovtunova, Alisa; Mendez, Julian
deleteShare
deleteSave
Polite Combination in Parametric Array Theories
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteRaya, Rodrigo; Ringeissen, Christophe
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Weighted Rewriting
deleteFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAvanzini, Martin; Yamada, Akihisa
deleteShare
deleteSave