×

ACM Transactions on Computational Logic

Short Title: ACM Trans. Comput. Log.
Publisher: Association for Computing Machinery (ACM), New York, NY
ISSN: 1529-3785; 1557-945X/e
Online: https://dl.acm.org/loi/tocl
Comments: Indexed cover-to-cover
Documents Indexed: 594 Publications (since 2000)
References Indexed: 120 Publications with 4,343 References.
all top 5

Authors

10 Gurevich, Yuri
8 Blass, Andreas Raphael
8 Eiter, Thomas
8 Kupferman, Orna
8 Subrahmanian, V. S.
7 Benedikt, Michael A.
7 Henzinger, Thomas A.
7 Neven, Frank
6 Chatterjee, Krishnendu
6 Denecker, Marc
6 Gottlob, Georg
6 Lazić, Ranko
6 Szeider, Stefan
5 Grädel, Erich
5 Lauria, Massimo
5 Liberatore, Paolo
5 Libkin, Leonid O.
5 Olivetti, Nicola
5 Schwentick, Thomas
5 Serre, Olivier
5 Tiu, Alwen Fernanto
5 Vollmer, Heribert
5 Zakharyaschev, Michael Viktorovich
4 Atserias, Albert
4 Beyersdorff, Olaf
4 Carayol, Arnaud
4 Ciabattoni, Agata
4 Cortier, Véronique
4 Creignou, Nadia
4 Feng, Yuan
4 Ferrari, Mauro
4 Fiorentini, Camillo
4 Genaim, Samir
4 Ghilardi, Silvio
4 Guglielmi, Alessio
4 Halpern, Joseph Yehuda
4 Murawski, Andrzej S.
4 Pfenning, Frank
4 Segoufin, Luc
4 Struth, Georg
4 Tan, Tony
4 Tompits, Hans
4 Wang, Kewen
4 Woltran, Stefan
4 Ying, Mingsheng
3 Albert, Elvira
3 Alur, Rajeev
3 Antoniou, Grigoris
3 Beckmann, Arnold
3 Bodirsky, Manuel
3 Bryant, Randal E.
3 Chadha, Rohit
3 Delaune, Stéphanie
3 Demri, Stéphane P.
3 Dix, Jurgen
3 Dixon, Clare
3 Fiorino, Guido
3 Gabbrielli, Maurizio
3 Galesi, Nicola
3 Goranko, Valentin F.
3 Grohe, Martin
3 Hustadt, Ullrich
3 Kieroński, Emanuel
3 Klaedtke, Felix
3 Kontinen, Juha
3 Kozen, Dexter C.
3 Kreutzer, Stephan
3 Kwiatkowska, Marta Z.
3 Lahav, Ori
3 Leone, Nicola
3 Liau, Churn-Jung
3 Lin, Fangzhen
3 Lukasiewicz, Thomas
3 Lutz, Carsten
3 Marion, Jean-Yves
3 Martini, Simone
3 Meier, Arne
3 Meo, Maria Chiara
3 Milius, Stefan
3 Miller, Dale Allen
3 Mogavero, Fabio
3 Murano, Aniello
3 Naumov, Pavel G.
3 Nordström, Jakob
3 Rabe, Florian
3 Raskin, Jean-François
3 Sakama, Chiaki
3 Schröder, Lutz
3 Sebastiani, Roberto
3 Shakarian, Paulo
3 Shen, Yidong
3 Silva, Alexandra
3 Simari, Gerardo I.
3 Thapen, Neil
3 van der Meyden, Ron
3 Vardi, Moshe Ya’akov
3 Vennekens, Joost
3 Voronkov, Andrei
3 Wolter, Frank
3 Worrell, James B.
...and 955 more Authors

Publications by Year

Citations contained in zbMATH Open

