Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogical Methods in Computer Science
- Volume 20: 2024
- Volume 19: 2023
- Volume 18: 2022
- Volume 17: 2021
- Volume 16: 2020
- Volume 15: 2019
- Volume 14: 2018
- Volume 13: 2017
- Volume 12: 2016
- Volume 11: 2015
- Volume 10: 2014
- 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 (until 2011)
- 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-07 08:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
