Logical Methods in Computer Science
- Volume 9: 2013
- Volume 8: 2012
- Volume 7: 2011
- Volume 6: 2010
- Volume 5: 2009
- Volume 4: 2008
- Volume 3: 2007
- Volume 2: 2006
- Volume 1: 2005
LMCS Special Issues
- Special Issue 25: RTA 2011
- Special Issue 24: TACAS 2011
- Special Issue 23: TYPES 2010
- Special Issue 22: CSL 2010
- Special Issue 21: ICDT 2010
- Special Issue 20: CCA 2010
- Special Issue 19: TABLEAUX 2009
- Special Issue 18: RTA 2009
- Special Issue 17: LICS 2009
- Special Issue 16: CALCO 2009
- Special Issue 15: POPL 2009
- Special Issue 14: ICALP 2008
- Special Issue 13: FOSSACS 2008
- Special Issue 12: TCLA 2007
- Special Issue 11: LICS 2007
- Special Issue 10: CALCO 2007
- Special Issue 9: FOSSACS 2007
- Special Issue 8: TACAS 2007
- Special Issue 7: ICALP 2006
- Special Issue 6: CSL 2006
- Special Issue 5: LICS 2006
- Special Issue 4: IJCAR 2006
- Special Issue 3: CAV 2005
- Special Issue 2: LICS 2005
- Special Issue 1: LICS 2004
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team