→ ZMATH
ACM Trans. Comput. Log.
ACM Transactions on Computational Logic. Association for Computing Machinery (ACM), New York, NY. English. [1 vol. (= 4 issues) a year (updated continuously)]
Journal, ISSN 1529-3785; 1557-945X/e
http://dl.acm.org/pub.cfm?id=J773
Cover-to-cover reviewing in Zentralblatt MATH.
Library shelfmarks: TIB:ZL 2098
