Entscheidbarkeitsprobleme bei der Übersetzung von Programmen mit einparametrigen Prozeduren

Wolfram-Manfred Lippe. Entscheidbarkeitsprobleme bei der Übersetzung von Programmen mit einparametrigen Prozeduren. In Bodo Schlender, Wolfgang Frielinghaus, editors, 3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings. Volume 7 of Lecture Notes in Computer Science, pages 13-24, Springer, 1974.

@inproceedings{Lippe74,
  title = {Entscheidbarkeitsprobleme bei der Übersetzung von Programmen mit einparametrigen Prozeduren},
  author = {Wolfram-Manfred Lippe},
  year = {1974},
  researchr = {https://researchr.org/publication/Lippe74},
  cites = {0},
  citedby = {0},
  pages = {13-24},
  booktitle = {3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings},
  editor = {Bodo Schlender and Wolfgang Frielinghaus},
  volume = {7},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-06666-7},
}