Unidirectional Model Transformation < Unification < Unification Grammar

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: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
000065 (2016-02-22)	Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France]	Closed combination of context-embedding iterative strategies
002D71 (2010-04)	Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]	Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
003002 (2010)	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo Homomorphic Encryption
005375 (2006)	Mathieu Turuani [France]	The CL-Atse Protocol Analyser
006180 (2005)	Clara Bertolissi [France]	The Graph Rewriting Calculus: Confluence and Expressiveness
007969 (2003)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo ACUI Plus Homomorphisms/Distributivity
007A33 (2003)	Christophe Ringeissen [France]	Matching in a Class of Combined Non-disjoint Theories
007B04 (2003)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	ACID -Unification Is NEXPTIME-Decidable
009366 (2001)	Hubert Comon [France] ; Claude Kirchner [France]	Constraint Solving on Terms
009E04 (2000)	Miki Hermann [France] ; Phokion G. Kolaitis	Unification Algorithms Cannot Be Combined in Polynomial Time
009E84 (2000)	Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]	Higher Order Unification via Explicit Substitutions
009E90 (2000)	Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas]	Generating Propagation Rules for Finite Domains: A Mixed Approach
00AA59 (1999)	Hubert Comon [France] ; Mehmet Dincbas [France] ; Jean-Pierre Jouannaud [France] ; Claude Kirchner [France]	A Methodological View of Constraint Solving
00B858 (1997)	Christophe Ringeissen	Prototyping combination of unification algorithms with the ELAN rule-based programming language
00B885 (1997)	Farid Ajili ; Claude Kirchner	A Modular Framework for the Combination of Unification and Built-In Constraints
00BC21 (1997)	Christophe Ringeissen [France]	Prototyping combination of unification algorithms with the ELAN rule-based programming language
00BC30 (1997)	Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]	On the complexity of unification and disunification in commutative idempotent semigroups
00C004 (1996)	Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]	Unification algorithms cannot be combined in polynomial time
00C090 (1996)	Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [États-Unis, France]	Automated verification by induction with associative-commutative operators
00D522 (1992)	J. Rouyer	Développement de l'algorithme d'unification dans le calcul des constructions avec types inductifs
00D712 (1992)	E. Domenjoud [France]	AC unification through order-sorted AC1 unification

---

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