calculs < calculus < calibrating

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 64.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000155 (2005)	Frédéric Blanqui	Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations
000182 (2005)	Mohsen Rouached ; Olivier Perrin ; Claude Godart	A Contract-based Approach for Monitoring Collaborative Web Services using Commitments in the Event Calculus
000244 (2005)	Frédéric Blanqui ; Colin Riba ; Claude Kirchner	On the confluence of lambda-calculus with conditional rewriting
000276 (2005)	Paolo Baldan ; Clara Bertolissi ; Horatiu Cirstea ; Claude Kirchner	A rewriting calculus for cyclic higher-order term graphs
000282 (2005)	Frederic Blanqui	Definitions by Rewriting in the Calculus of Constructions
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
000498 (2005)	Frederic Blanqui	Inductive types in the Calculus of Algebraic Constructions
000530 (2005)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	Decidable Type Inference for the Polymorphic Rewriting Calculus
000538 (2005)	Pierrick Gaudry ; Emmanuel Thomé ; Nicolas Thériault ; Claus Diem	A double large prime variation for small genus hyperelliptic index calculus
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
000C33 (2003)	Sylvain Salvati ; Philippe De Groote	On the complexity of higher-order matching in the linear λ-calculus
000C56 (2003)	René David ; Bruno Guillaume	Strong Normalization of the Typed lambda ws-calculus
000F61 (2002)	Philippe De Groote ; François Lamarche	Classical Non Associative Lambek Calculus
000F79 (2002)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Rewriting Calculus with(out) Types
001312 (2002)	Germain Faure ; Claude Kirchner	Exceptions in the rewriting calculus
001551 (2001)	Horatiu Cirstea ; Claude Kirchner	The Rewriting Calculus - Part I
001556 (2001)	Horatiu Cirstea ; Claude Kirchner	The Rewriting Calculus - Part II
001683 (2001)	Julien Musset ; Michael Rusinowitch	An effective fixed point calculus for deterministic systems applied to model checking
001718 (2001)	Claude Kirchner ; Zhebin Qian ; Preet Kamal Singh ; Jürgen Stuber	Xemantics : a Rewriting Calculus-Based Semantics of XSLT

---

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/Title.i -k "calculus" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Title.i  \
                -Sk "calculus" \
         | 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=    Title.i
   |clé=    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