Generic Expression Hardness Results for Primitive Positive Formula Comparison

Simone Bova, Jiehua Chen, Matthew Valeriote
January 2011
bib

Abstract

Full Citation:

Simone Bova, Hubie Chen, Matthew Valeriote. Generic Expression Hardness Results for Primitive Positive Formula Comparison. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II, pages 344-355, 2011.

Type
Conference Paper
Jiehua Chen
Jiehua Chen

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