ACM transactions on computational logic.
Association for Computing Machinery.
New York, NY : Association for Computing Machinery,
c2000-
Title from cover.
Computer logic
Logic, Symbolic and mathematical
Computer science
Also available via the World Wide Web.