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:
Complexity of bifix-free regular languages
Theoretical Computer Science - Tập 787 - Trang 14-27 - 2019
A new logic for electronic commerce protocols
Theoretical Computer Science - Tập 291 - Trang 223-283 - 2003
A loopless algorithm for generating the permutations of a multiset
Theoretical Computer Science - Tập 307 - Trang 415-431 - 2003
A fundamental effect in computations on real numbers
Theoretical Computer Science - Tập 5 - Trang 321-324 - 1977
Abstract functional dependency structures
Theoretical Computer Science - Tập 81 - Trang 117-126 - 1991
The poset of infinitary traces
Theoretical Computer Science - Tập 120 - Trang 101 - 1993
Partially commutative monoids, also called trace monoids, are among the most-studied formalisms to describe the behaviour of distributed systems. In order to model systems which never stop, we have to consider an extension of traces, namely infinite traces. Finite-trace monoids are strongly related to partial-order sets (PoSets), domains and event structures, which are other models to describe the......
A graph-based framework for sub-pixel image segmentation
Theoretical Computer Science - Tập 412 - Trang 1338-1349 - 2011
Inapproximability results for the minimum integral solution problem with preprocessing overℓ ∞
Theoretical Computer Science - Tập 478 - Trang 127-131 - 2013
Tight bounds for the cover time of multiple random walks
Theoretical Computer Science - Tập 412 - Trang 2623-2641 - 2011
Tổng số: 6,756
- 1
- 2
- 3
- 4
- 5
- 6
- 10