Back to Results
First PageMeta Content



: Selected Publications of Vladimir V. Rybakov 2009: Vladimir Rybakov: Linear Temporal Logic LT KK extended by Multi-Agent Logic Kn with Interacting Agents.- Accepted, Published online in: Journal of Logic and
Add to Reading List

Document Date: 2013-01-29 06:42:57


Open Document

File Size: 71,01 KB

Share Result on Facebook