Acm Transactions On Computational Logic

ISI

آخرین بروز رسانی مارس ۲۰۲۳

Scopus

آخرین بروز رسانی فوریه ۲۰۲۲

این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:

SCImago

آخرین بروز رسانی ژانویه ۲۰۲۰

بر اساس دسته بندی این بنیاد این مجله در دسته Q1 قرار دارد

رشته تخصصی و رتبه مجله در آن رشته:

اهداف مجله

TOCL از ارسال‌های مربوط به تمام جنبه‌های منطق استقبال می‌کند زیرا مربوط به موضوعات علوم کامپیوتر است. این منطقه دارای سنت زیادی در علوم کامپیوتر است. چندین محقق که جایزه ACM Turing را به دست آورده اند نیز در این زمینه مشارکت داشته اند، از جمله ادگار کاد (سیستم های پایگاه داده رابطه ای)، استفن کوک (پیچیدگی نظریه های منطقی)، ادزگر دبلیو دایکسترا، رابرت دبلیو فلوید، تونی هور، امیر پنولی، دانا. اسکات، ادموند ام. کلارک، آلن ای. امرسون و جوزف سیفاکیس (منطق های برنامه، اشتقاق و تأیید برنامه، معناشناسی زبان های برنامه نویسی)، رابین میلنر (اثبات قضیه تعاملی، محاسبات همزمان و برنامه نویسی تابعی) و جان مک کارتی (برنامه نویسی تابعی) و منطق در هوش مصنوعی).

منطق همچنان نقش مهمی در علوم کامپیوتر ایفا می کند و در چندین حوزه آن از جمله هوش مصنوعی، پیچیدگی محاسباتی، سیستم های پایگاه داده و زبان های برنامه نویسی نفوذ کرده است.

هیئت تحریریه این مجله به دنبال جذب مقالات با کیفیت بالا در تمام زمینه های منطق محاسباتی ذکر شده است تا TOCL به مرجع استاندارد در این زمینه تبدیل شود.

هر دو مقاله نظری و کاربردی جستجو می شود. ارسالی که استفاده جدید از منطق در علوم کامپیوتر را نشان می دهد، به ویژه مورد استقبال قرار می گیرد.