FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Calcul symbolique »
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.
Calcul structure < Calcul symbolique < Calcul séquent  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000386 (2006) Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Expressing combinatory reduction systems derivations in the rewriting calculus
000498 (2005) Yves A. Papegay [France] ; Jean-Pierre Merlet [France] ; David Daney [France]Exact kinematics analysis of Car's suspension mechanisms using symbolic computation and interval analysis
000632 (2004) David Deharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France]Abstraction-driven verification of array programs
000849 (2001) Laura Grigori [France]Étude d'implémentation parallèle de la factorisation LU creuse
000B52 (1998) M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France]Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
000B62 (1998) C. Lynch [États-Unis] ; C. Scharff [France]Basic Completion with E-cycle Simplification
000C47 (1997) L. Alonso [France] ; J. L. Remy [France] ; R. Schott [France]A linear-time algorithm for the generation of trees
000C73 (1996) A. Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications
000D02 (1996) A. Napoli [France] ; J. Lieber [France] ; R. Curien [France]Classification-based problem-solving in case-based reasoning
000D58 (1992) E. Domenjoud [France]AC unification through order-sorted AC1 unification
000D59 (1991) J. Rouyer [France]Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm

List of associated Author.i

Nombre de
documents		Descripteur
1A. Bouhoula
1A. Napoli
1Abdessamad Imine
1C. Lynch
1C. Scharff
1Clara Bertolissi
1Claude Kirchner
1David Daney
1David Deharbe
1E. Domenjoud
1F. Charpillet
1Horatiu Cirstea
1J. L. Remy
1J. Lieber
1J. P. Haton
1J. Rouyer
1Jean-Pierre Merlet
1L. Alonso
1Laura Grigori
1M. Mouhoub
1R. Curien
1R. Schott
1Silvio Ranise
1Yves A. Papegay

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Calcul symbolique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Calcul symbolique" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Calcul symbolique
}}
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