Find link

language:

Find link is a tool written by Edward Betts.

searching for Alternating-time temporal logic 1 found (4 total)

alternate case: alternating-time temporal logic

Orna Kupferman (509 words) [view diff] exact match in snippet view article find links to article

on Computational Logic. Kupferman, Orna (September 2002). "Alternating-time temporal logic". Journal of the ACM. 49 (5): 672–713. doi:10.1145/585265.585270