Les Termes en Logique et en Programmation
Ce cours de troisième cycle présente de manière
approfondie la notion de terme en logique du premier ordre et en
programmation. Sont abordées successivement les questions
suivantes: algèbres de termes, logique équationnelle,
réécritures de termes, ordres sur les termes,
complétion de relations de réécritures de termes,
treillis des termes, logique du premier ordre, résolution,
théorie des arbres finis et infinis, langages reconnaissables
de termes.
full paper