V. Danos and R. Harmer. The anatomy of innocence. In Proc. CSL 2001, pages 188-202. Springer Verlag, 2001. LNCS Vol. 2142. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Games Characterizing Levy-Longo Trees - Ong, Di Gianantonio (Correct)
.... over which question it can ask, or equivalently over which argument it can interrogate, at that point (of course it may decide instead to answer an O question) An apparently similar restriction on the behaviour of strategies is imposed by the rigidity condition introduced by Danos and Harmer [5]. For any legal position of a rigid strategy, the pointer from a question is to some move that appears in the R view of the play at that point. However since Persistence is a constraint on plays containing answers that justify questions, whereas rigidity is a condition on strategies over arenas ....
V. Danos and R. Harmer. The anatomy of innocence. In Proc. CSL 2001, pages 188-202. Springer Verlag, 2001. LNCS Vol. 2142.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC