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)

Managing Change in Graph-Structured Data Using Description Logics

In this article, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications. We... (more)

Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols

In this article, we propose a new technique for checking whether the bottom-up evaluation of logic programs with function symbols terminates. The... (more)

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, in which 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... (more)

An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

We give an algebraic characterization, based on the bilateral semidirect product of finite monoids, of the quantifier alternation hierarchy in... (more)

Nested Weighted Automata

Succinctness of Order-Invariant Logics on Depth-Bounded Structures

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

Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time

One of the most promising candidates for a logic capturing PTIME is Choiceless Polynomial Time (CPT). CPT can, in particular, define (the original version of) the Cai-Fürer-Immerman query, which separates fixed-point logic with counting from PTIME, and has remained the main benchmark for the expressibility of logics within PTIME. The CFI construction associates with each connected graph a set of CFI-graphs that can be partitioned into exactly two isomorphism classes called odd and even CFI-graphs. The problem is to decide, whether a given CFI-graph is odd or even. In the original version, the underlying graphs are linearly ordered, and for this case, Dawar, Richerby and Rossman proved that the CFI query is CPT-definable. However, the CFI query over general graphs remains one of the few known examples for which CPT-definability is open. We generalise the result by Dawar, Richerby and Rossman to the CFI query where the underlying graphs have colour classes of logarithmic size, and to graph classes with large maximal degree. For the latter, CPT-programs over sets of bounded rank suffice. Further, the use of "set-like objects" , instead of tuples, is unavoidable We introduce a notion of "sequence-like objects" based on the structure of their symmetry groups, and show that no CPT-program using only sequence-like objects can decide the CFI-query over graph classes with large maximal degree. From a more general perspective, this generalises a result by Blass, Gurevich, and van den Bussche about the power of isomorphism-invariant machine models (for PTIME) to a setting with counting.

Typed Nominal Rewriting

Nominal terms extend first-order terms with nominal features and as such constitute a meta-language for reasoning about the named variables of an object language in the presence of meta-level variables. This paper introduces a number of type systems for nominal terms of increasing sophistication and demonstrates their application in the area of equational reasoning. Two simple type systems inspired by Church's simply typed lambda calculus are presented where only well-typed terms are considered to exist, over which alpha-equivalence is then axiomatised. The first requires atoms to be strictly annotated whilst the second explores the consequences of a more relaxed de Bruijn style approach in the presence of atom-capturing substitution. A final type system of richer ML-style polymorphic types is then given in the style of Curry, where elements of the term language are deemed typeable or not only subsequent to the definition of alpha-equivalence. A type inference algorithm is described for this system and its application to equational reasoning explored, giving rise to two presentations of typed nominal rewriting and one of typed nominal algebra.

Completeness of Flat Coalgebraic Fixpoint Logics

Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type. However, popular fixpoint logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixpoint logics includes, e.g., LTL, CTL, and the logic of common knowledge. Extending this notion to the generic semantic framework of coalgebraic logic enables covering a wide range of logics beyond the standard mu-calculus including, e.g., flat fragments of the graded mu-calculus and the alternating-time mu-calculus (such as alternating-time temporal logic ATL), as well as probabilistic and monotone fixpoint logics. We give a generic proof of completeness of the Kozen-Park axiomatization for such flat coalgebraic fixpoint logics.

Quantitative aspects of linear and affine closed lambda terms

Compositional Synthesis of Piece-wise Functions by Learning Classifiers

We present a novel general technique that uses classifier learning to synthesize piece-wise functions (functions that split the domain into regions and apply simpler functions to each region) against logical synthesis specifications. Our framework works by combining a synthesizer of functions for fixed concrete inputs and a synthesizer of predicates that can be used to define regions. We develop a theory of single-point refutable specifications that facilitate generating concrete counterexamples using constraint solvers. We implement the framework for synthesizing piece-wise functions in linear integer arithmetic, combining leaf expression synthesis using constraint-solving with predicate synthesis using enumeration, and tie them together using a decision tree classifier. We demonstrate that this compositional approach is competitive compared to existing synthesis engines on a set of synthesis specifications.

Characterisation of Normalisation Properties for lambda-mu using Strict Negated Intersection Types

