Skip to contents

  4. Garnier, Florent [Author] ; Vandoeuvre-les-Nancy, INPL [Contributor]; Kirchner, Claude [Contributor]; Bournez, Olivier [Contributor]

    Terminaison en temps moyen fini de systèmes de règles probabilistes ; Termination within a finite mean time of probabilistic rules based systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2007-09-17

  6. Genestier, Guillaume [Author] ; université Paris-Saclay [Contributor]; Blanqui, Frédéric [Contributor]; Hermant, Olivier [Contributor]

    Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting ; Terminaison en présence de types dépendants et encodage par réécriture d’une théorie des types extensionelle avec polymorphisme d’univers

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2020-12-10

  8. Bousabbah, Maha [Author] ; Bordeaux [Contributor]; Université de Sfax (Tunisie) [Contributor]; Mosbah, Mohamed [Contributor]; Hadj Kacem, Ahmed [Contributor]

    Preuves d'algorithmes distribués par composition et raffinement. ; Proofs of Distributed Algorithms by refinement and composition

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2017-12-08

  9. Urban, Caterina [Author] ; Paris, Ecole normale supérieure [Contributor]; Miné, Antoine [Contributor]; Cousot, Radhia [Contributor]

    Static analysis by abstract interpretation of functional temporal properties of programs ; Analyse statique par interprétation abstraite de propriétés temporelles fonctionnelles des programmes

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-07-09

  11. Konecny, Filip [Author] ; Grenoble [Contributor]; Masarykova univerzita (Brno, République tchèque) [Contributor]; Lakhnech, Yassine [Contributor]; Iosif, Radu [Contributor]

    Vérification relationnelle pour des programmes avec des données entières ; Relational Verification of Programs with Integer Data

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2012-10-29

  14. Foettinger, Alex [Author]

    Sur les terminaisons des nerfs dans les muscles des insectes

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Weimar Bauhaus University: Digital Collectoins, 1880

    Published in: Foettinger, Alex: Sur les terminaisons des nerfs dans les muscles des insectes, -: - 1880.