ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

Parametrised Complexity of Satisfiability in Temporal Logic

We apply the concept of formula treewidth and pathwidth to computation tree logic, linear temporal logic, and the full branching time logic. Several... (more)

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)

Index Problems for Game Automata

For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognize this language with a nondeterministic, alternating, or weak alternating parity automaton. These questions are known as, respectively, the nondeterministic, alternating, and weak Rabin-Mostowski index problems. Whether they can be... (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)

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

The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory

Homotopy type theory is a new branch of mathematics that merges insights from abstract homotopy theory and higher category theory with those of logic... (more)

How Hard Is Positive Quantification?

We show that the constructive predicate logic with positive (covariant) quantification is hard for doubly exponential universal time, that is, 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... (more)

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 first-order logic. In particular, it can express that a structure is a ranked tree, a cycle, or a connected graph of... (more)

Complexity of Two-Variable Logic on Finite Trees

Verification of properties expressed in the two-variable fragment of first-order logic FO2 has been investigated 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... (more)

NEWS

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

Datalog queries distributing over components

We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (positive) Datalog program distributes over components. Additionally, we show that connected Datalog-neg (the fragment of Datalog-neg where all rules are connected) provides an effective syntax for Datalog-neg programs that distribute over components under the stratified as well as under the well-founded semantics. As a corollary, we obtain a simple proof for one of the main results in previous work, namely, that the classic win-move query is in F2 (a particular class of coordination-free queries).

Quantified Constraint Satisfaction Problem on semicomplete digraphs

