Zum Inhalt springen

  2. Klin, Bartek [Herausgeber:in]; Pimentel, Elaine [Herausgeber:in] ; 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

    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.

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

    Erschienen in: Leibniz international proceedings in informatics ; 252

  3. Corradini, Andrea [Verfasser:in] ; Klin, Bartek [Sonstige Person, Familie und Körperschaft]; Cîrstea, Corina [Sonstige Person, Familie und Körperschaft]

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

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6859

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

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

    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.

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

    Erschienen in: Leibniz international proceedings in informatics ; 243

  10. Dongol, Brijesh [Verfasser:in]; Schellhorn, Gerhard [Verfasser:in]; Wehrheim, Heike [Verfasser:in] ; Klin, Bartek [Herausgeber:in]; Lasota, Sławomir [Herausgeber:in]; Muscholl, Anca [Herausgeber:in]

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

    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.

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

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

  13. Bojańczyk, Mikołaj [Verfasser:in]; Klin, Bartek [Verfasser:in]; Moerman, Joshua [Verfasser:in]

    Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2021

  15. Klin, Bartek [Verfasser:in]; Lasota, Slawomir [Verfasser:in]; Ochremiak, Joanna [Verfasser:in]; Torunczyk, Szymon [Verfasser:in] ; Bartek Klin and Slawomir Lasota and Joanna Ochremiak and Szymon Torunczyk [Mitwirkende:r]

    Homomorphism Problems for First-Order Definable Structures

    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, 2016

  16. Bojanczyk, Mikolaj [Verfasser:in]; Klin, Bartek [Verfasser:in]; Kurz, Alexander [Verfasser:in]; Pitts, Andrew M. [Verfasser:in] ; Mikolaj Bojanczyk and Bartek Klin and Alexander Kurz and Andrew M. Pitts [Mitwirkende:r]

    Nominal Computation Theory (Dagstuhl Seminar 13422)

    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, 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

    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.

    Open Publishing Association, 2015

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