Title:
ACM Transactions on Computational Logic
Abbreviated Title:
ACM Trans. Comput. Logic
Abbreviated Title:
TOCL
Publisher:
Association for Computing Machinery (ACM)
ISSN
(Print):
15293785
Publication date Created:
November
19 2014
Publication date
(Print):
November
19 2014
Volume: 15
Issue: 4
Pages: 1-47
Article
DOI: 10.1145/2631917
SO-VID: 2cd40f40-c6d6-46bf-b641-116814fb029f
Copyright © ©
2014