×

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: Journal; Indexed cover-to-cover
Documents Indexed: 651 Publications (since 2000)
References Indexed: 170 Publications with 6,658 References.
all top 5

Latest Issues

25, No. 1 (2023)
24, No. 4 (2023)
24, No. 3 (2023)
24, No. 2 (2023)
24, No. 1 (2023)
23, No. 4 (2022)
23, No. 3 (2022)
23, No. 2 (2022)
23, No. 1 (2021)
22, No. 4 (2021)
22, No. 3 (2021)
21, No. 4 (2020)
21, No. 3 (2020)
21, No. 2 (2020)
21, No. 1 (2020)
20, No. 4 (2019)
20, No. 3 (2019)
20, No. 2 (2019)
20, No. 1 (2019)
19, No. 4 (2018)
19, No. 3 (2018)
19, No. 2 (2018)
19, No. 1 (2018)
18, No. 4 (2017)
18, No. 3 (2017)
18, No. 2 (2017)
18, No. 1 (2017)
17, No. 4 (2016)
17, No. 3 (2016)
17, No. 2 (2016)
17, No. 1 (2015)
16, No. 4 (2015)
16, No. 3 (2015)
16, No. 2 (2015)
16, No. 1 (2015)
15, No. 4 (2014)
15, No. 3 (2014)
15, No. 2 (2014)
15, No. 1 (2014)
14, No. 4 (2013)
14, No. 3 (2013)
14, No. 2 (2013)
14, No. 1 (2013)
13, No. 4 (2012)
13, No. 3 (2012)
13, No. 2 (2012)
13, No. 1 (2012)
12, No. 4 (2011)
12, No. 3 (2011)
12, No. 2 (2011)
12, No. 1 (2010)
11, No. 4 (2010)
11, No. 3 (2010)
11, No. 2 (2010)
11, No. 1 (2009)
10, No. 4 (2009)
10, No. 3 (2009)
10, No. 2 (2009)
10, No. 1 (2009)
9, No. 4 (2008)
9, No. 3 (2008)
9, No. 2 (2008)
9, No. 1 (2007)
8, No. 4 (2007)
8, No. 3 (2007)
8, No. 2 (2007)
8, No. 1 (2007)
7, No. 4 (2006)
7, No. 3 (2006)
7, No. 2 (2006)
7, No. 1 (2006)
6, No. 4 (2005)
6, No. 3 (2005)
6, No. 2 (2005)
6, No. 1 (2005)
5, No. 4 (2004)
5, No. 3 (2004)
5, No. 2 (2004)
5, No. 1 (2004)
4, No. 4 (2003)
4, No. 3 (2003)
4, No. 2 (2003)
4, No. 1 (2003)
3, No. 4 (2002)
3, No. 3 (2002)
3, No. 2 (2002)
3, No. 1 (2002)
2, No. 4 (2001)
2, No. 3 (2001)
2, No. 2 (2001)
2, No. 1 (2001)
1, No. 2 (2000)
1, No. 1 (2000)
all top 5

Authors

