ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

Automated Generation of Erotetic Search Scenarios

This article concerns automated generation and processing of erotetic search scenarios (ESSs). ESSs are formal constructs characterized in Inferential... (more)

Expressiveness of Logic Programs under the General Stable Model Semantics

Stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical... (more)

Graph Logics with Rational Relations

Graph databases make use of logics that combine traditional first-order features with navigation on paths, in the same way logics for model checking do. However, modern applications of graph databases impose a new requirement on the expressiveness of the logics: they need comparing labels of paths based on word relations (such as prefix, subword,... (more)

The NP Search Problems of Frege and Extended Frege Proofs

We study consistency search problems for Frege and extended Frege proofs—namely the NP search problems of finding syntactic errors in Frege and... (more)

Faster Statistical Model Checking for Unbounded Temporal Properties

We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, including full linear... (more)

An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

We provide a new algorithm to determine stuttering equivalence with time complexity O(mlogn), where... (more)

Verifying Procedural Programs via Constrained Rewriting Induction

This article aims to develop a verification method for procedural programs via a transformation into logically constrained term rewriting systems... (more)

Possibilistic Justification Logic

Justification logic originated from the study of the logic of proofs. However, in a more general setting, it may be regarded as a kind of explicit epistemic logic. In such logic, the reasons a fact is believed are explicitly represented as justification terms. Traditionally, the modeling of uncertain beliefs is crucially important for epistemic... (more)

Progression of Decomposed Local-Effect Action Theories

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of weakly related or... (more)

Uniqueness of Normal Forms for Shallow Term Rewrite Systems

Uniqueness of normal forms (UN=) is an important property of term rewrite systems. UN= is decidable for ground (i.e., variable-free)... (more)

NEWS

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

Forthcoming Articles

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of Horn formulas with diamonds is undecidable for any type of linear orders and semantics. On the contrary, satisfiability of Horn formulas with boxes is tractable over both dis- crete and dense orders under the reflexive semantics and over dense orders under the irreflexive semantics, but becomes undecidable over discrete orders under the irreflexive semantics. Satisfiability of binary Horn formulas with both boxes and diamonds is always undecidable under the irreflexive semantics.

Collapsible Pushdown Automata and Recursion Schemes

We consider recursion schemes (not assumed to be homogeneously typed, and hence not necessarily safe) and use them as generators of (possibly infinite) ranked trees. A recursion scheme is essentially a finite typed {deterministic term} rewriting system that generates, when one applies the rewriting rules ad infinitum, an infinite tree, called its value tree. A fundamental question is to provide an equivalent description of the trees generated by recursion schemes by a class of machines. In this paper we answer this open question by introducing collapsible pushdown automata (CPDA), which are an extension of deterministic (higher-order) pushdown automata. A CPDA generates a tree as follows. One considers its transition graph, unfolds it and contracts its silent transitions, which leads to an infinite tree which is finally node labelled thanks to a map from the set of control states of the CPDA to a ranked alphabet. Our contribution is to prove that these two models, higher-order recursion schemes and collapsible pushdown automata, are equi-expressive for generating infinite ranked trees. This is achieved by giving an effective transformations in both directions.

The Complexity of Phylogeny Constraint Satisfaction Problems

We systematically study the computational complexity of a broad class of computational problems in phylogenetic reconstruction. The class contains for example the rooted triple consistency problem, forbidden subtree problems, the quartet consistency problem, and many other problems studied in the bioinformatics literature. The studied problems can be described as constraint satisfaction problems where the constraints have a first-order definition over the rooted triple relation. We show that every such phylogeny problem can be solved in polynomial time or is NP-complete. On the algorithmic side, we generalize a well-known polynomial-time algorithm of Aho, Sagiv, Szymanski, and Ullman for the rooted triple consistency problem. Our algorithm repeatedly solves linear equation systems to construct a solution in polynomial time. We then show that every phylogeny problem that cannot be solved by our algorithm is NP-complete. Our classification establishes a dichotomy for a large class of infinite structures that we believe is of independent interest in universal algebra, model theory, and topology. The proof of our main result combines results and techniques from various research areas: a recent classification of the model-complete cores of the reducts of the homogeneous binary branching C-relation, Leeb's Ramsey theorem for rooted trees, and universal algebra.

The probability of a computable output from a random oracle

Consider a universal Turing machine that produces a partial or total function (or a binary stream), based on the answers to the binary queries that it makes during the computation. We study the probability that the machine will produce a computable function when it is given a random stream of bits as the answers to its queries. Surprisingly, we find that these probabilities are the entire class of real numbers in (0, 1) that can be written as the difference of two halting probabilities relative to the halting problem. In particular, there are universal Turing machines which produce a computable output with probability exactly 1/2. Our results contrast a large array of facts (the most well-known being the randomness of Chaitin's halting probability) which witness maximal initial segment complexity of probabilities associated with universal machines. Our proof uses recent advances in algorithmic randomness.

The Logical View on Continuous Petri Nets

Continuous Petri nets are a relaxation of classical discrete Petri nets in which transitions can be fired a fractional number of times, and consequently places may contain a fractional number of tokens. Such continuous Petri nets are an appealing object to study since they over approximate the set of reachable configurations of their discrete counterparts, and their reachability problem is known to be decidable in polynomial time. The starting point of this paper is to show that the reachability relation for continuous Petri nets is definable by a sentence of linear size in the existential theory of the rationals with addition and order. Using this characterization, we obtain decidability and complexity results for a number of classical decision problems for continuous Petri nets. In particular, we settle the open problem about the precise complexity of reachability set inclusion. Finally, we show how continuous Petri nets can be incorporated inside the classical backward coverability algorithm for discrete Petri nets as a pruning heuristic in order to tackle the symbolic state explosion problem. The cornerstone of the approach we present is that our logical characterization enables us to leverage the power of modern SMT-solvers in order to yield a highly performant and robust decision procedure for coverability in Petri nets. We demonstrate the applicability of our approach on a set of standard benchmarks from the literature.

Bibliometrics

Publication Years 2000-2017
Publication Count 475
Citation Count 4739
Available for Download 475
Downloads (6 weeks) 1473
Downloads (12 Months) 8898
Downloads (cumulative) 139259
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 ACM Presidential Award (2017)
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
Thomas Henzinger 6
VS Subrahmanian 6
Frank Neven 5
Nicola Olivetti 5
Massimo Lauria 5
Michael Benedikt 5
Ranko Lazić 5
Georg Gottlob 5
Marc Denecker 5
Paolo Liberatore 5
Hans Tompits 4
Leonid Libkin 4
Thomas Schwentick 4
Michael Zakharyaschev 4
Nadia Creignou 4
Luc Segoufin 4
Georg Struth 4
Stefan Woltran 4
Krishnendu Chatterjee 4
Joost Vennekens 3
Arnold Beckmann 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
Samuel Buss 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
Samir Genaim 3
Gerardo Simari 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
Scott Weinstein 2
Rohit Chadha 2
James Worrell 2
Robert Harper 2
Alexander Artikis 2
Maria Bonacina 2
Stefan Ratschan 2
Renate Schmidt 2
Ugo Montanari 2
Marek Sergot 2
Venkatramanan Subrahmanian 2
Frank Wolter 2
Arne Meier 2
Laura Giordano 2
Orna Grumberg 2
Luigi Palopoli 2
Giovambattista Ianni 2
Axel Haddad 2
Olivier Serre 2
Daniele Nardi 2
Jeffery Zucker 2
Stephen Cook 2
Kristina Sojakova 2
Jakob Simonsen 2
Felix Klaedtke 2
Filippo Bonchi 2
David Billington 2
Guido Governatori 2
Michael Maher 2
Simone Martini 2
Pierre Wolper 2
Camilla Schwind 2
Udi Boker 2
Eugénie Foustoucos 2
Mariangiola Dezani-Ciancaglini 2
Olaf Beyersdorff 2
Ullrich Hustadt 2
Elvira Albert 2
Brigitte Pientka 2
Martin Grohe 2
Stavros Cosmadakis 2
Laurent Doyen 2
Guillem Godoy 2
Andrei Voronkov 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
William Wadge 2
Jónathan Heras 2
Maurice Bruynooghe 2
Ilka Schnoor 2
Frank Stephan 2
Jeremy Avigad 2
Stefan Rümmele 2
Ori Lahav 2
Manuel Bodirsky 2
ROB Van Glabbeek 2
Damiano Zanardini 2
Riccardo Rosati 2
John Tucker 2
Hitoshi Furusawa 2
Lawrence Paulson 2
Morgan Deters 2
Jean Raskin 2
Silvio Ranise 2
Vladimir Lifschitz 2
Stefano Bistarelli 2
Clare Dixon 2
Karl Crary 2
Wan Fokkink 2
Churnjung Liau 2
Paul Gastin 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
Hana Chockler 2
Gerald Pfeifer 2
Amy Sliva 2
Dirk Vermeir 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
Maciej Komosinski 2
Florian Rabe 2
Victor Vianu 2
Roberto Sebastiani 2
Trancao Son 2
Giorgi Japaridze 2
Francesca Rossi 2
Valentin Goranko 2
John Derrick 2
Witold Charatonik 2
Arie Gurfinkel 2
Carsten Lutz 2
Simone Bova 2
Andrzej Murawski 2
Torsten Schaub 2
Andrea Asperti 2
Cristian Molinaro 2
Mirosław Truszczyński 2
Silvia Crafa 2
Adam Kups 2
Emanuel Kieroński 2
Paqui Lucio 2
Barnaby Martin 2
Tim Willemse 2
Marcello Bonsangue 2
Alexandra Silva 2
Gian Pozzato 2
Arnaud Durand 2
Juha Kontinen 2
Nicola Leone 2
Wolfgang Faber 2
Rakesh Verma 2
Michael Kaminski 2
Axel Polleres 2
Panos Rondogiannis 2
Rémy Chrétien 1
Johannes Fichte 1
Francesco Donini 1
Piero Bonatti 1
Wenfei Fan 1
Vincent Cheval 1
Michael Elberfeld 1
Till Tantau 1
Benno Van Den Berg 1
Richard Garner 1
Silvia Tomasi 1
Jules Desharnais 1
Nam Tran 1
Bertram Felgenhauer 1
Roberto Bruttomesso 1
Matthew Bauer 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
Ferruccio Guidi 1
Rob Arthan 1
Nathalie Bertrand 1
James Cheney 1
Jan Johannsen 1
Christian Urban 1
Sylvain Schmitz 1
Austin Parker 1
Dan Suciu 1
Christophe Rigotti 1
Ashish Tiwari 1
Laurent Michel 1
Stephan Kreutzer 1
Francesco Quaglia 1
Rachel Ben-Eliyahu -- Zohary 1
Nobuyuki Suzuki 1
Martin Lange 1
Thierry Coquand 1
Jose Gaintzarain 1
Julien Truffaut 1
Doron Peled 1
Jeanchristoph Jung 1
Nils Klarlund 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Vladislav Ryzhikov 1
Danny De Schreye 1
Toshiyasu Arai 1
Russell Harmer 1
Mariusz Urbański 1
Heike Wehrheim 1
Fabrizio Riguzzi 1
Fabio Gadducci 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
Sandro Etalle 1
Thomas Reps 1
Pierre Genevès 1
Albert Rubio 1
Anastasios Skarlatidis 1
Vincent Van Oostrom 1
Marc Christie 1
David Fernández-Duque 1
Mahesh Viswanathan 1
Balder Cate 1
Franco Montagna 1
Lise Getoor 1
Etienne Grandjean 1
Lou Dries 1
Sophia Knight 1
Robin Adams 1
Makoto Tatsuta 1
Mathieu Turuani 1
Paolo Torroni 1
Yannick Chevalier 1
Paola Mello 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
Brijesh Dongol 1
Lian Wen 1
Jerzy Tiuryn 1
Sébastien Jodogne 1
Marco Pedicini 1
Jean Puget 1
Laurent Perron 1
Isabelle Gnaedig 1
Hélène Kirchner 1
M Praveen 1
Mark Ryan 1
Sjoerd Cranen 1
Vincent Siles 1
Jeroen Ketema 1
H Macpherson 1
Mladen Mikša 1
Marc Vinyals 1
Abu Masud 1
Floor Sietsma 1
Mehrnoosh Sadrzadeh 1
Angelos Charalambidis 1
Eli Ben-Sasson 1
Giora Slutzki 1
Stefan Milius 1
Przemysław Daca 1
Jan Křetínský 1
Pablo Barceló 1
Viviana Bono 1
Johannes Schmidt 1
Richard Mckinley 1
Robert Givan 1
Mingsheng Ying 1
Nengkun Yu 1
Alessandro Artale 1
Rocco De Nicola 1
Bard Bloom 1
Hector Levesque 1
Tristan Crolard 1
Dominic Hughes 1
Anthonywidjaja Lin 1
Enrico Pontelli 1
Krishnendu Chatterjee 1
Vernon Asuncion 1
Cindy Eisner 1
Dana Fisman 1
Kensuke Kojima 1
Martin Luck 1
Davide Sangiorgi 1
Jakub Michaliszyn 1
Liyan Yuan 1
Phuong Nguyen 1
Saguy Benaim 1
David Basin 1
Michel Reniers 1
Nicolas Spyratos 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Marco Schaerf 1
Bernhard Möller 1
Nabil Layaïda 1
Jean Jouannaud 1
Eric Languénou 1
Frédéric Goualard 1
Andrea Formisano 1
Nathan Segerlind 1
Diego Calvanese 1
Richard Lassaigne 1
Jimmy Lee 1
Yiannis Moschovakis 1
Luca Iocchi 1
Stephan Schulz 1
Yan Zhang 1
C Ong 1
Arthur Charlesworth 1
Rupak Majumdar 1
Alexander Kartzow 1
Nicolas Peltier 1
Yavor Nenov 1
James Delgrande 1
Michael Mendler 1
Mary Williams 1
Catuscia Palamidessi 1
Robert Brayton 1
Hubert Comon-Lundh 1
Octavian Udrea 1
Viorica Sofronie-Stokkermans 1
Elio Giovannetti 1
Marco Gavanelli 1
Ilkka Niemelä 1
Dietmar Seipel 1
Adrià Gascón 1
Stefano Berardi 1
Robert Hierons 1
Michael Thomas 1
Kazuhisa Makino 1
Alessandro Bianco 1
Joséespírito Santo 1
Marcin Jurdziński 1
James Harland 1
Fabio Alessi 1
David Gray 1
Kevin Donnelly 1
Stefan Berghofer 1
Novak Novaković 1
Peter Lumsdaine 1
Adam Trybus 1
Nicole Schweikardt 1
George Metcalfe 1
Dov Gabbay 1
Aleksandar Ignjatović 1
Doron Bustan 1
Simone Tini 1
Simon Kramer 1
Wieger Wesselink 1
Andrea Masini 1
Zhe Wang 1
Rodney Topor 1
Wojciech Kazana 1
Marco Diciolla 1
Anders Mörtberg 1
Johan Wittocx 1
Marko Samer 1
Enrico Marchioni 1
Konstantinos Handjopoulos 1
Carsten Fuhs 1
Tuanfang Fan 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
Irena Schindler 1
Adrian Haret 1
Petar Dapić 1
Serenella Cerrito 1
Alberto Momigliano 1
Filip Murlak 1
Jan Smaus 1
Florent Madelaine 1
Annabelle McIver 1
Carroll Morgan 1
Christopher Stone 1
Marsha Chećhik 1
George Vouros 1
Christian Sattler 1
Sławomir Lasota 1
Dmitry Tishkovsky 1
Prakash Panangaden 1
Jan Rutten 1
Alexander Razborov 1
Eugenio Omodeo 1
Lan Zhang 1
Antonio Flores-Montoya 1
Susmit Sarkar 1
Gianfranco Rossi 1
Sylvain Peyronnet 1
Giuseppe Giacomo 1
Frédéric Magniez 1
Michel De Rougemont 1
Anna Ingólfsdóttir 1
Simona Perri 1
Roberto Giacobazzi 1
Gerald Lüttgen 1
Matthias Broecheler 1
Steven Schockaert 1
Ernie Cohen 1
Eugen Zălinescu 1
Anthonywidjaja To 1
Federico Chesani 1
Paolo Ferraris 1
Simona Ronchi Della Rocca 1
Gilles Dowek 1
Hirotaka Ono 1
Jason Teutsch 1
Franz Baader 1
Jan Bergstra 1
Peter Thiemann 1
René Thiemann 1
Erik Mathiesen 1
Shuvendu Lahiri 1
Małgorzata Biernacka 1
Jan Bussche 1
Werner Nutt 1
Sergio Flesca 1
Odile Papini 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Oliver Friedmann 1
Johan Thapper 1
Iddo Tzameret 1
Anna Zamansky 1
Guy Avni 1
M Biscaia 1
Luis Moraes 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
Lars Kristiansen 1
Romain Péchoux 1
Yan Zhang 1
Yuxin Deng 1
Atsushi Igarashi 1
André Platzer 1
Ştefan Ciobâcă 1
Naghmeh Ghafari 1
Rastislav Lenhardt 1
Annalisa Bossi 1
Jeroen Keiren 1
Yann Loyer 1
Nicolai Kraus 1
Igor Walukiewicz 1
Aart Middeldorp 1
Emmanuel Dall'olio 1
Helle Hansen 1
Russell Impagliazzo 1
Robert Ganian 1
Andy King 1
Maurizio Lenzerini 1
Peter Stuckey 1
Neil Yorke-Smith 1
Wim Hesselink 1
John Dickerson 1
Anastasios Sidiropoulos 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
Zbigniew Lonc 1
Hubert Comon 1
Adel Bouhoula 1
Runyao Duan 1
Zhengfeng Ji 1
Stavros Tripakis 1
Peter Schneider-Kamp 1
Paulo Oliva 1
Ursula Martin 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
Salvatore Ruggieri 1
Holger Sturm 1
Marta Kwiatkowska 1
Ian Zerny 1
Jérôme Lang 1
Michael Wooldridge 1
Jan Kára 1
Kedar Namjoshi 1
Detlef Kähler 1
Lara Spendier 1
Tatjana Petrov 1
Hariolf Betz 1
Michele Bugliesi 1
Pascal Hitzler 1
Jianmin Ji 1
Steven German 1
Teodor Przymusinski 1
Stefan Brass 1
Nada Lavrač 1
Peter Flach 1
Victor Marek 1
Giuseppe De Giacomo 1
Luigia Aiello 1
Antonis Kakas 1
Helmut Schwichtenberg 1
James Lynch 1
Giacoma Monreale 1
Achille Frigeri 1
Benjamin Monmege 1
John Havlicek 1
Tom Ameloot 1
Peter Buneman 1
Amelie David 1
Howard Bowman 1
Martin Grohe 1
Piotr Witkowski 1
Filip Mazowiecki 1
Marco Bernardo 1
Manuel Clavel 1
Sabina Rossi 1
Pawel Mielniczuk 1
Alan Schmitt 1
Georgios Paliouras 1
Floris Geerts 1
Enrica Nicolini 1
Eryk Kopczyński 1
Katsumi Inoue 1
Aleksandar Nanevski 1
Sophie Laplante 1
Jeremy Pitt 1
Carmen Gervet 1
Alessandro Armando 1
Ara Hayrapetyan 1
Francesco Scarcello 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
Mohua Banerjee 1
Anca Muscholl 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
Michael Warren 1
Christopher Hampson 1
Agi Kurucz 1
Revantha Ramanayake 1
Włodzimierz Drabent 1
Matthew Stone 1
Arun Sharma 1
Nir Friedman 1
Ruggero Lanotte 1
Lutz Schröder 1
Roy Dyckhoff 1
Diogo Henriques 1
Cynthia Kop 1
Heng Zhang 1
César Domínguez 1
Julio Rubio 1
Sebastian SardiñA 1
Raymond Reiter 1
Emmanuel Polonowski 1
Sasha Rubin 1
Liliana Pasquale 1
Isabella Mastroeni 1
Steve Kremer 1
Bart Bogaerts 1
Greta Yorsh 1
Alexander Rabinovich 1
Sheila McIlraith 1
Stefano Guerrini 1
Pierre Marquis 1
Thomas Wilke 1
Vasant Honavar 1
P Mateus 1
Pablo Muñoz 1
Yan Zhang 1
Szymon Chlebowski 1
Thom Frühwirth 1
David McAllester 1
Xiaoping Chen 1
Mario Bravetti 1
Roberto Gorrieri 1
Yangjia Li 1
Michele Loreti 1
Colin Hirsch 1
Vincent Danos 1
Giuseppe Perelli 1
Samir Genaim 1
Bas Ketsman 1
Daniel Zinn 1
Petar Marković 1
Agustín Valverde 1
David Pearce 1
Naohi Eguchi 1
Pierre Valarcher 1
Neil Jones 1
Bruce Kapron 1
Fariba Sadri 1
Jean Moyen 1
Dorota Leszczyńska-Jasion 1
Bakhadyr Khoussainov 1
Ngoc Nguyen 1
Paola Spoletini 1
Yi Zhou 1
Benedikt Bollig 1
K Leino 1
Qiang Yang 1
Michał Skrzypczak 1
David Baelde 1
José Meseguer 1
Cinzia Di Giusto 1
Daniel Stamate 1
Nils Gesbert 1
Chitta Baral 1
Frédéric Benhamou 1
Bart Kuijpers 1
David Griffioen 1
Frits Vaandrager 1
Véronique Bruyère 1
Paolo Coppola 1
Axel Legay 1
Matteo Rossi 1
Alessandro Cimatti 1
Alberto Griggio 1
Konstantinos Mamouras 1
Clemens Ley 1
Luca Aceto 1
Martin Gebser 1
José Alferes 1
Mnacho Echenim 1
Raymond Mcdowell 1
Luca Roversi 1
Diego Figueira 1
Costas Koutras 1
Linh Nguyen 1
Adnan Aziz 1
Roberto Cosmo 1
Evelina Lamma 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
Maciej Gazda 1
Harald Zankl 1
Sofie Haesevoets 1
Daniele Zucchelli 1
Frank De Boer 1
Eugenia Ternovska 1
Hubie Chen 1
Carlo Furia 1
Reinhard Pichler 1
Michael Boom 1
Enrique Martin-Martin 1
Carla Piazza 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
Manfred Schmidt-Schauß 1
Anatoli Degtyarev 1
Sarit Kraus 1
Andrei Bulatov 1
Lutz Burger 1
Marco Gaboardi 1
Bjørn Kjos-Hanssen 1
Sara More 1
Pavel Naumov 1
Joost Engelfriet 1
Flemming Nielson 1
Hanne Nielson 1
Dmitry Shkatov 1
Gianluigi Greco 1
Sara Cohen 1
Lutz Straßburger 1
Massimo Benerecetti 1
Andreas Krebs 1
Ian Hayes 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Mirco Nanni 1
Fred Mesnard 1
Oliver Kutz 1
Ron Van Der Meyden 1
Paola Bruscoli 1
Dirk Pattinson 1
Daniel Schwartz 1
Arnon, Avron 1
Taolue Chen 1
Alexandru Mereacre 1
Yuval Filmus 1
Andreas Herzig 1
Markus Lohrey 1
Prahladh Harsha 1
Jia Tao 1
Nicholas Radcliffe 1
Naoki Nishida 1
Cheping Su 1
Markus Aschinger 1
María Poza 1

Affiliation Paper Counts
Nagoya University 1
SRI International 1
Universite de La Reunion 1
Harvey Mudd College 1
German University in Cairo 1
Demokritos National Centre for Scientific Research 1
Universite Pierre et Marie Curie 1
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
Vrije Universiteit Amsterdam 1
University of Wyoming 1
Hong Kong Polytechnic University 1
Australian National University 1
Purdue University 1
Linkoping University 1
Grenoble INP ENSIMAG 1
Universitat de Girona 1
Harvard University 1
Avaya Inc. 1
University of Groningen 1
University of Oslo 1
University of Mons-Hainaut 1
Institute of Computer Science of the Polish Academy of Sciences 1
Queensland University of Technology 1
Kyushu University 1
RMIT University 1
State University of New York at Albany 1
University of Leeds 1
BRICS Basic Research in Computer Science 1
INRIA Rhone-Alpes 1
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
University of Wurzburg 1
University of Hawaii at Manoa 1
Martin Luther University of Halle-Wittenberg 1
Institute of Informatics and Telecommunications, Athens 1
Capital University of Economics and Business China 1
Alexandru Ioan Cuza University 1
Kalamazoo College 1
University of Washington, Seattle 1
University of Witwatersrand 1
Charles University 1
Bryn Mawr College 1
University of Heidelberg 1
University of Tubingen 1
University of Sussex 1
Weizmann Institute of Science Israel 1
INRIA Lorraine 1
Istituto Per Le Applicazioni Del Calcolo Mauro Picone, Rome 1
Kassel University 1
Universite d'Artois 1
Munich University of the Federal Armed Forces 1
CSIC - Instituto de Investigacion en Inteligencia Artificial 1
University of Southern Denmark 1
Athens University of Economics and Business 1
Tianjin University 1
Georgia Institute of Technology 1
Boston University 1
University of Birmingham 1
University of Paderborn 1
University of Bern 1
University of Twente 1
University of Bristol 1
Freescale Semiconductor 1
West Virginia University 1
University of St Andrews 1
Massachusetts Institute of Technology 1
Faculdade de Ciencias e Tecnologia, New University of Lisbon 1
University of Richmond 1
Telcordia Technologies, Inc. 1
Jozef Stefan Institute 1
Cardiff University 1
National Institute of Advanced Industrial Science and Technology 1
Universite Paris-Sud XI 1
University of Missouri System 1
University of California, Santa Cruz 1
Shanghai Jiaotong University 1
University of Genoa 1
University of Stirling 1
Institute of Software Chinese Academy of Sciences 1
University of Tokyo 1
University of Konstanz 1
Clarkson University 1
IBM Haifa Labs 1
Nokia Corporation 1
Ben-Gurion University of the Negev 1
Polytechnic Institute of Bari 1
University of California, Los Angeles 1
United States Military Academy 1
Swiss Federal Institute of Technology, Lausanne 1
Stockholm University 1
Northeastern University 1
Friedrich Schiller University Jena 1
University of California, Riverside 1
European Commission 1
Universite de Versailles Saint-Quentin-en-Yvelines 1
Columbia University 1
Texas State University-San Marcos 1
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
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
National Penghu University 1
Laboratoire d'Informatique Fondamentale de Marseille 1
Academic College of Tel-Aviv - Yaffo 1
Microsoft Research Cambridge 1
Universite de Bordeaux 1
Universite de Lyon 1
Karlsruhe Institute of Technology 1
National University Corporation Shizuoka University 1
Laboratoire d'Analyse et Modelisation de Systemes pour l'Aide a la Decision 1
Universite Paris Saclay 1
Yale NUS College 1
Lero - The Irish Software Engineering Research Centre 1
Laboratoire Bordelais de Recherche en Informatique 1
CSIRO Data61 1
University of 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
Ecole Normale Superieure de Lyon 2
University of Auckland 2
Google Inc. 2
Utrecht University 2
Poznan University of Technology 2
University of Dundee 2
University of Ulm 2
Kyoto University 2
IBM Research 2
Kobe University 2
University of Trier 2
INRIA Institut National de Rechereche en Informatique et en Automatique 2
University of Massachusetts Amherst 2
University of Nottingham 2
University of Augsburg 2
Jacobs University Bremen 2
National University of Singapore 2
IBM Thomas J. Watson Research Center 2
Wright State University 2
Technical University of Dresden 2
University of L'Aquila 2
University of Science and Technology of China 2
Macquarie University 2
Heriot-Watt University, Edinburgh 2
University of Minho 2
Royal Holloway University of London 2
Brunel University London 2
IBM, USA 2
New York University 2
Technical University of Clausthal 2
University of Florence 2
Indian Institute of Technology, Kanpur 2
Manchester Metropolitan University 2
University of Durham 2
Beijing University of Technology 2
Politecnico di Milano 2
University of Sydney 2
University of Melbourne 2
Institute for Advanced Studies 2
University of the Basque Country 2
McDaniel College 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Kagoshima University 2
Research Organization of Information and Systems National Institute of Informatics 2
IRIT Institut de Recherche Informatique de Toulouse 2
Rutgers, The State University of New Jersey 2
McMaster University 2
University of London 2
University of Novi Sad 2
Reykjavik University 2
Fondazione Bruno Kessler 2
Universite Paris-Est 2
Aalto University 2
Universidad del Pais Vasco - Euskal Herriko Unibertsitatea, Campus Bizkaia 2
Informatique, Biologie Integrative et Systemes Complexes 2
Villanova University 3
Universite Libre de Bruxelles 3
University of Illinois at Urbana-Champaign 3
Humboldt University of Berlin 3
Chalmers University of Technology 3
Pennsylvania State University 3
New Mexico State University Las Cruces 3
University of Siena 3
Rice University 3
Universite Henri Poincare 3
Hong Kong University of Science and Technology 3
Free University of Bozen-Bolzano 3
University of Piraeus 3
Technical University of Darmstadt 3
Technical University of Denmark 3
Brown University 3
University of Milan - Bicocca 3
Universidad de La Rioja 3
Lubeck University 3
Universidad de Chile 3
University of Waterloo 3
University of Kentucky 3
Academia Sinica Taiwan 3
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
Laboratoire d'Informatique de l'Ecole Polytechnique 3
University of Aarhus 3
University of Patras 3
TU Dortmund University 3
INRIA Saclay 3
Universidade de Lisboa 3
University of G. d'Annunzio Chieti and Pescara 4
University of Innsbruck 4
University of Kent 4
Center for Mathematics and Computer Science - Amsterdam 4
University of Kiel 4
Stanford University 4
University of Texas at Austin 4
University of Trento 4
Radboud University Nijmegen 4
Simon Fraser University 4
Nokia Bell Labs 4
Queen Mary, University of London 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
Technical University of Madrid 4
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications 4
University of Copenhagen 4
University of Cambridge 4
Academy of Sciences of the Czech Republic (Avcr.Cz) 4
New University of Lisbon 4
Laboratoire d'Informatique de Nantes-Atlantique 4
Laboratoire de Recherche en Informatique 4
University of Padua 5
University of Liege 5
McGill University 5
University of Insubria 5
University of Houston 5
University of Pennsylvania 5
Bremen University 5
Ecole Polytechnique 5
Ca' Foscari University of Venice 5
Adam Mickiewicz University in Poznan 5
Western Sydney University 5
Technical University of Munich 5
Tsinghua University 5
University of New South Wales 5
University of Athens 5
University of Bath 5
University of Alberta 5
Aix Marseille Universite 5
Max Planck Institute for Informatics 6
Swansea University 6
Birkbeck University of London 6
King's College London 6
The University of Warwick 6
University of Udine 6
University of California, San Diego 6
University of Verona 6
University of Sheffield 7
Royal Institute of Technology 7
Gottfried Wilhelm Leibniz Universitat 7
Cornell University 7
University of Wroclaw 7
Technion - Israel Institute of Technology 7
Complutense University of Madrid 7
Ludwig Maximilian University of Munich 7
Universite Paris 7- Denis Diderot 8
Imperial College London 8
University of Liverpool 8
University of Edinburgh 8
University of Pisa 8
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
Institute of Science and Technology Austria 10
University of Milan 11
Specifications and Verification Laboratory 11
Hebrew University of Jerusalem 12
University of Warsaw 12
University of Toronto 12
University of Calabria 13
University of Turin 14
Hasselt University 16
Catholic University of Leuven, Leuven 16
University of Bologna 16
University of Maryland 21
Carnegie Mellon University 22
University of Roma La Sapienza 25
University of Oxford 28
Vienna University of Technology 51

ACM Transactions on Computational Logic (TOCL)
Archive


2017
Volume 18 Issue 2, June 2017
Volume 18 Issue 1, April 2017

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

2015
Volume 17 Issue 1, December 2015
Volume 16 Issue 4, November 2015
Volume 16 Issue 3, July 2015
Volume 16 Issue 2, March 2015
Volume 16 Issue 1, March 2015

2014
Volume 15 Issue 4, August 2014
Volume 15 Issue 3, July 2014
Volume 15 Issue 2, April 2014
Volume 15 Issue 1, February 2014

2013
Volume 14 Issue 4, November 2013
Volume 14 Issue 3, August 2013
Volume 14 Issue 2, June 2013
Volume 14 Issue 1, February 2013

2012
Volume 13 Issue 4, October 2012
Volume 13 Issue 3, August 2012
Volume 13 Issue 2, April 2012
Volume 13 Issue 1, January 2012

2011
Volume 12 Issue 4, July 2011
Volume 12 Issue 3, May 2011
Volume 12 Issue 2, January 2011

2010
Volume 12 Issue 1, October 2010
Volume 11 Issue 4, July 2010
Volume 11 Issue 3, May 2010
Volume 11 Issue 2, January 2010

2009
Volume 11 Issue 1, October 2009
Volume 10 Issue 4, August 2009
Volume 10 Issue 3, April 2009
Volume 10 Issue 2, February 2009
Volume 10 Issue 1, January 2009

2008
Volume 9 Issue 4, August 2008
Volume 9 Issue 3, June 2008
Volume 9 Issue 2, March 2008

2007
Volume 9 Issue 1, December 2007
Volume 8 Issue 4, August 2007
Volume 8 Issue 3, July 2007
Volume 8 Issue 2, April 2007
Volume 8 Issue 1, January 2007

2006
Volume 7 Issue 4, October 2006
Volume 7 Issue 3, July 2006
Volume 7 Issue 2, April 2006
Volume 7 Issue 1, January 2006

2005
Volume 6 Issue 4, October 2005
Volume 6 Issue 3, July 2005
Volume 6 Issue 2, April 2005
Volume 6 Issue 1, January 2005

2004
Volume 5 Issue 4, October 2004
Volume 5 Issue 3, July 2004
Volume 5 Issue 2, April 2004
Volume 5 Issue 1, January 2004

2003
Volume 4 Issue 4, October 2003
Volume 4 Issue 3, July 2003
Volume 4 Issue 2, April 2003
Volume 4 Issue 1, January 2003

2002
Volume 3 Issue 4, October 2002
Volume 3 Issue 3, July 2002
Volume 3 Issue 2, April 2002
Volume 3 Issue 1, January 2002

2001
Volume 2 Issue 4, Oct. 2001 Special issue devoted to Robert A. Kowalski
Volume 2 Issue 3, July 2001
Volume 2 Issue 2, April 2001
Volume 2 Issue 1, Jan. 2001

2000
Volume 1 Issue 2, Oct. 2000
Volume 1 Issue 1, July 2000
 
All ACM Journals | See Full Journal Index

Search TOCL
enter search term and/or author name