ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles
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

Quantitative aspects of linear and affine closed lambda terms

Game-Theoretic Semantics for Alternating-Time Temporal Logic

We introduce versions of game-theoretic semantics (GTS) for Alternating-Time Temporal Logic (ATL). In GTS, truth is defined in terms of existence of a winning strategy in a semantic evaluation game, and thus the game-theoretic perspective appears in the framework of ATL on two semantic levels: on the object level in the standard semantics of the strategic operators, and on the meta-level where game-theoretic logical semantics is applied to ATL. We unify these two perspectives into semantic evaluation games specially designed for ATL. The game-theoretic perspective enables us to identify new variants of the semantics of ATL based on limiting the time resources available to the verifier and falsifier in the semantic evaluation game. We introduce and analyse an unbounded and (ordinal) bounded GTS and prove these to be equivalent to the standard (Tarski-style) compositional semantics. We show that in these both versions of GTS, truth of ATL formulae can always be determined in finite time, i.e., without constructing infinite paths. We also introduce a non-equivalent finitely bounded semantics and argue that it is natural from both logical and game-theoretic perspectives.

Interaction Graphs: Nondeterministic Automata

This paper exhibits a series of semantic characterisations of sublinear nondeterministic complexity classes. These results fall into the general domain of logic-based approaches to complexity theory and so-called implicit computational complexity (ICC), i.e. descriptions of complexity classes without reference to specific machine models. In particular, it relates strongly to ICC results based on linear logic since the semantic framework considered stems from work on the latter. Moreover, the obtained characterisations are of a geometric nature: each class is characterised by a specific action of a group by measure-preserving maps.

An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules

The cognitive architecture ACT-R is popular in the field of cognitive modeling. Although it has a well-defined psychological theory, there are two problems that make it hard to reason formally about its cognitive models: First, ACT-R lacks a computational formalization of its underlying production rule system and secondly, there are many different implementations and extensions of ACT-R with many technical artifacts complicating formal reasoning even more. This paper describes a formal operational semantics -- the very abstract semantics -- that abstracts from as many technical details as possible keeping it open to extensions and different implementations of the ACT-R theory. In a second step, this semantics is refined to define some of its abstract features that are found in many implementations of ACT-R -- the abstract semantics. It concentrates on the procedural core of ACT-R and is suitable for analysis of the general transition system since it still abstracts from details like timing, the sub-symbolic layer of ACT-R or conflict resolution. Furthermore, a translation of ACT-R models to the declarative programming language CHR is defined. This makes the abstract semantics an executable specification of ACT-R. CHR has been used successfully to embed other rule-based formalisms like graph transformation systems. There are many analyis results that support formal reasoning of CHR programs. The translation of ACT-R models to CHR is proven sound and complete w.r.t. the abstract operational semantics of ACT-R. This paves the way to analysis of ACT-R models through CHR. Therefore, to the best of our knowledge, our abstract semantics is the first abstract formulation of ACT-R suitable for both analysis and execution.

Finite state map-reduce computation and relational algebra queries

We introduce three formal models of distributed systems for query evaluation on massive databases: Distributed Streaming with Register Automata (DSAs), Distributed Streaming with Register Transducers (DSTs), and Distributed Streaming with Register Transducers and Joins (DSTJs). These models are based on the map-reduce paradigm where the input is transformed into a dataset of key-value pairs, and on each key a local computation is performed on the values associated with that key resulting in another set of key-value pairs. Computation proceeds in a constant number of rounds, where the result of the last round is the input to the next round, and transformation of key-value pairs is required to be generic. The difference between the three models is in the local computation part. In DSAs it is limited to making one pass over its input using a register automaton, while in DSTs it can make two passes: in the first pass it uses a finite-state automaton and in the second it uses a register transducer. The third model DSTJs is an extension of DSTs, where local computations are capable of constructing the Cartesian product of two sets. We obtain the following results: (1)DSAs can evaluate first-order queries over bounded degree databases; (2)DSTs can evaluate semijoin algebra queries over arbitrary databases; (3)DSTJs can evaluate the whole relational algebra over arbitrary databases; (4)DSTJs are strictly stronger than DSTs, which in turn, are strictly stronger than DSAs; (5)within DSAs, DSTs and DSTJs there is a strict hierarchy w.r.t. the number of rounds.

Automated deduction in Goedel logic

This paper addresses the deduction problem of a formula from a countable theory in the first-order G\"{o}del logic. % We generalise the well-known hyperresolution principle for deduction in G\"{o}del logic. % Our approach is based on translation of a formula to an equivalent satisfiable finite order clausal theory, consisting of order clauses. % We introduce a notion of quantified atom: a formula $a$ is a quantified atom if $a=Q x\, p(t_0,\dots,t_\tau)$ where $Q$ is a quantifier ($\forall$, $\exists$); $p(t_0,\dots,t_\tau)$ is an atom; $x$ is a variable occurring in $p(t_0,\dots,t_\tau)$; for all $i\leq \tau$, either $t_i=x$ or $x$ does not occur in $t_i$. % Then an order clause is a finite set of order literals of the form $\varepsilon_1\diamond \varepsilon_2$ where $\varepsilon_i$ is either an atom or a quantified atom, and $\diamond$ is either a connective $\geql$ or $\gle$. % $\geql$ and $\gle$ are interpreted by the equality and strict linear order on $[0,1]$, respectively. % For an input countable theory of G\"{o}del logic, the proposed translation produces a countable order clausal theory. % On the basis of the hyperresolution principle, a calculus operating over order clausal theories, is devised. % The calculus is proved to be refutation sound and complete for the countable case.

