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 |