ACM Transactions on Computational Logic

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:  
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic - Tập 1 Số 1 - Trang 77-111 - 2000
Yuri Gurevich
457
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic - Tập 4 Số 4 - Trang 417-430 - 2003
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang
22
Reasoning About Strategies
ACM Transactions on Computational Logic - Tập 15 Số 4 - Trang 1-47 - 2014
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
173
Tổng số: 3   
  • 1