Generic Expression Hardness Results for Primitive Positive Formula Comparison

Bova, Simone; Chen, Hubie; Valeriote, Matthew

by Simone Bova, Hubie Chen, Matthew Valeriote

Reference:

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

Bibtex Entry:

@inproceedings{BovaChenValeriote11,
  author    = {Simone Bova and
               Hubie Chen and
               Matthew Valeriote},
  title     = {Generic Expression Hardness Results for Primitive Positive Formula
               Comparison},
  booktitle = {Automata, Languages and Programming - 38th International Colloquium,
               {ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
               {II}},
  pages     = {344--355},
  year      = {2011}
}