Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: J. Log. Program.
    Year: 1993
    Volume: 16
    Number: 3
    DBLP: db/journals/jlp/jlp16.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 13  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Hassan Aït-Kaci, Andreas Podelski.
    Towards a Meaning of LIFE.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Roland N. Bol.
    Loop checking in partial deduction.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Annalisa Bossi, Nicoletta Cocco.
    Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Michele Bugliesi, Evelina Lamma, Paola Mello.
    Partial Deduction for Structured Logic Programming.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Jean-Louis Imbert, Jacques Cohen, Marie-Dominique Weeger.
    An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Jan Komorowski.
    Guest Editor's Introduction.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Jimmy Ho-Man Lee, M. H. van Emden.
    Interval Computation as Deduction in CHIP.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Hirohisa Seki.
    Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Ulf Nilsson.
    Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Conference paper
    Divesh Srivastava, Raghu Ramakrishnan.
    Pushing Constraint Selections.
    J. Log. Program. 1993, Volume 16 (0) 1993
    Show item 1 to 10 of 13  

    Your query returned 13 matches in the database.