×

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: 557 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.
7 Neven, Frank
6 Benedikt, Michael A.
6 Chatterjee, Krishnendu
6 Denecker, Marc
6 Gottlob, Georg
6 Lazić, Ranko
6 Szeider, Stefan
5 Lauria, Massimo
5 Liberatore, Paolo
5 Libkin, Leonid O.
5 Olivetti, Nicola
5 Schwentick, Thomas
5 Vollmer, Heribert
5 Zakharyaschev, Michael Viktorovich
4 Atserias, Albert
4 Beyersdorff, Olaf
4 Cortier, Véronique
4 Creignou, Nadia
4 Genaim, Samir
4 Ghilardi, Silvio
4 Grädel, Erich
4 Guglielmi, Alessio
4 Halpern, Joseph Yehuda
4 Pfenning, Frank
4 Segoufin, Luc
4 Struth, Georg
4 Tan, Tony
4 Tiu, Alwen Fernanto
4 Tompits, Hans
4 Wang, Kewen
4 Woltran, Stefan
3 Albert, Elvira
3 Alur, Rajeev
3 Antoniou, Grigoris
3 Beckmann, Arnold
3 Bodirsky, Manuel
3 Bryant, Randal E.
3 Chadha, Rohit
3 Ciabattoni, Agata
3 Delaune, Stéphanie
3 Demri, Stéphane P.
3 Dix, Jurgen
3 Dixon, Clare
3 Feng, Yuan
3 Ferrari, Mauro
3 Fiorentini, Camillo
3 Fiorino, Guido
3 Gabbrielli, Maurizio
3 Galesi, Nicola
3 Goranko, Valentin F.
3 Grohe, Martin
3 Hustadt, Ullrich
3 Kieroński, Emanuel
3 Klaedtke, Felix
3 Kontinen, Juha
3 Kozen, Dexter C.
3 Kwiatkowska, Marta Z.
3 Lahav, Ori
3 Leone, Nicola
3 Liau, Churn-Jung
3 Lin, Fangzhen
3 Lukasiewicz, Thomas
3 Marion, Jean-Yves
3 Meier, Arne
3 Meo, Maria Chiara
3 Miller, Dale Allen
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 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 Basin, David A.
2 Billington, David
2 Bistarelli, Stefano
2 Boker, Udi
2 Bonacina, Maria Paola
...and 898 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription