TY - BOOK AU - Hung, Dang Van AU - Wirsing, Martin TI - Theoretical Aspects of Computing - ICTAC 2005 SN - 3540291075 U1 - 005 LN HUN PY - 2005/// CY - Berlin PB - Springer Verlag N1 - Contents ER -