10 Gurevich, Yuri
9 Eiter, Thomas
9 Kupferman, Orna
8 Benedikt, Michael A.
8 Blass, Andreas Raphael
8 Subrahmanian, V. S.
7 Henzinger, Thomas A.
7 Neven, Frank
6 Chatterjee, Krishnendu
6 Denecker, Marc
6 Gottlob, Georg
6 Lauria, Massimo
6 Lazić, Ranko
6 Liberatore, Paolo
6 Szeider, Stefan
5 Atserias, Albert
5 Beyersdorff, Olaf
5 Ghilardi, Silvio
5 Grädel, Erich
5 Guglielmi, Alessio
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 Bodirsky, Manuel
4 Bryant, Randal E.
4 Buss, Samuel R.
4 Carayol, Arnaud
4 Ciabattoni, Agata
4 Cortier, Véronique
4 Creignou, Nadia
4 Demri, Stéphane P.
4 Feng, Yuan
4 Ferrari, Mauro
4 Fiorentini, Camillo
4 Genaim, Samir
4 Goranko, Valentin F.
4 Grohe, Martin
4 Halpern, Joseph Yehuda
4 Kontinen, Juha
4 Lin, Fangzhen
4 Meier, Arne
4 Milius, Stefan
4 Mogavero, Fabio
4 Murano, Aniello
4 Murawski, Andrzej S.
4 Palmigiano, Alessandra
4 Pfenning, Frank
4 Segoufin, Luc
4 Simari, Gerardo I.
4 Struth, Georg
4 Tan, Tony
4 Tompits, Hans
4 Wang, Kewen
4 Wolter, Frank
4 Woltran, Stefan
4 Ying, Mingsheng
3 Albert, Elvira
3 Alur, Rajeev
3 Antoniou, Grigoris
3 Beckmann, Arnold
3 Chadha, Rohit
3 Dawar, Anuj
3 Delaune, Stéphanie
3 Dix, Jurgen
3 Dixon, Clare
3 Durand, Arnaud
3 Fiorino, Guido
3 Fokkink, Willem Jan
3 Gabbrielli, Maurizio
3 Galesi, Nicola
3 Heule, Marijn J. H.
3 Hierons, Robert Mark
3 Hustadt, Ullrich
3 Keiren, Jeroen J. A.
3 Khan, Md. Aquil
3 Kieroński, Emanuel
3 Klaedtke, Felix
3 Kozen, Dexter C.
3 Kreutzer, Stephan
3 Kwiatkowska, Marta Z.
3 Lahav, Ori
3 Leone, Nicola
3 Liau, Churn-Jung
3 Lukasiewicz, Thomas
3 Lutz, Carsten
3 Mahajan, Meena
3 Marion, Jean-Yves
3 Martin, Barnaby D.
3 Martini, Simone
3 Mazowiecki, Filip
3 Meo, Maria Chiara
3 Miller, Dale Allen
3 Naumov, Pavel G.
3 Nordström, Jakob
3 Pientka, Brigitte
3 Rabe, Florian
...and 1,041 more Authors

Publications by Year

Citations contained in zbMATH Open

