Publications

Filters: Author is Stéphane Demri [Clear All Filters]

2014

P. Chocron, P. Fontaine, and C. Ringeissen, “A Gentle Non-Disjoint Combination of Satisfiability Procedures”, in International Joint Conference on Automated Reasoning (IJCAR), 2014.

2012

F. Carreiro and S. Demri, “Beyond Regularity for Presburger Modal Logics”, in 9th Workshop on Advances in Modal Logics (AiML'12), Copenhagen, Denmark, 2012.

beyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)