Publications
Filters: Author is Paula Chocron [Clear All Filters]
, “A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited”, in Proc. Conference on Automated Deduction (CADE), 2015.
, “A Rewriting Approach to the Combination of Data Structures with Bridging Theories”, in Frontiers of Combining Systems ({FroCoS}), 2015.
, “A Gentle Non-Disjoint Combination of Satisfiability Procedures”, in International Joint Conference on Automated Reasoning (IJCAR), 2014.
, “Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions”, in Automated Deduction: Decidability, Complexity, Tractability (ADDCT), 2014.
, “A canonical proof-theoretic approach to model theory”, 2013.
abstract.pdf (166.59 KB)
abstract.pdf (166.59 KB)
