Journal of the ACM

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:  
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
Journal of the ACM - Tập 12 Số 1 - Trang 42-52 - 1965
Sheila A. Greibach
Some Recursively Unsolvable Problems in ALGOL-Like Languages
Journal of the ACM - Tập 10 Số 1 - Trang 29-47 - 1963
Seymour Ginsburg, Gene F. Rose
A really temporal logic
Journal of the ACM - Tập 41 Số 1 - Trang 181-203 - 1994
Rajeev Alur, Thomas A. Henzinger
Alternation
Journal of the ACM - Tập 28 Số 1 - Trang 114-133 - 1981
Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer
Analyzing security protocols with secrecy types and logic programs
Journal of the ACM - Tập 52 Số 1 - Trang 102-146 - 2005
Martı́n Abadi, Bruno Blanchet
Interval arithmetic
Journal of the ACM - Tập 48 Số 5 - Trang 1038-1068 - 2001
Timothy J. Hickey, Qun Ju, M. H. van Emden
Alternating-time temporal logic
Journal of the ACM - Tập 49 Số 5 - Trang 672-713 - 2002
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
New Methods in Automatic Extracting
Journal of the ACM - Tập 16 Số 2 - Trang 264-285 - 1969
H. P. Edmundson
Connected Component Labeling Using Quadtrees
Journal of the ACM - Tập 28 Số 3 - Trang 487-501 - 1981
Hanan Samet
Approximation algorithms for metric facility location and k -Median problems using the primal-dual schema and Lagrangian relaxation
Journal of the ACM - Tập 48 Số 2 - Trang 274-296 - 2001
Kamal Jain, Vijay V. Vazirani
Tổng số: 77   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 8