Proceedings of the 19th International Workshop on Unification

Laurent Vigneron (1)

1 CASSIS - Combination of approaches to the security of infinite states systems

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: unification

Domaines: Logique en informatique [cs.LO]

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