Proceedings of the 19th International Workshop on Unification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2005

Proceedings of the 19th International Workshop on Unification

Résumé

UNIF is the main international meeting on unification. Unification is concerned with the problem of identifying given terms, either syntactically or modulo a given logical theory. Syntactic unification is the basic operation of most automated reasoning systems, and unification modulo theories can be used, for instance, to build in special equational theories into theorem provers.

Mots clés

Fichier principal
Vignette du fichier
UNIF05.pdf (1.26 Mo) Télécharger le fichier
Loading...

Dates et versions

inria-00000409 , version 1 (06-10-2005)

Identifiants

  • HAL Id : inria-00000409 , version 1

Citer

Laurent Vigneron (Dir.). Proceedings of the 19th International Workshop on Unification. LORIA, A05-R-022 (A05-R-022), pp.143, 2005. ⟨inria-00000409⟩
170 Consultations
103 Téléchargements

Partager

Gmail Facebook X LinkedIn More