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
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
Tập 105 Số 2 - Trang 217-273 - 1992
Application of Lempel–Ziv factorization to the approximation of grammar-based compression
Tập 302 Số 1-3 - Trang 211-222 - 2003
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