Pierre Bourhis

Une nouvelle méthode pour évaluer les requêtes de chaînes plus rapidement en utilisant la logique MSO.