Browse by Authors and Editors
Jump to: Article Number of items: 1. ArticleNguyen, Hoang Nga and Alechina, Natasha and Logan, Brian and Rakib, Abdur (2015) Alternating-time temporal logic with resource bounds. Journal of Logic and Computation . pp. 1-33. ISSN 0955-792X |
From the 1st Oct 2021, the research publications and student eTheses of University of Nottingham Ningbo China authors will be handled through the UNNC Research Information System (RIS).
If you are a UNNC author, please login to the UNNC RIS in order to deposit articles and etheses after this date, or contact UNNCRIS@nottingham.edu.cn if you have any enquiries in regard to this change.
If you are a UNNC author, please login to the UNNC RIS in order to deposit articles and etheses after this date, or contact UNNCRIS@nottingham.edu.cn if you have any enquiries in regard to this change.
