| |
The Journal of Symbolic Logic, Vol. 65, No. 1. (2000), pp. 310-332.
|
| |
Automata Logics, and Infinite Games (2002), pp. 387-393.
|
| |
In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005), pp. 51-60.
|
| |
Synthese, Vol. 164, No. 3. (1 October 2008), pp. 341-357.
|
| |
|
| |
|
| |
Synthese, Vol. 168, No. 2. (1 May 2009), pp. 201-248.
|
| |
|
| |
Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on, Vol. 2 (2009), pp. 289-292.
|
| |
|
| |
|
| |
|
| |
|
| |
Logic, Language, Information and Computation (2008), pp. 83-97.
|
| |
|
| |
In Automata, Logics, and Infinite Games, Vol. 2500 (2002)
|
| |
Automata Logics, and Infinite Games (2002), pp. 95-106.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 31, No. 4. (2009), pp. 1-41.
|
| |
Studia Logica, Vol. 66, No. 1. (1 October 2000), pp. 41-58.
posted to pdl by sgwyj
on 2009-10-20 23:01:34
as 
|
| |
CoRR, Vol. abs/cs/0606062 (2006)
|
| |
|
| |
|
| |
Advances in Computer Science – ASIAN 2007. Computer and Network Security (2008), pp. 70-77.
|
| |
|
| |
|
| |
CoRR, Vol. abs/0905.4332 (2009)
|
| |
Mathematical Intelligencer, Vol. 24, No. 4. (2003), pp. 53-61.
|
| |
|
| |
In Interactive Logic --- Proceedings of the 7th {A}ugustus de {M}organ Workshop (2007), pp. 135-157.
|
| |
Nieuw Archief voor Wiskunde, Vol. 5/1, No. 2. (2000), pp. 208-210.
|
| |
|
| |
|
| |
In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems (2008), pp. 721-727.
|
| |
In TARK (2009), pp. 4-13.
|
| |
CONCUR 2006 – Concurrency Theory (2006), pp. 492-508.
|
| |
In SODA '09: Proceedings of the Nineteenth Annual ACM -SIAM Symposium on Discrete Algorithms (2009), pp. 835-844.
|
| |
In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems (2002), pp. 1167-1174.
posted to atl by sgwyj
on 2009-09-05 14:37:10
as
|
| |
In Proceedings of the Conference on Logic of Programs (1985), pp. 256-268.
|
| |
Synthese, Vol. 165, No. 2. (2008), pp. 179-202.
|
| |
In TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009), pp. 257-266.
|
| |
In PODC '91: Proceedings of the tenth annual ACM symposium on Principles of distributed computing (1991), pp. 201-216.
|
| |
|
| |
|
| |
In FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering (2005), pp. 63-72.
|
| |
In Advances in Modal Logic, Vol. 9 (2002)
|
| |
J. Comput. Secur., Vol. 13, No. 1. (2005), pp. 135-165.
|
| |
In AAAI (2004), pp. 98-103.
|
| |
J. Applied Logic, Vol. 5, No. 2. (2007), pp. 235-251.
|
| |
In World Congress on Formal Methods, Vol. 1708 (1999), pp. 814-833.
|
Search
