Skip to contents

Ésik, Zoltán [Editor] ; European Association for Computer Science Logic, CSL 20 2006 Szeged

Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25 - 29, 2006 ; 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, 2006

Published in: Lecture notes in computer science ; 4207
Clote, Peter [Editor]; Schwichtenberg, Helmut [Other] ; European Association for Computer Science Logic, CSL 14 2000 Fischbachau

Computer science logic : 14th international workshop ; CSL 2000 ; annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; 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, 2000

Published in: Lecture notes in computer science ; 1862
Plotkin, Gordon [Other]; Milner, Robin [Honoree]

Proof, language, and interaction : essays in honour of Robin Milner

View online
Schließen

Close

Bookmarks

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

Cambridge, Mass.; London: MIT, 2000

Published in: Foundations of computing series
MacCaull, Wendy [Editor]; Winter, Michael [Other]; Düntsch, Ivo [Other] ; International Seminar on Relational Methods in Computer Science 8 2005 Saint Catharines, International Workshop on Applications of Kleene Algebra 3 2005 Saint Catharines, Workshop of COST Action 274 TARSKI 2005 Saint Catharines

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers

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

Published in: Lecture notes in computer science ; 3929
Kleine Büning, Hans [Editor] ; European Association for Computer Science Logic, CSL 9 1995 Paderborn

Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers

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

Published in: Lecture notes in computer science ; 1092
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
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
Cooper, Stuart B. [Editor]; Löwe, Benedikt [Other]; Sorbi, Andrea [Other] ; Conference on Computability in Europe 3 2007 Siena

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 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 ; 4497
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
Marcinkowski, Jerzy [Editor] ; European Association for Computer Science Logic, CSL 18 2004 Karpacz

Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20 - 24, 2004 ; 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, 2004

Published in: Lecture notes in computer science ; 3210
Bradfield, Julian [Editor] ; European Association for Computer Science Logic, CSL 16 2002 Edinburgh

Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; 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, 2002

Published in: Lecture notes in computer science ; 2471
Baaz, Matthias [Editor]; Makowsky, Johann M. [Editor] ; European Association for Computer Science Logic, International Workshop CSL 17 2003 Wien, Kurt Gödel Colloquium 8 2003 Wien

Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003 ; 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, 2003

Published in: Lecture notes in computer science ; 2803
Schmidt, Renate A. [Editor] ; International Conference on Relational Methods in Computer Science 9 2006 Manchester, International Workshop on Applications of Kleene Algebra 4 2006 Manchester

Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; 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, 2006

Published in: Lecture notes in computer science ; 4136
Fribourg, Laurent [Editor] ; European Association for Computer Science Logic, CSL 15 2001 Paris

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10 - 13, 2001 ; 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, 2001

Published in: Lecture notes in computer science ; 2142
Huth, Michael [Author]; Ryan, Mark [Author]

Logic in computer science : modelling and reasoning about systems - [Second edition]

View online
Schließen

Close

Bookmarks

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

Cambridge; New York; Melbourne: Cambridge University Press, 2004
Minker, Jack [Editor]

Logic-based artificial intelligence

View online
Schließen

Close

Bookmarks

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

Boston [u.a.]: Kluwer, Acad. Publ., 2000

Published in: Kluwer international series in engineering and computer science ; 597
Beckmann, Arnold [Editor]; Dimitracopoulos, Costas [Other]; Löwe, Benedikt [Other]; Dimitracopoulos, Costas [Editor]; Löwe, Benedikt [Editor] ; Conference on Computability in Europe 4 2008 Athen

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 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 ; 5028
Flum, Jörg [Editor] ; European Association for Computer Science Logic, CSL 13 1999 Madrid

Computer science logic : 13th international workshop ; 8th annual conference of the EACSL ; 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, 1999

Published in: Lecture notes in computer science ; 1683

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