Skip to contents

  9. Barbosa, Haniel [Author] ; Université de Lorraine [Contributor]; Universidade federal do Rio Grande do Norte (Natal, Brésil) [Contributor]; Merz, Stephan [Contributor]; Déharbe, David [Contributor]; Fontaine, Pascal [Contributor]

    Nouvelles techniques pour l'instanciation et la production des preuves dans SMT ; New techniques for instantiation and proof production in SMT solving

    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-09-05

  12. Abi Lahoud, Elie [Author] ; Dijon [Contributor]; Yétongnon, Kokou [Contributor]

    Composition dynamique de services : application à la conception et au développement de systèmes d'information dans un environnement distribué ; Dynamic composition of services : application to designing and developping information systems in a distributed environment

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2010-02-11

  16. Preiner, Mathias [Author] ; Niemetz, Aina [Other]; Reynolds, Andrew [Other]; Barrett, Clark [Other]; Tinelli, Cesare [Other]

    Syntax-Guided Quantifier Instantiation

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)