Theory of Computing Systems
SCOPUS (1996-2025)SCIE-ISI
1433-0490
1432-4350
Cơ quản chủ quản: Springer New York , SPRINGER
Lĩnh vực:
Theoretical Computer ScienceComputational Theory and Mathematics
Các bài báo tiêu biểu
Generalized finite automata theory with an application to a decision problem of second-order logic
Tập 2 Số 1 - Trang 57-81 - 1968
Existence and uniqueness of minimal realizations of nonlinear systems
Tập 10 Số 1 - Trang 263-284 - 1976