ACM transactions on computational logic

ACM transactions on computational logic .

Other author/creator	Association for Computing Machinery.
Other author/creator	ACM Digital Library.
Format	Electronic, Book, and Journal
Publication Info	New York, NY : Association for Computing Machinery.
Supplemental Content	Click here for full text
Subject(s)	Computer logic--Periodicals. Logic, Symbolic and mathematical--Periodicals. Computer science--Mathematics --Periodicals.

Uniform title	ACM transactions on computational logic (Online)
Variant title	Association for Computing Machinery transactions on computational logic
Portion of title	Computational logic
Portion of title	Transactions on computational logic
Other title	TOCL
Frequency	Quarterly
Access restriction	Available only to authorized users.
Other forms	Also available in print.
Technical details	Mode of access: World Wide Web.
Source of description	Description based on web page information screen (viewed May 8, 2001).
Source of description	Volume 24, number 4 ([October], 2023) (ACM Digital Library, viewed March 7, 2024).
Issued in other form	Print version: ACM transactions on computational logic 1529-3785
LCCN	2005214027
ISSN	1557-945X 1529-3785

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available