L18: More complex reductions

Published: Nov. 17, 2011, 8 a.m.

More reductions to prove that additional problems are undecidable.