×

zbMATH — the first resource for mathematics

ACM Transactions on Computational Logic

Short Title: ACM Trans. Comput. Log.
Publisher: Association for Computing Machinery (ACM), New York, NY
ISSN: 1529-3785; 1557-945X/e
Online: http://dl.acm.org/pub.cfm?id=J773
Comments: Indexed cover-to-cover
Documents indexed: 528 Publications (since 2000)
References indexed: 120 Publications with 4,343 References
all top 5

Authors

10 Gurevich, Yuri
8 Blass, Andreas Raphael
8 Eiter, Thomas
8 Kupferman, Orna
8 Subrahmanian, V. S.
7 Henzinger, Thomas A.
6 Chatterjee, Krishnendu
6 Denecker, Marc
6 Neven, Frank
5 Benedikt, Michael A.
5 Gottlob, Georg
5 Lauria, Massimo
5 Lazić, Ranko
5 Liberatore, Paolo
5 Libkin, Leonid O.
5 Olivetti, Nicola
5 Szeider, Stefan
5 Zakharyaschev, Michael Viktorovich
4 Atserias, Albert
4 Creignou, Nadia
4 Genaim, Samir
4 Grädel, Erich
4 Guglielmi, Alessio
4 Halpern, Joseph Yehuda
4 Pfenning, Frank
4 Schwentick, Thomas
4 Segoufin, Luc
4 Struth, Georg
4 Tan, Tony
4 Tompits, Hans
4 Vollmer, Heribert
4 Wang, Kewen
4 Woltran, Stefan
3 Albert, Elvira
3 Alur, Rajeev
3 Antoniou, Grigoris
3 Beckmann, Arnold
3 Beyersdorff, Olaf
3 Bodirsky, Manuel
3 Bryant, Randal E.
3 Ciabattoni, Agata
3 Cortier, Véronique
3 Demri, Stéphane P.
3 Dix, Jurgen
3 Feng, Yuan
3 Ferrari, Mauro
3 Fiorentini, Camillo
3 Fiorino, Guido
3 Gabbrielli, Maurizio
3 Galesi, Nicola
3 Ghilardi, Silvio
3 Goranko, Valentin F.
3 Grohe, Martin
3 Kieroński, Emanuel
3 Kontinen, Juha
3 Kozen, Dexter C.
3 Lin, Fangzhen
3 Lukasiewicz, Thomas
3 Marion, Jean-Yves
3 Meo, Maria Chiara
3 Mogavero, Fabio
3 Murano, Aniello
3 Murawski, Andrzej S.
3 Nordström, Jakob
3 Rabe, Florian
3 Raskin, Jean-François
3 Sakama, Chiaki
3 Sebastiani, Roberto
3 Serre, Olivier
3 Shakarian, Paulo
3 Shen, Yidong
3 Simari, Gerardo I.
3 Thapen, Neil
3 Tiu, Alwen Fernanto
3 Vardi, Moshe Y.
3 Vennekens, Joost
3 Voronkov, Andrei
3 Ying, Mingsheng
3 You, Jia-Huai
2 Aehlig, Klaus
2 Angiulli, Fabrizio
2 Artikis, Alexander
2 Asperti, Andrea
2 Avigad, Jeremy
2 Billington, David
2 Bistarelli, Stefano
2 Boker, Udi
2 Bonacina, Maria Paola
2 Bonchi, Filippo
2 Bonsangue, Marcello Maria
2 Bova, Simone
2 Bruynooghe, Maurice
2 Buss, Samuel R.
2 Cadoli, Marco
2 Calvanese, Diego
2 Carayol, Arnaud
2 Chadha, Rohit
2 Charatonik, Witold
2 Chen, Hubie
2 Chockler, Hana
...and 844 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription