Documentation
Français (FR)

Anglais (EN)

Érik Martin-Dorel

3

Documents

Identifiants chercheurs

erik-martin-dorel
0000-0001-9716-9491
IdRef : 164762299

Présentation

français
anglais

Publications

1089068

	Cumulative Effects in Learning Érik Martin-Dorel , Sergei Soloviev 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Mar 2018, Aussois, France Communication dans un congrès hal-02982569v2
	A Formal Study of Boolean Games with Random Formulas as Payoff Functions Érik Martin-Dorel , Sergei Soloviev 22nd International Conference on Types for Proofs and Programs (TYPES 2016), May 2016, Novi Sad, Serbia. pp.1-22, ⟨10.4230/LIPIcs.TYPES.2016.14⟩ Communication dans un congrès hal-02651342v1

	A Formal Study of Boolean Games with Random Formulas as Pay Functions Érik Martin-Dorel , Sergei Soloviev [Research Report] IRIT. 2017 Rapport hal-03109258v1