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

Index « Titre (en) » - entrée « reduction »
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.
reducing < reduction < reductions  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
000885 (2010) Jérémie Detrey [France] ; Guillaume Hanrot [France] ; Xavier Pujol [France] ; Damien Stehlé [Australie, France]Accelerating Lattice Reduction with FPGAs
000A82 (2009) Hanne Gottliebsen [Danemark] ; Kristoffer H. RoseConverting between Combinatory Reduction Systems and Big Step Semantics
000B32 (2009) Mouna Chaouch-Saad [Tunisie] ; Bernadette Charron-Bost [France] ; Stephan Merz [France]A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
000B38 (2009) Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni]A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types
000D31 (2008) Kentaro Kikuchi [Japon] ; Stéphane Lengrand [France]Strong Normalisation of Cut-Elimination That Simulates β -Reduction
000F52 (2007) Clara Bertolissi [France] ; Claude Kirchner [France]The Rewriting Calculus as a Combinatory Reduction System
001005 (2007) Isabelle Gnaedig ; Hélène KirchnerNarrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
001019 (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)
001604 (2005) Chuck Liang [États-Unis] ; Gopalan Nadathur [États-Unis] ; Xiaochu Qi [États-Unis]Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts
001744 (2004) Nancy A. Orel [États-Unis] ; Jeanne M. Wright ; Jennifer WagnerScarcity of HIV/AIDS Risk-Reduction Materials Targeting the Needs of Older Adults Among State Departments of Public Health
001784 (2004) Phong Q. Nguyen [France] ; Damien Stehlé [France]Low-Dimensional Lattice Basis Reduction Revisited
001A03 (2003) Vincent Lefèvre [France] ; Jean-Michel Muller [France]On-the-Fly Range Reduction
001A15 (2003) Richard Frost [Canada]Monadic Memoization towards Correctness-Preserving Reduction of Search
001B75 (2002) Remko Tronçon [Belgique] ; Maurice Bruynooghe [Belgique] ; Gerda Janssens [Belgique] ; Francky Catthoor [Belgique]Storage Size Reduction by In-place Mapping of Arrays
002416 (1999) Masahito Kurihara [Japon] ; Hisashi Kondo [Japon]Completion for Multiple Reduction Orderings
002955 (1996) Zine-El-Abidine Benaissa [France] ; Pierre Lescanne [France] ; Kristoffer H. Rose [Danemark]Modeling sharing and recursion for weak reduction strategies using explicit substitution
002981 (1996) Hisashi Kondo ; Masahito Kurihara ; Azuma OhuchiCompletion of term‐rewriting systems with multiple reduction orderings
002B91 (1995) Masahito Kurihara [Japon] ; Hisashi Kondo [Japon] ; Azuma Ohuchi [Japon]Completion for multiple reduction orderings
002E27 (1993) Roberto M. Amadio [France]On the reduction of chocs bisimulation to π-calculus bisimulation
003117 (1991) Pieter H. Hartel [Pays-Bas, Royaume-Uni]Performance of lazy combinator graph reduction

Pour manipuler ce document sous Unix (Dilib)

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    reduction
}}

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