rewriting approach to satisfiability procedures < rewriting calculus < rewriting deduction verification

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
002688 (1999)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen	Rewriting with strategies in ELAN : a functional semantics
002880 (1999)	Claude Kirchner	The rewriting calculus as a semantics to strategy application. Application to ELAN.
002B43 (2000)	Horatiu Cirstea ; Claude Kirchner	The simply typed rewriting calculus
002B74 (2000)	Horatiu Cirstea	Calcul de réécriture : fondements et applications
002F24 (2001)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Matching Power
002F25 (2001)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	The Rho Cube
002F28 (2001)	Hubert Dubois	Systèmes de Règles de Production et Calcul de Réécriture
002F66 (2001)	Claude Kirchner	ELAN : Modélisation et preuve en calcul de réécriture
003100 (2001)	Germain Faure	Etude des propriétés du calcul de réécriture : du rho calcul au rhoEpsilon calcul
003101 (2001)	Claude Kirchner ; Zhebin Qian ; Preet Kamal Singh ; Jürgen Stuber	Xemantics : a Rewriting Calculus-Based Semantics of XSLT
003268 (2002)	Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner	External rewriting for skeptical proof assistants (extended version)
003409 (2002)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Rewriting Calculus with(out) Types
003436 (2002)	Quang Huy Nguyen	Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve
003586 (2002)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau	ELAN from a rewriting logic point of view
003593 (2002)	Hubert Dubois ; Hélène Kirchner	An algebraic semantics for objects in a rule-based language
003636 (2002)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	The rho cube : some results, some problems
003649 (2002)	Benjamin Wack	Aspects typés du calcul de réécriture
003654 (2002)	Germain Faure ; Claude Kirchner	Exceptions in the rewriting calculus
003797 (2003)	Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	Translating Combinatory Reduction Systems into the Rewriting Calculus
003990 (2003)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	Rewrite Strategies in the Rewriting Calculus
003A68 (2003)	Germain Faure	Calcul de réécriture explicite

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "rewriting calculus" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "rewriting calculus" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    rewriting calculus
}}

---

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