LICS 2009 - PDF Preprint Papers

LICS 2009 Symposium on Logic in Computer Science

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LICS-2009 Paper

click to vote

LICS
2009
IEEE

171views Automated Reasoning» more LICS 2009»

The Structure of First-Order Causality

13 years 11 months ago

Download www.pps.jussieu.fr

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

claim paper

Read More »

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.

Id	Views	Title	Status

1	171	The Structure of First-Order Causality	claim
2	150	An Algebra for Kripke Polynomial Coalgebras	claim
3	144	Trace Semantics is Fully Abstract	claim
4	144	Expressiveness and Closure Properties for Quantitative Languages	claim
5	139	Winning Concurrent Reachability Games Requires Doubly-Exponential Patience	claim
6	138	Wreath Products of Forest Algebras, with Applications to Tree Logics	claim
7	138	An Improved Lower Bound for the Complementation of Rabin Automata	claim
8	136	Logical Step-Indexed Logical Relations	claim
9	134	Applications of Game Semantics: From Program Analysis to Hardware Synthesis	claim
10	131	Clipping: A Semantics-Directed Syntactic Approximation	claim
11	126	The Inverse Taylor Expansion Problem in Linear Logic	claim
12	126	An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it	claim
13	121	Substructural Operational Semantics as Ordered Logic Programming	claim
14	121	On the Computational Complexity of Verifying One-Counter Processes	claim
15	120	Psi-calculi: Mobile Processes, Nominal Data, and Logic	claim
16	119	The Complexity of Global Cardinality Constraints	claim
17	118	Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications	claim
18	113	Indexed Containers	claim
19	105	Ludics with Repetitions (Exponentials, Interactive Types and Completeness)	claim
20	104	Logics with Rank Operators	claim
21	103	Statistic Analysis for Probabilistic Processes	claim
22	102	The General Vector Addition System Reachability Problem by Presburger Inductive Invariants	claim
23	99	Pointer Programs and Undirected Reachability	claim
24	98	Qualitative Determinacy and Decidability of Stochastic Games with Signals	claim
25	97	Computation and the Periodic Table	claim
26	95	Dinatural Terms in System F	claim
27	92	Trichotomy in the Complexity of Minimal Inference	claim
28	92	Functional Reachability	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers