A Collection of Functional Libraries for Theory of Computation (2001)
by
Guo-qiang Zhang
,
Leon Smith
| Venue: | PROCEEDINGS OF THE 39TH ACM-SE CONFERENCE |
Document Versions
| A Collection of Functional Libraries for Theory of Computation –Guo-qiang Zhang, Leon Smith — 2001 — PROCEEDINGS OF THE 39TH ACM-SE CONFERENCE |

