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.