Computer Science Logic (CSL)
(brand of TEST)2 × Austria
2 × Czech Republic
1 × Denmark
2 × France
6 × Germany
1 × Hungary
3 × Italy
1 × Norway
1 × Poland
1 × Portugal
1 × Spain
2 × Switzerland
1 × The Netherlands
3 × United Kingdom
221 ×#logic
84 ×#on the
68 ×#complexity
66 ×#proving
56 ×#game studies
55 ×#linear
53 ×#semantics
47 ×#calculus
43 ×#bound
41 ×#problem
Vocabulary: 1257 words
1144 papers in 31 issues:
- 2020
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)- 2018
- Proceedings of the 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
- 2017
- Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
- 2016
- Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
- 2015
- Proceedings of the 24th Annual Conference on Computer Science Logic (CSL 2015)
- 2014
Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014)- 2013
- Proceedings of the 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013)
- 2012
- Proceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic (CSL 2012)
- 2011
- Proceedings of the 20th EACSL Annual Conference / 25th International Workshop on Computer Science Logic (CSL 2011)
- 2010
- Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic (CSL 2010)
- 2009
- Proceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic (CSL 2009)
- 2008
- Proceedings of the 17th EACSL Annual Conference / 22nd International Workshop on Computer Science Logic (CSL 2008)
- 2007
- Proceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic (CSL 2007)
- 2006
- Proceedings of the 15th EACSL Annual Conference / 20th International Workshop on Computer Science Logic (CSL 2006)
- 2005
- Proceedings of the 14th EACSL Annual Conference / 19th International Workshop on Computer Science Logic (CSL 2005)
- 2004
- Proceedings of the 13th EACSL Annual Conference / 18th International Workshop on Computer Science Logic (CSL 2004)
- 2003
- Proceedings of the 12th EACSL Annual Conference / 17th International Workshop on Computer Science Logic (CSL 2003)
- 2002
- Proceedings of the 11th EACSL Annual Conference / 16th International Workshop on Computer Science Logic (CSL 2002)
- 2001
- Proceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic (CSL 2001)
- 2000
- Proceedings of the 14th EACSL Annual Conference on Computer Science Logic (CSL 2000)
- 1999
- Proceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL (CSL 1999)
- 1998
- Proceedings of the 12th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1998)
- 1997
- Selected Papers of the 11th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1997)
- 1996
- Selected Papers of the 10th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1996)
- 1993
- Selected Papers of the Seventh Workshop on Computer Science Logic (CSL 1993)
- 1992
- Proceedings of the Sixth Workshop on Computer Science Logic (CSL 1992)
- 1991
- Proceedings of the Fifth Workshop on Computer Science Logic (CSL 1991)
- 1990
- Proceedings of the Fourth Workshop on Computer Science Logic (CSL 1990)
- 1989
- Proceedings of the Third Workshop on Computer Science Logic (CSL 1989)
- 1988
- Proceedings of the Second Workshop on Computer Science Logic (CSL 1988)
- 1987
- Proceedings of the First Workshop on Computer Science Logic (CSL 1987)
2 × Czech Republic
1 × Denmark
2 × France
6 × Germany
1 × Hungary
3 × Italy
1 × Norway
1 × Poland
1 × Portugal
1 × Spain
2 × Switzerland
1 × The Netherlands
3 × United Kingdom
221 ×#logic
84 ×#on the
68 ×#complexity
66 ×#proving
56 ×#game studies
55 ×#linear
53 ×#semantics
47 ×#calculus
43 ×#bound
41 ×#problem
Vocabulary: 1257 words
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)Proceedings of the 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)Proceedings of the 24th Annual Conference on Computer Science Logic (CSL 2015)Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014)Proceedings of the 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013)Proceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic (CSL 2012)Proceedings of the 20th EACSL Annual Conference / 25th International Workshop on Computer Science Logic (CSL 2011)Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic (CSL 2010)Proceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic (CSL 2009)Proceedings of the 17th EACSL Annual Conference / 22nd International Workshop on Computer Science Logic (CSL 2008)Proceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic (CSL 2007)Proceedings of the 15th EACSL Annual Conference / 20th International Workshop on Computer Science Logic (CSL 2006)Proceedings of the 14th EACSL Annual Conference / 19th International Workshop on Computer Science Logic (CSL 2005)Proceedings of the 13th EACSL Annual Conference / 18th International Workshop on Computer Science Logic (CSL 2004)Proceedings of the 12th EACSL Annual Conference / 17th International Workshop on Computer Science Logic (CSL 2003)Proceedings of the 11th EACSL Annual Conference / 16th International Workshop on Computer Science Logic (CSL 2002)Proceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic (CSL 2001)Proceedings of the 14th EACSL Annual Conference on Computer Science Logic (CSL 2000)Proceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL (CSL 1999)Proceedings of the 12th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1998)Selected Papers of the 11th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1997)Selected Papers of the 10th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1996)Selected Papers of the Seventh Workshop on Computer Science Logic (CSL 1993)Proceedings of the Sixth Workshop on Computer Science Logic (CSL 1992)Proceedings of the Fifth Workshop on Computer Science Logic (CSL 1991)Proceedings of the Fourth Workshop on Computer Science Logic (CSL 1990)Proceedings of the Third Workshop on Computer Science Logic (CSL 1989)Proceedings of the Second Workshop on Computer Science Logic (CSL 1988)Proceedings of the First Workshop on Computer Science Logic (CSL 1987)