519 Publications have been cited 4,129 times in 3,230 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
158
2006
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
136
2001
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
69
2006
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
65
2009
Finite state machines for strings over infinite alphabets. Zbl 1367.68175
Neven, Frank; Schwentick, Thomas; Vianu, Victor
62
2004
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri
57
2000
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
52
2010
Model-checking continuous-time Markov chains. Zbl 1365.68313
Aziz, Adnan; Sanwal, Kumud; Singhal, Vigyan; Brayton, Robert
51
2000
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y.
49
2001
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
49
2011
Complexity of conservative constraint satisfaction problems. Zbl 1351.68113
Bulatov, Andrei A.
46
2011
A system of interaction and structure. Zbl 1367.03110
Guglielmi, Alessio
46
2007
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
45
2014
On Hoare logic and Kleene algebra with tests. Zbl 1365.68326
Kozen, Dexter
43
2000
MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326
Engelfriet, Joost; Hoogeboom, Hendrik Jan
42
2001
A proof theory for generic judgments. Zbl 1367.03059
Miller, Dale; Tiu, Alwen
41
2005
Contextual modal type theory. Zbl 1367.03060
Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte
38
2008
Clausal temporal resolution. Zbl 1365.03017
Fisher, Michael; Dixon, Clare; Peim, Martin
35
2001
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
31
2009
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
30
2004
Probabilistic logic programming with conditional constraints. Zbl 1171.68762
Lukasiewicz, Thomas
29
2001
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
28
2001
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
28
2013
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
26
2009
Description logics of minimal knowledge and negation as failure. Zbl 1365.68403
Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo
26
2002
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
26
2006
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
26
2007
The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101
Lumsdaine, Peter LeFanu; Warren, Michael A.
25
2015
Abstract versus concrete computation on metric partial algebras. Zbl 1367.68102
Tucker, J. V.; Zucker, J. I.
25
2004
Enumeration of monadic second-order queries on trees. Zbl 1353.68068
Kazana, Wojciech; Segoufin, Luc
24
2013
Representation results for defeasible logic. Zbl 1171.68740
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
24
2001
Logic programs with propositional connectives and aggregates. Zbl 1351.68053
Ferraris, Paolo
23
2011
Intuitionistic light affine logic. Zbl 1365.03040
Asperti, Andrea; Roversi, Luca
23
2002
Probabilistic game semantics. Zbl 1365.68310
Danos, Vincent; Harmer, Russell S.
23
2002
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J.
23
2004
Topological and simplicial models of identity types. Zbl 1352.03012
van den Berg, Benno; Garner, Richard
22
2012
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
22
2014
Reasoning with higher-order abstract syntax in a logical framework. Zbl 1365.68164
McDowell, Raymond C.; Miller, Dale A.
22
2002
Why are there so many loop formulas? Zbl 1367.68036
Lifschitz, Vladimir; Razborov, Alexander
22
2006
On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco
21
2015
An effective decision procedure for linear arithmetic over the integers and reals. Zbl 1407.03052
Boigelot, Bernard; Jodogne, Sébastien; Wolper, Pierre
21
2005
Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270
Ratschan, Stefan
21
2006
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David
20
2012
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
20
2014
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
19
2010
Nondeterministic phase semantics and the undecidability of Boolean BI. Zbl 1343.03022
Larchey-Wendling, Dominique; Galmiche, Didier
19
2013
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
19
2018
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
19
2005
Hierarchies in dependence logic. Zbl 1352.03039
Durand, Arnaud; Kontinen, Juha
18
2012
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
18
2004
On equivalence and canonical forms in the LF type theory. Zbl 1367.03055
Harper, Robert; Pfenning, Frank
18
2005
Automatic linear orders and trees. Zbl 1367.03070
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank
18
2005
A logic of nonmonotone inductive definitions. Zbl 1367.68278
Denecker, Marc; Ternovska, Eugenia
18
2008
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.
18
2017
Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186
Tiu, Alwen; Miller, Dale
17
2010
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
17
2003
Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111
Hughes, Dominic J. D.; van Glabbeek, Rob J.
17
2005
First-order queries on structures of bounded degree are computable with constant delay. Zbl 1367.68086
Durand, Arnaud; Grandjean, Etienne
17
2007
A formally verified proof of the prime number theorem. Zbl 1367.68244
Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul
17
2007
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
16
2017
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
16
2009
On the proof complexity of deep inference. Zbl 1351.03056
Bruscoli, Paola; Guglielmi, Alessio
16
2009
Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039
Sakama, Chiaki
16
2005
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
15
2005
Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038
Rondogiannis, Panos; Wadge, William W.
15
2005
Soft concurrent constraint programming. Zbl 1367.68315
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
15
2006
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
15
2008
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
14
2009
Mechanizing the metatheory of LF. Zbl 1351.68250
Urban, Christian; Cheney, James; Berghofer, Stefan
14
2011
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
14
2014
Search and strategies in OPL. Zbl 1365.90281
Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François
14
2000
Back and forth between guarded and modal logics. Zbl 1365.03019
Grädel, Erich; Hirsch, Colin; Otto, Martin
14
2002
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
14
2005
Alternating timed automata. Zbl 1367.68172
Lasota, Slawomir; Walukiewicz, Igor
14
2008
Complexity of propositional logics in team semantic. Zbl 1407.68291
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert
13
2018
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Zbl 1351.03004
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
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
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.
13
2001
The marriage of effects and monads. Zbl 1365.68166
Wadler, Philip; Thiemann, Peter
13
2003
Arithmetic, first-order logic, and counting quantifiers. Zbl 1407.03050
Schweikardt, Nicole
13
2005
Monodic temporal resolution. Zbl 1367.03035
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris
13
2006
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
13
2008
Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
12
2010
Succinctness of the complement and intersection of regular expressions. Zbl 1351.68139
Gelade, Wouter; Neven, Frank
12
2012
A unified semantic framework for fully structural propositional sequent systems. Zbl 1354.03084
Lahav, Ori; Avron, Arnon
12
2013
Structural focalization. Zbl 1354.03087
Simmons, Robert J.
12
2014
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
12
2014
Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105
Beckmann, Arnold; Buss, Samuel R.
12
2014
Propositional computability logic. I. Zbl 1367.03056
Japaridze, Giorgi
12
2006
A sequent calculus and a theorem prover for standard conditional logics. Zbl 1367.68253
Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla B.
12
2007
Narrow proofs may be maximally long. Zbl 1367.03104
Atserias, Albert; Lauria, Massimo; Nordström, Jakob
12
2016
Checking timed Büchi automata emptiness on simulation graphs. Zbl 1352.68165
Tripakis, Stavros
11
2009
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
11
2012
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia
11
2015
A decision procedure for term algebras with queues. Zbl 1171.68557
Rybina, Tatiana; Voronkov, Andrei
11
2001
On knowledge-based programming with sensing in the situation calculus. Zbl 1365.68409
Reiter, Ray
11
2001
Sequent calculi for propositional nonmonotonic logics. Zbl 1365.03023
Bonatti, Piero Andrea; Olivetti, Nicola
11
2002
Simulation-based minimization. Zbl 1365.68319
Bustan, Doron; Grumberg, Orna
11
2003
Propositional computability logic. II. Zbl 1367.03057
Japaridze, Giorgi
11
2006
A finite equational base for CCS with left merge and communication merge. Zbl 1367.68207
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
11
2009
A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions. Zbl 07650597
Matheja, Christoph; Pagel, Jens; Zuleger, Florian
3
2023
SAT-inspired eliminations for superposition. Zbl 07650603
Vukmirović, Petar; Blanchette, Jasmin; Heule, Marijn J. H.
2
2023
Good-for-game QPTL: an alternating hodges semantics. Zbl 07650600
Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio
1
2023
Canonisation and definability for graphs of bounded rank width. Zbl 07650602
Grohe, Martin; Neuen, Daniel
1
2023
Eager equality for rational number arithmetic. Zbl 07713583
Bergstra, Jan A.; Tucker, John V.
1
2023
Precise subtyping for asynchronous multiparty sessions. Zbl 07672673
Ghilezan, Silvia; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko
1
2023
Generalizing Parikh’s criterion for relevance-sensitive belief revision. Zbl 07672677
Aravanis, Theofanis
1
2023
Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? Zbl 1508.68239
Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
3
2022
Logics with multiteam semantics. Zbl 1505.03069
Grädel, Erich; Wilke, Richard
3
2022
Parameterized complexity of elimination distance to first-order logic properties. Zbl 1505.03075
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M.
3
2022
Syntactic completeness of proper display calculi. Zbl 1505.03121
Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos
2
2022
Being correct is not enough: efficient verification using robust linear temporal logic. Zbl 1502.68178
Anevlavis, Tzanis; Philippe, Matthew; Neider, Daniel; Tabuada, Paulo
2
2022
o-minimal invariants for discrete-time dynamical systems. Zbl 1502.68177
Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James
2
2022
Modalities and parametric adjoints. Zbl 1505.03030
Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A.; Guatto, Adrien; Birkedal, Lars
2
2022
Unifying operational weak memory verification: an axiomatic approach. Zbl 1508.68216
Doherty, Simon; Dalvandi, Sadegh; Dongol, Brijesh; Wehrheim, Heike
1
2022
Verification of distributed quantum programs. Zbl 1508.68218
Feng, Yuan; Li, Sanjiang; Ying, Mingsheng
1
2022
Slanted canonicity of analytic inductive inequalities. Zbl 1505.03051
De Rudder, Laurent; Palmigiano, Alessandra
3
2021
The complexity of counting problems over incomplete databases. Zbl 1508.68083
Arenas, Marcelo; Barceló, Pablo; Monet, Mikaël
1
2021
Generalized realizability and basic logic. Zbl 1505.03128
Konovalov, Aleksandr Yu.
1
2021
Strategic knowledge acquisition. Zbl 1502.68284
Deuser, Kaya; Naumov, Pavel
1
2021
From 2-sequents and linear nested sequents to natural deduction for normal modal logics. Zbl 1505.03054
Martini, Simone; Masini, Andrea; Zorzi, Margherita
1
2021
Display to labeled proofs and back again for tense logics. Zbl 1505.03047
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
7
2020
Adding successor. A transfer theorem for separation and covering. Zbl 1433.03103
Place, Thomas; Zeitoun, Marc
6
2020
Idempotent anti-unification. Zbl 1433.68188
Cerna, David; Kutsia, Temur
5
2020
Intuitionistic linear temporal logics. Zbl 1433.03047
Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David
4
2020
A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038
Tomović, S.; Ognjanović, Z.; Doder, D.
4
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
4
2020
The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. Zbl 1446.03064
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas
4
2020
Dichotomies in ontology-mediated querying with the guarded fragment. Zbl 1446.68056
Hernich, André; Lutz, Carsten; Papacchini, Fabio; Wolter, Frank
4
2020
Non-well-founded proof theory of transitive closure logic. Zbl 1446.03031
Cohen, Liron; Rowe, Reuben N. S.
4
2020
Toward a uniform theory of effectful state machines. Zbl 1446.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
2020
Typing messages for free in security protocols. Zbl 1433.68211
Chrétien, Rémy; Cortier, Véronique; Dallon, Antoine; Delaune, Stéphanie
2
2020
Monadic Datalog, tree validity, and limited access containment. Zbl 1433.68115
Benedikt, Michael; Bourhis, Pierre; Gottlob, Georg; Senellart, Pierre
2
2020
Satisfiability of modal inclusion logic. Lax and strict semantics. Zbl 1433.03053
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Vollmer, Heribert
2
2020
The power of the weak. Zbl 1446.68089
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
2
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
Applying visible strong equivalence in answer-set program transformations. Zbl 1502.68059
Bomanson, Jori; Janhunen, Tomi; Niemelä, Ilkka
1
2020
Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. Zbl 1446.03025
Fiorentini, Camillo; Ferrari, Mauro
1
2020
Inputs and outputs in CSP. A model and a testing theory. Zbl 1446.68103
Cavalcanti, Ana; Hierons, Robert M.; Nogueira, Sidney
1
2020
Metric temporal description logics with interval-rigid names. Zbl 1446.68145
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
1
2020
Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131
Lellmann, Björn; Pimentel, Elaine
9
2019
A higher-order calculus of computational fields. Zbl 1407.68326
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
9
2019
Modal resolution. Proofs, layers, and refinements. Zbl 1433.03057
Nalon, Cláudia; Dixon, Clare; Hustadt, Ullrich
5
2019
Fast query answering over existential rules. Zbl 1433.68432
Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
4
2019
1-safe Petri nets and special cube complexes. Equivalence and applications. Zbl 1433.68243
Chalopin, Jérémie; Chepoi, Victor
3
2019
De Morgan dual nominal quantifiers modelling private names in non-commutative logic. Zbl 1459.03090
Horne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel
3
2019
Proof complexity meets algebra. Zbl 1407.03070
Atserias, Albert; Ochremiak, Joanna
3
2019
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
3
2019
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
3
2019
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
3
2019
On the verification of livelock-freedom and self-stabilization on parameterized rings. Zbl 1433.68254
Klinkhamer, Alex; Ebnenasir, Ali
2
2019
Probabilistic epistemic updates on algebras. Zbl 1433.03043
Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem
2
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
2
2019
Tight bounds on the asymptotic descriptive complexity of subgraph isomorphism. Zbl 1433.68162
Verbitsky, Oleg; Zhukovskii, Maksim
2
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
Central limit model checking. Zbl 1433.68209
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
1
2019
Reasoning about cognitive trust in stochastic multiagent systems. Zbl 1433.68422
Huang, Xiaowei; Kwiatkowska, Marta; Olejnik, Maciej
1
2019
Synchronizing data words for register automata. Zbl 1433.68199
Quaas, Karin; Shirmohammadi, Mahsa
1
2019
A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams. Zbl 1407.68116
Newton, Jim; Verna, Didier
1
2019
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
19
2018
Complexity of propositional logics in team semantic. Zbl 1407.68291
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert
13
2018
Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072
Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil
8
2018
Game-theoretic semantics for alternating-time temporal logic. Zbl 1407.03030
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine
5
2018
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
5
2018
A modular type reconstruction algorithm. Zbl 1407.68440
Rabe, Florian
4
2018
An epistemic strategy logic. Zbl 1407.03020
Huang, Xiaowei; van der Meyden, Ron
4
2018
Completeness of flat coalgebraic fixpoint logics. Zbl 1407.03049
Schröder, Lutz; Venema, Yde
3
2018
Subatomic proof systems: splittable systems. Zbl 1407.03069
Aler Tubella, Andrea; Guglielmi, Alessio
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
Path categories and propositional identity types. Zbl 1407.03005
van den Berg, Benno
3
2018
Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066
Ciabattoni, Agata; Genco, Francesco A.
2
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
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
Characterisation of normalisation properties for \(\lambda\mu\) using strict negated intersection types. Zbl 1407.03015
van Bakel, Steffen
1
2018
Typed nominal rewriting. Zbl 1407.68240
Fairweather, Elliot; Fernández, Maribel
1
2018
Hierarchies in inclusion logic with lax semantics. Zbl 1407.03040
Hannula, Miika
1
2018
Relating paths in transition systems: the fall of the modal mu-calculus. Zbl 1407.68287
Dima, Catalin; Maubert, Bastien; Pinchinat, Sophie
1
2018
Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411
Neider, Daniel; Saha, Shambwaditya; Madhusudan, P.
1
2018
Modular labelled sequent calculi for abstract separation logics. Zbl 1407.03046
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
1
2018
Quantitative aspects of linear and affine closed lambda terms. Zbl 1407.03013
Lescanne, Pierre
1
2018
Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. Zbl 1407.03077
Hamano, Masahiro
1
2018
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.
18
2017
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
16
2017
Differential hybrid games. Zbl 1407.91056
Platzer, André
8
2017
The complexity of phylogeny constraint satisfaction problems. Zbl 1407.68206
Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van
8
2017
Verifying procedural programs via constrained rewriting induction. Zbl 1367.68248
Fuhs, Carsten; Kop, Cynthia; Nishida, Naoki
8
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
7
2017
The logical view on continuous Petri nets. Zbl 1407.68329
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge
6
2017
Graph logics with rational relations: the role of word combinatorics. Zbl 1367.68082
Barceló, Pablo; Muñoz, Pablo
5
2017
An effective characterization of the alternation hierarchy in two-variable logic. Zbl 1407.03054
Krebs, Andreas; Straubing, Howard
4
2017
The NP search problems of Frege and extended Frege proofs. Zbl 1407.03071
Beckmann, Arnold; Buss, Sam
4
2017
Algorithmic compression of finite tree languages by rigid acyclic grammars. Zbl 1407.68251
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan
3
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
Merging in the Horn fragment. Zbl 1367.68280
Haret, Adrian; Rümmele, Stefan; Woltran, Stefan
3
2017
Faster statistical model checking for unbounded temporal properties. Zbl 1367.68188
Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
3
2017
Managing change in graph-structured data using description logics. Zbl 1407.68122
Ahmetaj, Shqiponja; Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
2
2017
...and 419 more Documents
all top 5

