ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

Effective Interpolation and Preservation in Guarded Logics

Desirable properties of a logic include decidability, and a model theory that inherits properties of first-order logic, such as interpolation and... (more)

Belief Merging by Examples

A common assumption in belief revision is that the reliability of the information sources is either given, derived from temporal information, or the same for all. This article does not describe a new semantics for integration but studies the problem of obtaining the reliability of the sources given the result of a previous merging. As an example,... (more)

Model Checking Existential Logic on Partially Ordered Sets

We study the problem of checking whether an existential sentence (i.e., a first-order sentence in prefix form built using existential quantifiers and... (more)

May-Happen-in-Parallel Analysis for Actor-Based Concurrency

This article presents a may-happen-in-parallel (MHP) analysis for languages with actor-based concurrency. In this concurrency model, actors are the... (more)

Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction

Separation logic is used as an assertion language for Hoare-style proof systems about programs with pointers, and there is an ongoing quest for... (more)

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes

The equational theory of deterministic monadic recursion schemes is known to be decidable by the result of Sénizergues on the decidability of... (more)

NEWS

New options for ACM authors to manage rights and permissions for their work

ACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM Digital Library. For more information, visit the ACM Author Rights webpage.

 

The ACM is soliciting nominations for Editior-in-Chief for the ACM Transactions on Computational Logic. For more information, read the Call for Nominations.

Forthcoming Articles

Limiting Until in Ordered Tree Query Languages

Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath cannot express every query definable in first-order logic over the navigational predicates. How can one extend XPath to get a first-order complete language? Marx has shown that Conditional XPath -- an extension of XPath with an ``Until'' operator -- is first order complete. The completeness argument makes essential use of the presence of upward axes. We examine whether it is possible to get ``forward-only'' languages that are first-order complete for Boolean queries on ordered trees. It is easy to see that a variant of the temporal logic $\ctlstar$ is first-order complete; the variant has path quantifiers for downward, leftward and rightward paths, while along a path one can check arbitrary formulas of linear temporal logic (LTL). This language has two major disadvantages: it requires path quantification in {\it both} horizontal directions, and it requires the consideration of formulas of LTL of arbitrary complexity on vertical paths. We investigate whether either of these restrictions can be eliminated. Our main results are negative ones. We show that if we restrict our $\ctlstar$ language by having an until operator in only one horizontal direction, then we lose completeness. We also show that no restriction to a ``small'' subset of LTL along vertical paths is sufficient for first order completeness. Smallness here means of bounded ``Until Depth'', a measure of complexity of LTL formulas defined by Etessami and Wilke. In particular, it follows from our work that Conditional XPath with only forward axes is not expressively complete; this extends results proved by Rabinovich and Maoz in the context of infinite unordered trees.

Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermann-complete

Metric temporal logic (MTL) is one of the most prominent specification formalisms for real-time systems. Over infinite timed words, full MTL is undecidable, but satisfiability for a syntactially defined safety fragment, called safety MTL, was proved decidable several years ago. Satisfiability for safety MTL is also known to be equivalent to a fair termination problem for a class of channel machines with insertion errors. However, hitherto its precise computational complexity has remained elusive, with only a non-elementary lower bound. Via another equivalent problem, namely termination for a class of rational relations, we show that satisfiability for safety MTL is Ackermann-complete, i.e., among the easiest non-primitive recursive problems. This is surprising since decidability was originally established using Higman's Lemma, suggesting a much higher non-multiply recursive complexity.

Bibliometrics

Publication Years 2000-2016
Publication Count 439
Citation Count 4024
Available for Download 439
Downloads (6 weeks) 887
Downloads (12 Months) 8453
Downloads (cumulative) 127672
Average downloads per article 291
Average citations per article 9
First Name Last Name Award
Foto Afrati ACM Fellows (2014)
Rajeev Alur ACM Fellows (2007)
Robert Brayton ACM Paris Kanellakis Theory and Practice Award (2006)
Randal E Bryant ACM Fellows (2000)
ACM Paris Kanellakis Theory and Practice Award (1998)
Peter Buneman ACM Fellows (2000)
Stephen A Cook ACM Fellows (2008)
A. M. Turing Award (1982)
Diane Crawford ACM - Infosys Foundation Award in the Computing Sciences (2007)
Giuseppe De Giacomo ACM Fellows (2015)
Wenfei Fan ACM Fellows (2012)
Wenfei Fan ACM Fellows (2012)
Georg Gottlob ACM Fellows (2007)
Orna Grumberg ACM Fellows (2015)
Yuri Gurevich ACM Fellows (1997)
Joseph Halpern ACM AAAI Allen Newell Award (2008)
ACM Fellows (2002)
Robert Harper ACM Fellows (2005)
Thomas A Henzinger ACM Fellows (2006)
Vasant G Honavar ACM Senior Member (2006)
Neil Jones ACM Fellows (1998)
Daphne Koller ACM - Infosys Foundation Award in the Computing Sciences (2007)
Dexter Kozen ACM Fellows (2003)
Sarit Kraus ACM Fellows (2014)
Maurizio Lenzerini ACM Fellows (2009)
Leonid Libkin ACM Fellows (2012)
Tova Milo ACM Fellows (2012)
Lawrence C Paulson ACM Fellows (2008)
Frank Pfenning ACM Fellows (2015)
ACM Senior Member (2007)
Andre Platzer ACM Doctoral Dissertation Award (2009)
Raymond Reiter ACM Fellows (1997)
Thomas Reps ACM Fellows (2005)
ACM Doctoral Dissertation Award (1983)
Mooly Sagiv ACM Fellows (2015)
Peter James Stuckey ACM Distinguished Member (2009)
Dan Suciu ACM Fellows (2011)
Moshe Y Vardi Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
ACM Fellows (2000)
Victor Vianu ACM Fellows (2006)
Philip Wadler ACM Fellows (2007)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
ACM Fellows (2000)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Michael Wooldridge ACM Fellows (2015)
Qiang Yang ACM Distinguished Member (2011)
Mihalis Yannakakis ACM Fellows (1998)
Ron van der Meyden ACM Distinguished Member (2009)

First Name Last Name Paper Counts
Yuri Gurevich 10
Orna Kupferman 8
Andreas Blass 8
Thomas Eiter 8
Vs Subrahmanian 6
Thomas Henzinger 5
Nicola Olivetti 5
Georg Gottlob 5
Paolo Liberatore 5
Frank Neven 4
Hans Tompits 4
Ranko Lazić 4
Luc Segoufin 4
Leonid Libkin 4
Thomas Schwentick 4
Michael Zakharyaschev 4
Marc Denecker 4
Samir Genaim 4
Krishnendu Chatterjee 4
Fabio Mogavero 3
Aniello Murano 3
Erich Grädel 3
Guido Fiorino 3
Stefan Szeider 3
Grigoris Antoniou 3
Paulo Shakarian 3
Krzysztof Apt 3
Camillo Fiorentini 3
Mauro Ferrari 3
Randal Bryant 3
Frank Pfenning 3
Neil Thapen 3
Michael Benedikt 3
Maurizio Gabbrielli 3
Massimo Lauria 3
Joseph Halpern 3
Nadia Creignou 3
Stéphane Demri 3
Silvio Ghilardi 3
Jürgen Dix 3
Maria Meo 3
Dale Miller 3
Dexter Kozen 3
Heribert Vollmer 3
Yuan Feng 3
Chiaki Sakama 3
Gerardo Simari 3
Rajeev Alur 3
Véronique Cortier 3
Jiahuai You 3
Alessio Guglielmi 3
Tony Tan 3
Thomas Lukasiewicz 3
Jean Raskin 2
Vladimir Lifschitz 2
Clare Dixon 2
Silvio Ranise 2
Stefano Bistarelli 2
Wan Fokkink 2
Paul Gastin 2
Karl Crary 2
Fangzhen Lin 2
Ralf Küsters 2
Henning Schnoor 2
Jean Marion 2
Marco Cadoli 2
Valentina Gliozzi 2
Mingsheng Ying 2
Olivier Danvy 2
Michael Fink 2
Ugo Lago 2
Pascal Van Hentenryck 2
Salvatore La Torre 2
Stefan Göller 2
Miroslav Velev 2
Stéphanie Delaune 2
Jakob Nordström 2
Richard Trefler 2
David Gilis 2
Nachum Dershowitz 2
Anuj Dawar 2
Gerald Pfeifer 2
Amy Sliva 2
Dirk Vermeir 2
Hana Chockler 2
Michaël Rusinowitch 2
Moshe Vardi 2
Klaus Aehlig 2
Arnaud Carayol 2
Wouter Gelade 2
Agostino Dovier 2
Francesco Ranzato 2
Helmut Veith 2
Roman Kontchakov 2
Stefan Woltran 2
Alwen Tiu 2
Kousha Etessami 2
Michael Fisher 2
Uwe Egly 2
Florian Rabe 2
Ke Wang 2
Martin Grohe 2
Elvira Albert 2
Victor Vianu 2
Trancao Son 2
Giorgi Japaridze 2
Albert Atserias 2
Ullrich Hustadt 2
Nicola Galesi 2
Francesca Rossi 2
Roberto Sebastiani 2
Andrea Asperti 2
Simone Bova 2
Valentin Goranko 2
Arie Gurfinkel 2
John Derrick 2
Joost Vennekens 2
Carsten Lutz 2
Arnold Beckmann 2
Andrzej Murawski 2
Torsten Schaub 2
Cristian Molinaro 2
Mirosław Truszczyński 2
Silvia Crafa 2
Paqui Lucio 2
Tim Willemse 2
Yidong Shen 2
Marcello Bonsangue 2
Alexandra Silva 2
Juha Kontinen 2
Nicola Leone 2
Wolfgang Faber 2
Arnaud Durand 2
Gian Pozzato 2
Michael Kaminski 2
Axel Polleres 2
Panos Rondogiannis 2
Axel Haddad 2
Olivier Serre 2
Scott Weinstein 2
Robert Harper 2
Maria Bonacina 2
Stefan Ratschan 2
Renate Schmidt 2
Ugo Montanari 2
Alexander Artikis 2
Marek Sergot 2
Venkatramanan Subrahmanian 2
Frank Wolter 2
Laura Giordano 2
Luigi Palopoli 2
Orna Grumberg 2
Giovambattista Ianni 2
Samuel Buss 2
Daniele Nardi 2
Jeffery Zucker 2
Felix Klaedtke 2
Stephen Cook 2
Simone Martini 2
Filippo Bonchi 2
Pierre Wolper 2
David Billington 2
Guido Governatori 2
Michael Maher 2
Jakob Simonsen 2
Frank Stephan 2
Rob Van Glabbeek 2
Udi Boker 2
Eugénie Foustoucos 2
Camilla Schwind 2
Mariangiola Dezani-Ciancaglini 2
Olaf Beyersdorff 2
Ilka Schnoor 2
Jeremy Avigad 2
Manuel Bodirsky 2
Stavros Cosmadakis 2
Lawrence Paulson 2
Laurent Doyen 2
Guillem Godoy 2
Andrei Voronkov 2
Maurice Bruynooghe 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
William Wadge 2
Jónathan Heras 2
Ori Lahav 2
Morgan Deters 2
Riccardo Rosati 2
Georg Struth 2
John Tucker 2
Brigitte Pientka 2
Sylvain Schmitz 1
Johannes Fichte 1
Russell Harmer 1
Francesco Donini 1
Martin Lange 1
Piero Bonatti 1
Wenfei Fan 1
Rémy Chrétien 1
Benno Van Den Berg 1
Richard Garner 1
Nils Klarlund 1
Nam Tran 1
Jules Desharnais 1
Matthew Bauer 1
Roberto Bruttomesso 1
Francesco Santini 1
Fang Wei 1
Silvia Tomasi 1
Bertram Felgenhauer 1
Ian Pratt-Hartmann 1
Matthias Knorr 1
Ewa Madalińska-Bugaj 1
Vigyan Singhal 1
Chiuwo Choi 1
Diego Recupero 1
Edward Hung 1
Jack Lutz 1
Sebastiaan Terwijn 1
Michael Laurence 1
Venkatramanan Subrahmanian 1
Marcel Marquardt 1
Luís Pinto 1
Furio Honsell 1
Toni Mancini 1
Rob Arthan 1
Ferruccio Guidi 1
Nathalie Bertrand 1
Jan Johannsen 1
Austin Parker 1
Toshiyasu Arai 1
Christian Urban 1
James Cheney 1
Dan Suciu 1
Ashish Tiwari 1
Christophe Rigotti 1
Stephan Kreutzer 1
Laurent Michel 1
Francesco Quaglia 1
Rachel Ben-Eliyahu -- Zohary 1
Nobuyuki Suzuki 1
Thierry Coquand 1
Jose Gaintzarain 1
Julien Truffaut 1
Pierre Marquis 1
Doron Peled 1
Gaëlle Fontaine 1
Jeanchristoph Jung 1
Shulamit Halamish 1
Danny De Schreye 1
Vladislav Ryzhikov 1
Adam Kups 1
Mariusz Urbański 1
Fabio Gadducci 1
Fabrizio Riguzzi 1
Heike Wehrheim 1
Jan Otop 1
Emanuel Kieroński 1
Francesco Parisi 1
Balder Cate 1
Sjoerd Cranen 1
Marc Vinyals 1
Samuel Shen 1
Jeremy Bryans 1
Barnaby Martin 1
Mladen Mikša 1
Sandro Etalle 1
Marc Christie 1
Thomas Reps 1
David Fernández-Duque 1
Mahesh Viswanathan 1
Pierre Genevès 1
Albert Rubio 1
Anastasios Skarlatidis 1
Aart Middeldorp 1
Vincent Van Oostrom 1
Lou Dries 1
Rakesh Verma 1
Dominic Hughes 1
Sophia Knight 1
Robin Adams 1
Etienne Grandjean 1
Lise Getoor 1
Franco Montagna 1
Paola Mello 1
Paolo Torroni 1
Mathieu Turuani 1
Makoto Tatsuta 1
Yannick Chevalier 1
Alexis Saurin 1
Mdaquil Khan 1
Jordi Levy 1
Boris Konev 1
Murdoch Gabbay 1
Marcel Jackson 1
Hector Levesque 1
Jos De Bruijn 1
Paliath Narendran 1
David Pym 1
Lucas Bordeaux 1
Alexander Serebrenik 1
Florian Horn 1
Ph Schnoebelen 1
Christel Baier 1
Lizhu Zhou 1
Giuliana Sabbatini 1
Tristan Crolard 1
Martin Mundhenk 1
Jerzy Tiuryn 1
Sébastien Jodogne 1
Marco Pedicini 1
Mark Ryan 1
Jean Puget 1
Laurent Perron 1
Isabelle Gnaedig 1
Hélène Kirchner 1
Vincent Siles 1
H Macpherson 1
Mehrnoosh Sadrzadeh 1
Vernon Asuncion 1
Jeroen Ketema 1
M Praveen 1
Abu Masud 1
Angelos Charalambidis 1
Floor Sietsma 1
Enrico Pontelli 1
Cindy Eisner 1
Dana Fisman 1
Krishnendu Chatterjee 1
Giora Slutzki 1
Eli Ben-Sasson 1
Stefan Milius 1
Viviana Bono 1
Richard Mckinley 1
Robert Givan 1
Bard Bloom 1
Rocco De Nicola 1
Mingsheng Ying 1
Nengkun Yu 1
Johannes Schmidt 1
Alessandro Artale 1
Anthonywidjaja Lin 1
Novak Novaković 1
Jakub Michaliszyn 1
Zhe Wang 1
Rodney Topor 1
Martin Otto 1
Peter Lumsdaine 1
Wieger Wesselink 1
Enrico Marchioni 1
Simon Kramer 1
Liyan Yuan 1
Phuong Nguyen 1
Michel Reniers 1
Marco Schaerf 1
Nicolas Spyratos 1
David Basin 1
Eric Languénou 1
Frédéric Goualard 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Bernhard Möller 1
Nathan Segerlind 1
Andrea Formisano 1
Rohit Chadha 1
Nabil Layaïda 1
Jean Jouannaud 1
Yiannis Moschovakis 1
Luca Iocchi 1
Stephan Schulz 1
Yan Zhang 1
C Ong 1
Arthur Charlesworth 1
Rupak Majumdar 1
Michael Mendler 1
Yavor Nenov 1
Alexander Kartzow 1
Nicolas Peltier 1
James Delgrande 1
Catuscia Palamidessi 1
Mary Williams 1
Robert Brayton 1
Richard Lassaigne 1
Jimmy Lee 1
Octavian Udrea 1
Hubert Comon-Lundh 1
Diego Calvanese 1
Viorica Sofronie-Stokkermans 1
Marco Gavanelli 1
Elio Giovannetti 1
Dietmar Seipel 1
Stefano Berardi 1
Robert Hierons 1
Arne Meier 1
Ilkka Niemelä 1
Adrià Gascón 1
Michael Thomas 1
Alessandro Bianco 1
Kazuhisa Makino 1
Fabio Massacci 1
Joséespírito Santo 1
Marcin JurdzińSki 1
James Harland 1
Fabio Alessi 1
Kevin Donnelly 1
David Gray 1
Stefan Berghofer 1
Nicole Schweikardt 1
George Metcalfe 1
Dov Gabbay 1
Aleksandar Ignjatović 1
Doron Bustan 1
Andrea Masini 1
Simone Tini 1
Wojciech Kazana 1
Marco Diciolla 1
Anders Mörtberg 1
Konstantinos Handjopoulos 1
Johan Wittocx 1
Marc Zeitoun 1
Pavel Pudlák 1
Anna Zamansky 1
Marko Samer 1
Mathieu Baudet 1
Guy Rey 1
Sofie Verbaeten 1
Terrance Swift 1
Gerhard Schellhorn 1
Sergio Flesca 1
Oliver Friedmann 1
Antonio Flores-Montoya 1
Serenella Cerrito 1
Florent Madelaine 1
Alberto Momigliano 1
Marsha Chećhik 1
Jan Smaus 1
Annabelle McIver 1
Christopher Stone 1
Carroll Morgan 1
Sławomir Lasota 1
Alexander Razborov 1
Dmitry Tishkovsky 1
Eugenio Omodeo 1
Prakash Panangaden 1
Jan Rutten 1
Lan Zhang 1
George Vouros 1
Christian Sattler 1
Anna Ingólfsdóttir 1
Simona Perri 1
Roberto Giacobazzi 1
Gerald Lüttgen 1
Matthias Broecheler 1
Steven Schockaert 1
Ernie Cohen 1
Sylvain Peyronnet 1
Frédéric Magniez 1
Michel De Rougemont 1
Eugen Zălinescu 1
Anthonywidjaja To 1
Gianfranco Rossi 1
Giuseppe Giacomo 1
Susmit Sarkar 1
Federico Chesani 1
Simona Ronchi Della Rocca 1
Paolo Ferraris 1
Gilles Dowek 1
Franz Baader 1
Hirotaka Ono 1
Jason Teutsch 1
Jan Bergstra 1
Peter Thiemann 1
Erik Mathiesen 1
René Thiemann 1
Shuvendu Lahiri 1
Werner Nutt 1
Małgorzata Biernacka 1
Jan Bussche 1
Romain Péchoux 1
Lars Kristiansen 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Kristina Sojakova 1
Johan Thapper 1
Yan Zhang 1
Yuxin Deng 1
Iddo Tzameret 1
Dominique Larchey-Wendling 1
Guy Avni 1
Markus Krötzsch 1
Sebastian Rudolph 1
Didier Galmiche 1
M Biscaia 1
D Henriques 1
Conrad Drescher 1
Martin Peim 1
Konstantinos Sagonas 1
Robert Simmons 1
Damiano Zanardini 1
Oleg Verbitsky 1
Marijn Heule 1
André Platzer 1
Hitoshi Furusawa 1
Michael Wooldridge 1
Helmut Schwichtenberg 1
Robert Ganian 1
Naghmeh Ghafari 1
Jeroen Keiren 1
Yann Loyer 1
Annalisa Bossi 1
Igor Walukiewicz 1
Emmanuel Dall'olio 1
Russell Impagliazzo 1
Helle Hansen 1
Nicolai Kraus 1
Neil Yorke-Smith 1
Wim Hesselink 1
Churnjung Liau 1
John Dickerson 1
James Lynch 1
Peter Stuckey 1
Anastasios Sidiropoulos 1
Andy King 1
Maurizio Lenzerini 1
Marco Alberti 1
Stijn Heymans 1
Davy Van Nieuwenborgh 1
Christoph Weidenbach 1
Mikołaj Bojańczyk 1
Claire David 1
Patrik Simons 1
Deborah East 1
Robert Goldblatt 1
Antonis Kakas 1
Giuseppe De Giacomo 1
Luigia Aiello 1
Nada Lavrač 1
Peter Flach 1
Victor Marek 1
Hubert Comon 1
Zbigniew Lonc 1
Stavros Tripakis 1
Runyao Duan 1
Zhengfeng Ji 1
Adel Bouhoula 1
Paulo Oliva 1
Ursula Martin 1
Peter Schneider-Kamp 1
Paul Raff 1
Stijn Vansummeren 1
Yehoshua Sagiv 1
Thomas Schneider 1
Stefan Szeider 1
Micah Adler 1
Foto Afrati 1
K Subramani 1
Salvatore Ruggieri 1
Holger Sturm 1
Marta Kwiatkowska 1
Ian Zerny 1
Jérôme Lang 1
Benjamin Monmege 1
John Havlicek 1
Kedar Namjoshi 1
Lara Spendier 1
Jan Kára 1
Detlef Kähler 1
Jianmin Ji 1
Michele Bugliesi 1
Pascal Hitzler 1
Hariolf Betz 1
Teodor Przymusinski 1
Stefan Brass 1
Steven German 1
Giacoma Monreale 1
Achille Frigeri 1
Christopher Hampson 1
Agi Kurucz 1
Michael Warren 1
Peter Buneman 1
Amelie David 1
Howard Bowman 1
Pawel Mielniczuk 1
Marco Bernardo 1
Manuel Clavel 1
Sabina Rossi 1
Floris Geerts 1
Katsumi Inoue 1
Enrica Nicolini 1
Alan Schmitt 1
Eryk Kopczyński 1
Georgios Paliouras 1
Jeremy Pitt 1
Carmen Gervet 1
Alessandro Armando 1
Francesco Scarcello 1
Ara Hayrapetyan 1
Terrance Swift 1
Nathalie Sznajder 1
Sasha Rubin 1
Konstantinos Chatzikokolakis 1
Pavlos Peppas 1
Sophie Laplante 1
Mantas Šimkus 1
James Bailey 1
Guozhu Dong 1
Aleksandar Nanevski 1
Helmut Seidl 1
Anca Muscholl 1
Tomi Janhunen 1
Mohua Banerjee 1
Sebastian Danicic 1
Mihalis Yannakakis 1
Raymond Reiter 1
Sebastian SardiñA 1
Alban Ponse 1
Akitoshi Kawamura 1
Jürgen Giesl 1
Konstantin Korovin 1
Emmanuel Polonowski 1
Michael Bauland 1
Itay Neeman 1
Anastasia Analyti 1
Matthew Stone 1
Arun Sharma 1
Nir Friedman 1
Lutz Schröder 1
Ruggero Lanotte 1
Roy Dyckhoff 1
César Domínguez 1
Julio Rubio 1
Liliana Pasquale 1
Lutz Straßburger 1
Massimo Benerecetti 1
Bruce Kapron 1
Andreas Krebs 1
Michael Boom 1
Daniel Schwartz 1
Enrique Martin-Martin 1
Yuval Filmus 1
Frank De Boer 1
Greta Yorsh 1
Alexander Rabinovich 1
Sheila McIlraith 1
Sofie Haesevoets 1
Eugenia Ternovska 1
Daniele Zucchelli 1
Hubie Chen 1
Carlo Furia 1
Reinhard Pichler 1
Harald Zankl 1
Bas Luttik 1
Francesca Scozzari 1
Bakhadyr Khoussainov 1
Prakash Panangaden 1
Jeroen Janssen 1
Kumud Sanwal 1
Zhaohui Luo 1
Carla Piazza 1
John Hitchcock 1
Sebastian Müller 1
Ulrich Schöpp 1
Matthias Horbach 1
Kumar Verma 1
Manfred Schmidt-Schauß 1
Marco Gaboardi 1
Anatoli Degtyarev 1
Sarit Kraus 1
Andrei Bulatov 1
Lutz Burger 1
Bjørn Kjos-Hanssen 1
Sara More 1
Pavel Naumov 1
Joost Engelfriet 1
David Pearce 1
Fariba Sadri 1
Agustín Valverde 1
Flemming Nielson 1
Hanne Nielson 1
Dmitry Shkatov 1
Gianluigi Greco 1
Sara Cohen 1
Neil Jones 1
Pierre Valarcher 1
Jean Moyen 1
Naohi Eguchi 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Ron Van Der Meyden 1
Fred Mesnard 1
Oliver Kutz 1
Mirco Nanni 1
Dirk Pattinson 1
Paola Bruscoli 1
Taolue Chen 1
Alexandru Mereacre 1
Andreas Herzig 1
Yi Zhou 1
Ngoc Nguyen 1
Arnon, Avron 1
Benedikt Bollig 1
Jia Tao 1
Prahladh Harsha 1
Markus Lohrey 1
Agata Ciabattoni 1
Markus Aschinger 1
María Poza 1
Maciej Komosinski 1
Dorota Leszczyńska-Jasion 1
Moshe Vardi 1
Paola Spoletini 1
Konstantinos Mamouras 1
Colin Hirsch 1
Vincent Danos 1
Christoph Berkholz 1
Bettina Fazzinga 1
K Leino 1
Maciej Gazda 1
Qiang Yang 1
David Baelde 1
Cinzia Di Giusto 1
Daniel Stamate 1
José Meseguer 1
Frédéric Benhamou 1
Chitta Baral 1
David Griffioen 1
Frits Vaandrager 1
Bart Kuijpers 1
Véronique Bruyère 1
Paolo Coppola 1
Axel Legay 1
Alessandro Cimatti 1
Matteo Rossi 1
Alberto Griggio 1
Nils Gesbert 1
Luca Aceto 1
Raymond Mcdowell 1
Luca Roversi 1
Martin Gebser 1
Jóse Alferes 1
Mnacho Echenim 1
Costas Koutras 1
Linh Nguyen 1
Diego Figueira 1
Adnan Aziz 1
Evelina Lamma 1
Roberto Cosmo 1
Martin Hofmann 1
Luca Alfaro 1
Ugo de’Liguoro 1
Mateu Villaret 1
Pavol Černý 1
Hendrik Hoogeboom 1
Sebastian Nanz 1
Philip Wadler 1
Sharon Shoham 1
Roman Schindlauer 1
Carlos Damásio 1
Noga Alon 1
Bernard Boigelot 1
Alessio Lomuscio 1
Stefano Guerrini 1
Thomas Wilke 1
Vasant Honavar 1
Xiaoping Chen 1
Mario Bravetti 1
Roberto Gorrieri 1
P Mateus 1
Thom Frühwirth 1
David McAllester 1
Michele Loreti 1
Yangjia Li 1
Giuseppe Perelli 1

Affiliation Paper Counts
Vinh University 1
Institute for Work and Health (IST) 1
NEC Deutschland GmbH 1
Laboratoire d'Informatique Fondamentale de Marseille UMR 6166 1
Academic College of Tel-Aviv - Yaffo 1
Microsoft Research Cambridge 1
Universite de Bordeaux 1
Karlsruhe Institute of Technology 1
National University Corporation Shizuoka University 1
Istituto Per Le Applicazioni Del Calcolo Mauro Picone, Rome 1
Kassel University 1
Munich University of the Federal Armed Forces 1
Universite Bordeaux 1 1
CSIC - Instituto de Investigacion en Inteligencia Artificial 1
University of Southern Denmark 1
Athens University of Economics and Business 1
Georgia Institute of Technology 1
Boston University 1
University of Birmingham 1
University of Paderborn 1
University of Bern 1
University of Twente 1
Brunel University 1
University of Bristol 1
Freescale Semiconductor 1
West Virginia University 1
IBM 1
University of St Andrews 1
University of Durham 1
Massachusetts Institute of Technology 1
University of Richmond 1
Telcordia Technologies, Inc. 1
Jozef Stefan Institute 1
Cardiff University 1
National Institute of Advanced Industrial Science and Technology 1
University of California, Santa Cruz 1
Shanghai Jiaotong University 1
University of Genoa 1
INRIA Futurs 1
University of Stirling 1
Institute of Software Chinese Academy of Sciences 1
University of Tokyo 1
University of Konstanz 1
Alcatel-Lucent 1
Clarkson University 1
Ben-Gurion University of the Negev 1
Polytechnic Institute of Bari 1
University of California, Los Angeles 1
United States Military Academy 1
Kagoshima University 1
Swiss Federal Institute of Technology, Lausanne 1
Stockholm University 1
Northeastern University 1
NICTA 1
Friedrich Schiller University Jena 1
University of California, Riverside 1
European Commission 1
Universite de Versailles Saint-Quentin-en-Yvelines 1
Columbia University 1
Texas State University-San Marcos 1
University of California System 1
Johannes Gutenberg University Mainz 1
Tata Institute of Fundamental Research 1
Institute of Mathematical Sciences India 1
University of Urbino 1
University of Wisconsin Madison 1
Universite de Caen Basse Normandie 1
INRIA Rocquencourt 1
Laval University 1
University of the Saarland 1
University of Seville 1
Institute of Computer Science Crete 1
University of Carthage 1
SRI International 1
Universite de La Reunion 1
Harvey Mudd College 1
German University in Cairo 1
Universite Pierre et Marie Curie 1
Florida State University 1
Victoria University of Wellington 1
Bar-Ilan University 1
National Technical University of Athens 1
University of Haifa 1
University of Perugia 1
Universidad de Malaga 1
Warsaw University of Technology 1
University of Peloponnese 1
Uppsala University 1
University of Parma 1
University of Illinois 1
University of Minnesota System 1
La Trobe University 1
University of Bonn 1
Technical University in Braunschweig 1
University of Leipzig 1
Medical University of Innsbruck 1
AT&T Laboratories Florham Park 1
National University of Ireland, Galway 1
Poznan University of Technology 1
Vrije Universiteit Amsterdam 1
University of Wyoming 1
Hong Kong Polytechnic University 1
Australian National University 1
INP Grenoble 1
Purdue University 1
Linkoping University 1
Universitat de Girona 1
Harvard University 1
Avaya Inc. 1
University of Groningen 1
University of Oslo 1
University of Mons-Hainaut 1
Queensland University of Technology 1
Kyushu University 1
RMIT University 1
State University of New York at Albany 1
University of Leeds 1
BRICS Basic Research in Computer Science 1
INRIA Rhone-Alpes 1
Universidad de Chile 1
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
University of Wurzburg 1
University of Hawaii at Manoa 1
Martin Luther University of Halle-Wittenberg 1
Institute of Informatics and Telecommunications, Athens 1
Capital University of Economics and Business China 1
Kalamazoo College 1
University of Washington 1
University of Witwatersrand 1
Charles University in Prague 1
Bryn Mawr College 1
University of Heidelberg 1
Academia Sinica Taiwan 1
University of Tubingen 1
University of Sussex 1
Weizmann Institute of Science Israel 1
ILOG 2
University of Crete 2
University of Amsterdam 2
Chinese University of Hong Kong 2
University of Helsinki 2
University of Victoria 2
Arizona State University 2
Iowa State University 2
Ecole des Mines de Nancy 2
University of Auckland 2
University of Houston 2
Google Inc. 2
Utrecht University 2
Hong Kong University of Science and Technology 2
University of Dundee 2
University of Ulm 2
IBM Research 2
Kobe University 2
University of Trier 2
Lubeck University 2
University of Massachusetts Amherst 2
University of Nottingham 2
University of Augsburg 2
Jacobs University Bremen 2
IBM Thomas J. Watson Research Center 2
INRIA Lorraine 2
Wright State University 2
Technical University of Dresden 2
University of L'Aquila 2
University of Science and Technology of China 2
Chinese Academy of Sciences 2
Macquarie University 2
Heriot-Watt University 2
University of Minho 2
Royal Holloway University of London 2
New York University 2
Technical University of Clausthal 2
University of Florence 2
Indian Institute of Technology, Kanpur 2
Manchester Metropolitan University 2
Beijing University of Technology 2
Politecnico di Milano 2
University of Melbourne 2
Institute for Advanced Studies 2
University of the Basque Country 2
McDaniel College 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Research Organization of Information and Systems National Institute of Informatics 2
IRIT Institut de Recherche Informatique de Toulouse 2
Rutgers University 2
McMaster University 2
University of London 2
Reykjavik University 2
Fondazione Bruno Kessler 2
Universite Paris-Est 2
Aalto University 2
Universidad del Pais Vasco - Euskal Herriko Unibertsitatea, Campus Bizkaia 2
Villanova University 3
Universite Libre de Bruxelles 3
University of Illinois at Urbana-Champaign 3
Humboldt University of Berlin 3
Chalmers University of Technology 3
Pennsylvania State University 3
University of Lisbon 3
New Mexico State University Las Cruces 3
University of Siena 3
Rice University 3
Universite Henri Poincare 3
CNRS Centre National de la Recherche Scientifique 3
Free University of Bozen-Bolzano 3
University of Piraeus 3
University of Kent 3
Technical University of Darmstadt 3
Technical University of Denmark 3
Brown University 3
University of Milan - Bicocca 3
Universidad de La Rioja 3
Adam Mickiewicz University of Poznaniu 3
University of Waterloo 3
University of Kentucky 3
University of Wroclaw 3
National University of Singapore 3
Leiden University 3
University of Potsdam 3
Universite Paul Cezanne Aix-Marseille III 3
University of Technology Sydney 3
Wakayama University 3
Technical University of Madrid 3
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications 3
University of Aarhus 3
University of Copenhagen 3
University of Patras 3
University of Dortmund 3
Universite de Lyon 3
Aix Marseille Universite 3
University of G. d'Annunzio Chieti and Pescara 4
Alcatel-Lucent Bell Labs 4
University of Innsbruck 4
Center for Mathematics and Computer Science - Amsterdam 4
University of Kiel 4
Stanford University 4
University of Texas at Austin 4
University of Trento 4
Radboud University Nijmegen 4
University of Western Sydney 4
Simon Fraser University 4
Technical University of Munich 4
Queen Mary, University of London 4
Universite Paris-Sud XI 4
University of Ferrara 4
University of California, Berkeley 4
University of Freiburg 4
Swiss Federal Institute of Technology, Zurich 4
Vrije Universiteit Brussel 4
University of Cambridge 4
Academy of Sciences of the Czech Republic (Avcr.Cz) 4
Laboratoire d'Informatique de Nantes-Atlantique 4
University of Padua 5
University of Liege 5
University of Sheffield 5
McGill University 5
Swansea University 5
Leibniz Universitat Hannover 5
University of Insubria 5
University of Pennsylvania 5
Bremen University 5
Birkbeck University of London 5
Ca' Foscari University of Venice 5
The University of Warwick 5
Tsinghua University 5
University of New South Wales 5
University of Athens 5
University of Bath 5
University of California, San Diego 5
University of Alberta 5
New University of Lisbon 5
University of Verona 5
Max Planck Institute for Informatics 6
Royal Institute of Technology 6
King's College London 6
University of Warsaw 6
University of Udine 6
Ecole Normale Superieure de Cachan 7
Cornell University 7
Technion - Israel Institute of Technology 7
Complutense University of Madrid 7
Ludwig Maximilian University of Munich 7
Institute of Science and Technology Austria 7
Universite Paris 7- Denis Diderot 8
Universitat Politecnica de Catalunya 8
INRIA Institut National de Rechereche en Informatique et en Automatique 8
Ecole Polytechnique 8
RWTH Aachen University 8
University of Liverpool 8
University of Edinburgh 8
University of Pisa 8
Griffith University 8
University of Manchester 9
Imperial College London 9
University of Naples Federico II 9
University Michigan Ann Arbor 9
Eindhoven University of Technology 9
Tel Aviv University 10
Microsoft Research 10
University of Milan 11
Hebrew University of Jerusalem 12
University of Toronto 12
Hasselt University 13
University of Calabria 13
Catholic University of Leuven 13
University of Turin 14
University of Bologna 15
University of Oxford 20
University of Maryland 21
Carnegie Mellon University 21
University of Roma La Sapienza 24
Vienna University of Technology 46

ACM Transactions on Computational Logic (TOCL)
Archive


2016
Volume 17 Issue 2, January 2016  Issue-in-Progress

2015
Volume 17 Issue 1, December 2015
Volume 16 Issue 4, November 2015
Volume 16 Issue 3, July 2015
Volume 16 Issue 2, March 2015
Volume 16 Issue 1, March 2015

2014
Volume 15 Issue 4, August 2014
Volume 15 Issue 3, July 2014
Volume 15 Issue 2, April 2014
Volume 15 Issue 1, February 2014

2013
Volume 14 Issue 4, November 2013
Volume 14 Issue 3, August 2013
Volume 14 Issue 2, June 2013
Volume 14 Issue 1, February 2013

2012
Volume 13 Issue 4, October 2012
Volume 13 Issue 3, August 2012
Volume 13 Issue 2, April 2012
Volume 13 Issue 1, January 2012

2011
Volume 12 Issue 4, July 2011
Volume 12 Issue 3, May 2011
Volume 12 Issue 2, January 2011

2010
Volume 12 Issue 1, October 2010
Volume 11 Issue 4, July 2010
Volume 11 Issue 3, May 2010
Volume 11 Issue 2, January 2010

2009
Volume 11 Issue 1, October 2009
Volume 10 Issue 4, August 2009
Volume 10 Issue 3, April 2009
Volume 10 Issue 2, February 2009
Volume 10 Issue 1, January 2009

2008
Volume 9 Issue 4, August 2008
Volume 9 Issue 3, June 2008
Volume 9 Issue 2, March 2008

2007
Volume 9 Issue 1, December 2007
Volume 8 Issue 4, August 2007
Volume 8 Issue 3, July 2007
Volume 8 Issue 2, April 2007
Volume 8 Issue 1, January 2007

2006
Volume 7 Issue 4, October 2006
Volume 7 Issue 3, July 2006
Volume 7 Issue 2, April 2006
Volume 7 Issue 1, January 2006

2005
Volume 6 Issue 4, October 2005
Volume 6 Issue 3, July 2005
Volume 6 Issue 2, April 2005
Volume 6 Issue 1, January 2005

2004
Volume 5 Issue 4, October 2004
Volume 5 Issue 3, July 2004
Volume 5 Issue 2, April 2004
Volume 5 Issue 1, January 2004

2003
Volume 4 Issue 4, October 2003
Volume 4 Issue 3, July 2003
Volume 4 Issue 2, April 2003
Volume 4 Issue 1, January 2003

2002
Volume 3 Issue 4, October 2002
Volume 3 Issue 3, July 2002
Volume 3 Issue 2, April 2002
Volume 3 Issue 1, January 2002

2001
Volume 2 Issue 4, Oct. 2001 Special issue devoted to Robert A. Kowalski
Volume 2 Issue 3, July 2001
Volume 2 Issue 2, April 2001
Volume 2 Issue 1, Jan. 2001

2000
Volume 1 Issue 2, Oct. 2000
Volume 1 Issue 1, July 2000
 
All ACM Journals | See Full Journal Index