Université Lille1 - Sciences et Technologies Deux aspects de la réécriture : un laboratoire pour les automates VALERIAN un système de sémonstration automatique des théorèmes Two features of rewriting 005.131 Algèbre abstraite Réécriture, Systèmes de (informatique) Text Electronic Thesis or Dissertation fr Dans ce mémoire nous étudions deux aspects de la réécriture. Le premier travail est une contribution à l'étude structurelle de certaines classes de réécriture. Nous montrons comment certains problèmes d'accessibilité se traitent à la lumière des automates finis d'arbres. De plus nous avons construit un logiciel nommé Valerian résolvant certains de ces problèmes en temps réel. Le second travail consiste en la mise en oeuvre d'un système de démonstration automatique de théorème basé sur un calcul par superposition et fonctionnant pour des clauses logiques du premier ordre avec équations application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1991/50376-1991-8.pdf Deruyver Aline 1900-01-01 077748700 1991LIL10008 1991-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:000 ASCII PDF 9999