A Collection of Functional Libraries for Theory of Computation (2001)

Cached

Download Links

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