unicast security < unification < unification AC

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 33.
[0-20] [0 - 20][0 - 33][20-32][20-40]

Ident.	Authors (with country if any)	Title
000026 (1984)	C. Kirchner	A new equational unification method : a generalisation of MARTELLI--MONTANARI'S algorithm
000248 (1985)	P. Réty ; C. Kirchner ; H. Kirchner ; P. Lescanne	NARROWER : a new algorithm for unification and its application to logic programming
000342 (1986)	C. Kirchner	Computing unification algorithms
000358 (1986)	P. Réty ; C. Kirchner ; H. Kirchner ; P. Lescanne	An algorithm for unification based on narrowing
000371 (1986)	J.-P. Jouannaud ; P. Lescanne ; J. Mzali ; J.-L. Rémy	Présentation de l'équipe de recherche EURECA
000409 (1987)	C. Kirchner	Methods and tools for equational unification
000433 (1987)		First workshop on unification Val d'Ajol
000507 (1987)	C. Kirchner	From unification in combination of equational theories to a new AC-unification algorithm
000714 (1988)		Proceedings {UNIF 88}
000733 (1989)	C. Kirchner ; H. Kirchner	Rewriting : Theory and Applications
000809 (1989)	N. Doggaz ; C. Kirchner	Completion for Unification
000A76 (1991)	J.-P. Jouannaud ; C. Kirchner	Solving Equations in Abstract Algebras : A Rule-based Survey of Unification
000C32 (1991)	P. Narendran ; M. Rusinowitch	The Unifiability Problem in Ground AC Theories
000C66 (1991)	N. Doggaz ; C. Kirchner	Completion for Unification
000D54 (1992)	M. Adi ; C. Kirchner	AC-Unification Race : The System Solving Approach, Implementation and Benchmarks
000D95 (1992)	Ch. Ringeissen	Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras (Extended Version)
000E09 (1992)	D. Finck ; S. H Kouniali	Réalisation d'un analyseur multi-agents pour la compréhension d'un texte en langage naturel : ANASYS
001205 (1993)	Ch. Ringeissen	Combination of Matching Algorithms (Extended Version)
001222 (1993)	P. Narendran ; M. Rusinowitch	The Unifiability Problem in Ground AC Theories
001329 (1993)	Ch. Ringeissen	Combinaison de Résolutions de Contraintes
001432 (1994)	D. Lugiez	Higher-order Disunification : Some Decidable Cases

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "unification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "unification" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    unification
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022