Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

Workshop on Computer Science Logic

ID:DA02672145

Alias Name

CSL

International Workshop, CSL

Search authors sharing the same name

Search Results1-20 of 23

1
2
1 / 2

1

Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

Erich Grädel, Reinhard Kahle (eds.)

Springer c2009 Lecture notes in computer science 5771

: pbk

Available at 4 libraries
2

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Michael Kaminski, Simone Martini (eds.)

Springer c2008 Lecture notes in computer science 5213

Available at 2 libraries
3

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Jacques Duparc, Thomas A. Henzinger (eds.)

Springer c2007 Lecture notes in computer science 4646

Available at 5 libraries
4

Computer science logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, proceedings

Zoltán Ésik (ed.)

Springer c2006 Lecture notes in computer science 4207

Available at 12 libraries
5

Computer science logic : 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Luke Ong (ed.)

Springer c2005 Lecture notes in computer science 3634

Available at 16 libraries
6

Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Jerzy Marcinkowski, Andrzej Tarlecki (eds.)

Springer c2004 Lecture notes in computer science 3210

Available at 20 libraries
7

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

Matthias Baaz, Johann A. Makowsky (eds.)

Springer c2003 Lecture notes in computer science 2803

Available at 31 libraries
8

Computer science logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Julian Bradfield (ed.)

Springer c2002 Lecture notes in computer science 2471

Available at 33 libraries
9

Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Laurent Fribourg (ed.)

Springer c2001 Lecture notes in computer science 2142

Available at 30 libraries
10

Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Peter G. Clote, Helmut Schwichtenberg (eds.)

Springer c2000 Lecture notes in computer science 1862

Available at 40 libraries
11

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Jörg Flum, Mario Rodríguez-Artalejo (eds.)

Springer c1999 Lecture notes in computer science 1683

Available at 41 libraries
12

Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)

Springer c1999 Lecture notes in computer science 1584

Available at 47 libraries
13

Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Mogens Nielsen, Wolfgang Thomas (eds.)

Springer c1998 Lecture notes in computer science 1414

Available at 46 libraries
14

Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Dirk van Dalen, Marc Bezem (eds.)

Springer c1997 Lecture notes in computer science 1258

Available at 53 libraries
15

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

Hans Kleine Büning, (ed.)

Springer c1996 Lecture notes in computer science 1092

Available at 61 libraries
16

Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers

Leszek Pacholski, Jerzy Tiuryn (eds.)

Springer-Verlag c1995 Lecture notes in computer science 933

: gw , : us

Available at 64 libraries
17

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Springer-Verlag c1994 Lecture notes in computer science 832

: gw , : us

Available at 59 libraries
18

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

E. Börger ... [et al.] (eds.)

Springer-Verlag c1993 Lecture notes in computer science 702

: gw , : us

Available at 54 libraries
19

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings

E. Börger ... [et al.], eds

Springer-Verlag c1992 Lecture notes in computer science 626

: gw , : us

Available at 53 libraries
20

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

E. Börger ... [et al.], eds

Springer-Verlag c1991 Lecture notes in computer science 533

: gw , : us

Available at 53 libraries

1
2
1 / 2

Search this author

Related Authors