ACM Transactions on Computational Logic, the Glossary
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.[1]
Table of Contents
11 relations: ACM SIGLOG, Association for Computing Machinery, Computational logic, Editor-in-chief, Impact factor, Journal Citation Reports, Logic in computer science, Special interest group, Thomson Reuters, University of Cambridge, Web of Science.
- Association for Computing Machinery academic journals
ACM SIGLOG
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation.
See ACM Transactions on Computational Logic and ACM SIGLOG
Association for Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing.
See ACM Transactions on Computational Logic and Association for Computing Machinery
Computational logic
Computational logic is the use of logic to perform or reason about computation. ACM Transactions on Computational Logic and Computational logic are logic in computer science.
See ACM Transactions on Computational Logic and Computational logic
Editor-in-chief
An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies.
See ACM Transactions on Computational Logic and Editor-in-chief
Impact factor
The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as indexed by Clarivate's Web of Science.
See ACM Transactions on Computational Logic and Impact factor
Journal Citation Reports
Journal Citation Reports (JCR) is an annual publication by Clarivate.
See ACM Transactions on Computational Logic and Journal Citation Reports
Logic in computer science
Logic in computer science covers the overlap between the field of logic and that of computer science.
See ACM Transactions on Computational Logic and Logic in computer science
Special interest group
A special interest group (SIG) is a community within a larger organization with a shared interest in advancing a specific area of knowledge, learning or technology where members cooperate to effect or to produce solutions within their particular field, and may communicate, meet, and organize conferences.
See ACM Transactions on Computational Logic and Special interest group
Thomson Reuters
Thomson Reuters Corporation is a Canadian-American multinational information conglomerate.
See ACM Transactions on Computational Logic and Thomson Reuters
University of Cambridge
The University of Cambridge is a public collegiate research university in Cambridge, England.
See ACM Transactions on Computational Logic and University of Cambridge
Web of Science
The Web of Science (WoS; previously known as Web of Knowledge) is a paid-access platform that provides (typically via the internet) access to multiple databases that provide reference and citation data from academic journals, conference proceedings, and other documents in various academic disciplines.
See ACM Transactions on Computational Logic and Web of Science
See also
Association for Computing Machinery academic journals
- ACM Computing Reviews
- ACM Computing Surveys
- ACM Transactions on Algorithms
- ACM Transactions on Applied Perception
- ACM Transactions on Computation Theory
- ACM Transactions on Computational Logic
- ACM Transactions on Computer-Human Interaction
- ACM Transactions on Database Systems
- ACM Transactions on Graphics
- ACM Transactions on Information Systems
- ACM Transactions on Mathematical Software
- ACM Transactions on Multimedia Computing, Communications, and Applications
- ACM Transactions on Programming Languages and Systems
- ACM Transactions on Software Engineering and Methodology
- Computers in Entertainment
- IEEE/ACM Transactions on Computational Biology and Bioinformatics
- IEEE/ACM Transactions on Networking
- Journal of the ACM
- Mobile Computing and Communications Review
References
[1] https://en.wikipedia.org/wiki/ACM_Transactions_on_Computational_Logic
Also known as ACM TOCL, ACM Trans Comput Log, ACM Trans. Comput. Log..