wanweipedia

ACM Transactions on Computational Logic

ACM Transactions on Computational Logic
DisciplineComputational logic
LanguageEnglish
Edited byOrna Kupferman
Publication details
History2000–present
Publisher
ACM (United States)
FrequencyQuarterly
Standard abbreviations
ISO 4ACM Trans. Comput. Log.
Indexing
ISSN1529-3785 (print)
1557-945X (web)
Links

ACM Transactions on Computational Logic (ACM 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 United States.

See also

External links


This page was last updated at 2020-12-08 00:23, update this pageView original page

All information on this site, including but not limited to text, pictures, etc., are reproduced on Wikipedia (wikipedia.org), following the . Creative Commons Attribution-ShareAlike License


Top

If the math, chemistry, physics and other formulas on this page are not displayed correctly, please useFirefox or Safari