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

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
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
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
Các tạp chí khác
Tạp chí Nhi khoa
Vietnam Journal of Science, Technology and Engineering
Journal of International Economics and Management
Tạp chí Nghiên cứu Y học
Tạp chí Khoa học Đại học Đông Á
Nuclear Science and Technology
Tạp chí Phẫu thuật Tim mạch và Lồng ngực Việt Nam
Vietnam Journal of Mechanics
Dalat University Journal of Science
Tạp chí Y học Việt Nam