Author: "Olivier Bournez" / Journal: rta - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Olivier Bournez"' showing total 5 results

Start Over Author "Olivier Bournez" Journal rta

5 results on '"Olivier Bournez"'

1. Proving Positive Almost Sure Termination Under Strategies.

Author: Olivier Bournez and Florent Garnier
Published: 2006
Full Text: View/download PDF

2. Proving Positive Almost-Sure Termination.

Author: Olivier Bournez and Florent Garnier
Published: 2005
Full Text: View/download PDF

3. A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms.

Author: Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, and Liliana Ibanescu
Published: 2003
Full Text: View/download PDF

4. Rewriting Logic and Probabilities.

Author: Olivier Bournez and Mathieu Hoyrup
Published: 2003
Full Text: View/download PDF

5. Probabilistic Rewrite Strategies. Applications to ELAN.

Author: Olivier Bournez and Claude Kirchner
Published: 2002
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results