On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas

Bova, Simone; Chen, Hubie; Valeriote, Matthew

by Simone Bova, Hubie Chen, Matthew Valeriote

Reference:

On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive FormulasSimone Bova, Hubie Chen, Matthew ValerioteTheory Comput. Syst., volume 50, number 2, pages 329–353, 2012.

Bibtex Entry:

@article{BovaChenValeriote12,
  author    = {Simone Bova and
               Hubie Chen and
               Matthew Valeriote},
  title     = {On the Expression Complexity of Equivalence and Isomorphism of Primitive
               Positive Formulas},
  journal   = {Theory Comput. Syst.},
  volume    = {50},
  number    = {2},
  pages     = {329--353},
  year      = {2012}
}