ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars

We present an algorithm to optimally compress a finite set of terms using a vectorial totally rigid acyclic tree grammar. This class of grammars has a... (more)

The Probability of a Computable Output from a Random Oracle

Consider a universal oracle Turing machine that prints a finite or an infinite binary sequence, based on the answers to the binary queries that it... (more)

Differential Hybrid Games

This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features of hybrid systems and discrete games, but only deterministic differential equations. Differential games,... (more)

Monadic Second-Order Logic with Arbitrary Monadic Predicates

We study Monadic Second-Order Logic (MSO) over finite words, extended with (non-uniform arbitrary) monadic predicates. We show that it defines a class... (more)

On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances

In many practical settings it is useful to find a small unsatisfiable subset of a given... (more)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal... (more)

The Complexity of Phylogeny Constraint Satisfaction Problems

We systematically study the computational complexity of a broad class of computational problems in phylogenetic reconstruction. The class contains,... (more)

The Logical View on Continuous Petri Nets

Continuous Petri nets are a relaxation of classical discrete Petri nets in which transitions can be fired a fractional number of times, and consequently places may contain a fractional number of tokens. Such continuous Petri nets are an appealing object to study, since they over-approximate the set of reachable configurations of their discrete... (more)

Collapsible Pushdown Automata and Recursion Schemes

