Filtrer vos résultats
- 7
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 3
- 4
- 3
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
triés par
|
|
Vers un calcul des constructions pédagogiqueLogique en informatique [cs.LO]. Université de Metz; Université de Lorraine, 2012. Français. ⟨NNT : ⟩
Thèse
tel-00838147v1
|
||
|
Pedagogical lambda-cube: the λ² case2014
Pré-publication, Document de travail
hal-00958835v1
|
||
|
A sequent calculus with labels for Public Announcement LogicConference on Advances in Modal Logic (AiML 2014), 2014, Groningen, Netherlands
Communication dans un congrès
hal-01259783v1
|
||
|
Investigations on a Pedagogical Calculus of ConstructionsJournal of Universal Computer Science, 2013, 19 (6), pp.729-749. ⟨10.3217/jucs-019-06-0729⟩
Article dans une revue
hal-00678784v1
|
||
|
Automated Certification of Implicit Induction ProofsCertified Programs and Proofs, Dec 2011, Kenting, Taiwan
Communication dans un congrès
hal-00644876v1
|
||
|
Vers un calcul des constructions pédagogiqueAutre [cs.OH]. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0388⟩
Thèse
tel-01749591v1
|
||
|
Petites exploitations agricoles : quels soutiens de la puissance publique ?[Rapport de recherche] ENA. 2016
Rapport
halshs-01664328v1
|