en.unionpedia.org

ACM Transactions on Computational Logic, the Glossary

Index ACM Transactions on Computational Logic

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

  1. 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.

  2. 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

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..