Rudolf Halin

Rudolf Halin (February 3, 1934 – November 14, 2014) was a German graph theorist, known for defining the ends of infinite graphs,[1] for Halin's grid theorem,[2][3] for extending Menger's theorem to infinite graphs,[4] and for his early research on treewidth and tree decomposition.[5] He is also the namesake of Halin graphs, a class of planar graphs constructed from trees by adding a cycle through the leaves of the given tree; earlier researchers had studied the subclass of cubic Halin graphs but Halin was the first to study this class of graphs in full generality.[6]

  1. ^ Halin (1964).
  2. ^ Halin (1965).
  3. ^ Diestel, Reinhard (2004), "A short proof of Halin's grid theorem", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 74: 237–242, doi:10.1007/BF02941538, MR 2112834, S2CID 124603912.
  4. ^ Halin (1974).
  5. ^ Halin (1976).
  6. ^ Halin (1971).