thumbnail

Theoretical Computer Science

SCOPUS (1975-2023)SCIE-ISI

  0304-3975

 

 

 

Cơ quản chủ quản:  Elsevier

Lĩnh vực:
Theoretical Computer ScienceComputer Science (miscellaneous)

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

A theory of timed automata
Tập 126 Số 2 - Trang 183-235 - 1994
Rajeev Alur, David L. Dill
Linear logic
Tập 50 Số 1 - Trang 1-101 - 1987
Jean-Yves Girard
The complexity of computing the permanent
Tập 8 Số 2 - Trang 189-201 - 1979
Leslie G. Valiant
Quantum cryptography: Public key distribution and coin tossing
Tập 560 - Trang 7-11 - 2014
Charles H. Bennett, Gilles Brassard
Mobile ambients
Tập 240 Số 1 - Trang 177-213 - 2000
Luca Cardelli, Andrew D. Gordon
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
Tập 105 Số 2 - Trang 217-273 - 1992
Joseph A. Goguen, José Meseguer
An introduction to commutative and noncommutative Gröbner bases
Tập 134 - Trang 131-173 - 1994
Teo Mora
Observation equivalence as a testing equivalence
Tập 53 - Trang 225-241 - 1987
Samson Abramsky
Application of Lempel–Ziv factorization to the approximation of grammar-based compression
Tập 302 Số 1-3 - Trang 211-222 - 2003
Wojciech Rytter
Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing
Tập 234 Số 1-2 - Trang 59-84 - 2000
Michel Habib, Ross M. McConnell, Christophe Paul, Laurent Viennot
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 1975-2023

Xem chi tiết

ISI/SCIE - Science Citation Index Expanded

Xem chi tiết

Các tạp chí khác
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí Khoa học Xã hội, Nhân văn và Giáo dục Trường Đại học Sư phạm - Đại học Đà Nẵng
Nuclear Science and Technology
Tạp chí Khoa học Đại học Tây Nguyên
Tạp chí Dầu khí
Tạp chí Khoa học Đại học Huế: Khoa học Trái đất và Môi trường
Tạp chí Khoa học Đại học Huế: Kinh tế và Phát triển
Tạp chí Truyền nhiễm Việt Nam
Tạp chí Nông nghiệp và Phát triển
Tạp chí Khoa học và Công nghệ Nông nghiệp