First Page | Document Content | |
---|---|---|
Date: 2015-10-15 03:09:54 | On the semantics of Strategy LogicI Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract We define and study a slight variation on the semantics of Strategy LogiAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source WebsiteFile Size: 348,59 KBShare Document on Facebook |