Programming Systems Lab: Publications by Jean-Marc Talbot

Saarland University Computer Science

Select author:

1999

Entailment of Atomic Set Constraints is PSPACE-Complete   (pdf)
Martin Müller, Joachim Niehren, Jean-Marc Talbot
Fourteenth Annual IEEE Symposium on Logic in Computer Sience


Login to edit


Webmaster, Mon May 30 13:48:30 2016