Logic Programming
Latest Publications

TOTAL DOCUMENTS

59

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By The MIT Press

9780262291248

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

P&P

Logic Programming ◽

10.7551/mitpress/4301.003.0078 ◽

1995 ◽

Download Full-text

Combining Rules and Description Logics

Logic Programming ◽

10.7551/mitpress/4301.003.0073 ◽

1995 ◽

Keyword(s):

Description Logics

Download Full-text

Tradeoffs explicit and implicit parallelism

Logic Programming ◽

10.7551/mitpress/4301.003.0062 ◽

1995 ◽

Download Full-text

Implementation Issues for Functional Logic Programming

Logic Programming ◽

10.7551/mitpress/4301.003.0061 ◽

1995 ◽

Keyword(s):

Logic Programming ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text

A Formal Approach to Deductive Synthesis of Constraint Logic Programs

Logic Programming ◽

10.7551/mitpress/4301.003.0054 ◽

1995 ◽

Keyword(s):

Logic Programs ◽

Formal Approach ◽

Deductive Synthesis ◽

Constraint Logic Programs

Download Full-text

Modelling Real-Time in Concurrent Constraint Programming

Logic Programming ◽

10.7551/mitpress/4301.003.0053 ◽

1995 ◽

Keyword(s):

Real Time ◽

Constraint Programming ◽

Concurrent Constraint Programming

Download Full-text

Beyond the Glass Box

Logic Programming ◽

10.7551/mitpress/4301.003.0052 ◽

1995 ◽

Download Full-text

An Algorithm of Generalization in Positive Supercompilation

Logic Programming ◽

10.7551/mitpress/4301.003.0048 ◽

1995 ◽

Download Full-text

Abstraction of Conditional Term Rewriting Systems

Logic Programming ◽

10.7551/mitpress/4301.003.0022 ◽

1995 ◽

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Logic Programming and Object Modelling

Logic Programming ◽

10.7551/mitpress/4301.003.0010 ◽

1995 ◽

Keyword(s):

Logic Programming ◽

Object Modelling

Download Full-text