478 Publications have been cited 3,376 times in 2,691 Documents Cited by Year
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
135
2006
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
114
2001
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
54
2009
Finite state machines for strings over infinite alphabets. Zbl 1367.68175
Neven, Frank; Schwentick, Thomas; Vianu, Victor
53
2004
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
53
2006
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri
47
2000
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
42
2010
Complexity of conservative constraint satisfaction problems. Zbl 1351.68113
Bulatov, Andrei A.
41
2011
A system of interaction and structure. Zbl 1367.03110
Guglielmi, Alessio
40
2007
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y.
38
2001
Model-checking continuous-time Markov chains. Zbl 1365.68313
Aziz, Adnan; Sanwal, Kumud; Singhal, Vigyan; Brayton, Robert
38
2000
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
37
2011
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
36
2014
MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326
Engelfriet, Joost; Hoogeboom, Hendrik Jan
33
2001
A proof theory for generic judgments. Zbl 1367.03059
Miller, Dale; Tiu, Alwen
33
2005
Contextual modal type theory. Zbl 1367.03060
Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte
33
2008
On Hoare logic and Kleene algebra with tests. Zbl 1365.68326
Kozen, Dexter
30
2000
Clausal temporal resolution. Zbl 1365.03017
Fisher, Michael; Dixon, Clare; Peim, Martin
29
2001
Probabilistic logic programming with conditional constraints. Zbl 1171.68762
Lukasiewicz, Thomas
27
2001
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
25
2001
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
25
2007
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
24
2009
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
24
2013
Probabilistic game semantics. Zbl 1365.68310
Danos, Vincent; Harmer, Russell S.
24
2002
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
24
2004
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
24
2006
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
24
2009
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J.
23
2004
Abstract versus concrete computation on metric partial algebras. Zbl 1367.68102
Tucker, J. V.; Zucker, J. I.
23
2004
Description logics of minimal knowledge and negation as failure. Zbl 1365.68403
Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo
22
2002
Intuitionistic light affine logic. Zbl 1365.03040
Asperti, Andrea; Roversi, Luca
21
2002
Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270
Ratschan, Stefan
21
2006
Logic programs with propositional connectives and aggregates. Zbl 1351.68053
Ferraris, Paolo
20
2011
Representation results for defeasible logic. Zbl 1171.68740
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
20
2001
Topological and simplicial models of identity types. Zbl 1352.03012
van den Berg, Benno; Garner, Richard
19
2012
The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101
Lumsdaine, Peter LeFanu; Warren, Michael A.
19
2015
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
19
2014
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David
18
2012
Reasoning with higher-order abstract syntax in a logical framework. Zbl 1365.68164
McDowell, Raymond C.; Miller, Dale A.
18
2002
Why are there so many loop formulas? Zbl 1367.68036
Lifschitz, Vladimir; Razborov, Alexander
18
2006
On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco
17
2015
Hierarchies in dependence logic. Zbl 1352.03039
Durand, Arnaud; Kontinen, Juha
16
2012
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
16
2005
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
16
2017
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
15
2010
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2004
On equivalence and canonical forms in the LF type theory. Zbl 1367.03055
Harper, Robert; Pfenning, Frank
15
2005
Automatic linear orders and trees. Zbl 1367.03070
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank
15
2005
A logic of nonmonotone inductive definitions. Zbl 1367.68278
Denecker, Marc; Ternovska, Eugenia
15
2008
Mechanizing the metatheory of LF. Zbl 1351.68250
Urban, Christian; Cheney, James; Berghofer, Stefan
14
2011
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
14
2003
Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038
Rondogiannis, Panos; Wadge, William W.
14
2005
An effective decision procedure for linear arithmetic over the integers and reals. Zbl 1407.03052
Boigelot, Bernard; Jodogne, Sébastien; Wolper, Pierre
14
2005
Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111
Hughes, Dominic J. D.; van Glabbeek, Rob J.
14
2005
A formally verified proof of the prime number theorem. Zbl 1367.68244
Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul
14
2007
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
13
2009
On the proof complexity of deep inference. Zbl 1351.03056
Bruscoli, Paola; Guglielmi, Alessio
13
2009
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
13
2009
Automated termination proofs for logic programs by term rewriting. Zbl 1351.68054
Schneider-Kamp, Peter; Giesl, Jürgen; Serebrenik, Alexander; Thiemann, René
13
2009
Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186
Tiu, Alwen; Miller, Dale
13
2010
Nondeterministic phase semantics and the undecidability of Boolean BI. Zbl 1343.03022
Larchey-Wendling, Dominique; Galmiche, Didier
13
2013
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
13
2014
Search and strategies in OPL. Zbl 1365.90281
Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François
13
2000
Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039
Sakama, Chiaki
13
2005
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
13
2005
Soft concurrent constraint programming. Zbl 1367.68315
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
13
2006
First-order queries on structures of bounded degree are computable with constant delay. Zbl 1367.68086
Durand, Arnaud; Grandjean, Etienne
13
2007
A sequent calculus and a theorem prover for standard conditional logics. Zbl 1367.68253
Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla B.
13
2007
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
13
2017
Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
12
2010
Enumeration of monadic second-order queries on trees. Zbl 1353.68068
Kazana, Wojciech; Segoufin, Luc
12
2013
Structural focalization. Zbl 1354.03087
Simmons, Robert J.
12
2014
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. Zbl 1365.68317
Bryant, Randal E.; German, Steven; Velev, Miroslav N.
12
2001
Monodic temporal resolution. Zbl 1367.03035
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris
12
2006
Propositional computability logic. I. Zbl 1367.03056
Japaridze, Giorgi
12
2006
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
12
2008
Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
12
2008
Checking timed Büchi automata emptiness on simulation graphs. Zbl 1352.68165
Tripakis, Stavros
11
2009
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Zbl 1351.03004
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
11
2009
Succinctness of the complement and intersection of regular expressions. Zbl 1351.68139
Gelade, Wouter; Neven, Frank
11
2012
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
11
2014
Back and forth between guarded and modal logics. Zbl 1365.03019
Grädel, Erich; Hirsch, Colin; Otto, Martin
11
2002
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
11
2005
Propositional computability logic. II. Zbl 1367.03057
Japaridze, Giorgi
11
2006
Alternating timed automata. Zbl 1367.68172
Lasota, Slawomir; Walukiewicz, Igor
11
2008
A unified semantic framework for fully structural propositional sequent systems. Zbl 1354.03084
Lahav, Ori; Avron, Arnon
10
2013
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia
10
2015
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
10
2014
On knowledge-based programming with sensing in the situation calculus. Zbl 1365.68409
Reiter, Ray
10
2001
The marriage of effects and monads. Zbl 1365.68166
Wadler, Philip; Thiemann, Peter
10
2003
Arithmetic, first-order logic, and counting quantifiers. Zbl 1407.03050
Schweikardt, Nicole
10
2005
Complexity of propositional logics in team semantic. Zbl 1407.68291
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert
10
2018
Termination of rewriting under strategies. Zbl 1351.68129
Gnaedig, Isabelle; Kirchner, Hélène
9
2009
Parameterized complexity of DPLL search procedures. Zbl 1354.68105
Beyersdorff, Olaf; Galesi, Nicola; Lauria, Massimo
9
2013
Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105
Beckmann, Arnold; Buss, Samuel R.
9
2014
Logics with counting and local properties. Zbl 1365.03025
Libkin, Leonid
9
2000
Locality of order-invariant first-order formulas. Zbl 1365.68204
Grohe, Martin; Schwentick, Thomas
9
2000
Sequent calculi for propositional nonmonotonic logics. Zbl 1365.03023
Bonatti, Piero Andrea; Olivetti, Nicola
9
2002
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
9
2002
NExpTime-complete description logics with concrete domains. Zbl 1367.68288
Lutz, Carsten
9
2004
Logics with multiteam semantics. Zbl 07481000
Grädel, Erich; Wilke, Richard
2
2022
O-minimal invariants for discrete-time dynamical systems. Zbl 07480996
Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James
1
2022
Parameterized complexity of elimination distance to first-order logic properties. Zbl 07516330
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M.
1
2022
Display to labeled proofs and back again for tense logics. Zbl 07480994
Ciabattoni, Agata; Lyon, Tim S.; Ramanayake, Revantha; Tiu, Alwen
1
2021
First-order interpretations of bounded expansion classes. Zbl 1446.68094
Gajarský, Jakub; Kreutzer, Stephan; Nešetřil, Jaroslav; Ossona de Mendez, Patrice; Pilipczuk, Michał; Siebertz, Sebastian; Toruńczyk, Szymon
4
2020
Adding successor. A transfer theorem for separation and covering. Zbl 1433.03103
Place, Thomas; Zeitoun, Marc
3
2020
Idempotent anti-unification. Zbl 1433.68188
Cerna, David; Kutsia, Temur
3
2020
Satisfiability of modal inclusion logic. Lax and strict semantics. Zbl 1433.03053
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Vollmer, Heribert
2
2020
Intuitionistic linear temporal logics. Zbl 1433.03047
Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David
2
2020
The power of the weak. Zbl 1446.68089
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
2
2020
Why liveness for timed automata is hard, and what we can do about it. Zbl 1446.68068
Herbreteau, Frédéric; Srivathsan, B.; Tran, Thanh-Tung; Walukiewicz, Igor
2
2020
Dichotomies in ontology-mediated querying with the guarded fragment. Zbl 1446.68056
Hernich, André; Lutz, Carsten; Papacchini, Fabio; Wolter, Frank
2
2020
Typing messages for free in security protocols. Zbl 1433.68211
Chrétien, Rémy; Cortier, Véronique; Dallon, Antoine; Delaune, Stéphanie
1
2020
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
Dynamic QBF dependencies in reduction and expansion. Zbl 1433.03138
Beyersdorff, Olaf; Blinkhorn, Joshua
1
2020
A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038
Tomović, S.; Ognjanović, Z.; Doder, D.
1
2020
The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. Zbl 1446.03064
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas
1
2020
Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. Zbl 1446.03025
Fiorentini, Camillo; Ferrari, Mauro
1
2020
Non-well-founded proof theory of transitive closure logic. Zbl 1446.03031
Cohen, Liron; Rowe, Reuben N. S.
1
2020
Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131
Lellmann, Björn; Pimentel, Elaine
6
2019
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
3
2019
Proof complexity meets algebra. Zbl 1407.03070
Atserias, Albert; Ochremiak, Joanna
2
2019
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
2
2019
A higher-order calculus of computational fields. Zbl 1407.68326
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
2
2019
Fast query answering over existential rules. Zbl 1433.68432
Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
2
2019
1-safe Petri nets and special cube complexes. Equivalence and applications. Zbl 1433.68243
Chalopin, Jérémie; Chepoi, Victor
2
2019
Modal resolution. Proofs, layers, and refinements. Zbl 1433.03057
Nalon, Cláudia; Dixon, Clare; Hustadt, Ullrich
2
2019
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
1
2019
Binary reachability of timed-register pushdown automata and branching vector addition systems. Zbl 1433.68194
Clemente, Lorenzo; Lasota, Sławomir; Lazić, Ranko; Mazowiecki, Filip
1
2019
On the verification of livelock-freedom and self-stabilization on parameterized rings. Zbl 1433.68254
Klinkhamer, Alex; Ebnenasir, Ali
1
2019
De Morgan dual nominal quantifiers modelling private names in non-commutative logic. Zbl 1459.03090
Horne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel
1
2019
Incomplete SMT techniques for solving non-linear formulas over the integers. Zbl 1433.68405
Borralleras, Cristina; Larraz, Daniel; Rodríguez-Carbonell, Enric; Oliveras, Albert; Rubio, Albert
1
2019
Complexity of propositional logics in team semantic. Zbl 1407.68291
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert
10
2018
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
8
2018
Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072
Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil
6
2018
Path categories and propositional identity types. Zbl 1407.03005
van den Berg, Benno
3
2018
Game-theoretic semantics for alternating-time temporal logic. Zbl 1407.03030
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine
3
2018
An epistemic strategy logic. Zbl 1407.03020
Huang, Xiaowei; van der Meyden, Ron
3
2018
Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants. Zbl 1407.03009
Kieroński, Emanuel; Tendera, Lidia
3
2018
Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066
Ciabattoni, Agata; Genco, Francesco A.
2
2018
Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal
2
2018
Some subsystems of constant-depth Frege with parity. Zbl 1407.03074
Garlík, Michal; Kołodziejczyk, Leszek Aleksander
2
2018
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
2
2018
Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411
Neider, Daniel; Saha, Shambwaditya; Madhusudan, P.
1
2018
Quantitative aspects of linear and affine closed lambda terms. Zbl 1407.03013
Lescanne, Pierre
1
2018
Hierarchies in inclusion logic with lax semantics. Zbl 1407.03040
Hannula, Miika
1
2018
A modular type reconstruction algorithm. Zbl 1407.68440
Rabe, Florian
1
2018
Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. Zbl 1407.03077
Hamano, Masahiro
1
2018
An automatic proving approach to parameterized verification. Zbl 1407.68295
Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei
1
2018
Completeness of flat coalgebraic fixpoint logics. Zbl 1407.03049
Schröder, Lutz; Venema, Yde
1
2018
Typed nominal rewriting. Zbl 1407.68240
Fairweather, Elliot; Fernández, Maribel
1
2018
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
16
2017
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
13
2017
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
6
2017
Differential hybrid games. Zbl 1407.91056
Platzer, André
6
2017
The complexity of phylogeny constraint satisfaction problems. Zbl 1407.68206
Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van
6
2017
Verifying procedural programs via constrained rewriting induction. Zbl 1367.68248
Fuhs, Carsten; Kop, Cynthia; Nishida, Naoki
5
2017
Graph logics with rational relations: the role of word combinatorics. Zbl 1367.68082
Barceló, Pablo; Muñoz, Pablo
4
2017
Equations, contractions, and unique solutions. Zbl 1367.68212
Sangiorgi, Davide
3
2017
Datalog queries distributing over components. Zbl 1367.68081
Ameloot, Tom J.; Ketsman, Bas; Neven, Frank; Zinn, Daniel
3
2017
The NP search problems of Frege and extended Frege proofs. Zbl 1407.03071
Beckmann, Arnold; Buss, Sam
3
2017
The logical view on continuous Petri nets. Zbl 1407.68329
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge
3
2017
Algorithmic compression of finite tree languages by rigid acyclic grammars. Zbl 1407.68251
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan
3
2017
A Hoare logic for GPU kernels. Zbl 1367.68066
Kojima, Kensuke; Igarashi, Atsushi
2
2017
Merging in the Horn fragment. Zbl 1367.68280
Haret, Adrian; Rümmele, Stefan; Woltran, Stefan
2
2017
Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction. Zbl 1367.68277
Chlebowski, Szymon; Komosinski, Maciej; Kups, Adam
2
2017
Faster statistical model checking for unbounded temporal properties. Zbl 1367.68188
Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
2
2017
Possibilistic justification logic: reasoning about justified uncertain beliefs. Zbl 1407.03023
Su, Che-Ping; Fan, Tuan-Fang; Liau, Churn-Jung
2
2017
Progression of decomposed local-effect action theories. Zbl 1367.68292
Ponomaryov, Denis; Soutchanski, Mikhail
2
2017
Nested weighted automata. Zbl 1407.68248
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2017
Abstract program slicing: an abstract interpretation-based approach to program slicing. Zbl 1367.68070
Mastroeni, Isabella; Zanardini, Damiano
1
2017
Quantified constraint satisfaction problem on semicomplete digraphs. Zbl 1367.68115
Đapić, Petar; Marković, Petar; Martin, Barnaby
1
2017
Parametrised complexity of satisfiability in temporal logic. Zbl 1367.68111
Lück, Martin; Meier, Arne; Schindler, Irena
1
2017
The probability of a computable output from a random oracle. Zbl 1407.03056
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
1
2017
Managing change in graph-structured data using description logics. Zbl 1407.68122
Ahmetaj, Shqiponja; Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
1
2017
Detecting decidable classes of finitely ground logic programs with function symbols. Zbl 1407.68078
Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
1
2017
One hierarchy spawns another, graph deconstructions and the complexity classification of conjunctive queries. Zbl 1407.68211
Chen, Hubie; Müller, Moritz
1
2017
An effective characterization of the alternation hierarchy in two-variable logic. Zbl 1407.03054
Krebs, Andreas; Straubing, Howard
1
2017
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1367.03053
Demri, Stephane; Deters, Morgan
7
2016
Power and limits of structural display rules. Zbl 1407.03067
Ciabattoni, Agata; Ramanayake, Revantha
7
2016
Narrow proofs may be maximally long. Zbl 1367.03104
Atserias, Albert; Lauria, Massimo; Nordström, Jakob
5
2016
Automated verification of equivalence properties of cryptographic protocols. Zbl 1367.68184
Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ştefan; Kremer, Steve
5
2016
Model checking existential logic on partially ordered sets. Zbl 1367.68182
Bova, Simone; Ganian, Robert; Szeider, Stefan
3
2016
Taming multirelations. Zbl 1407.03080
Furusawa, Hitoshi; Struth, Georg
3
2016
Effective interpolation and preservation in guarded logics. Zbl 1367.03036
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael
2
2016
The Hoare logic of deterministic and nondeterministic monadic recursion schemes. Zbl 1367.68069
Mamouras, Konstantinos
2
2016
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
2
2016
Correctness and completeness of logic programs. Zbl 1367.68030
Drabent, Włodzimierz
2
2016
Index problems for game automata. Zbl 1367.68167
Facchini, Alessandro; Murlak, Filip; Skrzypczak, Michał
2
2016
Complexity of two-variable logic on finite trees. Zbl 1367.03062
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
2
2016
Where first-order and monadic second-order logic coincide. Zbl 1407.03003
Elberfeld, Michael; Grohe, Martin; Tantau, Till
2
2016
Limiting Until in ordered tree query languages. Zbl 1367.68083
Benedikt, Michael; Ley, Clemens
1
2016
Zeno, Hercules, and the Hydra: safety metric temporal logic is Ackermann-complete. Zbl 1367.68109
Lazić, Ranko; Ouaknine, Joël; Worrell, James
1
2016
Belief merging within fragments of propositional logic. Zbl 1367.03034
Creignou, Nadia; Papini, Odile; Rümmele, Stefan; Woltran, Stefan
1
2016
A model for phase transition of random answer-set programs. Zbl 1367.68043
Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen
1
2016
The equivalence of the torus and the product of two circles in homotopy type theory. Zbl 1367.03018
Sojakova, Kristina
1
2016
How hard is positive quantification? Zbl 1367.03021
Schubert, Aleksy; Urzyczyn, Paweł; Walukiewicz-Chrząszcz, Daria
1
2016
The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101
Lumsdaine, Peter LeFanu; Warren, Michael A.
19
2015
On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco
17
2015
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia
10
2015
...and 378 more Documents
all top 5

