Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « unification »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
unifiability < unification < unifications  Facettes :

List of bibliographic references indexed by unification

Number of relevant bibliographic references: 101.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000C18 (2014-04-05) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]On Asymmetric Unification and the Combination Problem in Disjoint Theories
000C88 (2014-02) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Asymmetric Unification and the Combination Problem in Disjoint Theories
000D26 (2014) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001141 (2013-06-27) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination of Unification Algorithms
001470 (2013) Takahito Aoto [Japon] ; Munehiro Iwami [Japon]Termination of Rule-Based Calculi for Uniform Semi-Unification
001575 (2013) Franz Baader [Allemagne] ; Oliver Fernández Gil [Allemagne] ; Barbara Morawska [Allemagne]Hybrid Unification in the Description Logic $\mathcal{EL}$
001A56 (2012-06-26) Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
002153 (2011-09-01) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Block Chaining
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
003877 (2009) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification Modulo Homomorphic Encryption
003E96 (2008-08) Claire Gardent [France]Integrating a unification-based semantics in a large scale Lexicalised Tree Adjoining Grammar for French
004C57 (2007) Barbara Morawska [Allemagne]General E -unification with Eager Variable Elimination and a Nice Cycle Rule
005044 (2006-08-11) Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France]Implementing a Unification Algorithm for Protocol Analysis with XOR
005716 (2006) Majid Khayari [France] ; Stéphane Schneider [France] ; Isabelle Kramer [France] ; Laurent Romary [France]Unification of multi-lingual scientific terminological resources using the ISO 16642 standard. The TermSciences initiative.
005A63 (2005-04) Laurent Vigneron [France]Proceedings of the 19th International Workshop on Unification
005D37 (2005) Laurent VigneronProceedings of the 19th International Workshop on Unification
006211 (2005) Gopalan Nadathur [États-Unis] ; Natalie Linnell [États-Unis]Practical Higher-Order Pattern Unification with On-the-Fly Raising
006945 (2004) Siva Anantharaman ; Paliath Narendran ; Michael RusinowitchUnification Modulo ACUI Plus Distributivity Axioms
006B10 (2004) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Distributivity Axioms

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/Title.i -k "unification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.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=    Title.i
   |clé=    unification
}}
Wicri

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