Skip to content

Entailment of Atomic Set Constraints is PSPACE-Complete.

Joachim Niehren, Martin Mller, Jean-Marc Talbot

VenueA*LICS
Year1999
ProceedingsLICS

Browse the full LICS paper archive.