Theoretical Computer Science
Công bố khoa học tiêu biểu
Sắp xếp:
Adaptively secure non-interactive threshold cryptosystems
Theoretical Computer Science - Tập 478 - Trang 76-100 - 2013
An arithmetic model of computation equivalent to threshold circuits
Theoretical Computer Science - Tập 93 - Trang 303-319 - 1992
Can abstract state machines be useful in language theory?
Theoretical Computer Science - Tập 376 - Trang 17-29 - 2007
Finite constants: characterizations of a new decidable set of constants
Theoretical Computer Science - Tập 80 - Trang 303-318 - 1991
A typed λ-calculus for proving-by-example and bottom-up generalization procedure
Theoretical Computer Science - Tập 137 - Trang 3-23 - 1995
On proving time constructibility of functions
Theoretical Computer Science - Tập 35 - Trang 215-225 - 1985
Some classes of graphs that are not PCGs
Theoretical Computer Science - Tập 791 - Trang 62-75 - 2019
On the subword complexity of square-free DOL languages
Theoretical Computer Science - Tập 16 Số 1 - Trang 25-32 - 1981
Tổng số: 6,709
- 1
- 2
- 3
- 4
- 5
- 6
- 671