Showing 1 - 12 results of 12 for search '"Algèbre de Kleene"', query time: 1.13s Refine Results
  1. 1
    Résolution d'équations en algèbre de Kleene : applications à l'analyse de programmes
    by Lajeunesse-Robert, François
    Published 2009
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Dissertation
  2. 2
    Demonic Kleene Algebra
    by De Carufel, Jean-Lou
    Published 2009
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Doctoral Thesis
  3. 3
    Algèbres de Kleene pour l'analyse statique des programmes : un nouveau cadre
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Get full text
    Doctoral Thesis
  4. 4
    Vérification des systèmes à pile au moyen des algèbres de Kleene
    by Mathieu, Vincent
    Published 2006
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Dissertation
  5. 5
    Complétude pour les demi-anneaux et algèbres de Kleene étoile-continues avec domaine
    by Mbacke, Sokhna Diarra
    Published 2018
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Dissertation
  6. 6
    Completeness for domain semirings and star-continuous Kleene algebras with domain
    by Mbacke, Sokhna Diarra
    Published 2018
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Dissertation
  7. 7
    Interprocedural program analysis using visibly pushdown Kleene algebra
    by Bolduc, Claude
    Published 2011
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Doctoral Thesis
  8. 8
    Oméga-Algèbre : théorie et application en vérification de programmes
    by Bolduc, Claude
    Published 2006
    Subjects: “...Algèbre de Kleene...”
    Get full text
    Dissertation
  9. 9
    Machines d'Eilenberg Effectives
    by Razet, Benoit
    Published 2009
    Subjects: “...algèbres de Kleene...”
    Get full text
    Get full text
  10. 10
    Algèbres de Kleene, réécriture modulo AC et circuits en coq
    by Braibant, Thomas
    Published 2012
    Subjects: “...Algebres de Kleene...”
    Get full text
  11. 11
    Algebras of Relations : from algorithms to formal proofs
    by Brunet, Paul
    Published 2016
    Subjects: “...Algèbre de Kleene...”
    Get full text
  12. 12
    Algèbres de Kleene, réécriture modulo AC et circuits en coq
    by Braibant, Thomas
    Published 2012
    Subjects: “...Algebres de Kleene...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search