Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

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.

Le cluster calcul de réécriture - rewriting calculus

Terms

17calcul de réécriture
9rewriting calculus
17filtrage
11matching

Associations

Freq.WeightAssociation
90.728calcul de réécriture - rewriting calculus
60.353calcul de réécriture - filtrage
90.658filtrage - matching
Documents par ordre de pertinence
008D14 (2001-04) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho Cube
00A467 (1999) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France]Rewriting with strategies in ELAN: a functional semantics
008E10 (2001) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France]Rewriting with strategies in ELAN: a functional semantics
006614 (2004-09) Philippe De Groote [France] ; Sylvain Salvati [France]Higher-order Matching in the Linear lambda-calculus with Pairing
006667 (2004-03-27) Luigi Liquori [France] ; Benjamin Wack [France]The Polymorphic Rewriting Calculus: Type checking vs. Type inference
006B40 (2004) Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewriting Calculus with Fixpoints: Untyped and First-Order Systems
006E61 (2004) Germain Faure [France] ; Alexandre MiquelTowards a denotational semantics for the rho-calculus
006F14 (2004) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rete Algorithm Formalisation
007248 (2003-06) Sylvain Salvati [France] ; Philippe De Groote [France]On the complexity of higher-order matching in the linear $\lambda$-calculus
007291 (2003-01-15) Gilles Barthe [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Pure Patterns Type Systems
007B81 (2003) Germain Faure [France]Calcul de réécriture explicite
007F74 (2002-09) Hubert Dubois [France] ; Hélène Kirchner [France]An algebraic semantics for objects in a rule-based language
008018 (2002-07) Germain Faure [France] ; Claude Kirchner [France]Exceptions in the rewriting calculus
008935 (2002) Benjamin Wack [France]Aspects typés du calcul de réécriture
008D07 (2001-05) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
009587 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in Rho-calculus and ELAN
009751 (2000-09) Horatiu Cirstea [France] ; Claude Kirchner [France]The simply typed rewriting calculus
009762 (2000-08) Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in the Rewriting Calculus and ELAN
00A349 (1999-07) Claude Kirchner [France]The rewriting calculus as a semantics to strategy application. Application to ELAN.
001739 (2013) Emmanuelle Gaillard [France] ; Jean Lieber [France] ; Yannick Naudet [Luxembourg (pays)] ; Emmanuel Nauer [France]Raisonner sur des connaissances provenant d'une e-communauté
002080 (2011-09-30) Jonathan Weber [France]Interactive morphological segmentation for video mining
003D71 (2008-11-05) Oana Andrei [France]A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
005870 (2005-10-28) Clara Bertolissi [France]The graph rewriting calculus: properties and expressive capabilities
005883 (2005-10-07) Benjamin Wack [France]Type systems and deduction in the rewriting calculus
006600 (2004-10) Clara Bertolissi [France] ; Paolo Baldan [Italie] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
007F90 (2002-07-21) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France]The rho cube : some results, some problems
008914 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
00A019 (2000) Anne Boyer [France] ; François Charpillet [France] ; Romaric Charton [France]Utilisation des agents intelligents dans le commerce électronique
00A035 (2000) Philippe Dosch [France] ; Gérald Masini [France]Techniques de mises en correspondance en analyse de plans d'architecte
00AC48 (1999) Philippe Dosch [France] ; Gérald Masini [France]Reconstruction of the 3D Structure of a Building from the 2D Drawings of its Floors
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