Résolution d'équations dans les langages d'ordre 1, 2, ...,ω / Gérard Huet

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1976

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Mathématiques

Logique mathématique

Langages de programmation

Logique du premier ordre

Algorithmes

Université Paris Diderot - Paris 7 (1970-2019) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : introduction du langage d'ordre omega . definition des ensembles complets d'unificateurs dans ce langage. presentation de divers algorithmes permettant d'engendrer un ensemble complet de pre-unificateurs. on donne des modifications a apporter a ces resultats en presence de la regle n. on reprend l'ensemble du probleme dans le cas de langages du premier ordre.