Amira Henaien (LITA

Identifiers

• name variant Amira Henaien (LITA 0.60 · backfill

Papers (1)

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

Mentions

• 1307.8214 #1 · backfill · confidence 0.70 Amira Henaien (LITA

Frequent Coauthors

• France 1 shared papers
• France) 1 shared papers
• Higher School of Communication of Tunis (Sup'Com) 1 shared papers
• Ile du Saulcy 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