Natasha Alechina's Publications

Alternating-time temporal logic with resource bounds (2015)

By: Nguyen, Hoang Nga, Natasha Alechina, Brian Logan, and Abdur Rakib

Download Information

Nguyen, Hoang Nga, Natasha Alechina, Brian Logan, and Abdur Rakib (2015). "Alternating-time temporal logic with resource bounds." Journal of Logic and Computation. To appear. pdf    

Bibtex citation

@article{Nguyen//:15a,
author = {Nguyen, Hoang Nga and Natasha Alechina and Brian Logan and Abdur Rakib},
title = {Alternating-time temporal logic with resource bounds},
journal = {Journal of Logic and Computation},
year = 2015,
doi = {doi:10.1093/logcom/exv034},
note = {To appear},
}

full list