Keywords
Curation
Crin
Racine
Curation
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Crin)

Index « Keywords » - entrée « non-determinism »
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.
non-deteministics algorithms < non-determinism < non-deterministic computation  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000089 (1984) M. S. OuerghiUne formalisation des concepts de communication et de non-déterminisme par des techniques de spécifications algébriques
000108 (1984) S. OuerghiSémantique algébrique d'un langage de programmation supportant le concept des processus communicants
002250 (1998) François ParmentierSpécification d'une architecture émergente fondée sur le raisonnement par analogie : Application aux références bibliographiques
002630 (1999) Horatiu Cirstea ; Claude KirchnerCombining Higher-Order and First-Order Computation Using Rho Calculus : Towards a Semantics of ELAN
002B74 (2000) Horatiu CirsteaCalcul de réécriture : fondements et applications
002C91 (2000) Horatiu Cirstea ; Claude KirchnerThe Rewriting Calculus
002D65 (2001) Helene Kirchner ; Pierre-Etienne MoreauPromoting Rewriting to a Programming Language : A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
002F26 (2001) Horatiu Cirstea ; Claude KirchnerThe Rewriting Calculus - Part I
002F27 (2001) Horatiu Cirstea ; Claude KirchnerThe Rewriting Calculus - Part II
003169 (2002) Serge Grigorieff ; Jean-Yves MarionKolmogorov complexity and non-determinism
003436 (2002) Quang Huy NguyenCalcul de réécriture et automatisation du raisonnement dans les assistants de preuve

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "non-determinism" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "non-determinism" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    non-determinism
}}
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