ACM Transactions on Computational Logic

SCOPUS (2000-2025)SCIE-ISI

ISSN: 1529-3785

E-ISSN: 1557-945X

Quốc gia: Mỹ

Google Scholar ID:

Cơ quản chủ quản: Association for Computing Machinery (ACM) , ASSOC COMPUTING MACHINERY

Lĩnh vực:

Computer Science (miscellaneous)Theoretical Computer ScienceComputational MathematicsLogic

Các bài báo tiêu biểu

Sequential abstract-state machines capture sequential algorithms

Tập 1 Số 1 - Trang 77-111 - 2000

Yuri Gurevich

Reasoning About Strategies

Tập 15 Số 4 - Trang 1-47 - 2014

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

A dynamic approach to characterizing termination of general logic programs

Tập 4 Số 4 - Trang 417-430 - 2003

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang

Các tạp chí khác

Scholar Hub - Công cụ hỗ trợ trích dẫn và phân tích khoa học Việt Nam

Scholar Hub là công cụ hỗ trợ trích dẫn và phân tích ảnh hưởng của các bài báo, công bố khoa học Việt Nam và Quốc tế.
ScholarHub KHÔNG đăng thông tin tổng hợp, KHÔNG đăng lại nội dung từ các trang báo chí Việt Nam hoặc trang thông tin điện tử khác tại Việt Nam.

Thông tin, cập nhật

Đăng ký Tạp chí tham gia Scholar Hub

Phản hồi ý kiến về Scholar Hub

Bài viết, nội dung cập nhật

Chủ đề khoa học

Website liên kết

Hệ thống CSDL Khoa học & Công nghệ SciBase

Phần mềm kiểm tra trùng lặp Kiểm Tra Tài Liệu

Phần mềm xuất bản tạp chí điện tử VOJS

Hệ thống hội thảo khoa học Việt Nam

Nền tảng trắc nghiệm và đề thi đa lĩnh vực LetQA

Thông tin liên hệ & hỗ trợ

Đơn vị chủ quản, phát triển và vận hành: Công ty Cổ phần Metis

Địa chỉ liên hệ: 26A Lê Đức Thọ, Phường Từ Liêm, Thành phố Hà Nội

Số giấy chứng nhận ĐKKD: 0109293202 cấp ngày 03/08/2020 tại Sở Kế hoạch và Đầu tư thành phố Hà Nội

Người quản lý và chịu trách nhiệm nội dung: Nguyễn Ngọc Sơn

Hotline: 0566.685.688

Email: [email protected]