ACM Transactions on Computational Logic
Publisher: | ACM |
ISSN: | 1529-3785 |
E-ISSN: | 1557-945X |
Categories: | Information Technology - General and Others Mathematical Sciences - Algorithms Mathematical Sciences - Applied Mathematics Mathematical Sciences - Logic Mathematical Sciences - Mathematical Analysis & Logic |
Available online: | Availability | Usage Restrictions |
---|---|---|
ACM Digital Library Complete | Available from 2000/07/01 | E-Reserve CMS Course Packs Link Print More Info |