Proceedings of the 19th International Workshop on Unification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2005

Proceedings of the 19th International Workshop on Unification

Abstract

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.

Keywords

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00000409 , version 1

Cite

Laurent Vigneron (Dir.). Proceedings of the 19th International Workshop on Unification. LORIA, A05-R-022 (A05-R-022), pp.143, 2005. ⟨inria-00000409⟩
167 View
97 Download

Share

Gmail Facebook X LinkedIn More