We study the (non-uniform) quantified constraint satisfaction problem QCSP$({\mathcal H})$ as ${\mathcal H}$ ranges over semicomplete digraphs. We obtain a complexity-theoretic trichotomy: QCSP$({\mathcal H})$ is either in P, is NP-complete or is Pspace-complete. The largest part of our work is the algebraic classification of precisely which semicompletes enjoy only essentially unary polymorphisms, which is combinatorially interesting in its own right.

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 458
Citation Count 4646
Available for Download 458
Downloads (6 weeks) 760
Downloads (12 Months) 7987
Downloads (cumulative) 134847
Average downloads per article 294
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
Michael Benedikt 5
Ranko Lazić 5
Georg Gottlob 5
Marc Denecker 5
Paolo Liberatore 5
Frank Neven 4
Hans Tompits 4
Leonid Libkin 4
Thomas Schwentick 4
Michael Zakharyaschev 4
Nadia Creignou 4
Luc Segoufin 4
Georg Struth 4
Samir Genaim 4
Krishnendu Chatterjee 4
Joost Vennekens 3
Erich Grädel 3
Guido Fiorino 3
Fabio Mogavero 3
Aniello Murano 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
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
Nicola Galesi 3
Alessio Guglielmi 3
Tony Tan 3
Albert Atserias 3
Thomas Lukasiewicz 3
Ke Wang 3
Simone Martini 2
Udi Boker 2
Eugénie Foustoucos 2
Mariangiola Dezani-Ciancaglini 2
Olaf Beyersdorff 2
Ilka Schnoor 2
Frank Stephan 2
Francesca Rossi 2
Elvira Albert 2
Brigitte Pientka 2
Ullrich Hustadt 2
Martin Grohe 2
Stavros Cosmadakis 2
Laurent Doyen 2
Valentin Goranko 2
John Derrick 2
Witold Charatonik 2
Arie Gurfinkel 2
Carsten Lutz 2
Arnold Beckmann 2
Simone Bova 2
Andrea Asperti 2
Andrzej Murawski 2
Torsten Schaub 2
Cristian Molinaro 2
Mirosław Truszczyński 2
Silvia Crafa 2
Emanuel Kieroński 2
Paqui Lucio 2
Tim Willemse 2
Marcello Bonsangue 2
Alexandra Silva 2
Gian Pozzato 2
Arnaud Durand 2
Nicola Leone 2
Juha Kontinen 2
Wolfgang Faber 2
Michael Kaminski 2
Axel Polleres 2
Panos Rondogiannis 2
Rohit Chadha 2
Scott Weinstein 2
James Worrell 2
Maria Bonacina 2
Stefan Ratschan 2
Robert Harper 2
Alexander Artikis 2
Renate Schmidt 2
Ugo Montanari 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
Jeffery Zucker 2
Kristina Sojakova 2
Stephen Cook 2
Jakob Simonsen 2
Felix Klaedtke 2
Filippo Bonchi 2
Samuel Buss 2
Pierre Wolper 2
David Billington 2
Guido Governatori 2
Michael Maher 2
Camilla Schwind 2
Guillem Godoy 2
Andrei Voronkov 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
William Wadge 2
Jónathan Heras 2
Maurice Bruynooghe 2
Jeremy Avigad 2
Ori Lahav 2
Manuel Bodirsky 2
Rob Van Glabbeek 2
Riccardo Rosati 2
John Tucker 2
Hitoshi Furusawa 2
Lawrence Paulson 2
Morgan Deters 2
Jean Raskin 2
Vladimir Lifschitz 2
Silvio Ranise 2
Stefano Bistarelli 2
Karl Crary 2
Clare Dixon 2
Wan Fokkink 2
Paul Gastin 2
Henning Schnoor 2
Ralf Küsters 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
Nachum Dershowitz 2
David Gilis 2
Anuj Dawar 2
Hana Chockler 2
Gerald Pfeifer 2
Amy Sliva 2
Dirk Vermeir 2
Michaël Rusinowitch 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
Arnaud Carayol 2
Uwe Egly 2
Florian Rabe 2
Victor Vianu 2
Trancao Son 2
Roberto Sebastiani 2
Giorgi Japaridze 2
Octavian Udrea 1
Hubert Comon-Lundh 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
James Harland 1
Fabio Alessi 1
Kevin Donnelly 1
David Gray 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
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
Mathieu Baudet 1
Guy Rey 1
Fabio Massacci 1
Sofie Verbaeten 1
Martin Otto 1
Terrance Swift 1
Gerhard Schellhorn 1
Pavel Pudlák 1
Marc Zeitoun 1
Serenella Cerrito 1
Filip Murlak 1
Alberto Momigliano 1
Florent Madelaine 1
Marsha Chećhik 1
Jan Smaus 1
Annabelle McIver 1
Carroll Morgan 1
Christopher Stone 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
Antonio Flores-Montoya 1
Susmit Sarkar 1
Gianfranco Rossi 1
Giuseppe Giacomo 1
Sylvain Peyronnet 1
Frédéric Magniez 1
Michel De Rougemont 1
Lan Zhang 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
Federico Chesani 1
Simona Ronchi Della Rocca 1
Paolo Ferraris 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
Odile Papini 1
Stefan Rümmele 1
Sergio Flesca 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Johan Thapper 1
Oliver Friedmann 1
M Biscaia 1
Iddo Tzameret 1
Anna Zamansky 1
Guy Avni 1
Markus KröTzsch 1
Sebastian Rudolph 1
Dominique Larchey-Wendling 1
Didier Galmiche 1
Conrad Drescher 1
Robert Simmons 1
Martin Peim 1
Konstantinos Sagonas 1
Romain Péchoux 1
Lars Kristiansen 1
Damiano Zanardini 1
Yan Zhang 1
Yuxin Deng 1
André Platzer 1
Ştefan Ciobâcă 1
Rastislav Lenhardt 1
Naghmeh Ghafari 1
Jeroen Keiren 1
Yann Loyer 1
Annalisa Bossi 1
Nicolai Kraus 1
Igor Walukiewicz 1
Emmanuel Dall'olio 1
Russell Impagliazzo 1
Helle Hansen 1
Andy King 1
Maurizio Lenzerini 1
Robert Ganian 1
Peter Stuckey 1
Neil Yorke-Smith 1
Churnjung Liau 1
Wim Hesselink 1
John Dickerson 1
Anastasios Sidiropoulos 1
Stijn Heymans 1
Davy Van Nieuwenborgh 1
Christoph Weidenbach 1
Marco Alberti 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
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
Marijn Heule 1
Oleg Verbitsky 1
Joël Ouaknine 1
Micah Adler 1
Foto Afrati 1
K Subramani 1
Holger Sturm 1
Salvatore Ruggieri 1
Michael Wooldridge 1
Marta Kwiatkowska 1
Ian Zerny 1
Jérôme Lang 1
Detlef Kähler 1
Kedar Namjoshi 1
Jan Kára 1
Lara Spendier 1
Pascal Hitzler 1
Hariolf Betz 1
Jianmin Ji 1
Michele Bugliesi 1
Luigia Aiello 1
Teodor Przymusinski 1
Stefan Brass 1
Giuseppe De Giacomo 1
Peter Flach 1
Victor Marek 1
Antonis Kakas 1
Steven German 1
Nada Lavrač 1
Helmut Schwichtenberg 1
James Lynch 1
Giacoma Monreale 1
Achille Frigeri 1
John Havlicek 1
Benjamin Monmege 1
Amelie David 1
Howard Bowman 1
Peter Buneman 1
Martin Grohe 1
Piotr Witkowski 1
Filip Mazowiecki 1
Marco Bernardo 1
Manuel Clavel 1
Sabina Rossi 1
Alan Schmitt 1
Pawel Mielniczuk 1
Georgios Paliouras 1
Eryk Kopczyński 1
Floris Geerts 1
Enrica Nicolini 1
Katsumi Inoue 1
Aleksandar Nanevski 1
Sophie Laplante 1
Jeremy Pitt 1
Carmen Gervet 1
Alessandro Armando 1
Francesco Scarcello 1
Ara Hayrapetyan 1
Terrance Swift 1
Nathalie Sznajder 1
Pavlos Peppas 1
Konstantinos Chatzikokolakis 1
Mantas Šimkus 1
James Bailey 1
Guozhu Dong 1
Helmut Seidl 1
Tomi Janhunen 1
Anca Muscholl 1
Mohua Banerjee 1
Sebastian Danicic 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
Christopher Hampson 1
Agi Kurucz 1
Włodzimierz Drabent 1
Michael Warren 1
Revantha Ramanayake 1
Matthew Stone 1
Arun Sharma 1
Nir Friedman 1
Lutz Schröder 1
Ruggero Lanotte 1
Roy Dyckhoff 1
Diogo Henriques 1
César Domínguez 1
Julio Rubio 1
Raymond Reiter 1
Sebastian SardiñA 1
Emmanuel Polonowski 1
Sasha Rubin 1
Liliana Pasquale 1
Steve Kremer 1
Bart Bogaerts 1
Greta Yorsh 1
Alexander Rabinovich 1
Sheila McIlraith 1
Harald Zankl 1
Frank De Boer 1
Sofie Haesevoets 1
Eugenia Ternovska 1
Daniele Zucchelli 1
Hubie Chen 1
Carlo Furia 1
Reinhard Pichler 1
Enrique Martin-Martin 1
Carla Piazza 1
Michael Boom 1
Bas Luttik 1
Francesca Scozzari 1
Jeroen Janssen 1
Prakash Panangaden 1
Kumud Sanwal 1
Zhaohui Luo 1
John Hitchcock 1
Kumar Verma 1
Sebastian Müller 1
Ulrich Schöpp 1
Matthias Horbach 1
Sarit Kraus 1
Anatoli Degtyarev 1
Andrei Bulatov 1
Lutz Burger 1
Marco Gaboardi 1
Manfred Schmidt-Schauß 1
Sara More 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
Massimo Benerecetti 1
Lutz Straßburger 1
Andreas Krebs 1
Ian Hayes 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Oliver Kutz 1
Fred Mesnard 1
Ron Van Der Meyden 1
Paola Bruscoli 1
Mirco Nanni 1
Dirk Pattinson 1
Yuval Filmus 1
Taolue Chen 1
Alexandru Mereacre 1
Arnon, Avron 1
Daniel Schwartz 1
Andreas Herzig 1
Prahladh Harsha 1
Jia Tao 1
Markus Lohrey 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
Bruce Kapron 1
Bakhadyr Khoussainov 1
Maciej Komosinski 1
Dorota Leszczyńska-Jasion 1
Paola Spoletini 1
Yi Zhou 1
Ngoc Nguyen 1
Benedikt Bollig 1
K Leino 1
Qiang Yang 1
Michał Skrzypczak 1
David Baelde 1
Cinzia Di Giusto 1
Daniel Stamate 1
José Meseguer 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
Alessandro Cimatti 1
Alberto Griggio 1
Paolo Coppola 1
Clemens Ley 1
Konstantinos Mamouras 1
Luca Aceto 1
Luca Roversi 1
Raymond Mcdowell 1
José Alferes 1
Martin Gebser 1
Mnacho Echenim 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
Christoph Berkholz 1
Bettina Fazzinga 1
Noga Alon 1
Bernard Boigelot 1
Alessio Lomuscio 1
Stefano Guerrini 1
Maciej Gazda 1
Pierre Marquis 1
Thomas Wilke 1
P Mateus 1
Vasant Honavar 1
Thom Frühwirth 1
Xiaoping Chen 1
Mario Bravetti 1
Roberto Gorrieri 1
David McAllester 1
Yangjia Li 1
Michele Loreti 1
Colin Hirsch 1
Vincent Danos 1
Giuseppe Perelli 1
Rémy Chrétien 1
Johannes Fichte 1
Francesco Donini 1
Piero Bonatti 1
Vincent Cheval 1
Wenfei Fan 1
Michael Elberfeld 1
Till Tantau 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
Edward Hung 1
Chiuwo Choi 1
Matthias Knorr 1
Ian Pratt-Hartmann 1
Ewa Madalińska-Bugaj 1
Vigyan Singhal 1
Diego Recupero 1
Jack Lutz 1
Sebastiaan Terwijn 1
Michael Laurence 1
Venkatramanan Subrahmanian 1
Marcel Marquardt 1
Luís Pinto 1
Furio Honsell 1
Toni Mancini 1
Rob Arthan 1
Ferruccio Guidi 1
Nathalie Bertrand 1
Jan Johannsen 1
Christian Urban 1
James Cheney 1
Austin Parker 1
Sylvain Schmitz 1
Dan Suciu 1
Christophe Rigotti 1
Stephan Kreutzer 1
Laurent Michel 1
Francesco Quaglia 1
Ashish Tiwari 1
Nobuyuki Suzuki 1
Rachel Ben-Eliyahu -- Zohary 1
Martin Lange 1
Thierry Coquand 1
Jose Gaintzarain 1
Julien Truffaut 1
Doron Peled 1
Jeanchristoph Jung 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Vladislav Ryzhikov 1
Danny De Schreye 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
Samuel Shen 1
Jeremy Bryans 1
Alessandro Facchini 1
Lorenzo Carlucci 1
Aleksy Schubert 1
Paweł Urzyczyn: 1
Daria Walukiewicz-Chrząszcz 1
Barnaby Martin 1
Sandro Etalle 1
Thomas Reps 1
Pierre Genevès 1
Vincent Van Oostrom 1
Aart Middeldorp 1
Albert Rubio 1
Anastasios Skarlatidis 1
Marc Christie 1
David Fernández-Duque 1
Franco Montagna 1
Lise Getoor 1
Etienne Grandjean 1
Mahesh Viswanathan 1
Balder Cate 1
Lou Dries 1
Rakesh Verma 1
Sophia Knight 1
Robin Adams 1
Mathieu Turuani 1
Paola Mello 1
Paolo Torroni 1
Makoto Tatsuta 1
Yannick Chevalier 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
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
Isabelle Gnaedig 1
Hélène Kirchner 1
Sjoerd Cranen 1
Mladen Mikša 1
Marc Vinyals 1
Vincent Siles 1
Jeroen Ketema 1
H Macpherson 1
Mehrnoosh Sadrzadeh 1
M Praveen 1
Abu Masud 1
Angelos Charalambidis 1
Floor Sietsma 1
Eli Ben-Sasson 1
Giora Slutzki 1
Stefan Milius 1
Richard Mckinley 1
Viviana Bono 1
Robert Givan 1
Mingsheng Ying 1
Nengkun Yu 1
Johannes Schmidt 1
Alessandro Artale 1
Anthonywidjaja Lin 1
Jakub Michaliszyn 1
Liyan Yuan 1
Saguy Benaim 1
Michel Reniers 1
Phuong Nguyen 1
Nicolas Spyratos 1
David Basin 1
Marco Schaerf 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Bernhard Möller 1
Nabil Layaïda 1
Jean Jouannaud 1
Frédéric Goualard 1
Eric Languénou 1
Andrea Formisano 1
Nathan Segerlind 1
Diego Calvanese 1
Richard Lassaigne 1
Jimmy Lee 1
Luca Iocchi 1
Stephan Schulz 1
Yiannis Moschovakis 1
Arthur Charlesworth 1
Michael Mendler 1
Yan Zhang 1
C Ong 1
Rupak Majumdar 1
Alexander Kartzow 1
Nicolas Peltier 1
Yavor Nenov 1
James Delgrande 1
Mary Williams 1
Catuscia Palamidessi 1
Rocco De Nicola 1
Bard Bloom 1
Hector Levesque 1
Tristan Crolard 1
Vernon Asuncion 1
Enrico Pontelli 1
Krishnendu Chatterjee 1
Cindy Eisner 1
Dana Fisman 1
Dominic Hughes 1
Robert Brayton 1

