ACM Transactions on Computational Logic
Title Titel
ACM Transactions on Computational Logic
e-ISSN
1557-945X
ISSN
1529-3785
Publisher Herausgeber
ASSOC COMPUTING MACHINERY