Theoretical Computer Science
0304-3975
Cơ quản chủ quản: Elsevier
Lĩnh vực:
Theoretical Computer ScienceComputer Science (miscellaneous)
Phân tích ảnh hưởng
Thông tin về tạp chí
Các bài báo tiêu biểu
Finite constants: characterizations of a new decidable set of constants
Tập 80 - Trang 303-318 - 1991
A typed λ-calculus for proving-by-example and bottom-up generalization procedure
Tập 137 - Trang 3-23 - 1995