The complexity of equivalence, entailment, and minimization in existential positive logic

Simone Bova, Jiehua Chen
January 2015
PDF Cite
Type
Journal Article
Jiehua Chen
Jiehua Chen

Jiehua Chen is a Assistant Professor at the Algorithms and Complexity Group.