DBLP Record 'journals/mlq/OttoCM93'

BibTeX

@article{DBLP:journals/mlq/OttoCM93,
  author    = {Friedrich Otto and
               Daniel E. Cohen and
               Klaus Madlener},
  title     = {Separating the Intrinsic Complexity and the Derivational
               complexity of the Word Problem for Finitely Presented Groups},
  journal   = {Math. Log. Q.},
  volume    = {39},
  year      = {1993},
  pages     = {143-157},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}