Brian Logan's Publications

Verifying time, memory and communication bounds in systems of reasoning agents (2009)

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

Download Information

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying time, memory and communication bounds in systems of reasoning agents." Synthese, 169(2), 385-403.

Bibtex citation

@article{Alechina//:09c,
author =     {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
title =     "Verifying time, memory and communication bounds in systems of reasoning agents",
journal =     "Synthese",
year =    2009,
volume =    169,
number =    2,
pages =    "385--403",
month =    "April",
year =     "2009",
doi =       {http://dx.doi.org/10.1007/s11229-009-9557-1},
}

---

full list