ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages. The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field. Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

Articles & Issues

Tags:

Journals & Series

Journals & Series / Views

Journal

ACM Transactions on Computational Logic

— acronym

TOCL

— publisher

ACM Press

URLs

home page

— Scopus

23051

IDs

— ISSN

15293785

https://www.scimagojr.com/journal_img.php?id=23051

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY