ACM Transactions on Computational Logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search
ACM Transactions on Computational Logic  
Discipline Computational logic
Language English
Edited by Dale Miller
Publication details
Publisher
ACM (United States)
Publication history
2000–present
Frequency Quarterly
Indexing
ISSN 1529-3785 (print)
1557-945X (web)
Links

ACM Transactions on Computational Logic (TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the USA.

External links[edit]