Cited by 3,753 Authors

32 Eiter, Thomas
30 Woltran, Stefan
25 Struth, Georg
24 Kupferman, Orna
24 Möller, Bernhard
23 Chatterjee, Krishnendu
22 Murano, Aniello
22 Vardi, Moshe Ya’akov
21 Milius, Stefan
18 Dixon, Clare
17 Denecker, Marc
17 Gebser, Martin
17 Straßburger, Lutz
17 Zimmermann, Martín G.
16 Alviano, Mario
16 Baier, Christel
16 Beyersdorff, Olaf
16 Demri, Stéphane P.
16 Lifschitz, Vladimir
16 Pientka, Brigitte
16 Truszczyński, Mirosław
15 Boker, Udi
15 Henzinger, Thomas A.
15 Katoen, Joost-Pieter
15 Leone, Nicola
15 Mogavero, Fabio
15 Schaub, Torsten H.
15 Schröder, Lutz
15 Wolter, Frank
15 Zakharyaschev, Michael Viktorovich
14 Bouyer, Patricia
14 Cabalar, Pedro
14 Dal Lago, Ugo
14 Pattinson, Dirk
14 Ricca, Francesco
13 Aceto, Luca
13 Dershowitz, Nachum
13 Faber, Wolfgang
13 Ingólfsdóttir, Anna
13 Lukasiewicz, Thomas
13 Meier, Arne
13 Meseguer Guaita, José
13 Raskin, Jean-François
13 Tucker, John V.
12 Ghilardi, Silvio
12 Gottlob, Georg
12 Janhunen, Tomi
12 Miller, Dale Allen
12 Olarte, Carlos
12 Ringeissen, Christophe
12 Vollmer, Heribert
11 Bogaerts, Bart
11 Desharnais, Jules
11 Dodaro, Carmine
11 Droste, Manfred
11 Filiot, Emmanuel
11 Giordano, Laura
11 Governatori, Guido
11 Griggio, Alberto
11 Horne, Ross
11 Maratea, Marco
11 Murawski, Andrzej S.
11 Otop, Jan
11 Perelli, Giuseppe
11 Platzer, André
11 Rondogiannis, Panos
10 Bodirsky, Manuel
10 Bonacina, Maria Paola
10 Bozzelli, Laura
10 Fisher, Michael
10 Giesl, Jürgen
10 Hustadt, Ullrich
10 Japaridze, Giorgi
10 Kwiatkowska, Marta Z.
10 Leite, João
10 Lierler, Yuliya
10 Lohrey, Markus
10 Pimentel, Elaine
10 Reynier, Pierre-Alain
10 Schweikardt, Nicole
10 Schwentick, Thomas
10 Thomas, Wolfgang
10 Tiu, Alwen Fernanto
10 Tompits, Hans
10 Wißmann, Thorsten
10 Wooldridge, Michael J.
10 Zucker, Jeffery I.
9 Baader, Franz
9 Benerecetti, Massimo
9 Ciabattoni, Agata
9 Cimatti, Alessandro
9 Delaune, Stéphanie
9 Fandinno, Jorge
9 Fink, Michael
9 Fokkink, Willem Jan
9 Galliani, Pietro
9 Gastin, Paul
9 Gutierrez, Julian
9 Hermanns, Holger
9 Kontinen, Juha
...and 3,653 more Authors
all top 5

