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:  
Swapping a failing edge of a shortest paths tree by minimizing the average stretch factor
Theoretical Computer Science - Tập 383 - Trang 23-33 - 2007
Aleksej Di Salvo, Guido Proietti
Partial evaluation and ω-completeness of algebraic specifications
Theoretical Computer Science - Tập 43 - Trang 149-161 - 1986
Jan Heering
Calculi for synchrony and asynchrony
Theoretical Computer Science - Tập 25 - Trang 267-310 - 1983
Robin Milner
Complexity of bifix-free regular languages
Theoretical Computer Science - Tập 787 - Trang 14-27 - 2019
Robert Ferens, Marek Szykuła
A new logic for electronic commerce protocols
Theoretical Computer Science - Tập 291 - Trang 223-283 - 2003
Kamel Adi, Mourad Debbabi, Mohamed Mejri
A loopless algorithm for generating the permutations of a multiset
Theoretical Computer Science - Tập 307 - Trang 415-431 - 2003
Vincent Vajnovszki
A fundamental effect in computations on real numbers
Theoretical Computer Science - Tập 5 - Trang 321-324 - 1977
Horst Luckhardt
Speeding up the detection of tandem repeats over the edit distance
Theoretical Computer Science - Tập 525 - Trang 103-110 - 2014
Dina Sokol, Justin Tojeira
An oracle separating conjectures about incompleteness in the finite domain
Theoretical Computer Science - Tập 809 - Trang 466-481 - 2020
Titus Dose
A Boolean function requiring 3n network size
Theoretical Computer Science - Tập 28 - Trang 337-345 - 1983
Norbert Blum
Tổng số: 6,756   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10