Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

91

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

15 years 7 months ago

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

Download www-philo.univ-paris1.fr

Vincent Danos, Jean-Baptiste Joinet, Harold Schell

Real-time Traffic

Automated Reasoning | KGC 1993 |

claim paper

Related Content

» Correctness of linear logic proof structures is NLcomplete

» Permutative Additives and Exponentials

» Noncommutativity and MELL in the Calculus of Structures

» Relating complexity and precision in control flow analysis

» Combination Methods for Satisfiability and ModelChecking of InfiniteState Systems

» Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1993
Where	KGC
Authors	Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx

Comments (0)