  A long-standing problem in quantum gravity and cosmology is the quantization
of systems in which time evolution is generated by a constraint that must
vanish on solutions. Here, an algebraic formulation of this problem is
presented, together with new structures and results, which show that specific
conditions need to be satisfied in order for well-defined evolution to be
possible.
