Hope Ishak < Horatiu Cirstea < Houda Fekih

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 30.
[0-20] [0 - 20][0 - 30][20-29][20-40]

Ident.	Authors (with country if any)	Title
000178 (2005)	Horatiu Cirstea ; Emmanuel Coquery ; Wlodzimierz Drabent ; François Fages ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack ; Artur Wilk	Types for REWERSE reasoning and query languages
000276 (2005)	Paolo Baldan ; Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	A rewriting calculus for cyclic higher-order term graphs
000319 (2005)	Germain Faure ; Claude Kirchner ; Horatiu Cirstea	A Rho-Calculus of explicit constraint application
000457 (2005)	Horatiu Cirstea ; Germain Faure ; Maribel Fernandez ; Ian Mackie ; François-Régis Sinot	Rho-calculus for functional languages
000530 (2005)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	Decidable Type Inference for the Polymorphic Rewriting Calculus
000703 (2004)	Horatiu Cirstea ; Pierre-Etienne Moreau ; Antoine Reilles	Rule based programming in Java for protocol verification
000984 (2003)	Gilles Barthe ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Pure Patterns Type Systems
000A04 (2003)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	Rewrite Strategies in the Rewriting Calculus
000A87 (2003)	Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	Translating Combinatory Reduction Systems into the Rewriting Calculus
000F04 (2002)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	The rho cube : some results, some problems
000F79 (2002)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Rewriting Calculus with(out) Types
001420 (2001)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	The Rho Cube
001513 (2001)	Horatiu Cirstea	Specifying Authentication Protocols Using Rewriting and Strategies
001551 (2001)	Horatiu Cirstea ; Claude Kirchner	The Rewriting Calculus - Part I
001556 (2001)	Horatiu Cirstea ; Claude Kirchner	The Rewriting Calculus - Part II
001748 (2001)	Horatiu Cirstea ; Claude Kirchner	Rewriting and Multisets in Rho-calculus and ELAN
001764 (2001)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Matching Power
001779 (2000)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	A Rho Cube
001783 (2000)	Horatiu Cirstea	Calcul de réécriture : fondements et applications
001928 (2000)	Horatiu Cirstea ; Claude Kirchner	The simply typed rewriting calculus
001A09 (2000)	Horatiu Cirstea ; Claude Kirchner	The Rewriting Calculus

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Horatiu Cirstea" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Horatiu Cirstea" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Horatiu Cirstea
}}

---

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