Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Christophe
    Last name: Ringeissen
    DBLP: r/CRingeissen
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 60  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen.
    Notions of Knowledge in Combinations of Theories Sharing Constructors.
    Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Raphaël Berthon, Christophe Ringeissen.
    Satisfiability Modulo Free Data Structures Combined with Bridging Functions.
    Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. 2016 (0) 2016
    Journal article
    Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko.
    A rule-based system for automatic decidability and combinability.
    Sci. Comput. Program. 2015, Volume 99 (0) 2015
    Conference paper
    Paula Chocron, Pascal Fontaine, Christophe Ringeissen.
    A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited.
    Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Paula Chocron, Pascal Fontaine, Christophe Ringeissen.
    A Rewriting Approach to the Combination of Data Structures with Bridging Theories.
    Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Unification and Matching in Hierarchical Combinations of Syntactic Theories.
    Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Christophe Ringeissen.
    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 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    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, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko.
    Automatic Decidability: A Schematic Calculus for Theories with Counting Operators.
    24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands 2013 (0) 2013
    Show item 1 to 10 of 60  

    Your query returned 60 matches in the database.