Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Computational Logic (TOCL)
- Volume 24, 2023
- Volume 23, 2022
- Volume 22, 2021
- Volume 21, 2020
- Volume 20, 2019
- Volume 19, 2018
- Volume 18, 2017
- Volume 17, 2015/2016
- Volume 16, 2014/2015
- Volume 15, 2014
- Volume 14, 2013
- Volume 13, 2012
- Volume 12, 2010/2011
- Volume 11, 2009/2010
- Volume 10, 2009
- Volume 9, 2007/2008
- Volume 8, 2007
- Volume 7, 2006
- Volume 6, 2005
- Volume 5, 2004
- Volume 4, 2003
- Volume 3, 2002
- Volume 2, 2001
- Volume 1, 2000
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 2023-09-22 19:17 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:
