Theoretical Computer Science

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
CTL∗ and ECTL∗ as fragments of the modal μ-calculus
Theoretical Computer Science - Tập 126 - Trang 77-96 - 1994
Mads Dam
Semantics of distributed definite clause programs
Theoretical Computer Science - Tập 68 - Trang 203-220 - 1989
R. Ramanujam
Renewal theory in the analysis of tries and strings
Theoretical Computer Science - Tập 416 - Trang 33-54 - 2012
Svante Janson
Copower functors
Theoretical Computer Science - Tập 410 - Trang 1129-1142 - 2009
H. Peter Gumm
Probabilistic learnability of context-free grammars with basic distributional properties from positive examples
Theoretical Computer Science - Tập 620 - Trang 46-72 - 2016
Chihiro Shibata, Ryo Yoshinaka
Number-conserving cellular automata I: decidability
Theoretical Computer Science - Tập 299 - Trang 523-535 - 2003
Bruno Durand, Enrico Formenti, Zsuzsanna Róka
A QPTAS for the base of the number of crossing-free structures on a planar point set
Theoretical Computer Science - Tập 711 - Trang 56-65 - 2018
Marek Karpinski, Andrzej Lingas, Dzmitry Sledneu
Strongly polynomial-time truthful mechanisms in one shot
Theoretical Computer Science - Tập 410 - Trang 1607-1615 - 2009
Paolo Penna, Guido Proietti, Peter Widmayer
The directed 2-linkage problem with length constraints
Theoretical Computer Science - Tập 814 - Trang 69-73 - 2020
J. Bang-Jensen, T. Bellitto, W. Lochet, A. Yeo
Strong cocycle triviality for Z2 subshifts
Theoretical Computer Science - Tập 262 - Trang 191-213 - 2001
Oliver Jenkinson
Tổng số: 6,756   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10