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
Semantics of distributed definite clause programs
Theoretical Computer Science - Tập 68 - Trang 203-220 - 1989
Renewal theory in the analysis of tries and strings
Theoretical Computer Science - Tập 416 - Trang 33-54 - 2012
Probabilistic learnability of context-free grammars with basic distributional properties from positive examples
Theoretical Computer Science - Tập 620 - Trang 46-72 - 2016
Number-conserving cellular automata I: decidability
Theoretical Computer Science - Tập 299 - Trang 523-535 - 2003
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
Strongly polynomial-time truthful mechanisms in one shot
Theoretical Computer Science - Tập 410 - Trang 1607-1615 - 2009
The directed 2-linkage problem with length constraints
Theoretical Computer Science - Tập 814 - Trang 69-73 - 2020
Strong cocycle triviality for Z2 subshifts
Theoretical Computer Science - Tập 262 - Trang 191-213 - 2001
Tổng số: 6,756
- 1
- 2
- 3
- 4
- 5
- 6
- 10