Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (USA)

Index « Titre (en) » - entrée « term »
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.
ten < term < terminal  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
000293 (2010) Donald A. Williamson [États-Unis] ; Stephen D. Anton [États-Unis] ; Hongmei Han [États-Unis] ; Catherine M. Champagne [États-Unis] ; Ray Allen [États-Unis] ; Eric Leblanc [États-Unis] ; Donna H. Ryan [États-Unis] ; Jennifer Rood [États-Unis] ; Katherine Mcmanus [États-Unis] ; Nancy Laranjo [États-Unis] ; Vincent J. Carey [États-Unis] ; Catherine M. Loria [États-Unis] ; George A. Bray [États-Unis] ; Frank M. Sacks [États-Unis]Early behavioral adherence predicts short and long-term weight loss in the POUNDS LOST study
000424 (2007) Nancy R. Cook [États-Unis] ; Jeffrey A. Cutler [États-Unis] ; Eva Obarzanek [États-Unis] ; Julie E. Buring [États-Unis] ; Kathryn M. Rexrode [États-Unis] ; Shiriki K. Kumanyika [États-Unis] ; Lawrence J. Appel [États-Unis] ; Paul K. Whelton [États-Unis]Long term effects of dietary sodium reduction on cardiovascular disease outcomes: observational follow-up of the trials of hypertension prevention (TOHP)
000458 (2006) Laura N. Gitlin [États-Unis] ; Karen Reever ; Marie P. Dennis ; Esther Mathieu ; Walter W. HauckEnhancing Quality of Life of Families Who Use Adult Day Services: Short- and Long-Term Effects of the Adult Day Services Plus Program
000464 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
000543 (2004) Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis]Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems
000571 (2003) Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France]Deciding the Confluence of Ordered Term Rewrite Systems
000772 (1999) Rakesh Verma [États-Unis] ; Shalitha Senanayake [États-Unis]$$\overrightarrow {LR} ^2 $$: A Laboratory for Rapid Term Graph Rewriting
000867 (1996) Francois Bronsard [France] ; Uday S. Reddy [États-Unis] ; Robert W. Hasker [États-Unis]Induction using term orders
000915 (1994) Francois Bronsard [États-Unis, France] ; Uday S. Reddy [États-Unis] ; Robert W. Hasker [États-Unis]Induction using term orderings
000A04 (1989) C. Hilmon Castle [États-Unis] ; Robert A. Wolbach [États-Unis]Long-term systemic arterial blood pressure control with nicardipine
000A31 (1987) Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis]On sufficient-completeness and related properties of term rewriting systems
000A33 (1987) Joseph Goguen [États-Unis] ; Claude Kirchner [États-Unis] ; José Meseguer [États-Unis]Concurrent term rewriting as a model of computation
000A49 (1986) Jia-Huai You [Canada] ; P. A. Subrahmanyam [États-Unis]A class of confluent term rewriting systems and unification
000A54 (1985) Jieh Hsiang [États-Unis]Refutational theorem proving using term-rewriting systems
000A58 (1985) D. Kapur [États-Unis] ; P. Narendran [États-Unis] ; G. Sivakumar [États-Unis]A path ordering for proving termination of term rewriting systems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/USA/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/USA/Analysis/Title.i -k "term" 
HfdIndexSelect -h $EXPLOR_AREA/Data/USA/Analysis/Title.i  \
                -Sk "term" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/USA/Analysis/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    USA
   |étape=   Analysis
   |type=    indexItem
   |index=    Title.i
   |clé=    term
}}

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