Author: "Jules Desharnais" / Journal: j. log. algebraic methods program. - 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 '"Jules Desharnais"' showing total 4 results

Start Over Author "Jules Desharnais" Journal j. log. algebraic methods program.

4 results on '"Jules Desharnais"'

1. Convergence: Integrating termination and abort-freedom.

Author: Nafi Diallo, Wided Ghardallou, Jules Desharnais, and Ali Mili 0001
Published: 2018
Full Text: View/download PDF

2. Relational style laws and constructs of linear algebra.

Author: Jules Desharnais, Anastasiya Grinenko, and Bernhard Möller
Published: 2014
Full Text: View/download PDF

3. Abstract representation theorems for demonic refinement algebras.

Author: Jean-Lou De Carufel and Jules Desharnais
Published: 2010
Full Text: View/download PDF

4. Kleene under a modal demonic star.

Author: Jules Desharnais, Bernhard Möller, and Fairouz Tchier
Published: 2006
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results