Cited in 160 Journals

194 Theoretical Computer Science
157 Theory and Practice of Logic Programming
153 Artificial Intelligence
153 Information and Computation
130 Logical Methods in Computer Science
79 ACM Transactions on Computational Logic
74 Annals of Pure and Applied Logic
70 Journal of Automated Reasoning
69 Journal of Computer and System Sciences
59 MSCS. Mathematical Structures in Computer Science
58 Journal of Logical and Algebraic Methods in Programming
52 Annals of Mathematics and Artificial Intelligence
41 International Journal of Approximate Reasoning
35 Acta Informatica
35 Journal of Applied Logic
34 Journal of Applied Non-Classical Logics
33 Theory of Computing Systems
32 Formal Methods in System Design
32 The Journal of Logic and Algebraic Programming
29 Information Processing Letters
26 Studia Logica
22 Formal Aspects of Computing
22 Journal of Functional Programming
19 The Journal of Symbolic Logic
19 Constraints
17 International Journal of Foundations of Computer Science
14 Archive for Mathematical Logic
14 Journal of Logic, Language and Information
14 Fundamenta Informaticae
13 Fuzzy Sets and Systems
13 Journal of Philosophical Logic
12 SIAM Journal on Computing
12 The Bulletin of Symbolic Logic
11 Discrete Applied Mathematics
11 Journal of Symbolic Computation
10 Logica Universalis
9 Journal of Pure and Applied Algebra
9 Machine Learning
9 Mathematical Logic Quarterly (MLQ)
8 Information Sciences
8 Science of Computer Programming
7 Synthese
7 Computational Complexity
7 Journal of the ACM
6 Algebra Universalis
6 The Journal of Artificial Intelligence Research (JAIR)
5 International Journal of Theoretical Physics
5 Applied Mathematics and Computation
5 Automatica
5 Algorithmica
5 International Journal of Algebra and Computation
5 Soft Computing
4 Logic and Logical Philosophy
4 Mathematics in Computer Science
4 The Review of Symbolic Logic
4 Computer Science Review
3 Journal of Combinatorial Theory. Series B
3 Notre Dame Journal of Formal Logic
3 Computers & Operations Research
3 SIAM Journal on Discrete Mathematics
3 Theory and Applications of Categories
3 Discrete Mathematics and Theoretical Computer Science. DMTCS
3 RAIRO. Theoretical Informatics and Applications
3 International Game Theory Review
3 Nonlinear Analysis. Hybrid Systems
3 RAIRO. Theoretical Informatics and Applications
3 Frontiers of Computer Science
2 Communications in Algebra
2 Discrete Mathematics
2 Lithuanian Mathematical Journal
2 Programming and Computer Software
2 Transactions of the American Mathematical Society
2 European Journal of Combinatorics
2 Graphs and Combinatorics
2 Journal of Computer Science and Technology
2 Forum Mathematicum
2 AI Communications
2 Journal of Global Optimization
2 International Journal of Computer Mathematics
2 Cybernetics and Systems Analysis
2 Journal of Mathematical Sciences (New York)
2 Computer Languages, Systems & Structures
2 Computability
2 Modelirovanie i Analiz Informatsionnykh Sistem
2 Logicheskie Issledovaniya
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 Physics Letters. A
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 ACM Transactions on Database Systems
1 Advances in Mathematics
1 The Annals of Statistics
1 Bulletin of the London Mathematical Society
1 Fundamenta Mathematicae
1 Publications Mathématiques
1 Journal of Algebra
1 Kybernetika
...and 60 more Journals
all top 5