Hierarchies in Inclusion Logic with Lax Semantics

We study the expressive power of fragments of inclusion logic under the so-called lax team semantics. The fragments are defined either by restricting the number of universal quantifiers, the number of inclusion atoms, or the arity of inclusion atoms. We show that the whole expressive power of inclusion logic can be captured using only five inclusion atoms in finite ordered models, or alternatively only one universal quantifier in general. The arity hierarchy is shown to be strict by relating the question to the study of arity hierarchies in fixed point logics.

Path categories and propositional identity types

Connections between homotopy theory and type theory have recently attracted a lot of attention, with Voevodsky's univalent foundations and the interpretation of Martin-L\"of's identity types in Quillen model categories as some of the highlights. In this paper we establish a connection between a natural weakening of Martin-L\"of's rules for the identity types which has been considered by Cohen, Coquand, Huber and M\"ortberg in their work on a constructive interpretation of the univalence axiom on the one hand, and the notion of a path category, a slight variation on the classic notion of a category of fibrant objects due to Brown, on the other. This involves showing that the syntactic category associated to a type theory with weak identity types carries the structure of a path category, strengthening earlier results by Avigad, Lumsdaine and Kapulkin. In this way we not only relate a well-known concept in homotopy theory with a natural concept in logic, but also provide a framework for further developments.

Bibliometrics

Publication Years 2000-2018
Publication Count 503
Citation Count 4971
Available for Download 503
Downloads (6 weeks) 885
Downloads (12 Months) 8221
Downloads (cumulative) 145596
Average downloads per article 289
Average citations per article 10
First Name Last Name Award
Foto Afrati ACM Fellows (2014)
Noga Alon ACM Fellows (2016)
Rajeev Alur ACM Fellows (2007)
Robert Brayton ACM Paris Kanellakis Theory and Practice Award (2006)
Randal E Bryant ACM Fellows (2000)
ACM Paris Kanellakis Theory and Practice Award (1998)
Peter Buneman ACM Fellows (2000)
Stephen A Cook ACM Fellows (2008)
ACM A. M. Turing Award (1982)
Giuseppe De Giacomo ACM Fellows (2015)
Wenfei Fan ACM Fellows (2012)
Georg Gottlob ACM Fellows (2007)
Martin Grohe ACM Fellows (2017)
Orna Grumberg ACM Fellows (2015)
Yuri Gurevich ACM Fellows (1997)
Joseph Halpern ACM AAAI Allen Newell Award (2008)
ACM Fellows (2002)
Robert Harper ACM Fellows (2005)
Thomas A Henzinger ACM Fellows (2006)
Vasant Honavar ACM Senior Member (2006)
Neil Immerman ACM Fellows (2002)
Neil Jones ACM Fellows (1998)
Daphne Koller ACM Prize in Computing (2007)
Dexter Kozen ACM Fellows (2003)
Sarit Kraus ACM Fellows (2014)
K. Rustan M. Leino ACM Fellows (2016)
Maurizio Lenzerini ACM Fellows (2009)
Leonid Libkin ACM Fellows (2012)
Tova Milo ACM Fellows (2012)
Lawrence C Paulson ACM Fellows (2008)
Frank Pfenning ACM Fellows (2015)
ACM Senior Member (2007)
Andre Platzer ACM Senior Member (2017)
ACM Doctoral Dissertation Award
Honorable Mention (2009)
Raymond Reiter ACM Fellows (1997)
Thomas Reps ACM Fellows (2005)
ACM Doctoral Dissertation Award (1983)
Mooly Sagiv ACM Fellows (2015)
Peter James Stuckey ACM Distinguished Member (2009)
Dan Suciu ACM Fellows (2011)
Moshe Y Vardi ACM Presidential Award (2017)
Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
ACM Fellows (2000)
Victor Vianu ACM Fellows (2006)
Philip Wadler ACM Fellows (2007)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
ACM Fellows (2000)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Michael Wooldridge ACM Fellows (2015)
Qiang Yang ACM Fellows (2017)
ACM Distinguished Member (2011)
Mihalis Yannakakis ACM Fellows (1998)
Ron van der Meyden ACM Distinguished Member (2009)

