Hicham Bensaid (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. AISC/MKM/Calculemus 2010: 19-33

3 Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. IJCAR 2010: 369-383

2 Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Dei: A Theorem Prover for Terms with Integer Exponents. CADE 2009: 146-150

1 Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52

Selection of 4 from 4 records - Hicham Bensaid has 2 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

4		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. AISC/MKM/Calculemus 2010: 19-33
3		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. IJCAR 2010: 369-383
2		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Dei: A Theorem Prover for Terms with Integer Exponents. CADE 2009: 146-150
1		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52