unidirectional < unification < unified

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000096 (2013)	Takahito Aoto [Japon] ; Munehiro Iwami [Japon]	Termination of Rule-Based Calculi for Uniform Semi-Unification
000201 (2013)	Franz Baader [Allemagne] ; Oliver Fernández Gil [Allemagne] ; Barbara Morawska [Allemagne]	Hybrid Unification in the Description Logic $\mathcal{EL}$
000764 (2010)	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo Homomorphic Encryption
000984 (2009)	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]	Unification Modulo Homomorphic Encryption
001042 (2007)	Barbara Morawska [Allemagne]	General E -unification with Eager Variable Elimination and a Nice Cycle Rule
001525 (2005)	Gopalan Nadathur [États-Unis] ; Natalie Linnell [États-Unis]	Practical Higher-Order Pattern Unification with On-the-Fly Raising
001719 (2004)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo ACUI Plus Distributivity Axioms
001959 (2003)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo ACUI Plus Homomorphisms/Distributivity
001A94 (2003)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	ACID -Unification Is NEXPTIME-Decidable
001C34 (2002)	Gérard Huet [France]	Higher Order Unification 30 Years Later
001C67 (2002)	Paolo Baldan [Italie] ; Andrea Bracciali [Italie] ; Roberto Bruni [Italie]	Bisimulation by Unification*
002057 (2000)	Miki Hermann [France] ; Phokion G. Kolaitis	Unification Algorithms Cannot Be Combined in Polynomial Time
002108 (2000)	Jordi Levy [Espagne] ; Margus Veanes [Colombie]	On the Undecidability of Second-Order Unification
002137 (2000)	Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]	Higher Order Unification via Explicit Substitutions
002289 (1999)	Stephan Kepser [Allemagne] ; Jörn Richts [Allemagne]	UniMoK: A System for Combining Equational Unification Algorithms
002544 (1998)	Christopher Lynch [États-Unis]	The unification problem for one relation Thue Systems
002754 (1997)	Christophe Ringeissen [France]	Prototyping combination of unification algorithms with the ELAN rule-based programming language
002763 (1997)	Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]	On the complexity of unification and disunification in commutative idempotent semigroups
002778 (1997)	Claude Kirchner [France] ; Christophe Ringeissen [France]	Higher-order equational unification via explicit substitutions
002905 (1996)	Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]	Unification algorithms cannot be combined in polynomial time
002B63 (1995)	Peter Borovansk [France]	Implementation of higher-order unification based on calculus of explicit substitution

---

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
}}

---

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