Accéder directement au contenu

Celia Picard

3
Documents
Identifiants chercheurs

Présentation

Publications

ralph-matthes
Image document

Coinductive Graph Representation: the Problem of Embedded Lists

Célia Picard , Ralph Matthes
Electronic 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
Image document

Permutations in Coinductive Graph Representation

Célia Picard , Ralph Matthes
11th 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
Image document

Verification of redecoration for infinite triangular matrices using coinduction

Ralph Matthes , Célia Picard
International Workshop on Types and Proofs for Programs - TYPES 2011, Sep 2011, Bergen, Norway. pp. 55-69
Communication dans un congrès hal-01143261v1