Brian Logan's Publications

Aternating-time temporal logic with resource bounds (2018)

By: H. N. Nguyen, N. Alechina, B. Logan, and A. Rakib

Download Information

H. N. Nguyen, N. Alechina, B. Logan, and A. Rakib (2018). "Aternating-time temporal logic with resource bounds." Journal of Logic and Computation, 28(4), 631-663. (Published online June 2015).

Bibtex citation

@article{Nguyen//:15a,
author =    "H. N. Nguyen and N. Alechina and B. Logan and A. Rakib",
title =    "Aternating-time temporal logic with resource bounds",
journal =    "Journal of Logic and Computation",
volume =    28,
number =    4,
pages =    {631-663},
year =    2018,
publisher =    {Oxford University Press},
doi =       {10.1093/logcom/exv034},
note =    {(Published online June 2015)},
}

---

full list