First Name Last Name Paper Counts
Yuri Gurevich 10
Orna Kupferman 8
Andreas Blass 8
Thomas Eiter 8
Thomas Henzinger 7
VS Subrahmanian 6
Frank Neven 5
Nicola Olivetti 5
Massimo Lauria 5
Michael Benedikt 5
Michael Zakharyaschev 5
Ranko Lazić 5
Georg Gottlob 5
Marc Denecker 5
Krishnendu Chatterjee 5
Paolo Liberatore 5
Hans Tompits 4
Leonid Libkin 4
Thomas Schwentick 4
Nadia Creignou 4
Luc Segoufin 4
Georg Struth 4
Heribert Vollmer 4
Stefan Woltran 4
Alessio Guglielmi 4
Joost Vennekens 3
Thomas Lukasiewicz 3
Andrzej Murawski 3
Erich Grädel 3
Guido Fiorino 3
Fabio Mogavero 3
Aniello Murano 3
Yidong Shen 3
Stefan Szeider 3
Grigoris Antoniou 3
Juha Kontinen 3
Paulo Shakarian 3
Emanuel Kieroński 3
Mauro Ferrari 3
Camillo Fiorentini 3
Randal Bryant 3
Krzysztof Apt 3
Frank Pfenning 3
Neil Thapen 3
Olivier Serre 3
Maurizio Gabbrielli 3
Joseph Halpern 3
Samuel Buss 3
Manuel Bodirsky 3
Olaf Beyersdorff 3
Stéphane Demri 3
Silvio Ghilardi 3
Fangzhen Lin 3
Jürgen Dix 3
Maria Meo 3
Dale Miller 3
Jakob Nordström 3
Dexter Kozen 3
Yuan Feng 3
Moshe Vardi 3
Chiaki Sakama 3
Samir Genaim 3
Gerardo Simari 3
Alwen Tiu 3
Rajeev Alur 3
Agata Ciabattoni 3
Jiahuai You 3
Tony Tan 3
Albert Atserias 3
Nicola Galesi 3
Véronique Cortier 3
Arnold Beckmann 3
Ke Wang 3
Daniele Nardi 2
Jeffery Zucker 2
Stephen Cook 2
Jakob Simonsen 2
Felix Klaedtke 2
Simone Martini 2
Filippo Bonchi 2
Pierre Wolper 2
David Billington 2
Guido Governatori 2
Michael Maher 2
Camilla Schwind 2
Udi Boker 2
Eugénie Foustoucos 2
Ilka Schnoor 2
Mariangiola Dezani-Ciancaglini 2
Frank Stephan 2
Michaël Rusinowitch 2
Lutz Schröder 2
Wouter Gelade 2
Hubie Chen 2
Agostino Dovier 2
Helmut Veith 2
Francesco Ranzato 2
Roman Kontchakov 2
Arnaud Carayol 2
Michael Fisher 2
Kousha Etessami 2
Klaus Aehlig 2
Andreas Krebs 2
Uwe Egly 2
Maciej Komosinski 2
Victor Vianu 2
Trancao Son 2
John Derrick 2
Arie Gurfinkel 2
Carsten Lutz 2
Simone Bova 2
Andrea Asperti 2
Vladislav Ryzhikov 2
Torsten Schaub 2
Cristian Molinaro 2
Valentin Goranko 2
Mirosław Truszczyński 2
Michael Elberfeld 2
Silvia Crafa 2
Adam Kups 2
Witold Charatonik 2
Barnaby Martin 2
Tim Willemse 2
Marcello Bonsangue 2
Alexandra Silva 2
Gian Pozzato 2
Arnaud Durand 2
Nicola Leone 2
Wolfgang Faber 2
Rakesh Verma 2
Jan Otop 2
Paqui Lucio 2
Michael Kaminski 2
Axel Polleres 2
Panos Rondogiannis 2
Scott Weinstein 2
Maria Bonacina 2
Robert Harper 2
Stefan Ratschan 2
Alexander Artikis 2
Renate Schmidt 2
Ugo Montanari 2
Rohit Chadha 2
Diego Calvanese 2
Marek Sergot 2
Axel Haddad 2
Venkatramanan Subrahmanian 2
Frank Wolter 2
Arne Meier 2
Laura Giordano 2
Luigi Palopoli 2
Orna Grumberg 2
Giovambattista Ianni 2
James Worrell 2
Roberto Sebastiani 2
Giorgi Japaridze 2
Francesca Rossi 2
Brigitte Pientka 2
Elvira Albert 2
Ullrich Hustadt 2
Florian Rabe 2
Stavros Cosmadakis 2
Martin Grohe 2
Laurent Doyen 2
Guillem Godoy 2
Andrei Voronkov 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
William Wadge 2
Jónathan Heras 2
Maurice Bruynooghe 2
Jeremy Avigad 2
Stefan Rümmele 2
Kristina Sojakova 2
Ori Lahav 2
ROB Van Glabbeek 2
Damiano Zanardini 2
Riccardo Rosati 2
John Tucker 2
Jeroen Keiren 2
Lawrence Paulson 2
Morgan Deters 2
Jean Raskin 2
Vladimir Lifschitz 2
Stefano Bistarelli 2
Silvio Ranise 2
Karl Crary 2
Clare Dixon 2
Wan Fokkink 2
Stefan Szeider 2
André Platzer 2
Churnjung Liau 2
Paul Gastin 2
Hitoshi Furusawa 2
Ralf Küsters 2
Henning Schnoor 2
Jean Marion 2
Valentina Gliozzi 2
Marco Cadoli 2
Mingsheng Ying 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
David Gilis 2
Richard Trefler 2
Nachum Dershowitz 2
Anuj Dawar 2
Hana Chockler 2
Gerald Pfeifer 2
Agi Kurucz 2
Amy Sliva 2
Stéphanie Delaune 2
Dirk Vermeir 2
Mantas Šimkus 2
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
Pierre Marquis 1
Steffen Van Bakel 1
Leroy Chew 1
Andrea Tubella 1
Thomas Wilke 1
Frederik Harwath 1
Vasant Honavar 1
Denis Ponomaryov 1
Mikhail Soutchanski 1
Szymon Chlebowski 1
P Mateus 1
Pablo Muñoz 1
Yan Zhang 1
Xiaoping Chen 1
David McAllester 1
Thom Frühwirth 1
Mario Bravetti 1
Roberto Gorrieri 1
Michał Skrzypczak 1
Yangjia Li 1
Michele Loreti 1
Colin Hirsch 1
Vincent Danos 1
Giuseppe Perelli 1
Samir Genaim 1
Petar Marković 1
Bas Ketsman 1
Daniel Zinn 1
Lidia Tendera 1
Rajeev Goré 1
Ngoc Nguyen 1
Zhé Hóu 1
Qiang Yang 1
Cinzia Di Giusto 1
Daniel Stamate 1
David Baelde 1
José Meseguer 1
Nils Gesbert 1
Chitta Baral 1
David Griffioen 1
Frits Vaandrager 1
Frédéric Benhamou 1
Bart Kuijpers 1
Véronique Bruyère 1
Paolo Coppola 1
Axel Legay 1
Matteo Rossi 1
Alessandro Cimatti 1
Alberto Griggio 1
Konstantinos Mamouras 1
Clemens Ley 1
Luca Aceto 1
Raymond Mcdowell 1
Luca Roversi 1
Iyad Kanj 1
Trung Van Pham 1
Christopher Porter 1
Chih Ong 1
Martin Gebser 1
José Alferes 1
Mnacho Echenim 1
Maciej Gazda 1
Nathanaël Fijalkow 1
K Leino 1
Costas Koutras 1
Diego Figueira 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
Russell Impagliazzo 1
Maurizio Lenzerini 1
Peter Stuckey 1
Neil Yorke-Smith 1
Emilio Muñoz-Velasco 1
Peter Jonsson 1
John Dickerson 1
Wim Hesselink 1
Michael Wooldridge 1
Anastasios Sidiropoulos 1
Marco Alberti 1
Christoph Weidenbach 1
Stijn Heymans 1
Davy Van Nieuwenborgh 1
Patrik Simons 1
Deborah East 1
Mikołaj Bojańczyk 1
Claire David 1
Robert Goldblatt 1
Zbigniew Lonc 1
Hubert Comon 1
Runyao Duan 1
Zhengfeng Ji 1
Adel Bouhoula 1
Stavros Tripakis 1
Peter Schneider-Kamp 1
Ursula Martin 1
Paulo Oliva 1
Paul Raff 1
Stijn Vansummeren 1
Yehoshua Sagiv 1
Thomas Schneider 1
Oleg Verbitsky 1
Marijn Heule 1
Joël Ouaknine 1
Micah Adler 1
Foto Afrati 1
K Subramani 1
Marta Kwiatkowska 1
Salvatore Ruggieri 1
Holger Sturm 1
Ian Zerny 1
Jérôme Lang 1
Jonni Virtema 1
Detlef Kähler 1
Maribel Fernández 1
Jan Kára 1
Kedar Namjoshi 1
Moritz Müller 1
Magdalena Ortiz 1
Lara Spendier 1
David Jansen 1
Anton Wijs 1
Tatjana Petrov 1
Pascal Hitzler 1
Jianmin Ji 1
Michele Bugliesi 1
Rastislav Lenhardt 1
Nada Lavrač 1
Hariolf Betz 1
Ştefan Ciobâcă 1
Peter Flach 1
Luigia Aiello 1
Victor Marek 1
Steven German 1
Teodor Przymusinski 1
Stefan Brass 1
Giuseppe De Giacomo 1
Antonis Kakas 1
Helmut Schwichtenberg 1
Achille Frigeri 1
Benjamin Monmege 1
John Havlicek 1
James Lynch 1
Giacoma Monreale 1
Tom Ameloot 1
Howard Bowman 1
Peter Buneman 1
Marco Bernardo 1
Pawel Mielniczuk 1
Manuel Clavel 1
Sabina Rossi 1
Alan Schmitt 1
Georgios Paliouras 1
Eryk Kopczyński 1
Katsumi Inoue 1
Floris Geerts 1
Enrica Nicolini 1
Aleksandar Nanevski 1
Sophie Laplante 1
Hanne Nielson 1
Dmitry Shkatov 1
Gianluigi Greco 1
Sara Cohen 1
Lutz Straßburger 1
Massimo Benerecetti 1
Ian Hayes 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Dirk Pattinson 1
Alexandru Mereacre 1
Mirco Nanni 1
Ron Van Der Meyden 1
Paola Bruscoli 1
Taolue Chen 1
Fred Mesnard 1
Oliver Kutz 1
Arnon, Avron 1
Andreas Herzig 1
Prahladh Harsha 1
Gabriel Ebner 1
Markus Lohrey 1
Jia Tao 1
Cheping Su 1
Naoki Nishida 1
Nicholas Radcliffe 1
Steve Kremer 1
Bart Bogaerts 1
Markus Aschinger 1
María Poza 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
Bakhadyr Khoussainov 1
Dorota Leszczyńska-Jasion 1
Paola Spoletini 1
Yi Zhou 1
Benedikt Bollig 1
Svenja Schalthöfer 1
Erkal Selman 1
Carmen Gervet 1
Alessandro Armando 1
Jeremy Pitt 1
Francesco Scarcello 1
Michael Blondin 1
Ara Hayrapetyan 1
Terrance Swift 1
Amelie David 1
Nathalie Sznajder 1
Pavlos Peppas 1
Konstantinos Chatzikokolakis 1
James Bailey 1
Guozhu Dong 1
Helmut Seidl 1
Tomi Janhunen 1
Anca Muscholl 1
Sebastian Danicic 1
Mohua Banerjee 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
Włodzimierz Drabent 1
Christopher Hampson 1
Revantha Ramanayake 1
Matthew Stone 1
Arun Sharma 1
Nir Friedman 1
Ruggero Lanotte 1
Roy Dyckhoff 1
Jia Tao 1
Irina Trubitsyna 1
Diogo Henriques 1
Cynthia Kop 1
Heng Zhang 1
Martin Grohe 1
Piotr Witkowski 1
Filip Mazowiecki 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
Isabella Mastroeni 1
Greta Yorsh 1
Alexander Rabinovich 1
Sheila McIlraith 1
Harald Zankl 1
Frank De Boer 1
Eugenia Ternovska 1
Sofie Haesevoets 1
Daniele Zucchelli 1
Carlo Furia 1
Carla Piazza 1
Reinhard Pichler 1
Enrique Martin-Martin 1
Michael Boom 1
Bas Luttik 1
Serge Haddad 1
Davide Bresolin 1
Charles Paperman 1
Francesca Scozzari 1
Daniel Schwartz 1
Yuval Filmus 1
Prakash Panangaden 1
Jeroen Janssen 1
Kumud Sanwal 1
Zhaohui Luo 1
John Hitchcock 1
Kumar Verma 1
Sebastian Müller 1
Ulrich Schöpp 1
Matthias Horbach 1
Anatoli Degtyarev 1
Sarit Kraus 1
Manfred Schmidt-Schauß 1
Andrei Bulatov 1
Lutz Burger 1
Marco Gaboardi 1
Sara More 1
Pavel Naumov 1
Joost Engelfriet 1
Bjørn Kjos-Hanssen 1
Flemming Nielson 1
Francesco Donini 1
Piero Bonatti 1
Wenfei Fan 1
Benno Van Den Berg 1
Richard Garner 1
Nils Klarlund 1
Jules Desharnais 1
Nam Tran 1
Silvia Tomasi 1
Bertram Felgenhauer 1
Francesco Santini 1
Matthew Bauer 1
Roberto Bruttomesso 1
Fang Wei 1
Chiuwo Choi 1
Edward Hung 1
George Barmpalias 1
Ronald De Haan 1
Douglas Cenzer 1
Guido Sciavicco 1
Matthias Knorr 1
Ian Pratt-Hartmann 1
Martin Lange 1
Rémy Chrétien 1
Johannes Fichte 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
Austin Parker 1
Sylvain Schmitz 1
Christian Urban 1
James Cheney 1
Dan Suciu 1
Christophe Rigotti 1
Stephan Kreutzer 1
Laurent Michel 1
Francesco Quaglia 1
Ashish Tiwari 1
Rachel Ben-Eliyahu -- Zohary 1
Nobuyuki Suzuki 1
Thierry Coquand 1
Jose Gaintzarain 1
Julien Truffaut 1
Doron Peled 1
Miika Hannula 1
Jeanchristoph Jung 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Till Tantau 1
Vincent Cheval 1
Danny De Schreye 1
Toshiyasu Arai 1
Russell Harmer 1
Fabrizio Riguzzi 1
Mariusz Urbański 1
Fabio Gadducci 1
Heike Wehrheim 1
Francesco Genco 1
Samuel Shen 1
Jeremy Bryans 1
Sandro Etalle 1
Thomas Reps 1
Pierre Genevès 1
Anastasios Skarlatidis 1
Albert Rubio 1
Vincent Van Oostrom 1
Marc Christie 1
Mahesh Viswanathan 1
Franco Montagna 1
David Fernández-Duque 1
Balder Cate 1
Etienne Grandjean 1
Lise Getoor 1
Lou Dries 1
Sjoerd Cranen 1
Mladen Mikša 1
Marc Vinyals 1
Sophia Knight 1
Robin Adams 1
Paola Mello 1
Paolo Torroni 1
Mathieu Turuani 1
Yannick Chevalier 1
Makoto Tatsuta 1
Alexis Saurin 1
Boris Konev 1
Jordi Levy 1
Mdaquil Khan 1
Murdoch Gabbay 1
Marcel Jackson 1
Jos De Bruijn 1
Paliath Narendran 1
David Pym 1
Lucas Bordeaux 1
Alexander Serebrenik 1
Florian Horn 1
Ph Schnoebelen 1
Christel Baier 1
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
Mark Ryan 1
Isabelle Gnaedig 1
Hélène Kirchner 1
Vincent Siles 1
Jeroen Ketema 1
H Macpherson 1
Mehrnoosh Sadrzadeh 1
M Praveen 1
Abu Masud 1
Floor Sietsma 1
Angelos Charalambidis 1
Meena Mahajan 1
Elliot Fairweather 1
Marco Calautti 1
Eli Ben-Sasson 1
Howard Straubing 1
Giora Slutzki 1
Stefan Milius 1
Przemysław Daca 1
Jan Křetínský 1
Pablo Barceló 1
Richard Mckinley 1
Viviana Bono 1
Lorenzo Carlucci 1
Alessandro Artale 1
Robert Givan 1
Alessandro Facchini 1
Aleksy Schubert 1
Paweł Urzyczyn: 1
Daria Walukiewicz-Chrząszcz 1
Mingsheng Ying 1
Nengkun Yu 1
Johannes Schmidt 1
Bard Bloom 1
Rocco De Nicola 1
Hector Levesque 1
Tristan Crolard 1
Dominic Hughes 1
Anthonywidjaja Lin 1
Vernon Asuncion 1
Krishnendu Chatterjee 1
Dana Fisman 1
Kensuke Kojima 1
Cindy Eisner 1
Davide Sangiorgi 1
Martin Luck 1
Wied Pakusa 1
Enrico Pontelli 1
Ranald Clouston 1
Liyan Yuan 1
Phuong Nguyen 1
Nicolas Spyratos 1
Michel Reniers 1
David Basin 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Bernhard Möller 1
Nabil Layaïda 1
Marco Schaerf 1
Jean Jouannaud 1
Eric Languénou 1
Frédéric Goualard 1
Andrea Formisano 1
Nathan Segerlind 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
Michael Mendler 1
Alain Finkel 1
Christoph Haase 1
Matthew Hague 1
Rupak Majumdar 1
Alexander Kartzow 1
Nicolas Peltier 1
Yavor Nenov 1
James Delgrande 1
Simon Kramer 1
Wieger Wesselink 1
Zhe Wang 1
Enrico Marchioni 1
Rodney Topor 1
Jakub Michaliszyn 1
Catuscia Palamidessi 1
Mary Williams 1
Hubert Comon-Lundh 1
Viorica Sofronie-Stokkermans 1
Robert Brayton 1
Octavian Udrea 1
Marco Gavanelli 1
Elio Giovannetti 1
Ilkka Niemelä 1
Dietmar Seipel 1
Adrià Gascón 1
Robert Hierons 1
Michael Thomas 1
Stefano Berardi 1
Kazuhisa Makino 1
Alessandro Bianco 1
Joséespírito Santo 1
Marcin Jurdziński 1
Fabio Alessi 1
James Harland 1
David Gray 1
Kevin Donnelly 1
Novak Novaković 1
Peter Lumsdaine 1
Adam Trybus 1
Stefan Berghofer 1
Nicole Schweikardt 1
Dov Gabbay 1
George Metcalfe 1
Aleksandar Ignjatović 1
Simone Tini 1
Andrea Masini 1
Wojciech Kazana 1
Marco Diciolla 1
Doron Bustan 1
Anders Mörtberg 1
Johan Wittocx 1
Konstantinos Handjopoulos 1
Yde Venema 1
Anil Shukla 1
Marko Samer 1
Pavel Naumov 1
Sergio Greco 1
Tuanfang Fan 1
Jan Groote 1
Carsten Fuhs 1
Guy Rey 1
Mathieu Baudet 1
Saguy Benaim 1
Sofie Verbaeten 1
Fabio Massacci 1
Martin Otto 1
Terrance Swift 1
Marc Zeitoun 1
Pavel Pudlák 1
Petar Dapić 1
Gerhard Schellhorn 1
Irena Schindler 1
Adrian Haret 1
Alberto Momigliano 1
Marsha Chećhik 1
Florent Madelaine 1
Jan Smaus 1
Christopher Stone 1
Annabelle McIver 1
Carroll Morgan 1
George Vouros 1
Christian Sattler 1
Sławomir Lasota 1
Alexander Razborov 1
Dmitry Tishkovsky 1
Prakash Panangaden 1
Jan Rutten 1
Gianfranco Rossi 1
Eugenio Omodeo 1
Antonio Flores-Montoya 1
Susmit Sarkar 1
Giuseppe Giacomo 1
Lan Zhang 1
Sylvain Peyronnet 1
Frédéric Magniez 1
Michel De Rougemont 1
Anna Ingólfsdóttir 1
Simona Perri 1
Gerald Lüttgen 1
Roberto Giacobazzi 1
Matthias Broecheler 1
Oliver Friedmann 1
Serenella Cerrito 1
Ernie Cohen 1
Steven Schockaert 1
Eugen Zălinescu 1
Anthonywidjaja To 1
Federico Chesani 1
Paolo Ferraris 1
Simona Ronchi Della Rocca 1
Hirotaka Ono 1
Franz Baader 1
Gilles Dowek 1
Jason Teutsch 1
Jan Bergstra 1
Peter Thiemann 1
René Thiemann 1
Erik Mathiesen 1
Małgorzata Biernacka 1
Shuvendu Lahiri 1
Jan Bussche 1
Werner Nutt 1
Sergio Flesca 1
Odile Papini 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Johan Thapper 1
Kord Eickmeyer 1
Iddo Tzameret 1
Sebastian Eberhard 1
Stefan Hetzl 1
Shqiponja Ahmetaj 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
Filip Murlak 1
Conrad Drescher 1
Robert Simmons 1
Martin Peim 1
Konstantinos Sagonas 1
Romain Péchoux 1
Lars Kristiansen 1
Yan Zhang 1
Yuxin Deng 1
Atsushi Igarashi 1
Yann Loyer 1
Annalisa Bossi 1
Naghmeh Ghafari 1
Nicolai Kraus 1
Aart Middeldorp 1
Igor Walukiewicz 1
Emmanuel Dall'olio 1
Helle Hansen 1
Robert Ganian 1
Andy King 1

