On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas

Abstract

Full Citation:

Simone Bova, Hubie Chen, Matthew Valeriote. On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst., volume 50, number 2, pages 329–353, 2012.

Jiehua Chen

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