thumbnail

Theory of Computing Systems

  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
James W. Thatcher, Jesse B. Wright
Compressed Suffix Trees with Full Functionality
Tập 41 Số 4 - Trang 589-607 - 2007
Kunihiko Sadakane
A unified approach to the definition of random sequences
Tập 5 Số 3 - Trang 246-258 - 1971
Claus-Peter Schnorr
Existence and uniqueness of minimal realizations of nonlinear systems
Tập 10 Số 1 - Trang 263-284 - 1976
Héctor J. Sussmann
Semantics of context-free languages: Correction
- 1971
Donald E. Knuth
Counter machines and counter languages
Tập 2 Số 3 - Trang 265-283 - 1968
Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg
Quasi-realtime languages
- 1970
Ronald V. Book, Sheila A. Greibach
Algebraic decision procedures for local testability
- 1974
Robert McNaughton
Periodicity in generations of automata
- 1974
John Case
Crown Structures for Vertex Cover Kernelization
- 2007
Faisal N. Abu-Khzam, Michael R. Fellows, Michael A. Langston, W. Henry Suters