Skip to content

EXPSPACE-Complete Variant of Guarded Fragment with Transitivity.

Emanuel Kieronski

VenueASTACS
Year2002
ProceedingsSTACS

Browse the full STACS paper archive.