|
22
|
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
|
|
18
|
Deciding Provability of Linear Logic Formulas
– Patrick Lincoln
- 1994
|
|
|
Some Theory and Applications of Linear Logic
– Chris Harrelson
- 2000
|
|
1
|
Acceptors as values: Functional programming in classical linear logic
– Uday S. Reddy
- 1991
|
|
11
|
A typed foundation for directional logic programming
– Uday S. Reddy
- 1992
|
|
3
|
On the Compositionality and Analysis of Algebraic High-Level Nets
– Johan Lilius, Johan Lilius
- 1991
|
|
21
|
On the meaning of logical rules I: syntax vs. semantics
– Jean-Yves Girard
- 1998
|
|
4
|
A Survey of Linear Logic Programming
– Dale Miller
- 1995
|
|
5
|
An Overview of Linear Logic Programming
– Dale Miller
- 1985
|
|
|
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
|
|
12
|
First Order Linear Logic without Modalities Is NEXPTIME-Hard
– Patrick Lincoln, Andre Scedrov
- 1994
|
|
36
|
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
|
|
|
Petri Net Semantics of Bunched Implications
– Peter O'Hearn And Hongseok Yang, Peter W. O'hearn, Hongseok Yang
|
|
4
|
Simple multiplicative proof nets with units
– Dominic J. D. Hughes
- 2005
|
