ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

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

Where First-Order and Monadic Second-Order Logic Coincide

We study on which classes of graphs first-order logic (fo) and monadic second-order logic (mso) have the same expressive power. We show that for all... (more)

On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies

We study the proof complexity of Paris-Harrington’s Large Ramsey Theorem for bi-colorings of graphs and of off-diagonal Ramsey’s Theorem.... (more)

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 article, we show that... (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

Complexity of Two-variable Logic on Finite Trees

Verification of properties expressed in the two-variable fragment of first-order logic FO2 has been investi- gated in a number of contexts. The satisfiability problem for FO2 over arbitrary structures is known to be NEXPTIME-complete, with satisfiable formulas having exponential-sized models. Over words, where FO2 is known to have the same expressiveness as unary temporal logic, satisfiability is again NEXPTIME-complete. Over finite labelled ordered trees FO2 has the same expressiveness as navigational XPath, a popular query language for XML documents. Prior work on XPath and FO2 gives a 2EXPTIME bound for satisfiability of FO2 over trees. This work contains a comprehensive analysis of the complexity of FO2 on trees, and on the size and depth of models. We show that the exact complexity varies according to the vocabulary used, the presence or absence of a schema, and the encoding of labels on trees. We also look at a natural restriction of FO2, its guarded version, GF2. Our results depend on an analysis of types in models of FO2 formulas, including techniques for controlling the number of distinct subtrees, the depth, and the size of a witness to satisfiability for FO2 sentences over finite trees.

How Hard Is Positive Quantification?

We show that the constructive predicate logic with positive (covariant) quantification is hard for doubly exponential universal time, i.e., for the class co-2-Nexptime. Our approach is to represent proof-search as computation of an alternating automaton. The memory of the automaton is structured in a way that strictly corresponds to scopes of the binders used in the constructed proof. This provides an application of automata-theoretic techniques in proof theory.

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.

The equivalence of the torus and the product of two circles in homotopy type theory

Homotopy type theory is a new branch of mathematics which merges insights from abstract homotopy theory and higher category theory with those of logic and type theory. It allows us to represent a variety of mathematical objects as basic type-theoretic constructions, higher inductive types. We present a proof that in homotopy type theory, the torus is equivalent to the product of two circles. This result indicates that the synthetic definition of torus as a higher inductive type is indeed correct.

Parameterised Complexity of Satisfiability in Temporal Logic

We apply the concept of formula treewidth and pathwidth to computation tree logic (CTL), linear temporal logic (LTL), and the full branching time logic (CTL*). Several representations of formulas as graph-like structures are discussed, and corresponding notions of treewidth and pathwidth are introduced. As an application for such structures we present a classification in terms of parameterised complexity of the satisfiability problem, where we make use of Courcelles famous theorem for recognition of certain classes of structures. Our classification shows a dichotomy between W[1]-hard and fixed-parameter tractable operator fragments almost independently of the chosen graph representation. The only fragments which are proven to be in FPT are those which are restricted to the X operator. Further a generalisation of Courcelles theorem to infinite signatures is proven and used for the FPT-membership case. By investigating Boolean operator fragments in the sense of Posts lattice we achieve the same complexity as in the unrestricted case if the set of available Boolean functions can express the function negation of the implication. Conversely we show containment in FPT for almost all other clones.

Two-variable Logic with Counting and Trees

We consider the two-variable logic with counting quantifiers (C2) interpreted over finite structures that contain two forests of ranked trees. This logic is strictly more expressive than standard C2 and it is no longer a fragment of the first order logic. In particular, it can express that a structure is a ranked tree, a cycle or a connected graph of bounded degree. It is also strictly more expressive than the first-order logic with two variables and two successor relations of two finite linear orders. We give a decision procedure for the satisfiability problem for this logic. The procedure runs in NEXPTIME, which is optimal since the satisfiability problem for plain C2 is NEXPTIME-complete

A Hoare Logic for GPU Kernels

We study a Hoare Logic to reason about GPU kernels, which are parallel programs executed on GPUs. During execution of GPU kernels, multiple threads execute in lockstep, that is, execute the same instruction at a time. When control branches both branches are executed sequentially but during the execution of each branch only those threads that take it are enabled; after the control converges, all threads are enabled and execute in lockstep again. In this paper we first consider a semantics in which all threads execute in lockstep (this semantics simplifies the actual execution model of GPUs), and adapt Hoare Logic to this setting by adding an extra component representing the set of enabled threads to the usual Hoare triples. It turns out that soundness and relative completeness do not hold for all programs; a difficulty arises from the fact that one thread can invalidate the loop termination condition of another thread through shared memory. We overcome this difficulty by identifying an appropriate class of programs for which soundness and relative completeness hold. Additionally we discuss thread interleaving, which is present in the actual execution of GPUs but not in the lockstep semantics considered above. We show that if a program is race-free, then the lockstep and interleaving semantics produce the same result. This implies that our logic is sound and relatively complete for race-free programs even if the thread interleaving is taken into account.

Bibliometrics

Publication Years 2000-2016
Publication Count 452
Citation Count 4387
Available for Download 452
Downloads (6 weeks) 700
Downloads (12 Months) 7832
Downloads (cumulative) 132284
Average downloads per article 293
Average citations per article 10
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 Prize in Computing (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
Nicola Olivetti 5
Massimo Lauria 5
Ranko Lazić 5
Georg Gottlob 5
Marc Denecker 5
Paolo Liberatore 5
Frank Neven 4
Hans Tompits 4
Thomas Schwentick 4
Leonid Libkin 4
Michael Zakharyaschev 4
Michael Benedikt 4
Nadia Creignou 4
Luc Segoufin 4
Samir Genaim 4
Krishnendu Chatterjee 4
Joost Vennekens 3
Erich Grädel 3
Guido Fiorino 3
Aniello Murano 3
Fabio Mogavero 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
Frank Pfenning 3
Neil Thapen 3
Maurizio Gabbrielli 3
Joseph Halpern 3
Georg Struth 3
Stéphane Demri 3
Silvio Ghilardi 3
Fangzhen Lin 3
Jürgen Dix 3
Maria Meo 3
Dale Miller 3
Dexter Kozen 3
Jakob Nordström 3
Heribert Vollmer 3
Yuan Feng 3
Moshe Vardi 3
Chiaki Sakama 3
Gerardo Simari 3
Stefan Woltran 3
Rajeev Alur 3
Véronique Cortier 3
Jiahuai You 3
Alessio Guglielmi 3
Tony Tan 3
Albert Atserias 3
Nicola Galesi 3
Thomas Lukasiewicz 3
Ke Wang 3
Riccardo Rosati 2
Elvira Albert 2
Arie Gurfinkel 2
Valentin Goranko 2
John Derrick 2
Carsten Lutz 2
Arnold Beckmann 2
Torsten Schaub 2
Andrzej Murawski 2
Cristian Molinaro 2
Andrea Asperti 2
Simone Bova 2
Mirosław Truszczyński 2
Silvia Crafa 2
Paqui Lucio 2
Tim Willemse 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
Stefan Ratschan 2
Robert Harper 2
Scott Weinstein 2
Maria Bonacina 2
Alexander Artikis 2
Ugo Montanari 2
Renate Schmidt 2
Marek Sergot 2
Venkatramanan Subrahmanian 2
Frank Wolter 2
Laura Giordano 2
Luigi Palopoli 2
Orna Grumberg 2
Giovambattista Ianni 2
Axel Haddad 2
Olivier Serre 2
Daniele Nardi 2
Stephen Cook 2
Jeffery Zucker 2
Jakob Simonsen 2
Felix Klaedtke 2
Samuel Buss 2
Pierre Wolper 2
David Billington 2
Guido Governatori 2
Michael Maher 2
Simone Martini 2
Filippo Bonchi 2
Udi Boker 2
Camilla Schwind 2
Eugénie Foustoucos 2
Mariangiola Dezani-Ciancaglini 2
Olaf Beyersdorff 2
Ilka Schnoor 2
Frank Stephan 2
Jeremy Avigad 2
Ori Lahav 2
Manuel Bodirsky 2
Rob Van Glabbeek 2
Maurice Bruynooghe 2
John Tucker 2
Lawrence Paulson 2
Morgan Deters 2
Jean Raskin 2
Silvio Ranise 2
Stefano Bistarelli 2
Vladimir Lifschitz 2
Clare Dixon 2
Wan Fokkink 2
Paul Gastin 2
Karl Crary 2
Ralf Küsters 2
Henning Schnoor 2
Jean Marion 2
Mingsheng Ying 2
Valentina Gliozzi 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
Wouter Gelade 2
Agostino Dovier 2
Francesco Ranzato 2
Roman Kontchakov 2
Helmut Veith 2
Alwen Tiu 2
Michael Fisher 2
Kousha Etessami 2
Klaus Aehlig 2
Agata Ciabattoni 2
Arnaud Carayol 2
Uwe Egly 2
Florian Rabe 2
Victor Vianu 2
Trancao Son 2
Roberto Sebastiani 2
Giorgi Japaridze 2
Francesca Rossi 2
Ullrich Hustadt 2
Martin Grohe 2
Stavros Cosmadakis 2
Brigitte Pientka 2
Laurent Doyen 2
Guillem Godoy 2
Andrei Voronkov 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
William Wadge 2
Jónathan Heras 2
Colin Hirsch 1
Konstantinos Mamouras 1
Vincent Danos 1
Giuseppe Perelli 1
Dorota Leszczyńska-Jasion 1
Bakhadyr Khoussainov 1
Maciej Komosinski 1
Paola Spoletini 1
Yi Zhou 1
Benedikt Bollig 1
Ngoc Nguyen 1
K Leino 1
Cinzia Di Giusto 1
Daniel Stamate 1
David Baelde 1
José Meseguer 1
Qiang Yang 1
Chitta Baral 1
Nils Gesbert 1
Frédéric Benhamou 1
David Griffioen 1
Frits Vaandrager 1
Bart Kuijpers 1
Véronique Bruyère 1
Axel Legay 1
Matteo Rossi 1
Paolo Coppola 1
Alessandro Cimatti 1
Alberto Griggio 1
Luca Aceto 1
Martin Gebser 1
José Alferes 1
Mnacho Echenim 1
Luca Roversi 1
Raymond Mcdowell 1
Diego Figueira 1
Costas Koutras 1
Linh Nguyen 1
Adnan Aziz 1
Evelina Lamma 1
Roberto Cosmo 1
Martin Hofmann 1
Mateu Villaret 1
Luca Alfaro 1
Ugo de’Liguoro 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
Maciej Gazda 1
Thomas Wilke 1
Mario Bravetti 1
Roberto Gorrieri 1
David McAllester 1
Yangjia Li 1
Vasant Honavar 1
Xiaoping Chen 1
P Mateus 1
Thom Frühwirth 1
Michele Loreti 1
Clemens Ley 1
James Lynch 1
Giacoma Monreale 1
John Havlicek 1
Achille Frigeri 1
Benjamin Monmege 1
Pawel Mielniczuk 1
Marco Bernardo 1
Sabina Rossi 1
Amelie David 1
Manuel Clavel 1
Howard Bowman 1
Peter Buneman 1
Alan Schmitt 1
Georgios Paliouras 1
Eryk Kopczyński 1
Floris Geerts 1
Enrica Nicolini 1
Katsumi Inoue 1
Carmen Gervet 1
Jeremy Pitt 1
Alessandro Armando 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
Sebastian Danicic 1
Mohua Banerjee 1
Anca Muscholl 1
Mihalis Yannakakis 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
Agi Kurucz 1
Włodzimierz Drabent 1
Revantha Ramanayake 1
Matthew Stone 1
Arun Sharma 1
Lutz Schröder 1
Ruggero Lanotte 1
Nir Friedman 1
Martin Grohe 1
Roy Dyckhoff 1
Diogo Henriques 1
César Domínguez 1
Julio Rubio 1
Sebastian SardiñA 1
Emmanuel Polonowski 1
Raymond Reiter 1
Sasha Rubin 1
Liliana Pasquale 1
Alexander Rabinovich 1
Sheila McIlraith 1
Greta Yorsh 1
Harald Zankl 1
Frank De Boer 1
Sofie Haesevoets 1
Eugenia Ternovska 1
Daniele Zucchelli 1
Carlo Furia 1
Reinhard Pichler 1
Hubie Chen 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
Matthias Horbach 1
Ulrich Schöpp 1
Anatoli Degtyarev 1
Sarit Kraus 1
Lutz Burger 1
Marco Gaboardi 1
Andrei Bulatov 1
Manfred Schmidt-Schauß 1
Sara More 1
Pavel Naumov 1
Bjørn Kjos-Hanssen 1
Joost Engelfriet 1
Flemming Nielson 1
Hanne Nielson 1
Dmitry Shkatov 1
Gianluigi Greco 1
Sara Cohen 1
Lutz Straßburger 1
Andreas Krebs 1
Massimo Benerecetti 1
Ian Hayes 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Oliver Kutz 1
Fred Mesnard 1
Ron Van Der Meyden 1
Mirco Nanni 1
Dirk Pattinson 1
Paola Bruscoli 1
Daniel Schwartz 1
Yuval Filmus 1
Taolue Chen 1
Alexandru Mereacre 1
Arnon, Avron 1
Bart Bogaerts 1
Andreas Herzig 1
Prahladh Harsha 1
Markus Lohrey 1
Markus Aschinger 1
Jia Tao 1
María Poza 1
Fariba Sadri 1
Naohi Eguchi 1
Pierre Valarcher 1
Neil Jones 1
Enrique Martin-Martin 1
Michael Boom 1
Agustín Valverde 1
David Pearce 1
Jean Moyen 1
Bruce Kapron 1
Rémy Chrétien 1
Johannes Fichte 1
Francesco Donini 1
Piero Bonatti 1
Nils Klarlund 1
Benno Van Den Berg 1
Richard Garner 1
Jules Desharnais 1
Nam Tran 1
Wenfei Fan 1
Silvia Tomasi 1
Bertram Felgenhauer 1
Roberto Bruttomesso 1
Francesco Santini 1
Fang Wei 1
Matthew Bauer 1
Matthias Knorr 1
Ian Pratt-Hartmann 1
Ewa Madalińska-Bugaj 1
Vigyan Singhal 1
Diego Recupero 1
Chiuwo Choi 1
Edward Hung 1
Jack Lutz 1
Sebastiaan Terwijn 1
Michael Laurence 1
Venkatramanan Subrahmanian 1
Marcel Marquardt 1
Luís Pinto 1
Furio Honsell 1
Toni Mancini 1
Rob Arthan 1
Ferruccio Guidi 1
Nathalie Bertrand 1
Jan Johannsen 1
Austin Parker 1
Christian Urban 1
James Cheney 1
Sylvain Schmitz 1
Dan Suciu 1
Stephan Kreutzer 1
Christophe Rigotti 1
Francesco Quaglia 1
Ashish Tiwari 1
Laurent Michel 1
Nobuyuki Suzuki 1
Rachel Ben-Eliyahu -- Zohary 1
Martin Lange 1
Thierry Coquand 1
Jose Gaintzarain 1
Michael Elberfeld 1
Till Tantau 1
Julien Truffaut 1
Pierre Marquis 1
Doron Peled 1
Jeanchristoph Jung 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Danny De Schreye 1
Vladislav Ryzhikov 1
Toshiyasu Arai 1
Russell Harmer 1
Fabrizio Riguzzi 1
Adam Kups 1
Mariusz Urbański 1
Fabio Gadducci 1
Heike Wehrheim 1
Jan Otop 1
Emanuel Kieroński 1
Sandro Etalle 1
Barnaby Martin 1
Samuel Shen 1
Jeremy Bryans 1
Thomas Reps 1
Pierre Genevès 1
Albert Rubio 1
Anastasios Skarlatidis 1
Aart Middeldorp 1
Vincent Van Oostrom 1
Marc Christie 1
David Fernández-Duque 1
Mahesh Viswanathan 1
Lou Dries 1
Rakesh Verma 1
Sophia Knight 1
Robin Adams 1
Etienne Grandjean 1
Lise Getoor 1
Franco Montagna 1
Mathieu Turuani 1
Paola Mello 1
Paolo Torroni 1
Makoto Tatsuta 1
Yannick Chevalier 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
Giuliana Sabbatini 1
Lizhu Zhou 1
Martin Mundhenk 1
Francesco Parisi 1
Brijesh Dongol 1
Lian Wen 1
Jerzy Tiuryn 1
Sébastien Jodogne 1
Mark Ryan 1
Jean Puget 1
Laurent Perron 1
Isabelle Gnaedig 1
Hélène Kirchner 1
Sjoerd Cranen 1
Marc Vinyals 1
Mladen Mikša 1
Vincent Siles 1
Jeroen Ketema 1
H Macpherson 1
Lorenzo Carlucci 1
Mehrnoosh Sadrzadeh 1
M Praveen 1
Abu Masud 1
Angelos Charalambidis 1
Floor Sietsma 1
Eli Ben-Sasson 1
Viviana Bono 1
Robert Givan 1
Mingsheng Ying 1
Nengkun Yu 1
Giora Slutzki 1
Richard Mckinley 1
Stefan Milius 1
Rocco De Nicola 1
Bard Bloom 1
Johannes Schmidt 1
Alessandro Artale 1
Hector Levesque 1
Tristan Crolard 1
Balder Cate 1
Dominic Hughes 1
Cindy Eisner 1
Dana Fisman 1
Anthonywidjaja Lin 1
Vernon Asuncion 1
Krishnendu Chatterjee 1
Enrico Pontelli 1
Jakub Michaliszyn 1
Phuong Nguyen 1
Nicolas Spyratos 1
Michel Reniers 1
David Basin 1
Liyan Yuan 1
Marco Pedicini 1
Bernhard Möller 1
Marco Schaerf 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Jean Jouannaud 1
Nabil Layaïda 1
Eric Languénou 1
Frédéric Goualard 1
Nathan Segerlind 1
Rohit Chadha 1
Andrea Formisano 1
Stephan Schulz 1
Yiannis Moschovakis 1
Luca Iocchi 1
Yan Zhang 1
Alexander Kartzow 1
C Ong 1
Arthur Charlesworth 1
Rupak Majumdar 1
James Delgrande 1
Nicolas Peltier 1
Yavor Nenov 1
Michael Mendler 1
Catuscia Palamidessi 1
Mary Williams 1
Robert Brayton 1
Octavian Udrea 1
Richard Lassaigne 1
Hubert Comon-Lundh 1
Jimmy Lee 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
Robert Hierons 1
Arne Meier 1
Michael Thomas 1
Kazuhisa Makino 1
Alessandro Bianco 1
Joséespírito Santo 1
Marcin JurdzińSki 1
Fabio Alessi 1
James Harland 1
Kevin Donnelly 1
David Gray 1
Stefan Berghofer 1
Novak Novaković 1
Peter Lumsdaine 1
Adam Trybus 1
James Worrell 1
George Metcalfe 1
Dov Gabbay 1
Nicole Schweikardt 1
Aleksandar Ignjatović 1
Doron Bustan 1
Simone Tini 1
Andrea Masini 1
Simon Kramer 1
Wieger Wesselink 1
Enrico Marchioni 1
Wojciech Kazana 1
Marco Diciolla 1
Anders Mörtberg 1
Zhe Wang 1
Rodney Topor 1
Konstantinos Handjopoulos 1
Johan Wittocx 1
Marko Samer 1
Guy Rey 1
Mathieu Baudet 1
Sofie Verbaeten 1
Fabio Massacci 1
Martin Otto 1
Terrance Swift 1
Gerhard Schellhorn 1
Marc Zeitoun 1
Pavel Pudlák 1
Jan Smaus 1
Serenella Cerrito 1
Florent Madelaine 1
Marsha Chećhik 1
Annabelle McIver 1
Carroll Morgan 1
Christopher Stone 1
Alberto Momigliano 1
George Vouros 1
Christian Sattler 1
Sławomir Lasota 1
Alexander Razborov 1
Eugenio Omodeo 1
Dmitry Tishkovsky 1
Prakash Panangaden 1
Jan Rutten 1
Lan Zhang 1
Anna Ingólfsdóttir 1
Simona Perri 1
Roberto Giacobazzi 1
Matthias Broecheler 1
Gerald Lüttgen 1
Steven Schockaert 1
Ernie Cohen 1
Sylvain Peyronnet 1
Frédéric Magniez 1
Michel De Rougemont 1
Eugen Zălinescu 1
Anthonywidjaja To 1
Gianfranco Rossi 1
Giuseppe Giacomo 1
Susmit Sarkar 1
Federico Chesani 1
Paolo Ferraris 1
Simona Ronchi Della Rocca 1
Gilles Dowek 1
Hirotaka Ono 1
Franz Baader 1
Jason Teutsch 1
Jan Bergstra 1
Peter Thiemann 1
Erik Mathiesen 1
René Thiemann 1
Małgorzata Biernacka 1
Shuvendu Lahiri 1
Jan Bussche 1
Werner Nutt 1
Sergio Flesca 1
Odile Papini 1
Stefan Rümmele 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Oliver Friedmann 1
Johan Thapper 1
Kristina Sojakova 1
Iddo Tzameret 1
Anna Zamansky 1
Guy Avni 1
Conrad Drescher 1
Markus Krötzsch 1
Sebastian Rudolph 1
Martin Peim 1
Konstantinos Sagonas 1
M Biscaia 1
Dominique Larchey-Wendling 1
Didier Galmiche 1
Robert Simmons 1
Romain Péchoux 1
Lars Kristiansen 1
Antonio Flores-Montoya 1
Damiano Zanardini 1
Yan Zhang 1
Yuxin Deng 1
Naghmeh Ghafari 1
Yann Loyer 1
Annalisa Bossi 1
André Platzer 1
Jeroen Keiren 1
Emmanuel Dall'olio 1
Nicolai Kraus 1
Igor Walukiewicz 1
Russell Impagliazzo 1
Helle Hansen 1
Neil Yorke-Smith 1
John Dickerson 1
Churnjung Liau 1
Wim Hesselink 1
Anastasios Sidiropoulos 1
Peter Stuckey 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
Adel Bouhoula 1
Runyao Duan 1
Zhengfeng Ji 1
Stavros Tripakis 1
Paulo Oliva 1
Ursula Martin 1
Peter Schneider-Kamp 1
Paul Raff 1
Stijn Vansummeren 1
Yehoshua Sagiv 1
Stefan Szeider 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
Hitoshi Furusawa 1
Michael Wooldridge 1
Marta Kwiatkowska 1
Ian Zerny 1
Jérôme Lang 1
Jan Kára 1
Detlef Kähler 1
Lara Spendier 1
Michele Bugliesi 1
Kedar Namjoshi 1
Pascal Hitzler 1
Jianmin Ji 1
Hariolf Betz 1
Steven German 1
Teodor Przymusinski 1
Stefan Brass 1
Giuseppe De Giacomo 1
Luigia Aiello 1
Victor Marek 1
Antonis Kakas 1
Helmut Schwichtenberg 1
Nada Lavrač 1
Peter Flach 1
Robert Ganian 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
Saarland University 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
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, The State University of New Jersey 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
Lubeck University 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
Gottfried Wilhelm Leibniz Universitat 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
University of Liverpool 8
University of Edinburgh 8
University of Pisa 8
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
Universitat Politecnica de Catalunya 10
RWTH Aachen 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
University of Turin 14
University of Bologna 15
Catholic University of Leuven 16
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 4, September 2016  Issue-in-Progress
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