Skip to contents

Grädel, Erich [Editor]; Kahle, Reinhard [Other] ; 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

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5771
Dawar, Anuj [Editor]; Veith, Helmut [Other] ; 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

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6247
Kaminski, Michael [Editor]; Martini, Simone [Other] ; 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

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5213
Duparc, Jacques [Editor]; Henzinger, Thomas A. [Other] ; 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

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4646
Ong, Luke [Editor] ; 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

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3634
Tinelli, Cesare [Editor]; Sofronie-Stokkermans, Viorica [Other] ; FroCoS 8 2011 Saarbrücken

Frontiers of combining systems : 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 ; proceedings

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6989
Murano, Aniello [Editor]; Silva, Alexandra [Editor] ; 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

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

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

Published in: Leibniz international proceedings in informatics ; 288
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

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

... to E-book via DOI (freely accessible)

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
Manea, Florin [Editor]; Simpson, Alex K. [Editor] ; CSL 30. 2022 Online

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

View online
Schließen

Access

... to E-book (freely accessible)

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 ; 216
Baier, Christel [Editor]; Goubault-Larrecq, Jean [Editor] ; 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)

View online
Schließen

Access

... to E-book via DOI (freely accessible)

... to E-book (PDF document ; freely accessible)

Close

Bookmarks

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

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

Published in: Leibniz international proceedings in informatics ; 183
Fernández, Maribel [Editor]; Muscholl, Anca [Editor] ; 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

View online
Schließen

Access

... to E-book (freely accessible)

... to E-book via DOI (freely accessible)

Close

Bookmarks

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

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

Published in: Leibniz international proceedings in informatics ; 152
EACSL Annual Conference on Computer Science Logic <27., 2018, Birmingham> [Author] ; Ghica, Dan R. [Contributor]; Jung, Achim [Contributor]; CSL 27. 2018 Birmingham [Contributor]

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

View online
Schließen

Links

... to conference proceeding via DOI

Close

Bookmarks

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

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018-08
Dam, Mads [Editor]; Goranko, Valentin [Editor] ; Computer Science Logic 26 2017 Stockholm, European Association for Computer Science Logic

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

View online
Schließen

Access

... to E-book via DOI (Volltext ; freely accessible)

Close

Bookmarks

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

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

Published in: Leibniz international proceedings in informatics ; 82
Cégielski, Patrick [Other]; Durand, Arnaud [Other] ; 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

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

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

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

Published in: Leibniz international proceedings in informatics ; 16
Kreutzer, Stephan [Editor] ; 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

View online
Schließen

Access

... to E-book via DOI (Volltext ; freely accessible)

Close

Bookmarks

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

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

Published in: Leibniz international proceedings in informatics ; 41
Annual Conference on Computer Science Logic 24. 2015 Berlin [Author] ; Kreutzer, Stephan [Contributor]; EACSL Annual Conference on Computer Science Logic (CSL) [Contributor]; 24 (Berlin) : 2015.09.07-10 [Contributor]

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

View online
Schließen

Links

... to conference proceeding via DOI

Close

Bookmarks

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

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2015-09
European Association for Computer Science Logic [Author]; Schloss Dagstuhl, Leibniz-Zentrum für Informatik [Author] ; Cégielski, Patrick [Contributor]; Durand, Arnaud [Contributor]; International Workshop on Computer Science Logic (CSL) [Contributor]; 26 (Fontainebleau) : 2012.09.03-06 [Contributor]

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

View online
Schließen

Links

... to conference proceeding via DOI

Close

Bookmarks

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

Digital Library Thüringen, 2012-09
Dawar, Anuj [Author] ; Veith, Helmut [Other]

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6247
Hutchison, David [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Kaminski, Michael [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Martini, Simone [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]

Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Published in: Lecture notes in computer science ; 5213
Grädel, Erich [Author] ; Kahle, Reinhard [Other]

Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5771

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication