Search - Archive ouverte HAL Access content directly

Filter your results

5 Results

New results on rewrite-based satisfiability procedures

Alessandro Armando , Maria Paola Bonacina , Silvio Ranise , Stephan Schulz
ACM Transactions on Computational Logic, 2009, 10 (1), Article 4, 51 p. ⟨10.1145/1459010.1459014⟩
Journal articles inria-00576862v1
Image document

Theory Combination: Beyond Equality Sharing

Maria Paola Bonacina , Pascal Fontaine , Christophe Ringeissen , Cesare Tinelli
Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.57-89, 2019, Theoretical Computer Science and General Issues, 978-3-030-22101-0
Book sections hal-02194001v1

A model-constructing framework for theory combination

Maria Paola Bonacina , Stéphane Graham-Lengrand , Natarajan Shankar
[Research Report] RR-99/2016, Universita degli Studi di Verona. 2016
Reports hal-01425305v1
Image document

Proofs in conflict-driven theory combination

Maria Paola Bonacina , Stéphane Graham-Lengrand , Natarajan Shankar
Proceedings of the 7th International Conference on Certified Programs and Proofs (CPP'18), Jan 2018, Los Angeles, United States. ⟨10.1145/3167096⟩
Conference papers hal-01935595v1

Theory decision by decomposition

Maria Paola Bonacina , Mnacho Echenim
Journal of Symbolic Computation, 2010, 45 (2), pp.229-260. ⟨10.1016/j.jsc.2008.10.008⟩
Journal articles hal-00940845v1