unicycle < unification < unification AC

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by unification

Number of relevant bibliographic references: 37.
[0-20] [0 - 20][0 - 37][20-36][20-40]

Ident.	Authors (with country if any)	Title
003F76 (2008-06)	Sylvain Schmitz [France] ; Joseph Le Roux [France]	Feature Unification in TAG Derivation Trees
005D37 (2005)	Laurent Vigneron	Proceedings of the 19th International Workshop on Unification
006897 (2004)	Yannick Chevalier	A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
006945 (2004)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	Unification Modulo ACUI Plus Distributivity Axioms
007109 (2004)	Yannick Chevalier [France]	A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
007702 (2003)	Sylvain Salvati ; Philippe De Groote	On the complexity of higher-order matching in the linear λ-calculus
00A510 (1999)	Christophe Ringeissen ; Eric Monfroy	Generating Propagation Rules for Finite Domains via Unification in Finite Algebras
00AA59 (1999)	Hubert Comon [France] ; Mehmet Dincbas [France] ; Jean-Pierre Jouannaud [France] ; Claude Kirchner [France]	A Methodological View of Constraint Solving
00B131 (1998)	Claude Kirchner ; Christophe Ringeissen	Rule-Based Constraint Programming
00B883 (1997)	Miki Hermann ; Phokion G. Kolaitis	On the complexity of unification and disunification in commutative idempotent semigroups
00B963 (1997)	Miki Hermann ; Roman Galbavy	Unification of infinite sets of terms schematized by primal grammars
00BE78 (1996)	Claude Kirchner ; Christopher Lynch ; Christelle Scharff	A Fine-grained Concurrent Completion Procedure
00C425 (1995)	G. Dowek ; T. Hardin ; C. Kirchner	Higher-Order Unification via Explicit Substitutions - Extended Abstract
00C839 (1995)	Farid Ajili [France] ; Evelyne Contejean	Complete Solving of Linear Diophantine Equational and Inequational Systems without Adding Variables
00C959 (1994)	H. Kirchner ; C. Ringeissen	Constraint Solving by Narrowing in Combined Algebraic Domains
00C962 (1994)	D. Lugiez	Higher-order Disunification : Some Decidable Cases
00CA68 (1994)	G. Dowek ; T. Hardin ; C. Kirchner	High-Order Unification via Explicit Substitutions
00CF41 (1993)	Ch. Ringeissen	Combination of Matching Algorithms (Extended Version)
00D045 (1993)	P. Narendran ; M. Rusinowitch	The Unifiability Problem in Ground AC Theories
00D075 (1993)	Ch. Ringeissen	Combinaison de Résolutions de Contraintes
00D383 (1992)	M. Adi ; C. Kirchner	AC-Unification Race : The System Solving Approach, Implementation and Benchmarks

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "unification" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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