Works by Cesare Tinelli

( view other items matching `Cesare Tinelli`, view all matches )
Order:
  1.  12
    Combining equational theories sharing non-collapse-free constructors.Franz Baader & Cesare Tinelli - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 260--274.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  18
    Computing finite models by reduction to function-free clause logic.Peter Baumgartner, Alexander Fuchs, Hans de Nivelle & Cesare Tinelli - 2009 - Journal of Applied Logic 7 (1):58-74.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    The model evolution calculus as a first-order DPLL method.Peter Baumgartner & Cesare Tinelli - 2008 - Artificial Intelligence 172 (4-5):591-632.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation