Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Auteurs » - entrée « Olivier Bournez »
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.
Olivier Bouchaud < Olivier Bournez < Olivier Bouré  Facettes :

List of bibliographic references indexed by Olivier Bournez

Number of relevant bibliographic references: 127.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
005230 (2006) Olivier Bournez [France] ; Emmanuel Hainry [France]Recursive Analysis Characterized as a Class of Real Recursive Functions
005373 (2006) Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France]The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation
005407 (2006) Olivier Bournez [France] ; Florent Garnier [France]Proving Positive Almost Sure Termination Under Strategies
005600 (2006) Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France]Implicit complexity over an arbitrary structure : Quantifier alternations
005601 (2006) Olivier Bournez [France]How much can analog and hybrid systems be proved (super-)Turing
005703 (2006) Olivier Bournez [France] ; Garnier Florent [France] ; Claude Kirchner [France]Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b
005722 (2006) Olivier Bournez [France] ; Manuel Lameiras Campagnolo ; Daniel S. Graça ; Emmanuel Hainry [France]The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation
005916 (2005-09-08) Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France]Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$
005A43 (2005-04-23) Olivier Bournez [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France]From Chemical Rules to Term Rewriting
005A44 (2005-04-19) Olivier Bournez [France] ; Florent Garnier [France]Proving Positive Almost-Sure Termination
005C06 (2005) Olivier Bournez ; Emmanuel HainryRecursive Analysis Characterized as a Class of Real Recursive Functions
005C39 (2005) Olivier Bournez [France]How much can analog and hybrid systems be proved (super-)Turing
005C58 (2005) Olivier Bournez ; Emmanuel HainryElementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions
005C62 (2005) Olivier BournezHow much can analog and hybrid systems be proved (super-)Turing
005E56 (2005) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionImplicit Complexity Over an Arbitrary Structure : Sequential and Parallel Polynomial Time
005E58 (2005) Olivier Bournez ; Florent Garnier ; Claude KirchnerTermination in finite mean time of a CSMA/CA rule-based model
005E86 (2005) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionLogical Characterizations of P_\mathcal{K} and NP_\mathcal{K} Over an Arbitrary Structure K
005F20 (2005) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionImplicit Complexity over an Arbitrary Structure : Quantifier Alternations
005F49 (2005) Olivier Bournez ; Florent GarnierProving Positive Almost-Sure Termination
006091 (2005) Olivier Bournez ; Liliana Ibanescu ; Hélène KirchnerFrom Chemical Rules to Term Rewriting
006202 (2005) Olivier Bournez [France] ; Emmanuel Hainry [France]Real Recursive Functions and Real Extensions of Recursive Functions

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/Author.i -k "Olivier Bournez" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Olivier Bournez" \
         | 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=    Author.i
   |clé=    Olivier Bournez
}}
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