View of Capturing relational NEXPTIME with a fragment of existential third order logic

Return to Article Details Capturing relational NEXPTIME with a fragment of existential third order logic Download Download PDF