Sorin Stratulat (LITA
Identifiers
- name variant Sorin Stratulat (LITA 0.60 · backfill
Papers (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