line

DISI Dipartimento di Informatica e Scienze dell'Informazione

line


Publications on Linear Logic Programming

  • M. Bozzano, G. Delzanno, M. Martelli.
    An Effective Fixpoint Semantics for Linear Logic Programs.
    Theory and Practice of Logic Programming, 2001. To appear.
    (abstract, postscript)
    Please note that © Cambridge University Press holds the copyright of this paper

  • M. Bozzano.
    Fixpoint Semantics for a Fragment of First-Order Linear Logic.
    Technical Report CMU-CS-01-129, Carnegie Mellon University, May 2001.
    (abstract, postscript)
    See also CMU Technical Reports

  • M. Bozzano, G. Delzanno, M. Martelli.
    On the Relations between Disjunctive and Linear Logic Programming.
    Electronic Notes in Theoretical Computer Science, volume 48, 2001.
    (abstract, postscript)
    Please note that © Elsevier Science holds the copyright of this paper

  • M. Bozzano, G. Delzanno, M. Martelli.
    An Effective Bottom-Up Semantics for First Order Linear Logic Programs and its Relationship with Decidability Results for Timed Petri Nets.
    Technical Report DISI-TR-01-01, University of Genova, January 2001.
    (abstract, postscript)

  • M. Bozzano, G. Delzanno, M. Martelli.
    An Effective Bottom-Up Semantics for First Order Linear Logic Programs.
    In Proceedings of FLOPS 2001, Waseda University, Tokyo, Japan, March 7-9, 2001.
    (abstract, postscript)
    Please note that © Springer-Verlag holds the copyright of this paper

  • M. Bozzano, G. Delzanno, M. Martelli.
    DLP as an Abstraction of LO (On the relations between disjunctive and linear logic programming).
    In Proceedings of APPIA-GULP-PRODE 2000, La Habana, Cuba, December 4-7, 2000.
    An extended and revised version of this paper is available in ENTCS, vol.48, 2001, see above

  • G. Delzanno, M. Martelli.
    Proofs as Computations in Linear Logic.
    Theoretical Computer Science (to appear).

  • M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli.
    Object Calculi in Linear Logic.
    Journal of Logic and Computation (to appear).

  • M. Bozzano, G. Delzanno, M. Martelli.
    A Bottom-up Semantics for Linear Logic Programs.
    In Proceedings of PPDP 2000, pages 92-102, Montreal, Canada, September 20-22, 2000.
    (abstract, postscript)
    Please note that © ACM holds the copyright of this paper

  • M. Bozzano, G. Delzanno, M. Martelli.
    A Bottom-up Semantics for LO - Preliminary Results.
    Technical Report DISI-TR-00-06, University of Genova, March 2000.
    (abstract, postscript)

  • G. Delzanno.
    Specification of Term Rewriting in Linear Logic.
    Electronic Notes in Theoretical Computer Science, vol.17.
    ( postscript)

  • G. Delzanno, D. Galmiche, M. Martelli.
    A Specification Logic for Concurrent Object-oriented Programming.
    Mathematical Structures in Computer Science, vol.9, 1999.

  • M. Bozzano, G. Delzanno, M. Martelli.
    A Linear Logic Specification of Chimera.
    In Proceedings of DYNAMICS '97, a satellite workshop of ILPS '97, Port Jefferson, New York, USA, 1997.
    (abstract, postscript)

  • M. Bozzano, G. Delzanno, M. Martelli.
    A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
    In Proceedings of APPIA-GULP-PRODE '97, Grado, Italy, June 16-19, 1997.
    (abstract, postscript)

  • M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli.
    A Linear Logic Calculus of Objects.
    In Proceedings of JICSLP'96.
    ( postscript)

  • G. Delzanno, M. Martelli.
    Objects in a Higher-Order Linear Logic Setting (Extended Abstract).
    In Proceedings of PTCOOP'96.
    (abstract, postscript)

  • G. Delzanno, M. Martelli.
    Objects in Forum.
    In Proceedings of ILPS'95.
    ( postscript)


    previous back to LP group Home Page

    Please send suggestions and comments to:
    Marco Bozzano: bozzano@disi.unige.it
    Last Updated: 31 May 2001