Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: ISLP 1991
    DBLP: db/conf/slp/slp91.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 47  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Maurice Bruynooghe, Danny De Schreye, Bern Martens.
    A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs.
    ISLP 1991 (0) 1991
    Conference paper
    Christoph Brzoska.
    Temporal Logic Programming and its Relation to Constraint Logic Programming.
    ISLP 1991 (0) 1991
    Conference paper
    Bob Carpenter.
    Typed Feature Structures: A Generalization of First-Order Terms.
    ISLP 1991 (0) 1991
    Conference paper
    Bruno De Backer, Henri Beringer.
    Intelligent Backtracking for CLP Languages: An Application to CLP(R).
    ISLP 1991 (0) 1991
    Conference paper
    Yves Caseau.
    Abstract Interpretation of Constraints on Order-Sorted Domains.
    ISLP 1991 (0) 1991
    Conference paper
    Christoph Beierle, Gregor Meyer, Heiner Semle.
    Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution.
    ISLP 1991 (0) 1991
    Conference paper
    Johan van Benthem.
    Reasoning and Programming: Analogies between Logic and Computation.
    ISLP 1991 (0) 1991
    Conference paper
    Pierre Deransart, Gérard Ferrand, Michel Téguia.
    NSTO Programs (Not Subject to Occur-Check).
    ISLP 1991 (0) 1991
    Conference paper
    Scott Dietzen, Frank Pfenning.
    A Declarative Alternative to "Assert" in Logic Programming.
    ISLP 1991 (0) 1991
    Conference paper
    Mireille Ducassé.
    Abstract Views of Prolog Executions in Opium.
    ISLP 1991 (0) 1991
    Show item 1 to 10 of 47  

    Your query returned 47 matches in the database.