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 « Substitution »
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.
Substantif < Substitution < Substitution explicite  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 7.
Ident.Authors (with country if any)Title
000302 (2007) Pierre Arnoux [France] ; Valérie Berthe [France] ; Thomas Fernique [France] ; Damien Jamet [France]Functional stepped surfaces, flips, and generalized substitutions
000963 (2000) A. Felty [États-Unis]The calculus of constructions as a framework for proof search with set variable instantiation
000986 (2000) E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni]On the intuitionistic force of classical search
000995 (2000) G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]Higher order unification via explicit substitutions
000A12 (2000) R. Mcdowell [États-Unis] ; D. Miller [États-Unis]Cut-elimination for a logic with definitions and induction
000A34 (2000) D. Leivant [États-Unis] ; J.-Y. Marion [France]A characterization of alternating log time by ramified recurrence
000C88 (1996) Z.-E.-A. Benaissa [France] ; Pierre Lescanne [France] ; K. H. Rose [Danemark]Modeling sharing and recursion for weak reduction strategies using explicit substitution

List of associated Author.i

Nombre de
documents		Descripteur
1A. Felty
1C. Kirchner
1D. Leivant
1D. Miller
1D. Pym
1Damien Jamet
1E. Ritter
1G. Dowek
1J.-Y. Marion
1K. H. Rose
1L. Wallen
1Pierre Arnoux
1Pierre Lescanne
1R. Mcdowell
1T. Hardin
1Thomas Fernique
1Valérie Berthe
1Z.-E.-A. Benaissa

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 "Substitution" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Substitution" \
         | 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é=    Substitution
}}
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