Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Permutations in Coinductive Graph Representation. | 2 | 0.40 | 2012 |
| Coinductive Graph Representation: the Problem of Embedded Lists. | 6 | 0.54 | 2011 |
| Verification of redecoration for infinite triangular matrices using coinduction. | 1 | 0.41 | 2011 |