| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Régis Alenda, Nicola Olivetti: CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. TABLEAUX 2011: 21-26 |
| 5 | | Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky: Tableau Calculi for CSL\mathcal{CSL} over minspaces. CSL 2010: 52-66 |
| 4 | | Régis Alenda, Nicola Olivetti: Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. LPAR (Yogyakarta) 2010: 52-66 |
| 3 | | Régis Alenda, Nicola Olivetti, Gian Luca Pozzato: CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. Electr. Notes Theor. Comput. Sci. 262: 3-16 (2010) |
| 2 | | Régis Alenda, Nicola Olivetti, Camilla Schwind: Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX 2009: 17-31 |
| 1 | | Régis Alenda, Nicola Olivetti, Camilla Schwind: Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus CoRR abs/0902.0899: (2009) |
Selection of 6 from 6 records - Régis Alenda has 4 coauthors
Last update 2012-02-18 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page