Zum Inhalt springen

  1. Kaminski, Michael [Herausgeber:in]; Martini, Simone [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 22 2008 Bertinoro

    Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008; 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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5213

  2. Grädel, Erich [Herausgeber:in]; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 23 2009 Coimbra

    Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; 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 [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5771

  3. Dawar, Anuj [Herausgeber:in]; Veith, Helmut [Sonstige Person, Familie und Körperschaft] ; CSL 24 2010 Brünn

    Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; 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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6247

  4. Ong, Luke [Herausgeber:in] ; European Association for Computer Science Logic, CSL 19 2005 Oxford

    Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005; 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 [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3634

  5. Duparc, Jacques [Herausgeber:in]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 21 2007 Lausanne

    Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007 ; 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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4646

  6. Murano, Aniello [Herausgeber:in]; Silva, Alexandra [Herausgeber:in] ; EACSL Annual Conference on Computer Science Logic 32. 2024 Neapel, European Association for Computer Science Logic

    32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19-23, 2024, Naples, Italy

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

    Erschienen in: Leibniz international proceedings in informatics ; 288

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

  8. Manea, Florin [Herausgeber:in]; Simpson, Alex K. [Herausgeber:in] ; CSL 30. 2022 Online

    30th EACSL Annual Conference on Computer Science Logic : CSL 2022, February 14-19, 2022, Göttingen, Germany (virtual conference)

    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 ; 216

  9. Baier, Christel [Herausgeber:in]; Goubault-Larrecq, Jean [Herausgeber:in] ; EACSL Annual Conference on Computer Science Logic 29. 2021 Online, European Association for Computer Science Logic

    29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference)

    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.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, 2021

    Erschienen in: Leibniz international proceedings in informatics ; 183

  10. Fernández, Maribel [Herausgeber:in]; Muscholl, Anca [Herausgeber:in] ; CSL 28. 2020 Barcelona, European Association for Computer Science Logic

    28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain

    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.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, 2020

    Erschienen in: Leibniz international proceedings in informatics ; 152

  11. EACSL Annual Conference on Computer Science Logic <27., 2018, Birmingham> [Verfasser:in] ; Ghica, Dan R. [Mitwirkende:r]; Jung, Achim [Mitwirkende:r]; CSL 27. 2018 Birmingham [Mitwirkende:r]

    Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

    Konferenzberichte
    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 GmbH, Dagstuhl Publishing, 2018-08

  12. Dam, Mads [Herausgeber:in]; Goranko, Valentin [Herausgeber:in] ; Computer Science Logic 26 2017 Stockholm, European Association for Computer Science Logic

    Computer Science Logic 2017 : CSL 2017, August 20-24, 2017, Stockholm, Sweden

    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.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August 2017

    Erschienen in: Leibniz international proceedings in informatics ; 82

  13. Cégielski, Patrick [Sonstige Person, Familie und Körperschaft]; Durand, Arnaud [Sonstige Person, Familie und Körperschaft] ; CSL 26 2012 Fontainebleau, European Association for Computer Science Logic, Schloss Dagstuhl, Leibniz-Zentrum für Informatik

    Computer Science Logic 2012 : 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France

    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.

    Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012

    Erschienen in: Leibniz international proceedings in informatics ; 16

  14. Kreutzer, Stephan [Herausgeber:in] ; Annual Conference on Computer Science Logic 24. 2015 Berlin, European Association for Computer Science Logic

    24th EACSL Annual Conference on Computer Science Logic : CSL 2015, September 7-10, 2015, Berlin, Germany

    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.

    Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, September 2015

    Erschienen in: Leibniz international proceedings in informatics ; 41

  15. Annual Conference on Computer Science Logic 24. 2015 Berlin [Verfasser:in] ; Kreutzer, Stephan [Mitwirkende:r]; EACSL Annual Conference on Computer Science Logic (CSL) [Mitwirkende:r]; 24 (Berlin) : 2015.09.07-10 [Mitwirkende:r]

    24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7-10, 2015, Berlin, Germany

    Konferenzberichte
    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 GmbH, 2015-09

  16. European Association for Computer Science Logic [Verfasser:in]; Schloss Dagstuhl, Leibniz-Zentrum für Informatik [Verfasser:in] ; Cégielski, Patrick [Mitwirkende:r]; Durand, Arnaud [Mitwirkende:r]; International Workshop on Computer Science Logic (CSL) [Mitwirkende:r]; 26 (Fontainebleau) : 2012.09.03-06 [Mitwirkende:r]

    Computer Science Logic 2012: 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France

    Konferenzberichte
    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.

    Digital Library Thüringen, 2012-09

  17. Dawar, Anuj [Verfasser:in] ; Veith, Helmut [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. 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, 2010

    Erschienen in: Lecture notes in computer science ; 6247

  18. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Kaminski, Michael [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Martini, Simone [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. 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, 2008

    Erschienen in: Lecture notes in computer science ; 5213

  19. Grädel, Erich [Verfasser:in] ; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. 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, 2009

    Erschienen in: Lecture notes in computer science ; 5771

  20. Duparc, Jacques [Sonstige Person, Familie und Körperschaft]; Henzinger, Thomas [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. 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, 2007

    Erschienen in: Lecture notes in computer science ; 4646