Abstract. We study properties of Bloch's higher Chow groups on smooth varieties over Dedekind rings. We prove a conditional Gersten resolution, which implies that H i (Z(n)) = 0 for i > n and that there is a Gersten resolution for H i (Z/p r (n)), if the residue characteristic is p. We also show that the Bloch-Kato conjecture implies the Beilinson-Lichtenbaum conjecture, an identification Z/m(n)é t ∼ = µ ⊗n m , for m invertible on the scheme, and a Gersten resolution with (arbitrary) finite coefficients. Over a discrete valuation ring of mixed characteristic (0, p), we construct a map from motivic cohomology to syntomic cohomology, which is a quasi-isomorphism provided the Bloch-Kato conjecture holds.