Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

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.
unidirectional < unification < unified  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 38.
[20-40] [0 - 20][0 - 38]
Ident.Authors (with country if any)Title
002B63 (1995) Peter Borovansk [France]Implementation of higher-order unification based on calculus of explicit substitution
002C92 (1994) Gernot Salzer [Autriche]Primal grammars and unification modulo a binary clause
002F61 (1992) Christophe Ringeissen [France]Unification in a combination of equational theories with shared constants and its application to primal algebras
003021 (1992) Jean H. Gallier [États-Unis] ; Wayne Snyder [États-Unis]Designing Unification Procedures Using Transformations: A Survey
003106 (1991) Masami Hagiya [Japon]Synthesis of rewrite programs by higher-order and semantic unification
003156 (1991) Eric Domenjoud [France]AC unification through order-sorted AC1 unification
003215 (1990) Claude Kirchner [France]Tutorial on equational unification
003266 (1990) Mohamed Adi [France] ; Claude Kirchner [France]AC-unification race: The system solving approach and its implementation
003408 (1988) J L. Lassez [États-Unis] ; M. J. Maher [États-Unis] ; K. Marriott [États-Unis, Australie]Unification revisited
003425 (1988) Karl Hans Bl Sius [Allemagne] ; Jörg H. Siekmann [Allemagne]Partial unification for graph based equational reasoning
003548 (1987) D. E. Rydeheard [Royaume-Uni] ; J. G. Stell [Royaume-Uni]Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
003610 (1986) Hubert Comon [France]Sufficient completeness, term rewriting systems and ”anti-unification”
003647 (1986) Jia-Huai You [Canada] ; P. A. Subrahmanyam [États-Unis]A class of confluent term rewriting systems and unification
003699 (1985) Pierre Rety [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre Lescanne [France]NARROWER: a new algorithm for unification and its application to Logic Programming
003708 (1985) Kathy Yelick [États-Unis]Combining unification algorithms for confined regular equational theories
003753 (1984) Jörg H. SiekmannUniversal Unification
003778 (1984) Claude Kirchner [France, États-Unis]A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm
003830 (1983) Jean Pierre Jouannaud [France] ; Claude Kirchner [France] ; Helene Kirchner [France]Incremental construction of unification algorithms in equational theories

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "unification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "unification" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

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