  A semi-regular tiling of the hyperbolic plane is a tessellation by regular
geodesic polygons with the property that each vertex has the same vertex-type,
which is a cyclic tuple of integers that determine the number of sides of the
polygons surrounding the vertex. We determine combinatorial criteria for the
existence, and uniqueness, of a semi-regular tiling with a given vertex-type,
and pose some open questions.
