thumbnail

Theoretical Computer Science

  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

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
Application of Lempel–Ziv factorization to the approximation of grammar-based compression
Tập 302 Số 1-3 - Trang 211-222 - 2003
Wojciech Rytter
Reconstructing convex polyominoes from horizontal and vertical projections
Tập 155 Số 2 - Trang 321-347 - 1996
Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani
Partial words and a theorem of Fine and Wilf
Tập 218 Số 1 - Trang 135-141 - 1999
Jean Berstel, Luc Boasson
Recent advances of grammatical inference
Tập 185 Số 1 - Trang 15-45 - 1997
Yasubumi Sakakibara
Theory of representations
Tập 38 - Trang 35-53 - 1985
Christoph Kreitz, Klaus Weihrauch
Các tạp chí khác
Tạp chí tin học và điều khiển học
Tạp chí Phụ Sản
Y Dược học cổ truyền Quân sự
Tạp chí Khoa học Xã hội và Nhân văn
Journal of International Economics and Management
Tạp chí Dinh dưỡng và Thực phẩm
Tạp chí Khoa học Đại học Đồng Tháp
Tạp chí Khoa học Tự nhiên Đại học Quốc gia Thành phố Hồ Chí Minh
Tạp chí Khoa học Kiểm sát
Tạp chí Khoa học Kiến trúc và Xây dựng