TY - RPRT TI - Algebraic characterization of logically defined tree languages AU - Zoltan Esik AU - Pascal Weil PY - 2009 UR - https://arxiv.org/abs/0709.2962 ID - 0709.2962 ER -