Proofs with Graphs
Sharon Curtis and Gavin Lowe
Details
| Journal |
Sci. Comput. Program. |
| Number |
1−3 |
| Pages |
197−216 |
| Volume |
26 |
| Year |
1996 |
Links
Related pages
|
People |