Journal of Computer and System Sciences

Tạp chí khoa học

Journal of Computer and System Sciences

SCOPUS (1967-2025)SCIE-ISI
ISSN
0022-0000
Cơ quan chủ quản
ACADEMIC PRESS INC ELSEVIER SCIENCE , Academic Press Inc.
Lĩnh vực
Computational Theory and MathematicsTheoretical Computer ScienceComputer Networks and CommunicationsApplied Mathematics

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

Những công bố được trích dẫn nhiều nhất của tạp chí.

Về ngữ nghĩa tài nguyên trừu tượng và logic khả thi

On abstract resource semantics and computability logic

SCIESCOPUS__Q1  Dịch bởi AI
Tập 76 ·Trang 356·2010
Ilya Mezhirov, Nikolay Vereshchagin
#Ngữ nghĩa tài nguyên trừu tượng #Logic của các nhiệm vụ #Ngữ nghĩa trò chơi #Logic tuyến tính #Logic khả thi #Phân mảnh tích cực của logic duy ý chí.