| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 24 |       | Franz Baader, Silvio Ghilardi, Cesare Tinelli: A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Inf. Comput. 204(10): 1413-1452 (2006) |
| 17 | | Franz Baader, Silvio Ghilardi, Cesare Tinelli: A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. IJCAR 2004: 183-197 |
| 8 | | Franz Baader, Cesare Tinelli: Combining Decision Procedures for Positive Theories Sharing Constructors. RTA 2002: 352-366 |
| 7 | | Franz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories. Inf. Comput. 178(2): 346-390 (2002) |
| 6 | | Franz Baader, Cesare Tinelli: Combining Equational Theories Sharing Non-Collapse-Free Constructors. FroCos 2000: 260-274 |
| 5 | | Franz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. RTA 1999: 175-189 |
| 3 | | Franz Baader, Cesare Tinelli: A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. CADE 1997: 19-33 |
Selection of 7 from 54 records - Cesare Tinelli has 43 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page