Sciweavers

Share
LICS   2009 Symposium on Logic in Computer Science
Wall of Fame | Most Viewed LICS-2009 Paper
LICS
2009
IEEE
10 years 5 months ago
The Structure of First-Order Causality
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
Samuel Mimram
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source171
2Download preprint from source150
3Download preprint from source144
4Download preprint from source144
5Download preprint from source139
6Download preprint from source138
7Download preprint from source138
8Download preprint from source136
9Download preprint from source134
10Download preprint from source131
11Download preprint from source126
12Download preprint from source126
13Download preprint from source121
14Download preprint from source121
15Download preprint from source120
16Download preprint from source119
17Download preprint from source118
18Download preprint from source113
19Download preprint from source105
20Download preprint from source104
21Download preprint from source103
22Download preprint from source102
23Download preprint from source99
24Download preprint from source98
25Download preprint from source97
26Download preprint from source95
27Download preprint from source92
28Download preprint from source92
books