We consider recursion schemes (not assumed to be homogeneously typed, and hence not necessarily safe) and use them as generators of (possibly... (more)

NEWS

About
TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. The journal is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume. About

Forthcoming Articles

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

We study the problem of conjunctive query evaluation relative to a class of queries; this problem is formulated here as the relational homomorphism problem relative to a class of structures A, wherein each instance must be a pair of structures such that the first structure is an element of A. We present a comprehensive complexity classification of these problems, which strongly links graph-theoretic properties of A to the complexity of the corresponding homomorphism problem. In particular, we define a binary relation on graph classes, which is a preorder, and completely describe the resulting hierarchy given by this relation. This relation is defined in terms of a notion which we call graph deconstruction and which is a variant of the well-known notion of tree decomposition. We then use this hierarchy of graph classes to infer a complexity hierarchy of homomorphism problems which is comprehensive up to a computationally very weak notion of reduction, namely, a parameterized version of quantifier-free first-order reduction. In doing so, we obtain a significantly refined complexity classification of homomorphism problems, as well as a unifying, modular, and conceptually clean treatment of existing complexity classifications. We then present and develop the theory of Ehrenfeucht-Fraisse-style pebble games which solve the homomorphism problems where the cores of the structures in A have bounded tree depth. Finally, we use our framework to classify the complexity of model checking existential sentences having bounded quantifier rank.

Detecting decidable classes of finitely ground logic programs with function symbols

In this paper we propose a new technique for checking whether the bottom-up evaluation of logic programs with function symbols terminates. The technique is based on the definition of mappings from arguments to strings of function symbols, representing possible values which could be taken by arguments during the bottom-up evaluation. Starting from mappings, we identify mapping-restricted arguments, a subset of limited arguments, namely arguments which take values from finite domains. The class of mapping-restricted programs, consisting of programs whose arguments are all mapping-restricted, is terminating under the bottom-up computation as all its arguments take values from finite domains. We show that mappings can be computed by transforming the original program into a unary logic program: this allows us to establish decidability of checking if a program is mapping-restricted. We study the complexity of the presented approach and compare it with other techniques known in the literature. Furthermore, we introduce an extension of the proposed approach which is able to recognize a wider class of logic programs as terminating. The presented technique is relevant as it individuates as terminating programs not detected by other criteria proposed so far and can be combined with other techniques to further enlarge the class of programs recognized as terminating under the bottom-up evaluation.

Managing Change in Graph-structured Data Using Description Logics

In this paper, we consider the setting of graph-structured data (GSD) that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from deciding whether a given sequence of actions preserves the satisfaction of a given set of integrity constraints, for every possible initial data instance, to deciding the (non-)existence of a sequence of actions that would take the data to an (un)desirable state, starting either from a specific data instance or from an incomplete description of it. For describing states of the data instances and expressing integrity constraints on them, we use Description Logics (DLs) closely related to the two-variable fragment of first-order logic with counting quantifiers. The updates are defined as \emph{actions} in a simple yet flexible language, as finite sequences of conditional insertions and deletions, which allow one to use complex DL formulas to select the (pairs of) nodes for which (node or arc) labels are added or deleted. We formalize the above data management problems as a static verification problem and several planning problems and show that, due to the adequate choice of formalisms for describing actions and states of the data, most of these data management problems can be effectively reduced to the (un)satisfiability of suitable formulas in decidable logical formalisms. Leveraging this, we provide algorithms and tight complexity bounds for the formalized problems, both for expressive DLs and for a variant of the popular DL-Lite, advocated for data management in recent years.

Bibliometrics

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

Affiliation Paper Counts
Universite de Caen Basse Normandie 1
INRIA Rocquencourt 1
Laval University 1
Saarland University 1
University of Seville 1
Institute of Computer Science Crete 1
University of Carthage 1
Vietnamese Academy of Science and Technology 1
Vinh University 1
Institute for Work and Health (IST) 1
NEC Deutschland GmbH 1
National Penghu University 1
Laboratoire d'Informatique Fondamentale de Marseille 1
Academic College of Tel-Aviv - Yaffo 1
Microsoft Research Cambridge 1
Universite de Bordeaux 1
Universite de Lyon 1
Karlsruhe Institute of Technology 1
National University Corporation Shizuoka University 1
Laboratoire d'Analyse et Modelisation de Systemes pour l'Aide a la Decision 1
Yale NUS College 1
Lero - The Irish Software Engineering Research Centre 1
Laboratoire Bordelais de Recherche en Informatique 1
CSIRO Data61 1
University of Sussex 1
Weizmann Institute of Science Israel 1
INRIA Lorraine 1
Istituto Per Le Applicazioni Del Calcolo Mauro Picone, Rome 1
Kassel University 1
Drake University 1
Universite d'Artois 1
Munich University of the Federal Armed Forces 1
CSIC - Instituto de Investigacion en Inteligencia Artificial 1
University of Southern Denmark 1
Athens University of Economics and Business 1
Tianjin University 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
University of Bristol 1
Freescale Semiconductor 1
West Virginia University 1
University of St Andrews 1
Massachusetts Institute of Technology 1
Faculdade de Ciencias e Tecnologia, New University of Lisbon 1
University of Richmond 1
Telcordia Technologies, Inc. 1
Jozef Stefan Institute 1
Cardiff University 1
Open University of the Netherlands 1
National Institute of Advanced Industrial Science and Technology 1
Universite Paris-Sud XI 1
University of Missouri System 1
University of California, Santa Cruz 1
Shanghai Jiaotong University 1
University of Genoa 1
University of Stirling 1
University of Tokyo 1
University of Konstanz 1
Clarkson University 1
IBM Haifa Labs 1
Nokia Corporation 1
DePaul 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
Swiss Federal Institute of Technology, Lausanne 1
Stockholm University 1
Northeastern University 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
Ryerson University 1
University of Queensland 1
Tokyo Institute of Technology 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
Nagoya University 1
SRI International 1
Universite de La Reunion 1
Harvey Mudd College 1
German University in Cairo 1
Demokritos National Centre for Scientific Research 1
Universite Pierre et Marie Curie 1
Novosibirsk State University 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
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
CNRS Centre National de la Recherche Scientifique 1
Medical University of Innsbruck 1
AT&T Laboratories Florham Park 1
National University of Ireland, Galway 1
Vrije Universiteit Amsterdam 1
University of Wyoming 1
Hong Kong Polytechnic University 1
Australian National University 1
Purdue University 1
Grenoble INP ENSIMAG 1
Universitat de Girona 1
Harvard University 1
Avaya Inc. 1
University of Groningen 1
University of Oslo 1
University of Mons-Hainaut 1
Institute of Computer Science of the Polish Academy of Sciences 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
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
University of Wurzburg 1
University of Hawaii at Manoa 1
University of Florida 1
Martin Luther University of Halle-Wittenberg 1
Institute of Informatics and Telecommunications, Athens 1
Capital University of Economics and Business China 1
Alexandru Ioan Cuza University 1
Kalamazoo College 1
University of Washington, Seattle 1
University of Witwatersrand 1
Charles University 1
Bryn Mawr College 1
University of Heidelberg 1
University of Tubingen 1
University of Crete 2
University of Amsterdam 2
Chinese University of Hong Kong 2
University of Helsinki 2
University of Victoria 2
Universidad de Malaga 2
Arizona State University 2
Iowa State University 2
Ecole Normale Superieure de Cachan 2
Ecole des Mines de Nancy 2
Ecole Normale Superieure de Lyon 2
University of Auckland 2
Google Inc. 2
Utrecht University 2
Poznan University of Technology 2
University of Dundee 2
Linkoping University 2
University of Ulm 2
Kyoto University 2
IBM Research 2
Kobe University 2
University of Trier 2
INRIA Institut National de Rechereche en Informatique et en Automatique 2
University of Massachusetts Amherst 2
University of Nottingham 2
University of Augsburg 2
Jacobs University Bremen 2
National University of Singapore 2
IBM Thomas J. Watson Research Center 2
Wright State University 2
University of L'Aquila 2
University of Science and Technology of China 2
Macquarie University 2
Heriot-Watt University, Edinburgh 2
University of Minho 2
Brunel University London 2
IBM, USA 2
New York University 2
Technical University of Clausthal 2
University of Florence 2
Indian Institute of Technology, Kanpur 2
Manchester Metropolitan University 2
University of Durham 2
Beijing University of Technology 2
Politecnico di Milano 2
Institute of Software Chinese Academy of Sciences 2
University of Sydney 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
Kagoshima University 2
Research Organization of Information and Systems National Institute of Informatics 2
IRIT Institut de Recherche Informatique de Toulouse 2
Rutgers, The State University of New Jersey 2
McMaster University 2
University of London 2
University of Novi Sad 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
Universite Paris Saclay 2
Informatique, Biologie Integrative et Systemes Complexes 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
New Mexico State University Las Cruces 3
University of Siena 3
Rice University 3
Universite Henri Poincare 3
Hong Kong University of Science and Technology 3
University of Piraeus 3
Technical University of Darmstadt 3
Technical University of Denmark 3
Brown University 3
University of Milan - Bicocca 3
Universidad de La Rioja 3
Lubeck University 3
Universidad de Chile 3
University of Waterloo 3
University of Kentucky 3
Academia Sinica Taiwan 3
Technical University of Dresden 3
Chinese Academy of Sciences 3
Leiden University 3
Royal Holloway University of London 3
University of Potsdam 3
Universite Paul Cezanne Aix-Marseille III 3
University of Technology Sydney 3
Wakayama University 3
Laboratoire d'Informatique de l'Ecole Polytechnique 3
University of Aarhus 3
University of Patras 3
TU Dortmund University 3
INRIA Saclay 3
Universidade de Lisboa 3
University of G. d'Annunzio Chieti and Pescara 4
Free University of Bozen-Bolzano 4
University of Innsbruck 4
University of Kent 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
Simon Fraser University 4
Nokia Bell Labs 4
Queen Mary, University of London 4
University of California, Berkeley 4
University of Freiburg 4
Swiss Federal Institute of Technology, Zurich 4
Vrije Universiteit Brussel 4
Technical University of Madrid 4
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications 4
University of Copenhagen 4
University of Cambridge 4
Academy of Sciences of the Czech Republic (Avcr.Cz) 4
New University of Lisbon 4
Laboratoire d'Informatique de Nantes-Atlantique 4
Laboratoire de Recherche en Informatique 4
University of Liege 5
McGill University 5
University of Insubria 5
University of Houston 5
University of Pennsylvania 5
Bremen University 5
Ecole Polytechnique 5
Ca' Foscari University of Venice 5
Adam Mickiewicz University in Poznan 5
Radboud University Nijmegen 5
Western Sydney University 5
Technical University of Munich 5
University of Ferrara 5
Tsinghua University 5
University of New South Wales 5
University of Athens 5
University of Bath 5
University of Alberta 5
Aix Marseille Universite 5
Max Planck Institute for Informatics 6
University of Padua 6
Swansea University 6
University of Udine 6
University of California, San Diego 6
University of Verona 6
University of Sheffield 7
Royal Institute of Technology 7
Gottfried Wilhelm Leibniz Universitat 7
Cornell University 7
Birkbeck University of London 7
King's College London 7
University of Wroclaw 7
Technion - Israel Institute of Technology 7
Complutense University of Madrid 7
Ludwig Maximilian University of Munich 7
Imperial College London 8
University of Liverpool 8
The University of Warwick 8
University of Edinburgh 8
University of Pisa 8
Universite Paris 7- Denis Diderot 9
University of Naples Federico II 9
University Michigan Ann Arbor 9
University of Manchester 10
Tel Aviv University 10
Universitat Politecnica de Catalunya 10
RWTH Aachen University 10
Microsoft Research 10
Griffith University 10
Institute of Science and Technology Austria 10
University of Milan 11
Eindhoven University of Technology 11
Hebrew University of Jerusalem 12
University of Warsaw 12
University of Toronto 12
University of Calabria 13
University of Turin 14
Specifications and Verification Laboratory 14
Hasselt University 16
Catholic University of Leuven, Leuven 16
University of Bologna 16
University of Maryland 21
Carnegie Mellon University 23
University of Roma La Sapienza 25
University of Oxford 29
Vienna University of Technology 53

ACM Transactions on Computational Logic (TOCL)
Archive


2017
Volume 18 Issue 4, September 2017  Issue-in-Progress
Volume 18 Issue 3, August 2017
Volume 18 Issue 2, June 2017
Volume 18 Issue 1, April 2017

2016
Volume 17 Issue 4, November 2016
Volume 17 Issue 3, July 2016
Volume 17 Issue 2, March 2016

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

Search TOCL
enter search term and/or author name