ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

Convolution as a Unifying Concept

A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales. A number of examples underpin the universality of these constructions, the most prominent ones being separation logics, where convolution is separating conjunction in an... (more)

Zeno, Hercules, and the Hydra

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

Power and Limits of Structural Display Rules

What can (and cannot) be expressed by structural display rules? Given a display calculus, we present a systematic procedure for transforming axioms into structural rules. The conditions for the procedure are given in terms of (purely syntactic) abstract properties of the base calculus; thus, the method applies to large classes of calculi and... (more)

Correctness and Completeness of Logic Programs

We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method that should be well known but is often neglected. Also, we show how to prove completeness and correctness in the presence of SLD-tree pruning, and point out that... (more)

Narrow Proofs May Be Maximally Long

We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size nΩ(w). This shows that the simple counting argument that any formula refutable in width w must have a proof in size nO(w) is essentially tight. Moreover, our lower bound generalizes to polynomial calculus... (more)

Belief Merging within Fragments of Propositional Logic

Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous research focused on belief... (more)

Rational Region-Based Affine Logic of the Real Plane

The region-based spatial logics, where variables are set to range over certain subsets of geometric space, are the focal point of the qualitative... (more)

A Model for Phase Transition of Random Answer-Set Programs

The critical behaviors of NP-complete problems have been studied extensively, and numerous results have been obtained for Boolean formula... (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

Taming Multirelations

Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of union, intersection, sequential and parallel composition, as well as finite and infinite iteration. Starting from a set-theoretic investigation, we propose axiom systems for multirelations in contexts ranging from bi-monoids to bi-quantales.

Index problems for game automata

For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognise this language with a non-deterministic, alternating, or weak alternating parity automaton. These questions are known as, respectively, the non-deterministic, alternating, and weak Rabin-Mostowski index problems. Whether they can be answered effectively is a long-standing open problem, solved so far only for languages recognisable by deterministic automata (the alternating variant trivialises). We investigate a wider class of regular languages, recognisable by so-called game automata, which can be seen as the closure of deterministic ones under complementation and composition. Game automata are known to recognise languages arbitrarily high in the alternating Rabin-Mostowski index hierarchy, i.e., the alternating index problem does not trivialise any more. Our main contribution is that all three index problems are decidable for languages recognisable by game automata. Additionally, we show that it is decidable whether a given regular language can be recognised by a game automaton.

Automated verification of equivalence properties of cryptographic protocols

Indistinguishability properties are essential in formal verification of cryptographic protocols. They are needed to model anonymity properties, strong versions of confidentiality and resistance against offline guessing attacks, which can be conveniently modeled using process equivalences. We present a novel procedure to verify equivalence properties for a bounded number of sessions of cryptographic protocols. As in the applied pi-calculus, our protocol specification language is parametrized by a first-order sorted term signature and an equational theory which allows formalization of algebraic properties of cryptographic primitives. Our procedure is able to verify trace equivalence for determinate cryptographic protocols. On determinate protocols, trace equivalence coincides with observational equivalence which can therefore be automatically verified for such processes. When protocols are not determinate our procedure can be used for both under- and over-approximations of trace equivalence, which proved successful on examples. The procedure can handle a large set of cryptographic primitives, namely those that can be modeled by an optimally reducing convergent rewrite system. The procedure is based on a fully abstract modelling of the traces of a bounded number of sessions of the protocols into first-order Horn clauses on which a dedicated resolution procedure is used to decide equivalence properties. We have shown that our procedure terminates for the class of subterm convergent equational theories. Moreover, the procedure has been implemented in a prototype tool A-KiSs (Active Knowledge in Security Protocols) and has been effectively tested on examples. Some of the examples were outside the scope of existing tools, including checking anonymity of an electronic voting protocol.

On Well-Founded Set-Inductions and Locally Monotone Operators

In the past, compelling arguments in favour of the well-founded semantics for autoepistemic logic have been presented. In this paper, we show that for certain classes of theories, this semantics fails to identify the unique intended model. We solve this problem by refining the well-founded semantics. We develop our work in approximation fixpoint theory, an abstract algebraical study of semantics of nonmonotonic logics. As such, our results also apply to logic programming, default logic, Dung's argumentation frameworks and abstract dialectical frameworks.

Bibliometrics

Publication Years 2000-2016
Publication Count 448
Citation Count 4222
Available for Download 448
Downloads (6 weeks) 725
Downloads (12 Months) 8628
Downloads (cumulative) 131278
Average downloads per article 293
Average citations per article 9
First Name Last Name Award
Robert Brayton ACM Paris Kanellakis Theory and Practice Award (2006)
Randal E Bryant ACM Paris Kanellakis Theory and Practice Award (1998)
Stephen A Cook ACM A. M. Turing Award (1982)
Joseph Halpern ACM AAAI Allen Newell Award (2008)
Vasant G Honavar ACM Senior Member (2006)
Daphne Koller ACM-Infosys Foundation Award in the Computing Sciences (2007)
Frank Pfenning ACM Senior Member (2007)
Andre Platzer ACM Doctoral Dissertation Award
Honorable Mention (2009) ACM Doctoral Dissertation Award
Honorable Mention (2009)
Thomas Reps ACM Doctoral Dissertation Award (1983)
Peter James Stuckey ACM Distinguished Member (2009)
Moshe Y Vardi Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Qiang Yang ACM Distinguished Member (2011)
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
Ranko Lazić 5
Nicola Olivetti 5
Georg Gottlob 5
Paolo Liberatore 5
Frank Neven 4
Hans Tompits 4
Thomas Schwentick 4
Michael Benedikt 4
Massimo Lauria 4
Leonid Libkin 4
Michael Zakharyaschev 4
Nadia Creignou 4
Luc Segoufin 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
Yidong Shen 3
Grigoris Antoniou 3
Paulo Shakarian 3
Mauro Ferrari 3
Camillo Fiorentini 3
Randal Bryant 3
Krzysztof Apt 3
Neil Thapen 3
Frank Pfenning 3
Maurizio Gabbrielli 3
Joseph Halpern 3
Stéphane Demri 3
Georg Struth 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
Gerardo Simari 3
Stefan Woltran 3
Rajeev Alur 3
Ke Wang 3
Véronique Cortier 3
Jiahuai You 3
Alessio Guglielmi 3
Albert Atserias 3
Tony Tan 3
Thomas Lukasiewicz 3
Ori Lahav 2
Manuel Bodirsky 2
Rob Van Glabbeek 2
Andrei Voronkov 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
Andrea Asperti 2
Valentin Goranko 2
Arie Gurfinkel 2
Simone Bova 2
Joost Vennekens 2
John Derrick 2
Carsten Lutz 2
Arnold Beckmann 2
Andrzej Murawski 2
Torsten Schaub 2
Cristian Molinaro 2
Mirosław Truszczyński 2
Silvia Crafa 2
Tim Willemse 2
Paqui Lucio 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
Maria Bonacina 2
Robert Harper 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
Orna Grumberg 2
Luigi Palopoli 2
Giovambattista Ianni 2
Felix Klaedtke 2
Jeffery Zucker 2
Stephen Cook 2
Daniele Nardi 2
Simone Martini 2
Filippo Bonchi 2
Samuel Buss 2
David Billington 2
Guido Governatori 2
Michael Maher 2
Pierre Wolper 2
Jakob Simonsen 2
Udi Boker 2
Eugénie Foustoucos 2
Camilla Schwind 2
Mariangiola Dezani-Ciancaglini 2
Olaf Beyersdorff 2
Ilka Schnoor 2
Frank Stephan 2
Jeremy Avigad 2
William Wadge 2
Jónathan Heras 2
Maurice Bruynooghe 2
Morgan Deters 2
Riccardo Rosati 2
John Tucker 2
Lawrence Paulson 2
Jean Raskin 2
Vladimir Lifschitz 2
Silvio Ranise 2
Stefano Bistarelli 2
Clare Dixon 2
Wan Fokkink 2
Paul Gastin 2
Karl Crary 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
Stéphanie Delaune 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
Arnaud Carayol 2
Wouter Gelade 2
Agostino Dovier 2
Helmut Veith 2
Francesco Ranzato 2
Roman Kontchakov 2
Alwen Tiu 2
Michael Fisher 2
Kousha Etessami 2
Klaus Aehlig 2
Agata Ciabattoni 2
Uwe Egly 2
Florian Rabe 2
Victor Vianu 2
Elvira Albert 2
Giorgi Japaridze 2
Trancao Son 2
Nicola Galesi 2
Roberto Sebastiani 2
Francesca Rossi 2
Ullrich Hustadt 2
Martin Grohe 2
Stavros Cosmadakis 2
Brigitte Pientka 2
Laurent Doyen 2
Guillem Godoy 2
Daniel Stamate 1
José Meseguer 1
Clemens Ley 1
Konstantinos Mamouras 1
K Leino 1
Qiang Yang 1
Frédéric Benhamou 1
David Griffioen 1
Frits Vaandrager 1
Bart Kuijpers 1
Véronique Bruyère 1
Chitta Baral 1
Paolo Coppola 1
Alessandro Cimatti 1
Alberto Griggio 1
Nils Gesbert 1
Axel Legay 1
Matteo Rossi 1
Luca Aceto 1
Raymond Mcdowell 1
Luca Roversi 1
Martin Gebser 1
José Alferes 1
Mnacho Echenim 1
Diego Figueira 1
Costas Koutras 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
Noga Alon 1
Bernard Boigelot 1
Alessio Lomuscio 1
Stefano Guerrini 1
Thomas Wilke 1
P Mateus 1
Vasant Honavar 1
Xiaoping Chen 1
Thom Frühwirth 1
Mario Bravetti 1
Roberto Gorrieri 1
David McAllester 1
Yangjia Li 1
Michele Loreti 1
Giuseppe Perelli 1
Colin Hirsch 1
Vincent Danos 1
Sylvain Schmitz 1
Martin Lange 1
Rémy Chrétien 1
Johannes Fichte 1
Piero Bonatti 1
Benno Van Den Berg 1
Richard Garner 1
Nils Klarlund 1
Francesco Donini 1
Wenfei Fan 1
Jules Desharnais 1
Nam Tran 1
Roberto Bruttomesso 1
Fang Wei 1
Bertram Felgenhauer 1
Matthew Bauer 1
Francesco Santini 1
Silvia Tomasi 1
Matthias Knorr 1
Ian Pratt-Hartmann 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
Ferruccio Guidi 1
Rob Arthan 1
Nathalie Bertrand 1
Jan Johannsen 1
Christian Urban 1
James Cheney 1
Austin Parker 1
Dan Suciu 1
Ashish Tiwari 1
Stephan Kreutzer 1
Christophe Rigotti 1
Laurent Michel 1
Francesco Quaglia 1
Rachel Ben-Eliyahu -- Zohary 1
Nobuyuki Suzuki 1
Thierry Coquand 1
Julien Truffaut 1
Jose Gaintzarain 1
Pierre Marquis 1
Doron Peled 1
Jeanchristoph Jung 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Danny De Schreye 1
Vladislav Ryzhikov 1
Fabrizio Riguzzi 1
Adam Kups 1
Mariusz Urbański 1
Fabio Gadducci 1
Heike Wehrheim 1
Toshiyasu Arai 1
Russell Harmer 1
Francesco Parisi 1
Sjoerd Cranen 1
Barnaby Martin 1
Sandro Etalle 1
Balder Cate 1
Jan Otop 1
Emanuel Kieroński 1
Thomas Reps 1
Mladen Mikša 1
Marc Vinyals 1
Samuel Shen 1
Marc Christie 1
David Fernández-Duque 1
Mahesh Viswanathan 1
Pierre Genevès 1
Aart Middeldorp 1
Vincent Van Oostrom 1
Albert Rubio 1
Lou Dries 1
Anastasios Skarlatidis 1
Rakesh Verma 1
Sophia Knight 1
Etienne Grandjean 1
Robin Adams 1
Lise Getoor 1
Franco Montagna 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
Florian Horn 1
Ph Schnoebelen 1
Christel Baier 1
Giuliana Sabbatini 1
Lizhu Zhou 1
Martin Mundhenk 1
Jerzy Tiuryn 1
Brijesh Dongol 1
Lian Wen 1
Sébastien Jodogne 1
Marco Pedicini 1
Jean Puget 1
Laurent Perron 1
Mark Ryan 1
Jeremy Bryans 1
Isabelle Gnaedig 1
Hélène Kirchner 1
Vincent Siles 1
Jeroen Ketema 1
Mehrnoosh Sadrzadeh 1
M Praveen 1
Abu Masud 1
H Macpherson 1
Angelos Charalambidis 1
Floor Sietsma 1
Vernon Asuncion 1
Krishnendu Chatterjee 1
Enrico Pontelli 1
Cindy Eisner 1
Dana Fisman 1
Eli Ben-Sasson 1
Giora Slutzki 1
Viviana Bono 1
Robert Givan 1
Nengkun Yu 1
Richard Mckinley 1
Stefan Milius 1
Mingsheng Ying 1
Rocco De Nicola 1
Bard Bloom 1
Johannes Schmidt 1
Alessandro Artale 1
Anthonywidjaja Lin 1
Hector Levesque 1
Tristan Crolard 1
Dominic Hughes 1
Novak Novaković 1
Peter Lumsdaine 1
Simon Kramer 1
Wieger Wesselink 1
Zhe Wang 1
Rodney Topor 1
Phuong Nguyen 1
Michel Reniers 1
Nicolas Spyratos 1
David Basin 1
Enrico Marchioni 1
Jakub Michaliszyn 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Liyan Yuan 1
Eric Languénou 1
Frédéric Goualard 1
Marco Schaerf 1
Bernhard Möller 1
Nathan Segerlind 1
Rohit Chadha 1
Nabil Layaïda 1
Andrea Formisano 1
Yiannis Moschovakis 1
Luca Iocchi 1
Stephan Schulz 1
Jean Jouannaud 1
Yan Zhang 1
C Ong 1
Arthur Charlesworth 1
Michael Mendler 1
Alexander Kartzow 1
James Delgrande 1
Rupak Majumdar 1
Nicolas Peltier 1
Yavor Nenov 1
Mary Williams 1
Catuscia Palamidessi 1
Robert Brayton 1
Hubert Comon-Lundh 1
Richard Lassaigne 1
Jimmy Lee 1
Octavian Udrea 1
Diego Calvanese 1
Viorica Sofronie-Stokkermans 1
Marco Gavanelli 1
Elio Giovannetti 1
Ilkka Niemelä 1
Dietmar Seipel 1
Adrià Gascón 1
Stefano Berardi 1
Arne Meier 1
Michael Thomas 1
Robert Hierons 1
Alessandro Bianco 1
Kazuhisa Makino 1
Joséespírito Santo 1
Marcin JurdzińSki 1
James Harland 1
Fabio Alessi 1
Kevin Donnelly 1
Stefan Berghofer 1
James Worrell 1
Adam Trybus 1
George Metcalfe 1
Dov Gabbay 1
Nicole Schweikardt 1
Aleksandar Ignjatović 1
Doron Bustan 1
Andrea Masini 1
Marco Diciolla 1
Anders Mörtberg 1
Simone Tini 1
Wojciech Kazana 1
Konstantinos Handjopoulos 1
Johan Wittocx 1
Marc Zeitoun 1
Pavel Pudlák 1
Marko Samer 1
Mathieu Baudet 1
Guy Rey 1
Sofie Verbaeten 1
Terrance Swift 1
Gerhard Schellhorn 1
Fabio Massacci 1
Martin Otto 1
Sergio Flesca 1
Oliver Friedmann 1
Antonio Flores-Montoya 1
Serenella Cerrito 1
Florent Madelaine 1
Jan Smaus 1
Marsha Chećhik 1
Annabelle McIver 1
Carroll Morgan 1
Christopher Stone 1
Sławomir Lasota 1
Alberto Momigliano 1
Alexander Razborov 1
Dmitry Tishkovsky 1
Prakash Panangaden 1
Jan Rutten 1
Eugenio Omodeo 1
Christian Sattler 1
Lan Zhang 1
David Gray 1
George Vouros 1
Anna Ingólfsdóttir 1
Simona Perri 1
Gerald Lüttgen 1
Roberto Giacobazzi 1
Matthias Broecheler 1
Steven Schockaert 1
Ernie Cohen 1
Eugen Zălinescu 1
Anthonywidjaja To 1
Sylvain Peyronnet 1
Frédéric Magniez 1
Michel De Rougemont 1
Giuseppe Giacomo 1
Susmit Sarkar 1
Gianfranco Rossi 1
Federico Chesani 1
Paolo Ferraris 1
Simona Ronchi Della Rocca 1
Gilles Dowek 1
Jason Teutsch 1
Franz Baader 1
Hirotaka Ono 1
Jan Bergstra 1
Peter Thiemann 1
René Thiemann 1
Erik Mathiesen 1
Małgorzata Biernacka 1
Shuvendu Lahiri 1
Jan Bussche 1
Werner Nutt 1
Odile Papini 1
Stefan Rümmele 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Kristina Sojakova 1
Johan Thapper 1
Yuxin Deng 1
Yan Zhang 1
Iddo Tzameret 1
Anna Zamansky 1
M Biscaia 1
Guy Avni 1
Markus Krötzsch 1
Sebastian Rudolph 1
Dominique Larchey-Wendling 1
Didier Galmiche 1
Conrad Drescher 1
Martin Peim 1
Konstantinos Sagonas 1
Robert Simmons 1
Damiano Zanardini 1
Romain Péchoux 1
Lars Kristiansen 1
Oleg Verbitsky 1
Michael Wooldridge 1
André Platzer 1
Naghmeh Ghafari 1
Jeroen Keiren 1
Yann Loyer 1
Annalisa Bossi 1
Marijn Heule 1
Robert Ganian 1
Igor Walukiewicz 1
Emmanuel Dall'olio 1
Hitoshi Furusawa 1
Russell Impagliazzo 1
Helle Hansen 1
Nicolai Kraus 1
Neil Yorke-Smith 1
Wim Hesselink 1
John Dickerson 1
Churnjung Liau 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
Patrik Simons 1
Deborah East 1
Mikołaj Bojańczyk 1
Claire David 1
Robert Goldblatt 1
Hubert Comon 1
Zbigniew Lonc 1
Runyao Duan 1
Zhengfeng Ji 1
Adel Bouhoula 1
Peter Schneider-Kamp 1
Ursula Martin 1
Paulo Oliva 1
Paul Raff 1
Stijn Vansummeren 1
Yehoshua Sagiv 1
Stefan Szeider 1
Thomas Schneider 1
Joël Ouaknine 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
Jan Kára 1
Kedar Namjoshi 1
Detlef Kähler 1
Lara Spendier 1
Jianmin Ji 1
Pascal Hitzler 1
Hariolf Betz 1
Michele Bugliesi 1
Steven German 1
Teodor Przymusinski 1
Stefan Brass 1
Giacoma Monreale 1
Achille Frigeri 1
Giuseppe De Giacomo 1
Luigia Aiello 1
Nada Lavrač 1
Peter Flach 1
Victor Marek 1
Antonis Kakas 1
Helmut Schwichtenberg 1
James Lynch 1
Michael Warren 1
Christopher Hampson 1
Agi Kurucz 1
Amelie David 1
Pawel Mielniczuk 1
Stavros Tripakis 1
Manuel Clavel 1
Sabina Rossi 1
Howard Bowman 1
Peter Buneman 1
Floris Geerts 1
Katsumi Inoue 1
Enrica Nicolini 1
Alan Schmitt 1
Eryk Kopczyński 1
Jeremy Pitt 1
Carmen Gervet 1
Alessandro Armando 1
Georgios Paliouras 1
Francesco Scarcello 1
Terrance Swift 1
Ara Hayrapetyan 1
Nathalie Sznajder 1
Konstantinos Chatzikokolakis 1
Pavlos Peppas 1
Mantas Šimkus 1
James Bailey 1
Guozhu Dong 1
Sophie Laplante 1
Aleksandar Nanevski 1
Helmut Seidl 1
Tomi Janhunen 1
Mohua Banerjee 1
Anca Muscholl 1
Mihalis Yannakakis 1
Sebastian Danicic 1
Alban Ponse 1
Akitoshi Kawamura 1
Jürgen Giesl 1
Itay Neeman 1
Konstantin Korovin 1
Michael Bauland 1
Anastasia Analyti 1
Revantha Ramanayake 1
Włodzimierz Drabent 1
Matthew Stone 1
Arun Sharma 1
Nir Friedman 1
Roy Dyckhoff 1
Lutz Schröder 1
Ruggero Lanotte 1
Marco Bernardo 1
Diogo Henriques 1
César Domínguez 1
Julio Rubio 1
Liliana Pasquale 1
Raymond Reiter 1
Sebastian SardiñA 1
Emmanuel Polonowski 1
Sasha Rubin 1
Lutz Straßburger 1
Andreas Krebs 1
Massimo Benerecetti 1
Enrique Martin-Martin 1
Daniel Schwartz 1
Michael Boom 1
Greta Yorsh 1
Yuval Filmus 1
Alexander Rabinovich 1
Frank De Boer 1
Sofie Haesevoets 1
Eugenia Ternovska 1
Daniele Zucchelli 1
Sheila McIlraith 1
Hubie Chen 1
Reinhard Pichler 1
Harald Zankl 1
Carlo Furia 1
Bas Luttik 1
Francesca Scozzari 1
Prakash Panangaden 1
Jeroen Janssen 1
Kumud Sanwal 1
Zhaohui Luo 1
Carla Piazza 1
John Hitchcock 1
Kumar Verma 1
Sebastian Müller 1
Ulrich Schöpp 1
Matthias Horbach 1
Sarit Kraus 1
Anatoli Degtyarev 1
Andrei Bulatov 1
Marco Gaboardi 1
Manfred Schmidt-Schauß 1
Lutz Burger 1
Bjørn Kjos-Hanssen 1
Pavel Naumov 1
Joost Engelfriet 1
Flemming Nielson 1
Hanne Nielson 1
Dmitry Shkatov 1
Gianluigi Greco 1
Sara Cohen 1
Ian Hayes 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Oliver Kutz 1
Fred Mesnard 1
Mirco Nanni 1
Ron Van Der Meyden 1
Taolue Chen 1
Alexandru Mereacre 1
Arnon, Avron 1
Dirk Pattinson 1
Paola Bruscoli 1
Andreas Herzig 1
Yi Zhou 1
Benedikt Bollig 1
Ngoc Nguyen 1
Prahladh Harsha 1
Markus Lohrey 1
Jia Tao 1
Markus Aschinger 1
María Poza 1
Maciej Komosinski 1
Dorota Leszczyńska-Jasion 1
Paola Spoletini 1
Fariba Sadri 1
Agustín Valverde 1
David Pearce 1
Jean Moyen 1
Naohi Eguchi 1
Pierre Valarcher 1
Neil Jones 1
Bruce Kapron 1
Bakhadyr Khoussainov 1
Sara More 1
Christoph Berkholz 1
Bettina Fazzinga 1
Maciej Gazda 1
David Baelde 1
Cinzia Di Giusto 1

Affiliation Paper Counts
University of Seville 1
Institute of Computer Science Crete 1
University of Carthage 1
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
Laboratoire d'Analyse et Modelisation de Systemes pour l'Aide a la Decision 1
Universite Paris Saclay 1
University of Sussex 1
Weizmann Institute of Science Israel 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
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
University of Stirling 1
Institute of Software Chinese Academy of Sciences 1
University of Tokyo 1
University of Konstanz 1
University of Sydney 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 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
Universite de Caen Basse Normandie 1
INRIA Rocquencourt 1
Laval University 1
University of the Saarland 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
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
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
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
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
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 Normale Superieure de Cachan 2
Ecole des Mines de Nancy 2
University of Auckland 2
University of Houston 2
Google Inc. 2
Utrecht University 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
Macquarie University 2
Heriot-Watt University 2
University of Minho 2
Royal Holloway University of London 2
Brunel University 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
INRIA Saclay 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
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
Chinese Academy of Sciences 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
Laboratoire d'Informatique de l'Ecole Polytechnique 3
University of Aarhus 3
University of Copenhagen 3
University of Patras 3
University of Dortmund 3
Universite de Lyon 3
Universidade de Lisboa 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
INRIA Institut National de Rechereche en Informatique et en Automatique 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
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
Ecole Polytechnique 5
Ca' Foscari University of Venice 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
Aix Marseille Universite 5
Max Planck Institute for Informatics 6
University of Sheffield 6
King's College London 6
University of Warsaw 6
The University of Warwick 6
University of Udine 6
Royal Institute of Technology 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
RWTH Aachen University 8
University of Liverpool 8
University of Edinburgh 8
University of Pisa 8
Universitat Politecnica de Catalunya 9
Imperial College London 9
University of Naples Federico II 9
University Michigan Ann Arbor 9
Eindhoven University of Technology 9
University of Manchester 10
Tel Aviv University 10
Microsoft Research 10
Griffith University 10
Specifications and Verification Laboratory 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 Maryland 21
Carnegie Mellon University 21
University of Oxford 24
University of Roma La Sapienza 24
Vienna University of Technology 49

ACM Transactions on Computational Logic (TOCL)
Archive


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