Skip to content

Complexity of Subtype Satisfiability over Posets.

Joachim Niehren, Tim Priesnitz, Zhendong Su

VenueAESOP
Year2005
ProceedingsESOP

Browse the full ESOP paper archive.