Cited by 3,308 Authors

28 Eiter, Thomas
27 Woltran, Stefan
23 Chatterjee, Krishnendu
22 Murano, Aniello
21 Möller, Bernhard
19 Kupferman, Orna
18 Struth, Georg
18 Vardi, Moshe Ya’akov
17 Zimmermann, Martín G.
16 Milius, Stefan
16 Rondogiannis, Panos
16 Truszczyński, Mirosław
15 Demri, Stéphane P.
15 Denecker, Marc
15 Straßburger, Lutz
14 Alviano, Mario
14 Dixon, Clare
14 Pientka, Brigitte
13 Beyersdorff, Olaf
13 Leone, Nicola
13 Lukasiewicz, Thomas
13 Pattinson, Dirk
13 Raskin, Jean-François
13 Zakharyaschev, Michael Viktorovich
12 Bouyer, Patricia
12 Cabalar, Pedro
12 Dal Lago, Ugo
12 Gebser, Martin
12 Henzinger, Thomas A.
12 Lifschitz, Vladimir
12 Meier, Arne
12 Mogavero, Fabio
12 Wolter, Frank
11 Aceto, Luca
11 Bogaerts, Bart
11 Dershowitz, Nachum
11 Faber, Wolfgang
11 Gottlob, Georg
11 Ingólfsdóttir, Anna
11 Katoen, Joost-Pieter
11 Meseguer Guaita, José
11 Miller, Dale Allen
11 Murawski, Andrzej S.
11 Olarte, Carlos
11 Ricca, Francesco
11 Schröder, Lutz
11 Vollmer, Heribert
10 Baier, Christel
10 Bodirsky, Manuel
10 Boker, Udi
10 Dodaro, Carmine
10 Filiot, Emmanuel
10 Giesl, Jürgen
10 Japaridze, Giorgi
10 Leite, João
10 Ringeissen, Christophe
10 Schwentick, Thomas
10 Tucker, John V.
10 Zucker, Jeffery I.
9 Bozzelli, Laura
9 Droste, Manfred
9 Fink, Michael
9 Giordano, Laura
9 Governatori, Guido
9 Horne, Ross
9 Hustadt, Ullrich
9 Kontinen, Juha
9 Kwiatkowska, Marta Z.
9 Lierler, Yuliya
9 Maratea, Marco
9 Otop, Jan
9 Perelli, Giuseppe
9 Pimentel, Elaine
9 Reynier, Pierre-Alain
9 Rubin, Sasha
9 Schaub, Torsten H.
9 Schweikardt, Nicole
9 Worrell, James B.
9 Živný, Stanislav
8 Baillot, Patrick
8 Bonacina, Maria Paola
8 Ciabattoni, Agata
8 Delaune, Stéphanie
8 Fandinno, Jorge
8 Fokkink, Willem Jan
8 Gabbay, Murdoch James
8 Ghilardi, Silvio
8 Hermanns, Holger
8 Janhunen, Tomi
8 Lin, Fangzhen
8 Montanari, Angelo
8 Muscholl, Anca
8 Olivetti, Nicola
8 Panangaden, Prakash
8 Sebastiani, Roberto
8 Tini, Simone
8 Tiu, Alwen Fernanto
8 Tompits, Hans
8 Weinert, Alexander
8 Wißmann, Thorsten
...and 3,208 more Authors
all top 5

