ACM transactions on computational logic [electronic resource].

Bibliographic Details
Corporate Author:	Association for Computing Machinery
Language:	English
Published:	New York, NY : Association for Computing Machinery, ©2000-
Subjects:	Computer logic > Periodicals. Logic, Symbolic and mathematical > Periodicals. Computer science > Mathematics > Periodicals.
Genre:	Periodicals.
Online Access:	ACM Digital Library: 2000 to present (Association for Computing Machinery Digital Library) Applied Science & Technology Source: 2006 to present (EBSCO)
Variant Title:	Association for Computing Machinery transactions on computational logic Computational logic Transactions on computational logic TOCL [Other title]
Format:	Electronic Journal