soutenance-these

Réseaux de preuve et génération pour lesgrammaires de types logiquesSylvain Pogodalla27 septembre 2001ImplementationLogiquelineaireLinguistiqueinformatiqueRéseaux de preuve et génération pour les grammaires de types logiques 1ImplementationgenerateuranalyseurprouveurautomatiqueLogiquecalcul recherche reseaux etde preuve graphes R&Bordonne lineairepouvoir expressifreversibiliteLinguistiqueinformatiqueRéseaux de preuve et génération pour les grammaires de types logiques 1ImplementationgenerateuranalyseurprouveurautomatiqueLogiquecalcul recherche reseaux etde preuve graphes R&Bordonne lineairepouvoir expressifreversibiliteLinguistiqueinformatiqueRéseaux de preuve et génération pour les grammaires de types logiques 1Plan1. Principes des grammaires de typeslogiques2. Exposé du problème de la génération3. Éclairage de la théorie de la preuve4. Reformulation du problème de lagénération et solution proposée5. Conclusion et perspectivesRéseaux de preuve et génération pour les grammaires de types logiques 2Plan Les grammaires AB1. Principes des grammaires de types Le calcul de Lambeklogiques Analyse syntaxique sémantique2. Exposé du problème de la génération3. Éclairage de la théorie de la preuve4. Reformulation du problème de lagénération et solution proposée5. Conclusion et perspectivesRéseaux de preuve et génération pour les grammaires de types logiques 2Plan1. Principes des grammaires de ...