Programming Systems Lab: Publications by Hassan Aït-Kaci

Saarland University Computer Science

Select author:

1994

A Feature-based Constraint System for Logic Programming with Entailment   (pdf)
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
Theoretical Computer Science


Login to edit


Webmaster, Mon May 30 13:48:30 2016