Generic expression hardness results for primitive positive formula comparison

Abstract

Full Citation:

Simone Bova, Hubie Chen, Matthew Valeriote. Generic expression hardness results for primitive positive formula comparison. Inf. Comput., volume 222, pages 108-120, 2013.

Jiehua Chen

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