You are here

Home ›

Publications

Filters: Author is Viorica Sofronie-Stokkermans  [Clear All Filters]
2014
P. Chocron, P. Fontaine, and C. Ringeissen, “Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions”, in Automated Deduction: Decidability, Complexity, Tractability (ADDCT), 2014.

   

                              

Powered by Drupal