MoL-2001-02: Iouri Netchitailov An Extension of Game Logic with Parallel Operators 1.Abstract, 2.Full Text (DOC), 3.Full Text (PDF), 4.Full Text (PS). < Back