Cited in 145 Journals

185 Theoretical Computer Science
145 Information and Computation
139 Theory and Practice of Logic Programming
135 Artificial Intelligence
112 Logical Methods in Computer Science
69 Annals of Pure and Applied Logic
67 Journal of Computer and System Sciences
58 Journal of Automated Reasoning
56 ACM Transactions on Computational Logic
52 MSCS. Mathematical Structures in Computer Science
50 Annals of Mathematics and Artificial Intelligence
50 Journal of Logical and Algebraic Methods in Programming
35 International Journal of Approximate Reasoning
35 Journal of Applied Logic
34 Acta Informatica
32 The Journal of Logic and Algebraic Programming
31 Formal Methods in System Design
30 Journal of Applied Non-Classical Logics
30 Theory of Computing Systems
29 Information Processing Letters
25 Studia Logica
21 Formal Aspects of Computing
21 Journal of Functional Programming
18 Constraints
17 The Journal of Symbolic Logic
14 Fundamenta Informaticae
13 Fuzzy Sets and Systems
13 International Journal of Foundations of Computer Science
13 Archive for Mathematical Logic
11 Discrete Applied Mathematics
11 SIAM Journal on Computing
11 Journal of Symbolic Computation
11 Journal of Logic, Language and Information
10 The Bulletin of Symbolic Logic
9 Journal of Philosophical Logic
9 Machine Learning
8 Journal of Pure and Applied Algebra
8 Science of Computer Programming
8 Logica Universalis
6 Information Sciences
6 Synthese
6 Computational Complexity
6 Journal of the ACM
5 International Journal of Theoretical Physics
5 Algebra Universalis
5 Applied Mathematics and Computation
5 International Journal of Algebra and Computation
5 Mathematical Logic Quarterly (MLQ)
5 The Journal of Artificial Intelligence Research (JAIR)
4 Soft Computing
4 Logic and Logical Philosophy
4 Mathematics in Computer Science
4 The Review of Symbolic Logic
4 Computer Science Review
3 Automatica
3 Notre Dame Journal of Formal Logic
3 Computers & Operations Research
3 SIAM Journal on Discrete Mathematics
3 Theory and Applications of Categories
3 RAIRO. Theoretical Informatics and Applications
3 International Game Theory Review
3 RAIRO. Theoretical Informatics and Applications
3 Frontiers of Computer Science
2 Communications in Algebra
2 Discrete Mathematics
2 Lithuanian Mathematical Journal
2 Journal of Combinatorial Theory. Series B
2 Programming and Computer Software
2 Transactions of the American Mathematical Society
2 European Journal of Combinatorics
2 Journal of Computer Science and Technology
2 Algorithmica
2 Forum Mathematicum
2 Journal of Global Optimization
2 International Journal of Computer Mathematics
2 Cybernetics and Systems Analysis
2 Journal of Mathematical Sciences (New York)
2 Discrete Mathematics and Theoretical Computer Science. DMTCS
2 Computer Languages, Systems & Structures
2 Nonlinear Analysis. Hybrid Systems
2 Higher Structures
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 ACM Transactions on Database Systems
1 Advances in Mathematics
1 The Annals of Statistics
1 Fundamenta Mathematicae
1 Journal of Algebra
1 Kybernetika
1 Mathematica Slovaca
1 Mathematische Zeitschrift
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Combinatorica
1 Graphs and Combinatorics
1 Applied Mathematics Letters
1 Annals of Operations Research
1 Real-Time Systems
...and 45 more Journals
all top 5

