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
Benoît Libert, Moti Yung
An arithmetic model of computation equivalent to threshold circuits
Theoretical Computer Science - Tập 93 - Trang 303-319 - 1992
Joan Boyar
Can abstract state machines be useful in language theory?
Theoretical Computer Science - Tập 376 - Trang 17-29 - 2007
Yuri Gurevich, Margus Veanes, Charles Wallace
Finite constants: characterizations of a new decidable set of constants
Theoretical Computer Science - Tập 80 - Trang 303-318 - 1991
Bernhard Steffen
A typed λ-calculus for proving-by-example and bottom-up generalization procedure
Theoretical Computer Science - Tập 137 - Trang 3-23 - 1995
Masami Hagiya
On-line load balancing
Theoretical Computer Science - Tập 130 - Trang 73-84 - 1994
Yossi Azar
On proving time constructibility of functions
Theoretical Computer Science - Tập 35 - Trang 215-225 - 1985
Kojiro Kobayashi
Some classes of graphs that are not PCGs
Theoretical Computer Science - Tập 791 - Trang 62-75 - 2019
Pierluigi Baiocchi, Tiziana Calamoneri, Angelo Monti, Rossella Petreschi
Exploring pairwise compatibility graphs
Theoretical Computer Science - Tập 468 - Trang 23-36 - 2013
Tiziana Calamoneri, Eugenio Montefusco, Rossella Petreschi, Blerina Sinaimeri
On the subword complexity of square-free DOL languages
Theoretical Computer Science - Tập 16 Số 1 - Trang 25-32 - 1981
Andrzej Ehrenfeucht, Grezgorz Rozenberg
Tổng số: 6,709   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 671