Matthew Valeriote

Recent Publications

Generic expression hardness results for primitive positive formula comparison
Simone Bova, Jiehua Chen, Matthew Valeriote
Inf. Comput., volume 222, pages 108-120, 2013.
bib
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas
Simone Bova, Jiehua Chen, Matthew Valeriote
Theory Comput. Syst., volume 50, number 2, pages 329-353, 2012.
bib
Generic Expression Hardness Results for Primitive Positive Formula Comparison
Simone Bova, Jiehua Chen, Matthew Valeriote
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II, pages 344-355, 2011.
bib