Skip to contents

  1. Lokshtanov, Daniel [Author]; Ramanujan, M. S. [Author]; Saurabh, Saket [Author]; Zehavi, Meirav [Author] ; Daniel Lokshtanov and M. S. Ramanujan and Saket Saurabh and Meirav Zehavi [Contributor]

    Reducing CMSO Model Checking to Highly Connected Graphs

    Articles
    View online
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  2. Lawal, Muideen [Author] ; Université Grenoble Alpes [Contributor]; Genevès, Pierre [Contributor]; Layaida, Nabil [Contributor]

    Sur l'estimation des coûts pour l'algèbre relationnelle récursive ; On Cost Estimation for the Recursive Relational Algebra

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2021-04-21

  3. Walsh, Ian [Author]; Vullo, Alessandro [Author]; Pollastri, Gianluca [Author] ; Ian Walsh and Alessandro Vullo and Gianluca Pollastri [Contributor]

    An adaptive model for learning molecular endpoints

    Articles
    View online
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009