Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 complexity  Facettes :

List of bibliographic references indexed by non-determinism

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
004738 (2007-09-17) Florent Garnier [France]Termination within a finite mean time of probabilistic rules based systems
008184 (2002) Quang Huy NguyenCalcul de réécriture et automatisation du raisonnement dans les assistants de preuve
008445 (2002) Serge Grigorieff ; Jean-Yves MarionKolmogorov complexity and non-determinism
008E38 (2001) Helene Kirchner ; Pierre-Etienne MoreauPromoting Rewriting to a Programming Language : A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
008F35 (2001) Horatiu Cirstea ; Claude KirchnerThe Rewriting Calculus - Part I
008F40 (2001) Horatiu Cirstea ; Claude KirchnerThe Rewriting Calculus - Part II
009180 (2001) Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
009823 (2000) Horatiu CirsteaCalcul de réécriture : fondements et applications
009A63 (2000) Horatiu Cirstea ; Claude KirchnerThe Rewriting Calculus
00A130 (2000) Horatiu Cirstea [France] ; Claude Kirchner [France]The Rewriting Calculus
00A689 (1999) Horatiu Cirstea ; Claude KirchnerCombining Higher-Order and First-Order Computation Using Rho Calculus : Towards a Semantics of ELAN
00AF64 (1998) François ParmentierSpécification d'une architecture émergente fondée sur le raisonnement par analogie : Application aux références bibliographiques
00EB21 (1984) S. OuerghiSémantique algébrique d'un langage de programmation supportant le concept des processus communicants
00EB58 (1984) M. S. OuerghiUne formalisation des concepts de communication et de non-déterminisme par des techniques de spécifications algébriques

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "non-determinism" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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