Affiliation Paper Counts
Nagoya University 1
SRI International 1
Universite de La Reunion 1
University of Erlangen-Nuremberg 1
Harvey Mudd College 1
German University in Cairo 1
Demokritos National Centre for Scientific Research 1
Universite Pierre et Marie Curie 1
Novosibirsk State University 1
Florida State University 1
Victoria University of Wellington 1
Bar-Ilan University 1
National Technical University of Athens 1
University of Haifa 1
University of Perugia 1
Warsaw University of Technology 1
University of Peloponnese 1
Uppsala University 1
University of Opole 1
University of Parma 1
University of Illinois 1
University of Minnesota System 1
La Trobe University 1
University of Bonn 1
Goethe University Frankfurt 1
Technical University in Braunschweig 1
University of Leipzig 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
Purdue University 1
Lafayette College 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
BRICS Basic Research in Computer Science 1
INRIA Rhone-Alpes 1
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
University of Wurzburg 1
University of Hawaii at Manoa 1
University of Florida 1
Martin Luther University of Halle-Wittenberg 1
Institute of Informatics and Telecommunications, Athens 1
Capital University of Economics and Business China 1
Alexandru Ioan Cuza University 1
Kalamazoo College 1
University of Washington, Seattle 1
University of Witwatersrand 1
Charles University 1
Bryn Mawr College 1
University of Heidelberg 1
University of Sussex 1
Weizmann Institute of Science Israel 1
INRIA Lorraine 1
Istituto Per Le Applicazioni Del Calcolo Mauro Picone, Rome 1
Kassel University 1
Drake University 1
Universite d'Artois 1
Munich University of the Federal Armed Forces 1
CSIC - Instituto de Investigacion en Inteligencia Artificial 1
University of Southern Denmark 1
Athens University of Economics and Business 1
Tianjin University 1
Georgia Institute of Technology 1
Boston University 1
University of Birmingham 1
University of Paderborn 1
University of Bern 1
University of Twente 1
University of Bristol 1
Freescale Semiconductor 1
West Virginia University 1
University of St Andrews 1
Massachusetts Institute of Technology 1
Faculdade de Ciencias e Tecnologia, New University of Lisbon 1
University of Richmond 1
Telcordia Technologies, Inc. 1
Jozef Stefan Institute 1
Cardiff University 1
Open University of the Netherlands 1
National Institute of Advanced Industrial Science and Technology 1
Universite Paris-Sud XI 1
University of Missouri System 1
Vassar College 1
University of California, Santa Cruz 1
Shanghai Jiaotong University 1
University of Genoa 1
University of Stirling 1
University of Tokyo 1
University of Konstanz 1
University of Vienna 1
Clarkson University 1
IBM Haifa Labs 1
Nokia Corporation 1
DePaul University 1
Ben-Gurion University of the Negev 1
Polytechnic Institute of Bari 1
University of California, Los Angeles 1
United States Military Academy 1
Swiss Federal Institute of Technology, Lausanne 1
Stockholm University 1
Northeastern University 1
Friedrich Schiller University Jena 1
University of California, Riverside 1
European Commission 1
Universite de Versailles Saint-Quentin-en-Yvelines 1
Columbia University 1
Texas State University-San Marcos 1
Ryerson University 1
University of Queensland 1
Boston College 1
Tokyo Institute of Technology 1
University of California System 1
Johannes Gutenberg University Mainz 1
Tata Institute of Fundamental Research 1
University of Urbino 1
University of Wisconsin Madison 1
Universite de Caen Basse Normandie 1
INRIA Rocquencourt 1
Laval University 1
Saarland University 1
University of Seville 1
Institute of Computer Science Crete 1
University of Carthage 1
Vietnamese Academy of Science and Technology 1
Vinh University 1
Institute for Work and Health (IST) 1
NEC Deutschland GmbH 1
National Penghu University 1
Laboratoire d'Informatique Fondamentale de Marseille 1
Academic College of Tel-Aviv - Yaffo 1
Microsoft Research Cambridge 1
Universite de Bordeaux 1
Universite de Lyon 1
Karlsruhe Institute of Technology 1
National University Corporation Shizuoka University 1
Laboratoire d'Analyse et Modelisation de Systemes pour l'Aide a la Decision 1
Yale NUS College 1
Lero - The Irish Software Engineering Research Centre 1
Laboratoire Bordelais de Recherche en Informatique 1
CSIRO Data61 1
Universite Paris Saclay 2
Informatique, Biologie Integrative et Systemes Complexes 2
University of Crete 2
Chinese University of Hong Kong 2
University of Victoria 2
Universidad de Malaga 2
Arizona State University 2
Iowa State University 2
Ecole Normale Superieure de Cachan 2
Ecole des Mines de Nancy 2
Ecole Normale Superieure de Lyon 2
University of Auckland 2
Google Inc. 2
Utrecht University 2
CNRS Centre National de la Recherche Scientifique 2
Poznan University of Technology 2
University of Dundee 2
Linkoping University 2
University of Ulm 2
Kyoto University 2
IBM Research 2
Kobe University 2
University of Trier 2
INRIA Institut National de Rechereche en Informatique et en Automatique 2
University of Massachusetts Amherst 2
University of Nottingham 2
University of Augsburg 2
Jacobs University Bremen 2
National University of Singapore 2
University of Tubingen 2
IBM Thomas J. Watson Research Center 2
Wright State University 2
University of L'Aquila 2
University of Science and Technology of China 2
Macquarie University 2
Heriot-Watt University, Edinburgh 2
University of Minho 2
Brunel University London 2
IBM, USA 2
New York University 2
Technical University of Clausthal 2
University of Florence 2
Indian Institute of Technology, Kanpur 2
Manchester Metropolitan University 2
University of Durham 2
Beijing University of Technology 2
Politecnico di Milano 2
Institute of Software Chinese Academy of Sciences 2
University of Sydney 2
University of Melbourne 2
Institute for Advanced Studies 2
University of the Basque Country 2
McDaniel College 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Kagoshima University 2
Research Organization of Information and Systems National Institute of Informatics 2
IRIT Institut de Recherche Informatique de Toulouse 2
Rutgers, The State University of New Jersey 2
McMaster University 2
University of London 2
University of Novi Sad 2
Reykjavik University 2
Fondazione Bruno Kessler 2
Universite Paris-Est 2
Aalto University 2
Universidad del Pais Vasco - Euskal Herriko Unibertsitatea, Campus Bizkaia 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 Amsterdam 3
University of Siena 3
Rice University 3
Universite Henri Poincare 3
Hong Kong University of Science and Technology 3
Australian National University 3
University of Piraeus 3
Technical University of Denmark 3
Brown University 3
University of Leeds 3
University of Milan - Bicocca 3
Universidad de La Rioja 3
Lubeck University 3
Universidad de Chile 3
University of Waterloo 3
University of Kentucky 3
Academia Sinica Taiwan 3
Technical University of Dresden 3
Chinese Academy of Sciences 3
Leiden University 3
Royal Holloway University of London 3
University of Potsdam 3
Universite Paul Cezanne Aix-Marseille III 3
University of Technology Sydney 3
Wakayama University 3
Laboratoire d'Informatique de l'Ecole Polytechnique 3
University of Patras 3
Institute of Mathematical Sciences India 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
Technical University of Darmstadt 4
Center for Mathematics and Computer Science - Amsterdam 4
University of Kiel 4
Stanford University 4
University of Texas at Austin 4
University of Trento 4
Simon Fraser University 4
Nokia Bell Labs 4
Queen Mary, University of London 4
University of California, Berkeley 4
University of Freiburg 4
Swiss Federal Institute of Technology, Zurich 4
Vrije Universiteit Brussel 4
Technical University of Madrid 4
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications 4
University of Aarhus 4
University of Copenhagen 4
University of Cambridge 4
Academy of Sciences of the Czech Republic (Avcr.Cz) 4
New University of Lisbon 4
Laboratoire d'Informatique de Nantes-Atlantique 4
Laboratoire de Recherche en Informatique 4
University of Liege 5
McGill University 5
University of Insubria 5
University of Houston 5
University of Pennsylvania 5
Bremen University 5
Free University of Bozen-Bolzano 5
Ecole Polytechnique 5
Ca' Foscari University of Venice 5
Adam Mickiewicz University in Poznan 5
Radboud University Nijmegen 5
Western Sydney University 5
Technical University of Munich 5
University of Ferrara 5
Tsinghua University 5
University of New South Wales 5
University of Athens 5
University of Alberta 5
Aix Marseille Universite 5
Max Planck Institute for Informatics 6
University of Padua 6
University of Helsinki 6
Swansea University 6
University of Udine 6
University of Bath 6
University of California, San Diego 6
University of Verona 6
University of Sheffield 7
Royal Institute of Technology 7
Gottfried Wilhelm Leibniz Universitat 7
Cornell University 7
Birkbeck University of London 7
Technion - Israel Institute of Technology 7
Complutense University of Madrid 7
Ludwig Maximilian University of Munich 7
University of Liverpool 8
The University of Warwick 8
University of Pisa 8
Universite Paris 7- Denis Diderot 9
King's College London 9
Imperial College London 9
University of Wroclaw 9
University of Naples Federico II 9
University Michigan Ann Arbor 9
University of Edinburgh 9
University of Manchester 10
Tel Aviv University 10
Universitat Politecnica de Catalunya 10
Microsoft Research 10
University of Milan 11
Eindhoven University of Technology 11
Griffith University 11
Hebrew University of Jerusalem 12
University of Warsaw 12
University of Toronto 12
Institute of Science and Technology Austria 12
University of Turin 14
RWTH Aachen University 14
Specifications and Verification Laboratory 14
University of Calabria 15
Hasselt University 16
Catholic University of Leuven, Leuven 16
University of Bologna 16
University of Maryland 21
Carnegie Mellon University 23
University of Roma La Sapienza 25
University of Oxford 29
Vienna University of Technology 61

ACM Transactions on Computational Logic (TOCL)
Archive


2018
Volume 19 Issue 2, May 2018  Issue-in-Progress
Volume 19 Issue 1, February 2018

2017
Volume 18 Issue 4, December 2017
Volume 18 Issue 3, August 2017
Volume 18 Issue 2, June 2017
Volume 18 Issue 1, April 2017

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Search TOCL
enter search term and/or author name