Publications

Export 2 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Stéphane Demri  [Clear All Filters]
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.PDF icon beyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)
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.