TY - JOUR AU - Grohe, Martin AU - Schweikardt, Nicole TI - Comparing the succinctness of monadic query languages over finite trees JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2004 DA - 2004/// SP - 343 EP - 373 VL - 38 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2004017/ UR - https://zbmath.org/?q=an%3A1067.03018 UR - https://www.ams.org/mathscinet-getitem?mr=2098195 UR - https://doi.org/10.1051/ita:2004017 DO - 10.1051/ita:2004017 LA - en ID - ITA_2004__38_4_343_0 ER -