5th ICLP / SLP 1988: Seattle, Washington

Refine list

showing all ?? records

Applications

Constructive Negation

Databases

Grammar and Parsing

Logic and Functional Programming

Meta-Programming

Objects

Problem-Solving and Novel Techniques

Programming Environments

Temporal Reasoning

Types

Unification and Constraints

Abstract Interpretation and Data Dependency

Complexity

Extensions and Variations of LP

Miscellaneous Theory

Reasoning about Programs

Semantic Issues

Semantics of Negation

AND-Parallelism

AND/OR-Parallelism

Concurrent Systems

Implementation

Or-Parallelism and Parallel Prolog

Invited Talks

a service of  Schloss Dagstuhl - Leibniz Center for Informatics