Higher School of Communication of Tunis (Sup'Com)

Identifiers

• name variant Higher School of Communication of Tunis (Sup'Com) 0.60 · backfill

Papers (1)

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

Mentions

• 1307.8214 #6 · backfill · confidence 0.70 Higher School of Communication of Tunis (Sup'Com)

Frequent Coauthors

• Amira Henaien (LITA 1 shared papers
• France 1 shared papers
• France) 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