Sorin Stratulat (LITA

Identifiers

• name variant Sorin Stratulat (LITA 0.60 · backfill

Papers (1)

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

Mentions

• 1307.8214 #9 · backfill · confidence 0.70 Sorin Stratulat (LITA

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
• Ile du Saulcy 1 shared papers
• Metz 1 shared papers
• Tunisia) 1 shared papers
• Universit\'e de Lorraine 1 shared papers
• University of Carthage 1 shared papers