10th ICLP 1993: Budapest, Hungary

Refine list

showing all ?? records

Invited Talks

Higher-Order Extensions to Prolog

Freeness

Parallel Implementations 1

Actions

Parallel Implementations 2

Fixpoints

Implementation

Program Synthesis

Constraint Solving

Semantics 1

Constraints

Semantics 2

Compilation

Databases

Poster Abstracts

a service of  Schloss Dagstuhl - Leibniz Center for Informatics