Cited in 41 Fields

2,224 Computer science (68-XX)
1,184 Mathematical logic and foundations (03-XX)
115 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
59 Category theory; homological algebra (18-XX)
56 Combinatorics (05-XX)
53 Operations research, mathematical programming (90-XX)
48 General algebraic systems (08-XX)
35 Order, lattices, ordered algebraic structures (06-XX)
31 Information and communication theory, circuits (94-XX)
23 Probability theory and stochastic processes (60-XX)
21 Quantum theory (81-XX)
20 Algebraic topology (55-XX)
17 Biology and other natural sciences (92-XX)
16 Systems theory; control (93-XX)
15 Group theory and generalizations (20-XX)
11 History and biography (01-XX)
9 Associative rings and algebras (16-XX)
9 General topology (54-XX)
8 General and overarching topics; collections (00-XX)
6 Numerical analysis (65-XX)
5 Number theory (11-XX)
5 Mechanics of particles and systems (70-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Convex and discrete geometry (52-XX)
3 Ordinary differential equations (34-XX)
2 Field theory and polynomials (12-XX)
2 Commutative algebra (13-XX)
2 Algebraic geometry (14-XX)
2 Real functions (26-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Operator theory (47-XX)
2 Statistics (62-XX)
2 Mathematics education (97-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Measure and integration (28-XX)
1 Partial differential equations (35-XX)
1 Difference and functional equations (39-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Manifolds and cell complexes (57-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year