BibSLEIGH — LICS

Logic in Computer Science (LICS)

(brand of TEST)

1 × Austria
2 × Canada
1 × Croatia
1 × Denmark
1 × Finland
1 × France
1 × Italy
1 × Japan
2 × Poland
1 × The Netherlands
15 × USA
2 × United Kingdom

256 ×#logic
93 ×#on the
92 ×#semantics
86 ×#proving
70 ×#complexity
69 ×#automaton
69 ×#game studies
63 ×#calculus
60 ×#higher-order
57 ×#problem

Vocabulary: 1302 words

Event series page: http://lics.rwth-aachen.de

1363 papers in 29 issues:

2015: Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 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 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
2012: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
2011: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
2010: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
2009: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)
2008: Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
2007: Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007)
2006: Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006)
2005: Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005)
2004: Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004)
2003: Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003)
2002: Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)
2001: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001)
2000: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2000)
1999: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999)
1998: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS 1998)
1997: Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS 1997)
1996: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)
1995: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (LICS 1995)
1994: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS 1994)
1992: Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS 1992)
1991: Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS 1991)
1990: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS 1990)
1989: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS 1989)
1988: Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS 1988)
1987: Proceedings of the Second Symposium on Logic in Computer Science (LICS 1987)
1986: Proceedings of the First Symposium on Logic in Computer Science (LICS 1986)