Filtrer vos résultats
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
5 résultats
|
|
triés par
|
A model-constructing framework for theory combination[Research Report] RR-99/2016, Universita degli Studi di Verona. 2016
Rapport
hal-01425305v1
|
|||
|
Theory Combination: Beyond Equality SharingCarsten 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
Chapitre d'ouvrage
hal-02194001v1
|
||
|
New results on rewrite-based satisfiability proceduresACM Transactions on Computational Logic, 2009, 10 (1), Article 4, 51 p. ⟨10.1145/1459010.1459014⟩
Article dans une revue
inria-00576862v1
|
||
|
Proofs in conflict-driven theory combinationProceedings of the 7th International Conference on Certified Programs and Proofs (CPP'18), Jan 2018, Los Angeles, United States. ⟨10.1145/3167096⟩
Communication dans un congrès
hal-01935595v1
|
||
|
Theory decision by decompositionJournal of Symbolic Computation, 2010, 45 (2), pp.229-260. ⟨10.1016/j.jsc.2008.10.008⟩
Article dans une revue
hal-00940845v1
|