Ile du Saulcy

Identifiers

• name variant Ile du Saulcy 0.60 · backfill

Papers (1)

1. Performing Implicit Induction Reasoning with Certifying Proof Environments cs.LO · 2013 · author #3

Mentions

• 1307.8214 #3 · backfill · confidence 0.70 Ile du Saulcy

Frequent Coauthors

• Amira Henaien (LITA 1 shared papers
• France 1 shared papers
• France) 1 shared papers
• Higher School of Communication of Tunis (Sup'Com) 1 shared papers
• Metz 1 shared papers
• Sorin Stratulat (LITA 1 shared papers
• Tunisia) 1 shared papers
• Universit\'e de Lorraine 1 shared papers
• University of Carthage 1 shared papers