Abdelkader Kersani

According to our database¹, Abdelkader Kersani authored at least 3 papers between 2013 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Preuves par induction dans le calcul de superposition. (Induction proof in superposition calculus).

[BibT_eX]

[DOI]

PhD thesis, 2014

2013

Combining Superposition and Induction: A Practical Realization.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2013

Completeness and Decidability Results for First-Order Clauses with Indices.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-24, 2013