Back to Results
First PageMeta Content
Classical cipher / Obfuscated code / Computer programming / Computing / Software engineering


Coalition Games and Alternating Temporal Logics Valentin Goranko Department of Mathematics, Rand Afrikaans University PO Box 524, Auckland Park 2006, Johannesburg, South Africa E-mail: vfg©na, rau. ac. za
Add to Reading List

Document Date: 2011-10-23 10:31:50

Open Document

File Size: 785,57 KB

Share Result on Facebook

City

Johannesburg / /

Currency

cent / /

IndustryTerm

formal tools / logical systems / transition systems / axiomatic systems / /

NaturalFeature

MT. / ~MT / /

Organization

Rand Afrikaans University / Coalition Games and Alternating Temporal Logics Valentin Goranko Department of Mathematics / /

Person

Ai / /

Position

player / Multi-player strategic game / multi-player / /

ProgrammingLanguage

C* / /

Region

South Africa / /

SocialTag