Skip to contents

  1. Meschke, Christian [Author] ; Ganter, Bernhard [Degree supervisor]; Kuznetsov, Sergei O. [Degree supervisor]

    Concept Approximations : Approximative Notions for Concept Lattices

    Books
    View online
    Close

    Bookmarks

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

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2012

  2. Dianetti, Jodi [Author]; Ferrari, Giorgio [Author]; Fischer, Markus [Author]; Nendel, Max [Author]

    A unifying framework for submodular mean field games

    Books
    View online
    Close

    Bookmarks

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

    Bielefeld, Germany: Center for Mathematical Economics (IMW), Bielefeld University, [2022]

    Published in: Universität Bielefeld: Working papers ; 661

  3. Bauland, Michael [Author]; Schneider, Thomas [Author]; Schnoor, Henning [Author]; Schnoor, Ilka [Author]; Vollmer, Heribert [Author]

    The complexity of generalized satisfiability for linear temporal logic - [published Version]

    Articles
    View online
    Close

    Bookmarks

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

    Braunschweig : International Federation for Computational Logic, 2009

    Published in: Logical Methods in Computer Science 5 (2009), Nr. 1

  4. Ennaoui, Karima [Author] ; Université Clermont Auvergne‎ (2017-2020) [Contributor]; Nourine, Lhouari [Contributor]

    Computational aspects of infinite automata simulation and closure system related issues ; Aspects de complexité du problème de composition des services web

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2017-09-28

  5. Viard, François [Author] ; Lyon 1 [Contributor]; Chapoton, Frédéric [Contributor]; Biagioli, Riccardo [Contributor]

    Des graphes orientés aux treillis complets : une nouvelle approche de l'ordre faible sur les goupes de Coxeter ; From valued digraphs to complete lattices : a new approach of weak order on Coxeter groups

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2015-11-26