Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
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 Horatiu Cirstea - Luigi Liquori

Terms

6Horatiu Cirstea
5Luigi Liquori
17Claude Kirchner
2Guillaume Burel
2Eric Deplagne
2Peter Borovansky
4Pierre-Etienne Moreau

Associations

Freq.WeightAssociation
40.730Horatiu Cirstea - Luigi Liquori
40.396Claude Kirchner - Horatiu Cirstea
20.343Claude Kirchner - Guillaume Burel
20.343Claude Kirchner - Eric Deplagne
30.325Claude Kirchner - Luigi Liquori
20.243Claude Kirchner - Pierre-Etienne Moreau
20.707Peter Borovansky - Pierre-Etienne Moreau
Documents par ordre de pertinence
000679 (2003) Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriPure patterns Type systems
000809 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
000877 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho cube
000900 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching power
000170 (2010) Guillaume Burel [France] ; Claude Kirchner [France]Regaining cut admissibility in deduction modulo using abstract completion
000381 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal islands
000386 (2006) Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Expressing combinatory reduction systems derivations in the rewriting calculus
000403 (2006) Guillaume Burel [France] ; Claude Kirchner [France]Completion Is an Instance of Abstract Canonical System Inference
000413 (2006) Marian Vittek [Slovaquie] ; Peter Borovansky [Slovaquie] ; Pierre-Etienne Moreau [France]A simple generic library for C
000574 (2004) Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewriting calculus with fixpoints: Untyped and first-order systems
000681 (2003) Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]Proof search and proof check for equational and inductive theorems
000813 (2002) Eric Deplagne [France] ; Claude Kirchner [France]Deduction versus computation: The case of induction
000363 (2006) Frédéric Blanqui ; Claude Kirchner ; Colin RibaOn the confluence of λ-calculus with conditional rewriting
000411 (2006) Nachum Dershowitz [Israël] ; Claude Kirchner [France]Abstract canonical presentations
000572 (2004) Claude Kirchner [France] ; Hélène Kirchner [France]Rule-based programming and proving: The ELAN experience outcomes
000696 (2003) Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie]Imperative object-based calculi in co-inductive type theories
000707 (2003) Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]Environments for term rewriting engines for free!
000779 (2002) Olivier Bournez [France] ; Claude Kirchner [France]Probabilistic rewrite strategies. Applications to ELAN
000808 (2002) Germain Faure [France] ; Claude Kirchner [France]Exceptions in the rewriting calculus
000827 (2002) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding logic: Proofs and models
000881 (2001) Horatiu Cirstea [France]Specifying authentication protocols using rewriting and strategies
000911 (2001) Hubert Comon [France] ; Claude Kirchner [France]Constraint solving on terms
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