We show characterisation results for normalisation, head-normalisation, and strong normalisation for lambda-mu using intersection types. We reach these results for a strict notion of type assignment for lambda-mu that is the natural restriction of that of \cite{Bakel-Barbanera-Liguoro-TLCA'11} by limiting the type inclusion relation to just intersection elimination. We show that this system respects beta-mu-equality, by showing both soundness and completeness results. We then define a notion of reduction on derivations that corresponds to cut-elimination, and show that this is strongly normalisable. We use this strong normalisation result to show an approximation result, and through that a characterisation of head-normalisation. Using the approximation result, we show that there is a very strong relation between the system of \cite{Bakel-Barbanera-Liguoro-TLCA'11} and ours; we also show that our system extended with type variables essentially is that of \cite{Bakel-ITRS'10}. We also introduce a notion of type assignment that eliminates omega as an assignable type, and show, using the strong normalisation result for derivation reduction, that all terms typeable in this system are strongly normalisable as well, and show that all strongly normalisable terms are typeable.

Are Short Proofs Narrow? QBF Resolution is not so Simple

The groundbreaking paper 'Short proofs are narrow - resolution made simple' by Ben-Sasson and Wigderson (J. ACM 2001) introduces what is today arguably the main technique to obtain resolution lower bounds: to show a lower bound for the width of proofs. Another important measure for resolution is space, and in their fundamental work, Atserias and Dalmau (J. Comput. Syst. Sci. 2008) show that space lower bounds again can be obtained via width lower bounds. Here we assess whether similar techniques are effective for resolution calculi for quantified Boolean formulas (QBF). A mixed picture emerges. Our main results show that both the relations between size and width as well as between space and width drastically fail in Q-resolution, even in its weaker tree-like version. On the other hand, we obtain positive results for the expansion-based resolution systems EXP+Res and IR-calc, however only in the weak tree-like models. Technically, our negative results rely on showing width lower bounds together with simultaneous upper bounds for size and space. For our positive results we exhibit space and width-preserving simulations between QBF resolution calculi.

Complexity of Propositional Logics in Team Semantics

We classify the computational complexity of the satisfiability, validity and model-checking problems for propositional independence, inclusion, and team logic. Our main result shows that the satisfiability and validity problems for propositional team logic are complete for alternating exponential-time with polynomially many alternations.

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants

We are concerned with extensions of the two-variable guarded fragment, GF2 , where distinguished binary predicates that occur only in guards are required to be interpreted in a special way (as transitive relations, equivalence relations, pre- or partial orders). We prove that the only fragment that retains the finite (exponential) model property is GF2 with equivalence guards when equality is not available in the signature. For remaining fragments we show that the size of a minimal finite model is at most doubly exponential. To obtain the result we invent a strategy of building finite models that are formed from a number of multidimensional grids placed over a cylindrical surface. The construction yields a 2-NExpTime-upper bound on the complexity of the finite satisfiability problem for these fragments. We improve the bounds and obtain optimal ones for all the fragments considered, in particular NExpTime for GF2 with equivalence guards, and 2-ExpTime for GF 2 with transitive guards. To obtain our results we essentially use some results from integer programming.

Subatomic Proof Systems: Splittable Systems

This paper presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalisation, and in particular of cut elimination. By considering atoms as self-dual non-commutative connectives, we are able to classify a vast class of inference rules in a uniform and very simple way. This allows us to define simple conditions that are easily verifiable and that ensure normalisation and cut elimination by way of a general theorem. In this paper we define and consider splittable systems, which essentially comprise a large class of linear logics, including MLL and BV, and we prove for them a splitting theorem, guaranteeing cut elimination and other admissibility results as corollaries. In papers to follow, we will extend this result to non-linear logics. The final outcome will be a comprehensive theory giving a uniform treatment for most existing logics and providing a blueprint for the design of future proof systems.

Bibliometrics

Publication Years 2000-2017
Publication Count 491
Citation Count 4890
Available for Download 491
Downloads (6 weeks) 1258
Downloads (12 Months) 9160
Downloads (cumulative) 143036
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)
Martin Grohe ACM Fellows (2017)
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 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 M. 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 Fellows (2017)
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
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
Jakob Nordström 3
Dale Miller 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
Giovambattista Ianni 2
James Worrell 2
Daniele Nardi 2
Jeffery Zucker 2
Stephen Cook 2
Felix Klaedtke 2
Jakob Simonsen 2
Simone Martini 2
Filippo Bonchi 2
Pierre Wolper 2
David Billington 2
Guido Governatori 2
Camilla Schwind 2
Michael Maher 2
Udi Boker 2
Eugénie Foustoucos 2
Mariangiola Dezani-Ciancaglini 2
Ilka Schnoor 2
Olaf Beyersdorff 2
Stéphanie Delaune 2
Dirk Vermeir 2
Mantas Šimkus 2
Michaël Rusinowitch 2
Wouter Gelade 2
Agostino Dovier 2
Hubie Chen 2
Roman Kontchakov 2
Arnaud Carayol 2
Francesco Ranzato 2
Helmut Veith 2
Alwen Tiu 2
Michael Fisher 2
Kousha Etessami 2
Klaus Aehlig 2
Andreas Krebs 2
Agata Ciabattoni 2
Uwe Egly 2
Maciej Komosinski 2
John Derrick 2
Arie Gurfinkel 2
Carsten Lutz 2
Simone Bova 2
Vladislav Ryzhikov 2
Cristian Molinaro 2
Torsten Schaub 2
Valentin Goranko 2
Andrea Asperti 2
Mirosław Truszczyński 2
Silvia Crafa 2
Adam Kups 2
Witold Charatonik 2
Tim Willemse 2
Barnaby Martin 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
Emanuel Kieroński 2
Paqui Lucio 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
Ugo Montanari 2
Rohit Chadha 2
Diego Calvanese 2
Renate Schmidt 2
Marek Sergot 2
Axel Haddad 2
Venkatramanan Subrahmanian 2
Frank Wolter 2
Arne Meier 2
Laura Giordano 2
Luigi Palopoli 2
Orna Grumberg 2
Victor Vianu 2
Trancao Son 2
Roberto Sebastiani 2
Giorgi Japaridze 2
Francesca Rossi 2
Brigitte Pientka 2
Ullrich Hustadt 2
Elvira Albert 2
Florian Rabe 2
Stavros Cosmadakis 2
Martin Grohe 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
Frank Stephan 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
Vladimir Lifschitz 2
Silvio Ranise 2
Stefano Bistarelli 2
Karl Crary 2
Clare Dixon 2
Wan Fokkink 2
Stefan Szeider 2
Churnjung Liau 2
Paul Gastin 2
Hitoshi Furusawa 2
André Platzer 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
Michel De Rougemont 1
Alexander Razborov 1
Jan Rutten 1
Dmitry Tishkovsky 1
Antonio Flores-Montoya 1
Lan Zhang 1
Anna Ingólfsdóttir 1
Simona Perri 1
Matthias Broecheler 1
Oliver Friedmann 1
Serenella Cerrito 1
Roberto Giacobazzi 1
Gerald Lüttgen 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
Małgorzata Biernacka 1
Jan Bussche 1
Werner Nutt 1
Sergio Flesca 1
Odile Papini 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Johan Thapper 1
Anna Zamansky 1
Guy Avni 1
Iddo Tzameret 1
M Biscaia 1
Luis Moraes 1
Sebastian Eberhard 1
Stefan Hetzl 1
Shqiponja Ahmetaj 1
Markus KröTzsch 1
Sebastian Rudolph 1
Dominique Larchey-Wendling 1
Didier Galmiche 1
Filip Murlak 1
Martin Peim 1
Konstantinos Sagonas 1
Conrad Drescher 1
Robert Simmons 1
Romain Péchoux 1
Lars Kristiansen 1
Yan Zhang 1
Yuxin Deng 1
Atsushi Igarashi 1
Naghmeh Ghafari 1
Annalisa Bossi 1
Aart Middeldorp 1
Yann Loyer 1
Nicolai Kraus 1
Emmanuel Dall'olio 1
Igor Walukiewicz 1
Helle Hansen 1
Robert Ganian 1
Andy King 1
Maurizio Lenzerini 1
Russell Impagliazzo 1
Peter Stuckey 1
Neil Yorke-Smith 1
Peter Jonsson 1
Emilio Muñoz-Velasco 1
John Dickerson 1
Wim Hesselink 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
Zbigniew Lonc 1
Hubert Comon 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
Thomas Schneider 1
Oleg Verbitsky 1
Marijn Heule 1
Joël Ouaknine 1
Micah Adler 1
Foto Afrati 1
K Subramani 1
Holger Sturm 1
Salvatore Ruggieri 1
Marta Kwiatkowska 1
Ian Zerny 1
Jérôme Lang 1
Kedar Namjoshi 1
Jan Kára 1
Detlef Kähler 1
Lara Spendier 1
David Jansen 1
Anton Wijs 1
Tatjana Petrov 1
Jianmin Ji 1
Michele Bugliesi 1
Moritz Müller 1
Magdalena Ortiz 1
Ştefan Ciobâcă 1
Hariolf Betz 1
Pascal Hitzler 1
Teodor Przymusinski 1
Stefan Brass 1
Rastislav Lenhardt 1
Steven German 1
Luigia Aiello 1
Nada Lavrač 1
Peter Flach 1
Victor Marek 1
Antonis Kakas 1
Giuseppe De Giacomo 1
Helmut Schwichtenberg 1
Giacoma Monreale 1
James Lynch 1
Achille Frigeri 1
Benjamin Monmege 1
John Havlicek 1
Tom Ameloot 1
Howard Bowman 1
Peter Buneman 1
Marco Bernardo 1
Manuel Clavel 1
Sabina Rossi 1
Alan Schmitt 1
Eryk Kopczyński 1
Pawel Mielniczuk 1
Georgios Paliouras 1
Floris Geerts 1
Katsumi Inoue 1
Enrica Nicolini 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
Amelie David 1
Nathalie Sznajder 1
Pavlos Peppas 1
Konstantinos Chatzikokolakis 1
James Bailey 1
Guozhu Dong 1
Helmut Seidl 1
Tomi Janhunen 1
Mohua Banerjee 1
Sebastian Danicic 1
Mihalis Yannakakis 1
Anca Muscholl 1
Alban Ponse 1
Akitoshi Kawamura 1
Jürgen Giesl 1
Konstantin Korovin 1
Itay Neeman 1
Michael Bauland 1
Anastasia Analyti 1
Michael Warren 1
Christopher Hampson 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
Heng Zhang 1
Diogo Henriques 1
Cynthia Kop 1
Irina Trubitsyna 1
Martin Grohe 1
Piotr Witkowski 1
Filip Mazowiecki 1
César Domínguez 1
Julio Rubio 1
Raymond Reiter 1
Emmanuel Polonowski 1
Sebastian SardiñA 1
Sasha Rubin 1
Liliana Pasquale 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
Carlo Furia 1
Reinhard Pichler 1
Michael Boom 1
Carla Piazza 1
Enrique Martin-Martin 1
Bas Luttik 1
Serge Haddad 1
Davide Bresolin 1
Yuval Filmus 1
Daniel Schwartz 1
Charles Paperman 1
Francesca Scozzari 1
Prakash Panangaden 1
Jeroen Janssen 1
Kumud Sanwal 1
Zhaohui Luo 1
John Hitchcock 1
Kumar Verma 1
Ulrich Schöpp 1
Matthias Horbach 1
Sebastian Müller 1
Anatoli Degtyarev 1
Sarit Kraus 1
Andrei Bulatov 1
Lutz Burger 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
Lutz Straßburger 1
Massimo Benerecetti 1
Ian Hayes 1
Antonino Salibra 1
Ofer Arieli 1
Slim Abdennadher 1
Oliver Kutz 1
Fred Mesnard 1
Ron Van Der Meyden 1
Mirco Nanni 1
Dirk Pattinson 1
Taolue Chen 1
Alexandru Mereacre 1
Paola Bruscoli 1
Arnon, Avron 1
Andreas Herzig 1
Prahladh Harsha 1
Markus Lohrey 1
Jia Tao 1
Naoki Nishida 1
Nicholas Radcliffe 1
Cheping Su 1
Gabriel Ebner 1
Steve Kremer 1
Bart Bogaerts 1
Markus Aschinger 1
María Poza 1
Agustín Valverde 1
David Pearce 1
Fariba Sadri 1
Naohi Eguchi 1
Pierre Valarcher 1
Neil Jones 1
Jean Moyen 1
Bakhadyr Khoussainov 1
Dorota Leszczyńska-Jasion 1
Bruce Kapron 1
Paola Spoletini 1
Yi Zhou 1
Ngoc Nguyen 1
Benedikt Bollig 1
Qiang Yang 1
David Baelde 1
Cinzia Di Giusto 1
Chitta Baral 1
Nils Gesbert 1
David Griffioen 1
Frits Vaandrager 1
Daniel Stamate 1
José Meseguer 1
Frédéric Benhamou 1
Bart Kuijpers 1
Véronique Bruyère 1
Paolo Coppola 1
Axel Legay 1
Matteo Rossi 1
Alessandro Cimatti 1
Alberto Griggio 1
Clemens Ley 1
Konstantinos Mamouras 1
Luca Aceto 1
Iyad Kanj 1
Trung Van Pham 1
Christopher Porter 1
José Alferes 1
Mnacho Echenim 1
Maciej Gazda 1
K Leino 1
Chih Ong 1
Nathanaël Fijalkow 1
Martin Gebser 1
Raymond Mcdowell 1
Luca Roversi 1
Costas Koutras 1
Diego Figueira 1
Linh Nguyen 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
Bettina Fazzinga 1
Christoph Berkholz 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
Yan Zhang 1
Szymon Chlebowski 1
P Mateus 1
Pablo Muñoz 1
Xiaoping Chen 1
David McAllester 1
Thom Frühwirth 1
Mario Bravetti 1
Roberto Gorrieri 1
Michał Skrzypczak 1
Michele Loreti 1
Yangjia Li 1
Vincent Danos 1
Colin Hirsch 1
Giuseppe Perelli 1
Samir Genaim 1
Bas Ketsman 1
Daniel Zinn 1
Petar Marković 1
Francesco Donini 1
Piero Bonatti 1
Wenfei Fan 1
Benno Van Den Berg 1
Richard Garner 1
Nils Klarlund 1
Jules Desharnais 1
Nam Tran 1
Bertram Felgenhauer 1
Silvia Tomasi 1
Matthew Bauer 1
Roberto Bruttomesso 1
Francesco Santini 1
Fang Wei 1
Chiuwo Choi 1
Edward Hung 1
Ronald De Haan 1
Douglas Cenzer 1
Guido Sciavicco 1
Matthias Knorr 1
Ian Pratt-Hartmann 1
Martin Lange 1
Johannes Fichte 1
George Barmpalias 1
Rémy Chrétien 1
Ewa Madalińska-Bugaj 1
Vigyan Singhal 1
Jack Lutz 1
Diego Recupero 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
Christian Urban 1
James Cheney 1
Austin Parker 1
Sylvain Schmitz 1
Dan Suciu 1
Stephan Kreutzer 1
Francesco Quaglia 1
Christophe Rigotti 1
Ashish Tiwari 1
Laurent Michel 1
Nobuyuki Suzuki 1
Rachel Ben-Eliyahu -- Zohary 1
Thierry Coquand 1
Jose Gaintzarain 1
Julien Truffaut 1
Doron Peled 1
Jeanchristoph Jung 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Vincent Cheval 1
Michael Elberfeld 1
Till Tantau 1
Danny De Schreye 1
Toshiyasu Arai 1
Russell Harmer 1
Mariusz Urbański 1
Fabio Gadducci 1
Heike Wehrheim 1
Fabrizio Riguzzi 1
Samuel Shen 1
Jeremy Bryans 1
Sandro Etalle 1
Thomas Reps 1
Pierre Genevès 1
Marc Christie 1
Vincent Van Oostrom 1
Albert Rubio 1
Anastasios Skarlatidis 1
David Fernández-Duque 1
Mahesh Viswanathan 1
Balder Cate 1
Franco Montagna 1
Lise Getoor 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
Jordi Levy 1
Mdaquil Khan 1
Murdoch Gabbay 1
Marcel Jackson 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
Martin Mundhenk 1
Francesco Parisi 1
Jerzy Tiuryn 1
Brijesh Dongol 1
Lian Wen 1
Sébastien Jodogne 1
Marco Pedicini 1
Mark Ryan 1
Jean Puget 1
Laurent Perron 1
Vincent Siles 1
Isabelle Gnaedig 1
Hélène Kirchner 1
Jeroen Ketema 1
H Macpherson 1
M Praveen 1
Abu Masud 1
Floor Sietsma 1
Mehrnoosh Sadrzadeh 1
Angelos Charalambidis 1
Eli Ben-Sasson 1
Giora Slutzki 1
Przemysław Daca 1
Jan Křetínský 1
Pablo Barceló 1
Stefan Milius 1
Richard Mckinley 1
Viviana Bono 1
Marco Calautti 1
Howard Straubing 1
Alessandro Facchini 1
Lorenzo Carlucci 1
Robert Givan 1
Rocco De Nicola 1
Bard Bloom 1
Aleksy Schubert 1
Paweł Urzyczyn: 1
Daria Walukiewicz-Chrząszcz 1
Nengkun Yu 1
Johannes Schmidt 1
Alessandro Artale 1
Mingsheng Ying 1
Tristan Crolard 1
Hector Levesque 1
Dominic Hughes 1
Anthonywidjaja Lin 1
Vernon Asuncion 1
Enrico Pontelli 1
Krishnendu Chatterjee 1
Dana Fisman 1
Kensuke Kojima 1
Cindy Eisner 1
Davide Sangiorgi 1
Martin Luck 1
Liyan Yuan 1
Phuong Nguyen 1
Michel Reniers 1
David Basin 1
Marco Schaerf 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Bernhard Möller 1
Nabil Layaïda 1
Eric Languénou 1
Nicolas Spyratos 1
Frédéric Goualard 1
Jean Jouannaud 1
Andrea Formisano 1
Richard Lassaigne 1
Nathan Segerlind 1
Jimmy Lee 1
Yiannis Moschovakis 1
Luca Iocchi 1
Stephan Schulz 1
Yan Zhang 1
C Ong 1
Alain Finkel 1
Christoph Haase 1
Rupak Majumdar 1
Alexander Kartzow 1
Nicolas Peltier 1
Yavor Nenov 1
James Delgrande 1
Simon Kramer 1
Wieger Wesselink 1
Zhe Wang 1
Rodney Topor 1
Jakub Michaliszyn 1
Arthur Charlesworth 1
Matthew Hague 1
Enrico Marchioni 1
Michael Mendler 1
Mary Williams 1
Catuscia Palamidessi 1
Robert Brayton 1
Hubert Comon-Lundh 1
Octavian Udrea 1
Viorica Sofronie-Stokkermans 1
Marco Gavanelli 1
Elio Giovannetti 1
Dietmar Seipel 1
Ilkka Niemelä 1
Adrià Gascón 1
Stefano Berardi 1
Robert Hierons 1
Michael Thomas 1
Kazuhisa Makino 1
Alessandro Bianco 1
Joséespírito Santo 1
Marcin Jurdziński 1
James Harland 1
Fabio Alessi 1
David Gray 1
Kevin Donnelly 1
Stefan Berghofer 1
Novak Novaković 1
Peter Lumsdaine 1
Adam Trybus 1
Nicole Schweikardt 1
George Metcalfe 1
Dov Gabbay 1
Aleksandar Ignjatović 1
Doron Bustan 1
Andrea Masini 1
Marco Diciolla 1
Simone Tini 1
Wojciech Kazana 1
Anders Mörtberg 1
Johan Wittocx 1
Konstantinos Handjopoulos 1
Marko Samer 1
Jan Groote 1
Carsten Fuhs 1
Tuanfang Fan 1
Sergio Greco 1
Mathieu Baudet 1
Guy Rey 1
Sofie Verbaeten 1
Saguy Benaim 1
Fabio Massacci 1
Martin Otto 1
Gerhard Schellhorn 1
Terrance Swift 1
Marc Zeitoun 1
Pavel Pudlák 1
Irena Schindler 1
Adrian Haret 1
Petar Dapić 1
Alberto Momigliano 1
Jan Smaus 1
Annabelle McIver 1
Carroll Morgan 1
Florent Madelaine 1
Christopher Stone 1
Christian Sattler 1
George Vouros 1
Eugenio Omodeo 1
Marsha Chećhik 1
Sławomir Lasota 1
Prakash Panangaden 1
Susmit Sarkar 1
Gianfranco Rossi 1
Giuseppe Giacomo 1
Sylvain Peyronnet 1
Frédéric Magniez 1

Affiliation Paper Counts
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 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
University of Vienna 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
Boston College 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
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
Universidad del Pais Vasco - Euskal Herriko Unibertsitatea, Campus Bizkaia 2
Universite Paris Saclay 2
Informatique, Biologie Integrative et Systemes Complexes 2
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
University of Tubingen 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
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
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
Free University of Bozen-Bolzano 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 Pisa 8
Universite Paris 7- Denis Diderot 9
University of Naples Federico II 9
University Michigan Ann Arbor 9
University of Edinburgh 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 Turin 14
Specifications and Verification Laboratory 14
University of Calabria 15
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 59

ACM Transactions on Computational Logic (TOCL)
Archive


2017
Volume 18 Issue 4, December 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