Cited in 43 Fields

2,664 Computer science (68-XX)
1,405 Mathematical logic and foundations (03-XX)
145 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
81 Category theory; homological algebra (18-XX)
77 Combinatorics (05-XX)
61 Operations research, mathematical programming (90-XX)
53 General algebraic systems (08-XX)
45 Order, lattices, ordered algebraic structures (06-XX)
35 Information and communication theory, circuits (94-XX)
31 Probability theory and stochastic processes (60-XX)
30 Algebraic topology (55-XX)
28 Systems theory; control (93-XX)
25 Quantum theory (81-XX)
18 Group theory and generalizations (20-XX)
18 Biology and other natural sciences (92-XX)
14 Associative rings and algebras (16-XX)
12 History and biography (01-XX)
12 General topology (54-XX)
8 General and overarching topics; collections (00-XX)
7 Number theory (11-XX)
7 Ordinary differential equations (34-XX)
7 Numerical analysis (65-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
5 Commutative algebra (13-XX)
5 Mechanics of particles and systems (70-XX)
4 Convex and discrete geometry (52-XX)
4 Statistics (62-XX)
3 Algebraic geometry (14-XX)
3 Real functions (26-XX)
3 Dynamical systems and ergodic theory (37-XX)
2 Field theory and polynomials (12-XX)
2 Measure and integration (28-XX)
2 Operator theory (47-XX)
2 Manifolds and cell complexes (57-XX)
2 Mathematics education (97-XX)
1 Topological groups, Lie groups (22-XX)
1 Several complex variables and analytic spaces (32-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 Differential geometry (53-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year