Reasoning on words and trees with data. (Raisonnement sur mots et arbres avec données)

Diego Figueira. Reasoning on words and trees with data. (Raisonnement sur mots et arbres avec données). PhD thesis, École normale supérieure de Cachan, France, 2010. [doi]

Abstract

Abstract is missing.