First Page | Document Content | |
---|---|---|
Date: 2014-04-10 03:07:04Logic in computer science Game theory Models of computation Formal methods Denotational semantics Game semantics Semantics Strategy Equivalence of categories Sheaf | Add to Reading ListSource URL: lama.univ-savoie.frDownload Document from Source WebsiteFile Size: 324,17 KBShare Document on Facebook |