- 1
- 1
- 1
Celia Picard
3
Documents
Identifiants chercheurs
- celiapicard
- IdRef : 165059583
- 0000-0002-8715-4365
Présentation
Publications
- 3
- 3
- 1
- 2
|
Coinductive Graph Representation: the Problem of Embedded ListsElectronic Communications of the EASST, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39
Article dans une revue
hal-02015853v1
|
|
Permutations in Coinductive Graph Representation11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩
Communication dans un congrès
hal-01539884v1
|
|
Verification of redecoration for infinite triangular matrices using coinductionInternational Workshop on Types and Proofs for Programs - TYPES 2011, Sep 2011, Bergen, Norway. pp. 55-69
Communication dans un congrès
hal-01143261v1
|