hal-01087065v1  Communication dans un congrès
Serdar Erbatur, Deepak Kapur, Andrew Marshall, Catherine Meadows, Paliath Narendran et al.  On Asymmetric Unification and the Combination Problem in Disjoint Theories
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, Apr 2014, Grenoble, France. Springer, pp.15, 2014, Lecture Notes in Computer Science. <10.1007/978-3-642-54830-7_18>

hal-00868424v1  Direction d'ouvrage, Proceedings
Pascal Fontaine, Christophe Ringeissen, Renate Schmidt. Frontiers of Combining Systems
Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. 8152, Springer, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7

hal-01087218v1  Communication dans un congrès
Paula Chocron, Pascal Fontaine, Christophe Ringeissen. Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
Workshop on Automated Deduction: Decidability, Complexity, Tractability, ADDCT 2014. Held as Part of the Vienna Summer of Logic, affiliated with IJCAR 2014 and RTA 2014, Jul 2014, Vienna, Austria

hal-01087162v1  Communication dans un congrès
Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Jul 2014, Vienna, Austria. Springer, 8562, pp.122-136, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-08587-6_9>

hal-00878649v1  Communication dans un congrès
Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen. Hierarchical Combination
Maria Paola Bonacina. CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. Springer, 7898, pp.249-266, 2013, Lecture Notes in Computer Science; Automated Deduction - CADE-24. <10.1007/978-3-642-38574-2_17>

hal-00878657v1  Communication dans un congrès
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 21, pp.303-318, 2013, LIPIcs. <10.4230/LIPIcs.RTA.2013.303>

hal-00749576v1  Communication dans un congrès
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A Rule-Based Framework for Building Superposition-Based Decision Procedures
Franciso Durán. Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. Springer Berlin / Heidelberg, 7571, pp.221-239, 2012, Lecture Notes in Computer Science; Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. <10.1007/978-3-642-34005-5_12>