Affiliation Paper Counts
Universite Laval 1
Universitat des Saarlandes 1
Universidad de Sevilla 1
Institute of Computer Science Crete 1
University of Carthage 1
Vinh University 1
Institut universitaire romand de Sante au Travail 1
NEC Deutschland GmbH 1
Laboratoire d'Informatique Fondamentale de Marseille 1
Academic College of Tel-Aviv - Yaffo 1
Microsoft Research Cambridge 1
Universite de Bordeaux 1
Karlsruher Institut fur Technologie 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
Yale NUS College 1
Laboratoire Bordelais de Recherche en Informatique 1
Universitat Tubingen 1
University of Sussex 1
Weizmann Institute of Science Israel 1
Istituto Per Le Applicazioni Del Calcolo Mauro Picone, Rome 1
Universitat Kassel 1
Universitat der Bundeswehr Munchen 1
CSIC - Instituto de Investigacion en Inteligencia Artificial 1
Syddansk Universitet 1
Ikonomikon Panepistimion Athinon 1
Georgia Institute of Technology 1
Boston University 1
University of Birmingham 1
Universitat Paderborn 1
Universitat Bern 1
University of Twente 1
University of Bristol 1
Freescale Semiconductor 1
West Virginia University 1
International Business Machines 1
University of St Andrews 1
University of Durham 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
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
Universita degli Studi di Genova 1
University of Stirling 1
Institute of Software Chinese Academy of Sciences 1
University of Tokyo 1
Universitat Konstanz 1
University of Sydney 1
Alcatel-Lucent 1
Clarkson University 1
Ben-Gurion University of the Negev 1
Politecnico di Bari 1
University of California, Los Angeles 1
United States Military Academy at West Point 1
Ecole Polytechnique Federale de Lausanne 1
Stockholms universitet 1
Northeastern University 1
NICTA 1
Friedrich Schiller Universitat Jena 1
University of California, Riverside 1
European Commission 1
Universite de Versailles Saint-Quentin-en-Yvelines 1
Columbia University in the City of New York 1
Texas State 1
University of Queensland 1
Tokyo Institute of Technology 1
University of California System 1
Johannes Gutenberg Universitat Mainz 1
Tata Institute of Fundamental Research 1
Institute of Mathematical Sciences India 1
Universita degli Studi di Urbino 1
University of Wisconsin Madison 1
Universite de Caen Basse Normandie 1
INRIA Rocquencourt 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
Ethniko Metsovio Polytechnico 1
University of Haifa 1
Universita degli Studi di Perugia 1
Universidad de Malaga 1
Politechnika Warszawska 1
University of Peloponnese 1
Uppsala Universitet 1
Universita degli Studi di Parma 1
University of Illinois 1
University of Minnesota System 1
La Trobe University 1
Universitat Bonn 1
Technische Universitat Braunschweig 1
Universitat Leipzig 1
CNRS Centre National de la Recherche Scientifique 1
Medizinische Universitat Innsbruck 1
AT&T Laboratories Florham Park 1
National University of Ireland, Galway 1
Politechnika Poznanska 1
Vrije Universiteit Amsterdam 1
University of Wyoming 1
Hong Kong Polytechnic University 1
Australian National University 1
INP Grenoble 1
Purdue University 1
Linkopings universitet 1
Universitat de Girona 1
Harvard University 1
Avaya Inc. 1
Rijksuniversiteit Groningen 1
Universitetet i Oslo 1
Universite de Mons-Hainaut 1
Instytut Podstaw Informatyki Polskiej Akademii Nauk 1
Queensland University of Technology 1
Kyushu University 1
Royal Melbourne Institute of Technology University 1
University at Albany State University of New York 1
University of Leeds 1
BRICS Basic Research in Computer Science 1
INRIA Rhone-Alpes 1
Universidad de Chile 1
IDC 1
Universitat Marburg 1
Julius-Maximilians-Universitat Wurzburg 1
University of Hawaii at Manoa 1
Martin-Universitat Halle-Wittenberg 1
Institute of Informatics and Telecommunications, Athens 1
Capital University of EcoNomics and Business 1
Universitatea Alexandru Ioan Cuza 1
Kalamazoo College 1
University of Washington 1
University of Witwatersrand 1
Univerzita Karlova v Praze 1
Bryn Mawr College 1
Universitat Heidelberg 1
Academia Sinica Taiwan 1
ILOG 2
Panepistimio Kritis 2
University of Amsterdam 2
Chinese University of Hong Kong 2
Helsingin Yliopisto 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
Universitat Ulm 2
IBM Research 2
Kobe University 2
Universitat Trier 2
University of Massachusetts Amherst 2
University of Nottingham 2
Universitat Augsburg 2
Jacobs University Bremen 2
National University of Singapore 2
IBM Thomas J. Watson Research Center 2
INRIA Lorraine 2
Wright State University 2
Technische Universitat Dresden 2
Universita degli Studi dell'Aquila 2
University of Science and Technology of China 2
Macquarie University 2
Heriot-Watt University 2
Universidade do Minho 2
Royal Holloway University of London 2
Brunel University 2
New York University 2
Technische Universitat Clausthal 2
Universita degli Studi di Firenze 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
Universidad del Pais Vasco 2
McDaniel College 2
Universita degli Studi del Piemonte Orientale 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
Reykjavik University 2
Fondazione Bruno Kessler 2
Universite Paris-Est 2
Aalto University 2
Universidad del Pais Vasco - Euskal Herriko Unibertsitatea, Campus Bizkaia 2
Informatique, Biologie Integrative et Systemes Complexes 2
Villanova University 3
Universite Libre de Bruxelles 3
University of Illinois at Urbana-Champaign 3
Humboldt-Universitat zu Berlin 3
Chalmers Tekniska Hogskola 3
Pennsylvania State University 3
New Mexico State University Las Cruces 3
Universita degli Studi di Siena 3
Rice University 3
Universite Henri Poincare 3
Hong Kong University of Science and Technology 3
Libera Universita di Bolzano 3
Panepistimion Pireos 3
Technische Universitat Darmstadt 3
Danmarks Tekniske Universitet 3
Brown University 3
Universita degli Studi di Milano - Bicocca 3
Universidad de La Rioja 3
Universitat zu Lubeck 3
INRIA Institut National de Rechereche en Informatique et en Automatique 3
Uniwersytet im. Adama Mickiewicza w Poznaniu 3
University of Waterloo 3
University of Kentucky 3
Chinese Academy of Sciences 3
Leiden University 3
Universitat Potsdam 3
Universite Paul Cezanne Aix-Marseille III 3
University of Technology Sydney 3
Wakayama University 3
Universidad Politecnica de Madrid 3
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications 3
Laboratoire d'Informatique de l'Ecole Polytechnique 3
Aarhus Universitet 3
Kobenhavns Universitet 3
Panepistimion Patron 3
Universitat Dortmund 3
Universite de Lyon 3
INRIA Saclay 3
Universidade de Lisboa 3
Universita degli Studi G. d'Annunzio Chieti e Pescara 4
Alcatel-Lucent Bell Labs 4
University of Innsbruck 4
University of Kent 4
Centrum voor Wiskunde en Informatica 4
Christian-Albrechts-Universitat zu Kiel 4
Stanford University 4
University of Texas at Austin 4
Universita degli Studi di Trento 4
Radboud University Nijmegen 4
University of Western Sydney 4
Universite Simon Fraser 4
Technische Universitat Munchen 4
Queen Mary, University of London 4
Universita degli Studi di Ferrara 4
UC Berkeley 4
Universitat Freiburg im Breisgau 4
Eidgenossische Technische Hochschule Zurich 4
Vrije Universiteit Brussel 4
University of Cambridge 4
Akademie Ved Ceske Republiky 4
Universidade Nova de Lisboa 4
Laboratoire d'Informatique de Nantes-Atlantique 4
Laboratoire de Recherche en Informatique 4
Universita degli Studi di Padova 5
Universite de Liege 5
McGill University 5
Swansea University 5
Gottfried Wilhelm Leibniz Universitat 5
Universita degli Studi dell'Insubria 5
University of Pennsylvania 5
Universitat Bremen 5
Birkbeck University of London 5
Ecole Polytechnique 5
Universita Ca' Foscari Venezia 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
Universita degli Studi di Verona 5
Aix Marseille Universite 5
Max Planck Institut fur Informatik 6
King's College London 6
The University of Warwick 6
Universita degli Studi di Udine 6
University of Sheffield 7
Sveriges Storsta Tekniska Universitet 7
Cornell University 7
Uniwersytet Wroclawski 7
Technion - Israel Institute of Technology 7
Universidad Complutense de Madrid 7
Ludwig-Maximilians-Universitat Munchen 7
Institute of Science and Technology Austria 7
Universite Paris 7- Denis Diderot 8
University of Liverpool 8
University of Edinburgh 8
Universita di Pisa 8
Imperial College London 9
Universita degli Studi di Napoli Federico II 9
University Michigan Ann Arbor 9
Technische Universiteit Eindhoven 9
University of Manchester 10
Tel Aviv University 10
Universitat Politecnica de Catalunya 10
Rheinisch-Westfalische Technische Hochschule Aachen 10
Microsoft Research 10
Griffith University 10
Laboratoire Specification et Verification 10
Universita degli Studi di Milano 11
Hebrew University of Jerusalem 12
Uniwersytet Warszawski 12
University of Toronto 12
Universiteit Hasselt 13
Universita della Calabria 13
Universita degli Studi di Torino 14
Alma Mater Studiorum Universita di Bologna 15
Katholieke Universiteit Leuven 16
University of Maryland 21
Carnegie Mellon University 22
Universita degli Studi di Roma La Sapienza 24
University of Oxford 28
Technische Universitat Wien 49

ACM Transactions on Computational Logic (TOCL)
Archive


2017
Volume 18 Issue 1, January 2017  Issue-in-Progress

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