Institut de Mathématiques de Luminy


Files & Ref.IML
2006 Andreoli Jean-Marc, Maieli Roberto, Ruet Paul.
Non-commutative proof construction: a constraint-based approach.
Ann. Pure Appl. Logic 142(1-3) : 212--244, 2006.
2005 Andreoli Jean-Marc, Pulcini Gabriele, Ruet Paul.
Permutative logic.
Computer science logic , 184--199, Lecture Notes in Comput. Sci., 3634, Springer, Berlin, 2005.

Andreoli Jean-Marc.
An axiomatic approach to structural rules for locative linear logic.
Linear Logic in Computer Science, pp. 192-235, London Mathematical Society Lecture Note Series 316, Cambridge University Press, 2004.

2003 Andreoli Jean-Marc, Mazaré Laurent.
Concurrent construction of proof-nets.
Computer science logic, 29--42, Lecture Notes in Comput. Sci., 2803, Springer, Berlin, 2003
2001 Andreoli Jean-Marc.
Focussing and proof construction.
Ann. Pure Appl. Logic 107, no. 1-3, 131--163, 2001.
1999 Andreoli Jean-Marc and Maieli Roberto.
Focusing and proof-nets in linear and non-commutative logic.
Proceedings LPAR'99. Spinger LNAI, 1581, 1999.

1996 Andreoli Jean-Marc, Borghoff Uwe M. and Pareschi Remo.
The constraint-based knowledge broker model : semantics, implementation and analysis. Parallel symbolic computation.
J. Symbolic Comput. 21, no. 4-6, 635--667, 1996
1993 Andreoli Jean-Marc, Leth Lone, Pareschi Remo and Thomsen Bent.
True concurrency semantics for a linear logic programming language with broadcast communication.
TAPSOFT '93: theory and practice of software development (Orsay, 1993), 182--198, Lecture Notes in Comput. Sci., 668, Springer, Berlin, 1993
1992 Andreoli Jean-Marc.
Logic programming with focusing proofs in linear logic.
J. Logic Comput. 2, no. 3, 297--347, 1992
1991 Andreoli Jean-Marc and Pareschi Remo.
Logic programming with sequent systems : a linear logic approach.
Extensions of logic programming (T?ingen, 1989), 1--30, Lecture Notes in Comput. Sci., 475, Springer, Berlin, 1991
1990 Andreoli Jean-Marc and Pareschi Remo.
Linear objects : logical processes with built-in inheritance.
Logic programming (Jerusalem, 1990), 495--510, MIT Press Ser. Logic Program., MIT Press, Cambridge, MA, 1990

Last update : february 13, 2007, EL.