Des romans, livres de recettes et BD pour se régaler en famille !
Résumé: La logique TQL (Tree Query Language) proposée par Cardelli et Ghelli est un langage logique, de type déclaratif, permettant d''exprimer des propriétés sur les documents semi-structurés. En utilisant la logique TQL nous pouvons caractériser certains langages d''arbres comme par exemple les langages d''arbres réguliers à arités non bornées. Dans ce travail, notre objectif est d''enrichir cette logique afin de pouvoir exprimer des propriétés des langages d''arbres hors-contexte, des langages d''arbres synchronisés réguliers et des langages d''arbres synchronisés hors-contexte.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Dernière réaction par Jean-Thomas ARA il y a 16 heures
Dernière réaction par Yannis Fardeau il y a 3 jours
Des romans, livres de recettes et BD pour se régaler en famille !
Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
Alice a quatorze ans quand elle est hospitalisée : un premier roman foudroyant
Yeong-ju est l’heureuse propriétaire d’une nouvelle librairie, située dans un quartier résidentiel de Séoul...