TY - RPRT TI - Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing Machines AU - Dianchen Lu AU - Qingyan Wang AU - Rui Zheng PY - 2010 DO - 10.4204/eptcs.24.14 UR - https://arxiv.org/abs/1006.0400 ID - 1006.0400 ER -