Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « matching »
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.
match-types < matching < matching point  Facettes :

List of bibliographic references indexed by matching

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
003947 (2009) Armelle Brun [France] ; Geoffray Bonnin [France] ; Anne Boyer [France]History Dependent Recommender Systems Based on Partial Matching
005870 (2005-10-28) Clara Bertolissi [France]The graph rewriting calculus: properties and expressive capabilities
005891 (2005-10) Clara Bertolissi [France]The graph rewriting calculus: confluence and expressiveness
007197 (2003-08) Christophe Ringeissen [France]Matching in a Class of Combined Non-Disjoint Theories
007420 (2003) Gilles Barthe ; Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriPure Patterns Type Systems
007586 (2003) Christophe RingeissenMatching in a Class of Combined Non-Disjoint Theories
007702 (2003) Sylvain Salvati ; Philippe De GrooteOn the complexity of higher-order matching in the linear λ-calculus
007A32 (2003) S. Tabbone [France] ; L. Wendling [France] ; K. Tombre [France]Matching of graphical symbols in line-drawing images using angular signature information
008011 (2002-07) Manfred Schmidt-Schauss ; Jürgen Stuber [France]On the complexity of linear and stratified context matching problems
008291 (2002) Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriRewriting Calculus with(out) Types
008378