TY - JOUR AU - Thi-Bich-Hanh Dao TI - Contraintes du premier ordre dans l’algèbre des arbres finis ou infinis JO - Revue Ouverte d'Intelligence Artificielle PY - 2024 SP - 121 EP - 138 VL - 5 IS - 2-3 PB - Association pour la diffusion de la recherche francophone en intelligence artificielle UR - https://roia.centre-mersenne.org/articles/10.5802/roia.75/ DO - 10.5802/roia.75 LA - fr ID - ROIA_2024__5_2-3_121_0 ER -