@Article{         HaaseHofman,
  Author        = "Haase, Christoph and Hofman, Piotr",
  Abstract      = "We show that the language equivalence problem for regular and context-free commutative grammars is coNEXP-complete. In addition, our lower bound immediately yields further coNEXP-completeness results for equivalence problems for communication-free Petri nets and reversal-bounded counter automata. Moreover, we improve both lower and upper bounds for language equivalence for exponent-sensitive commutative grammars.",
  date-added    = "2016-02-29 10:18:26 +0000",
  date-modified = "2016-02-29 10:18:26 +0000",
  EPrint        = "1506.07774",
  Month         = "06",
  Title         = "Tightening the Complexity of Equivalence Problems for Commutative Grammars",
  URL           = "http://arxiv.org/abs/1506.07774",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1506.07774",
  File          = "Tightening the Complexity of Equivalence Problems for Commutative Grammars - Haase, Hofman (0) (1) - a - a - n.pdf"
}

@Article{ HaaseHofman, Author = "Haase, Christoph and Hofman, Piotr", Abstract = "We show that the language equivalence problem for regular and context-free commutative grammars is coNEXP-complete. In addition, our lower bound immediately yields further coNEXP-completeness results for equivalence problems for communication-free Petri nets and reversal-bounded counter automata. Moreover, we improve both lower and upper bounds for language equivalence for exponent-sensitive commutative grammars.", date-added = "2016-02-29 10:18:26 +0000", date-modified = "2016-02-29 10:18:26 +0000", EPrint = "1506.07774", Month = "06", Title = "Tightening the Complexity of Equivalence Problems for Commutative Grammars", URL = "http://arxiv.org/abs/1506.07774", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1506.07774", File = "Tightening the Complexity of Equivalence Problems for Commutative Grammars - Haase, Hofman (0) (1) - a - a - n.pdf" }