Zum Inhalt springen

  6. Meschke, Christian [VerfasserIn] ; Ganter, Bernhard [AkademischeR BetreuerIn]; Kuznetsov, Sergei O. [AkademischeR BetreuerIn]

    Concept Approximations : Approximative Notions for Concept Lattices

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Baldan, Paolo [VerfasserIn]; König, Barbara [VerfasserIn]; Padoan, Tommaso [VerfasserIn] ; Paolo Baldan and Barbara König and Tommaso Padoan [MitwirkendeR]

    Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  8. Dianetti, Jodi [VerfasserIn]; Ferrari, Giorgio [VerfasserIn]; Fischer, Markus [VerfasserIn]; Nendel, Max [VerfasserIn]

    Submodular mean field games: Existence and approximation of solutions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bielefeld: Bielefeld University, Center for Mathematical Economics (IMW), 2019

  10. Dianetti, Jodi [VerfasserIn]; Ferrari, Giorgio [VerfasserIn]; Fischer, Markus [VerfasserIn]; Nendel, Max [VerfasserIn]

    A unifying framework for submodular mean field games

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  11. Dianetti, Jodi [VerfasserIn]; Ferrari, Giorgio [VerfasserIn]; Fischer, Markus [VerfasserIn]; Nendel, Max [VerfasserIn]

    A unifying framework for submodular mean field games

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  13. Bauland, Michael [VerfasserIn]; Schneider, Thomas [VerfasserIn]; Schnoor, Henning [VerfasserIn]; Schnoor, Ilka [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

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

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig : International Federation for Computational Logic, 2009

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

  14. Hong Ngoc, Binh [VerfasserIn] ; Matthias Reitzner [MitwirkendeR]; Ngo Viet Trung [MitwirkendeR]

    Randomized integer convex hull

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universität Osnabrück: osnaDocs, 2021-02-12

  15. Pogorelcnik, Romain [VerfasserIn] ; Clermont-Ferrand 2 [MitwirkendeR]; Berry, Anne [MitwirkendeR]

    Decomposition by complete minimum separators and applications ; Décomposition par séparateurs minimaux complets et applications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-12-04

  17. Ennaoui, Karima [VerfasserIn] ; Université Clermont Auvergne‎ (2017-2020) [MitwirkendeR]; Nourine, Lhouari [MitwirkendeR]

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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-09-28

  18. Viard, François [VerfasserIn] ; Lyon 1 [MitwirkendeR]; Chapoton, Frédéric [MitwirkendeR]; Biagioli, Riccardo [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-11-26