Skip to contents

  2. Klin, Bartek [Editor]; Pimentel, Elaine [Editor] ; EACSL Annual Conference on Computer Science Logic 31. 2023 Warschau, European Association for Computer Science Logic

    31st EACSL Annual Conference on Computer Science Logic : CSL 2023, February 13-16, 2023, Warsaw, Poland

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, February, 2023

    Published in: Leibniz international proceedings in informatics ; 252

  3. Corradini, Andrea [Author] ; Klin, Bartek [Other]; Cîrstea, Corina [Other]

    Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6859

  9. Klin, Bartek [Editor]; Lasota, Sławomir [Editor]; Muscholl, Anca [Editor] ; CONCUR 33. 2022 Warschau

    33rd International Conference on Concurrency Theory : CONCUR 2022, September 12-16, 2022, Warsaw, Poland

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2022

    Published in: Leibniz international proceedings in informatics ; 243

  10. Dongol, Brijesh [Author]; Schellhorn, Gerhard [Author]; Wehrheim, Heike [Author] ; Klin, Bartek [Editor]; Lasota, Sławomir [Editor]; Muscholl, Anca [Editor]

    Weak progressive forward simulation is necessary and sufficient for strong observational refinement

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Augsburg: Universität Augsburg, 2022 ; Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022

    Published in: Leibniz International Proceedings in Informatics (LIPIcs) ; 243

  15. Klin, Bartek [Author]; Lasota, Slawomir [Author]; Ochremiak, Joanna [Author]; Torunczyk, Szymon [Author] ; Bartek Klin and Slawomir Lasota and Joanna Ochremiak and Szymon Torunczyk [Contributor]

    Homomorphism Problems for First-Order Definable Structures

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  16. Bojanczyk, Mikolaj [Author]; Klin, Bartek [Author]; Kurz, Alexander [Author]; Pitts, Andrew M. [Author] ; Mikolaj Bojanczyk and Bartek Klin and Alexander Kurz and Andrew M. Pitts [Contributor]

    Nominal Computation Theory (Dagstuhl Seminar 13422)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  17. Klin, Bartek

    Topological Dynamics and Decidability of Infinite Constraint Satisfaction : Invited Presentation at the Tenth International Workshop on Fixed Points in Computer Science : Invited Presentation at the Tenth International Workshop on Fixed Points in Computer Science

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Open Publishing Association, 2015

    Published in: Electronic Proceedings in Theoretical Computer Science, 191 (2015), Seite 1-1