DBLP Record 'conf/lam/Sperschneider83'

BibTeX

@inproceedings{DBLP:conf/lam/Sperschneider83,
  author    = {Volker Sperschneider},
  title     = {The length-problem},
  booktitle = {Logic and Machines},
  year      = {1983},
  pages     = {88-102},
  crossref  = {DBLP:conf/lam/1983},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lam/1983,
  editor    = {Egon B{\"o}rger and
               Gisbert Hasenjaeger and
               Dieter R{\"o}dding},
  title     = {Logic and Machines: Decision Problems and Complexity, Proceedings
               of the Symposium "Rekursive Kombinatorik" held from May
               23-28, 1983 at the Institut f{\"u}r Mathematische Logik
               und Grundlagenforschung der Universit{\"a}t M{\"u}nster/Westfahlen},
  booktitle = {Logic and Machines},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {171},
  year      = {1984},
  isbn      = {3-540-13331-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}