Decision Problems for Propositional Linear Logic (1990)

by Patrick Lincoln , John Mitchell , Andre Scedrov , Natarajan Shankar
Citations:90 - 17 self

Active Bibliography

24 Linear Logic – Patrick Lincoln - 1992
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
9 Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract) – Paul Ruet, Francois Fages - 1996
21 Deciding Provability of Linear Logic Formulas – Patrick Lincoln - 1994
Some Theory and Applications of Linear Logic – Chris Harrelson - 2000
2 Acceptors as values: Functional programming in classical linear logic – Uday S. Reddy - 1991
3 On the Compositionality and Analysis of Algebraic High-Level Nets – Johan Lilius, Johan Lilius - 1991
12 A typed foundation for directional logic programming – Uday S. Reddy - 1992
22 On the meaning of logical rules I: syntax vs. semantics – Jean-Yves Girard - 1998
7 An Overview of Linear Logic Programming – Dale Miller - 1985
4 A Survey of Linear Logic Programming – Dale Miller - 1995
15 First Order Linear Logic without Modalities Is NEXPTIME-Hard – Patrick Lincoln, Andre Scedrov - 1994
Polynomial many-one reductions for Petri nets – Catherine Dufourd, Alain Finkel - 1997
11 Normal and Sinkless Petri Nets – Rodney R. Howell, Louis E. Rosier, Hsu-chun Yen - 1989
34 A Logical View of Composition – Martín Abadi , Gordon D. Plotkin - 1993
4 Local Linear Logic for Locality Consciousness in Multiset Transformation – Hugh Mcevoy, Pieter H. Hartel - 1995
Non-deterministic Phase Semantics and the Undecidability of Boolean BI – Dominique Larchey-Wendling, Didier Galmiche - 2011
Petri Net Semantics of Bunched Implications – Peter O'Hearn And Hongseok Yang, Peter W. O'hearn, Hongseok Yang