HalJournal.i
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « HalJournal.i » - entrée « Theory of Computing Systems »
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.
Theory and applications of models of computation < Theory of Computing Systems < Third International Workshop on Graphics Recognition - GREC'99  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
003845 (2002) Olivier Bournez ; Michael BranickyOn the mortality problem for matrices of low dimensions
003C18 (2002) Johanne Cohen ; Pierre Fraigniaud ; Margarita MitjanaPolynomial Time Algorithms for Minimum-Time Broadcast in Tree
003F43 (2011) Peter Gacs ; Mathieu Hoyrup ; Cristobal RojasRandomness on Computable Probability Spaces—A Dynamical Point of View
004521 (2016) Stephane Demri ; Didier Galmiche ; Dominique Larchey-Wendling ; Daniel MerySeparation Logic with One Quantified Variable
004649 (1999) Olivier BournezSome bounds on the computational power of piecewise constant derivative systems
004822 (2013) Nazim FatèsStochastic Cellular Automata Solutions to the Density Classification Problem - When randomness helps computing
004C30 (2004) Manfred Schmidt-Schauss ; Jürgen StuberThe complexity of linear and stratified context matching problems
004D13 (2012) Jean-Yves Marion ; Thomas SchwentickTheoretical Aspects of Computer Science

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i -k "Theory of Computing Systems" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i  \
                -Sk "Theory of Computing Systems" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalJournal.i
   |clé=    Theory of Computing Systems
}}
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