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 |
|
2006
|
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín |
|
2001
|
Finite state machines for strings over infinite alphabets. Zbl 1367.68175
Neven, Frank; Schwentick, Thomas; Vianu, Victor |
|
2004
|
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko |
|
2009
|
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg |
|
2006
|
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc |
|
2011
|
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. |
|
2010
|
Model-checking continuous-time Markov chains. Zbl 1365.68313
Aziz, Adnan; Sanwal, Kumud; Singhal, Vigyan; Brayton, Robert |
|
2000
|
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri |
|
2000
|
MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326
Engelfriet, Joost; Hoogeboom, Hendrik Jan |
|
2001
|
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y. |
|
2001
|
Complexity of conservative constraint satisfaction problems. Zbl 1351.68113
Bulatov, Andrei A. |
|
2011
|
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. |
|
2014
|
On Hoare logic and Kleene algebra with tests. Zbl 1365.68326
Kozen, Dexter |
|
2000
|
A system of interaction and structure. Zbl 1367.03110
Guglielmi, Alessio |
|
2007
|
Contextual modal type theory. Zbl 1367.03060
Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte |
|
2008
|
A proof theory for generic judgments. Zbl 1367.03059
Miller, Dale; Tiu, Alwen |
|
2005
|
Clausal temporal resolution. Zbl 1365.03017
Fisher, Michael; Dixon, Clare; Peim, Martin |
|
2001
|
Probabilistic game semantics. Zbl 1365.68310
Danos, Vincent; Harmer, Russell S. |
|
2002
|
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore |
|
2004
|
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan |
|
2009
|
The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101
Lumsdaine, Peter LeFanu; Warren, Michael A. |
|
2015
|
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron |
|
2001
|
Description logics of minimal knowledge and negation as failure. Zbl 1365.68403
Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo |
|
2002
|
Probabilistic logic programming with conditional constraints. Zbl 1171.68762
Lukasiewicz, Thomas |
|
2001
|
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan |
|
2007
|
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian |
|
2009
|
Representation results for defeasible logic. Zbl 1171.68740
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J. |
|
2001
|
Intuitionistic light affine logic. Zbl 1365.03040
Asperti, Andrea; Roversi, Luca |
|
2002
|
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai |
|
2006
|
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra |
|
2013
|
Enumeration of monadic second-order queries on trees. Zbl 1353.68068
Kazana, Wojciech; Segoufin, Luc |
|
2013
|
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 |
|
2014
|
Abstract versus concrete computation on metric partial algebras. Zbl 1367.68102
Tucker, J. V.; Zucker, J. I. |
|
2004
|
Topological and simplicial models of identity types. Zbl 1352.03012
van den Berg, Benno; Garner, Richard |
|
2012
|
Why are there so many loop formulas? Zbl 1367.68036
Lifschitz, Vladimir; Razborov, Alexander |
|
2006
|
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna |
|
2014
|
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J. |
|
2004
|
Reasoning with higher-order abstract syntax in a logical framework. Zbl 1365.68164
McDowell, Raymond C.; Miller, Dale A. |
|
2002
|
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. |
|
2017
|
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David |
|
2012
|
Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270
Ratschan, Stefan |
|
2006
|
An effective decision procedure for linear arithmetic over the integers and reals. Zbl 1407.03052
Boigelot, Bernard; Jodogne, Sébastien; Wolper, Pierre |
|
2005
|
Logic programs with propositional connectives and aggregates. Zbl 1351.68053
Ferraris, Paolo |
|
2011
|
On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco |
|
2015
|
On equivalence and canonical forms in the LF type theory. Zbl 1367.03055
Harper, Robert; Pfenning, Frank |
|
2005
|
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri |
|
2003
|
First-order queries on structures of bounded degree are computable with constant delay. Zbl 1367.68086
Durand, Arnaud; Grandjean, Etienne |
|
2007
|
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 |
|
2018
|
Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111
Hughes, Dominic J. D.; van Glabbeek, Rob J. |
|
2005
|
The marriage of effects and monads. Zbl 1365.68166
Wadler, Philip; Thiemann, Peter |
|
2003
|
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov |
|
2005
|
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk |
|
2009
|
Nondeterministic phase semantics and the undecidability of Boolean BI. Zbl 1343.03022
Larchey-Wendling, Dominique; Galmiche, Didier |
|
2013
|
Automatic linear orders and trees. Zbl 1367.03070
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank |
|
2005
|
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto |
|
2010
|
Hierarchies in dependence logic. Zbl 1352.03039
Durand, Arnaud; Kontinen, Juha |
|
2012
|
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François |
|
2005
|
A logic of nonmonotone inductive definitions. Zbl 1367.68278
Denecker, Marc; Ternovska, Eugenia |
|
2008
|
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng |
|
2009
|
A formally verified proof of the prime number theorem. Zbl 1367.68244
Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul |
|
2007
|
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel |
|
2004
|
Arithmetic, first-order logic, and counting quantifiers. Zbl 1407.03050
Schweikardt, Nicole |
|
2005
|
Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186
Tiu, Alwen; Miller, Dale |
|
2010
|
Optimality of size-degree tradeoffs for polynomial calculus. Zbl 1352.03066
Galesi, Nicola; Lauria, Massimo |
|
2010
|
Complexity of propositional logics in team semantic. Zbl 1407.68291
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert |
|
2018
|
Back and forth between guarded and modal logics. Zbl 1365.03019
Grädel, Erich; Hirsch, Colin; Otto, Martin |
|
2002
|
On the proof complexity of deep inference. Zbl 1351.03056
Bruscoli, Paola; Guglielmi, Alessio |
|
2009
|
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier |
|
2017
|
Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131
Lellmann, Björn; Pimentel, Elaine |
|
2019
|
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio |
|
2014
|
Soft concurrent constraint programming. Zbl 1367.68315
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca |
|
2006
|
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael |
|
2008
|
Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039
Sakama, Chiaki |
|
2005
|
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y. |
|
2005
|
Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038
Rondogiannis, Panos; Wadge, William W. |
|
2005
|
Alternating timed automata. Zbl 1367.68172
Lasota, Slawomir; Walukiewicz, Igor |
|
2008
|
Structural focalization. Zbl 1354.03087
Simmons, Robert J. |
|
2014
|
Simulation-based minimization. Zbl 1365.68319
Bustan, Doron; Grumberg, Orna |
|
2003
|
Narrow proofs may be maximally long. Zbl 1367.03104
Atserias, Albert; Lauria, Massimo; Nordström, Jakob |
|
2016
|
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten |
|
2012
|
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia |
|
2015
|
Monodic temporal resolution. Zbl 1367.03035
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris |
|
2006
|
Splitting an operator: algebraic modularity results for logics with fixpoint semantics. Zbl 1367.68295
Vennekens, Joost; Gilis, David; Denecker, Marc |
|
2006
|
Search and strategies in OPL. Zbl 1365.90281
Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François |
|
2000
|
Mechanizing the metatheory of LF. Zbl 1351.68250
Urban, Christian; Cheney, James; Berghofer, Stefan |
|
2011
|
Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105
Beckmann, Arnold; Buss, Samuel R. |
|
2014
|
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent |
|
2014
|
A decision procedure for term algebras with queues. Zbl 1171.68557
Rybina, Tatiana; Voronkov, Andrei |
|
2001
|
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 |
|
2020
|
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. |
|
2001
|
Sequent calculi for propositional nonmonotonic logics. Zbl 1365.03023
Bonatti, Piero Andrea; Olivetti, Nicola |
|
2002
|
A sequent calculus and a theorem prover for standard conditional logics. Zbl 1367.68253
Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla B. |
|
2007
|
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 |
|
2008
|
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Zbl 1351.03004
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca |
|
2009
|
Automated termination proofs for logic programs by term rewriting. Zbl 1351.68054
Schneider-Kamp, Peter; Giesl, Jürgen; Serebrenik, Alexander; Thiemann, René |
|
2009
|
A unified semantic framework for fully structural propositional sequent systems. Zbl 1354.03084
Lahav, Ori; Avron, Arnon |
|
2013
|
Propositional computability logic. I. Zbl 1367.03056
Japaridze, Giorgi |
|
2006
|
What causes a system to satisfy a specification? Zbl 1367.68185
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna |
|
2008
|
Locality of order-invariant first-order formulas. Zbl 1365.68204
Grohe, Martin; Schwentick, Thomas |
|
2000
|
A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions. Zbl 07650597
Matheja, Christoph; Pagel, Jens; Zuleger, Florian |
|
2023
|
SAT-inspired eliminations for superposition. Zbl 07650603
Vukmirović, Petar; Blanchette, Jasmin; Heule, Marijn J. H. |
|
2023
|
Precise subtyping for asynchronous multiparty sessions. Zbl 07672673
Ghilezan, Silvia; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko |
|
2023
|
Witnesses for answer sets of logic programs. Zbl 07672674
Wang, Yisong; Eiter, Thomas; Zhang, Yuanlin; Lin, Fangzhen |
|
2023
|
Canonisation and definability for graphs of bounded rank width. Zbl 07650602
Grohe, Martin; Neuen, Daniel |
|
2023
|
Reasoning about quality and fuzziness of strategic behaviors. Zbl 07713582
Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe |
|
2023
|
Hardness characterisations and size-width lower bounds for QBF resolution. Zbl 07672669
Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena; Peitl, Tomáš |
|
2023
|
A generalized realizability and intuitionistic logic. Zbl 07672670
Konovalov, Aleksandr |
|
2023
|
Generalizing Parikh’s criterion for relevance-sensitive belief revision. Zbl 07672677
Aravanis, Theofanis |
|
2023
|
Logics for temporal information systems in rough set theory. Zbl 07650598
Khan, Md. Aquil; Banerjee, Mohua; Panda, Sibsankar |
|
2023
|
Good-for-game QPTL: an alternating hodges semantics. Zbl 07650600
Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio |
|
2023
|
The complexity of quantified constraints: collapsibility, switchability, and the algebraic formulation. Zbl 07650601
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby; Zhuk, Dmitriy |
|
2023
|
Eager equality for rational number arithmetic. Zbl 07713583
Bergstra, Jan A.; Tucker, John V. |
|
2023
|
First-order logic with connectivity operators. Zbl 1541.03114
Schirrmacher, Nicole; Siebertz, Sebastian; Vigny, Alexandre |
|
2023
|
Inputs, outputs, and composition in the logic of information flows. Zbl 07760994
Aamer, Heba; Bogaerts, Bart; Surinx, Dimitri; Ternovska, Eugenia; Van den Bussche, Jan |
|
2023
|
Being correct is not enough: efficient verification using robust linear temporal logic. Zbl 1502.68178
Anevlavis, Tzanis; Philippe, Matthew; Neider, Daniel; Tabuada, Paulo |
|
2022
|
Parameterized complexity of elimination distance to first-order logic properties. Zbl 1505.03075
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. |
|
2022
|
Modalities and parametric adjoints. Zbl 1505.03030
Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A.; Guatto, Adrien; Birkedal, Lars |
|
2022
|
Syntactic completeness of proper display calculi. Zbl 1505.03121
Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos |
|
2022
|
Unifying operational weak memory verification: an axiomatic approach. Zbl 1508.68216
Doherty, Simon; Dalvandi, Sadegh; Dongol, Brijesh; Wehrheim, Heike |
|
2022
|
Coalgebraic reasoning with global assumptions in arithmetic modal logics. Zbl 1502.68285
Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz |
|
2022
|
Logics with multiteam semantics. Zbl 1505.03069
Grädel, Erich; Wilke, Richard |
|
2022
|
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 |
|
2022
|
o-minimal invariants for discrete-time dynamical systems. Zbl 1502.68177
Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James |
|
2022
|
Asynchronous announcements. Zbl 1505.03038
Balbiani, Philippe; Van Ditmarsch, Hans; Fernández González, Saúl |
|
2022
|
Verification of distributed quantum programs. Zbl 1508.68218
Feng, Yuan; Li, Sanjiang; Ying, Mingsheng |
|
2022
|
The temporal logic of coalitional goal assignments in concurrent multiplayer games. Zbl 1505.03048
Enqvist, Sebastian; Goranko, Valentin |
|
2022
|
From 2-sequents and linear nested sequents to natural deduction for normal modal logics. Zbl 1505.03054
Martini, Simone; Masini, Andrea; Zorzi, Margherita |
|
2021
|
Slanted canonicity of analytic inductive inequalities. Zbl 1505.03051
De Rudder, Laurent; Palmigiano, Alessandra |
|
2021
|
Tractability frontier of data complexity in team semantics. Zbl 1508.68217
Durand, Arnaud; Kontinen, Juha; De Rugy-Altherre, Nicolas; Väänänen, Jouko |
|
2021
|
Complete abstractions for checking language inclusion. Zbl 1508.68190
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro |
|
2021
|
Generalized realizability and basic logic. Zbl 1505.03128
Konovalov, Aleksandr Yu. |
|
2021
|
Strategic knowledge acquisition. Zbl 1502.68284
Deuser, Kaya; Naumov, Pavel |
|
2021
|
Display to labeled proofs and back again for tense logics. Zbl 1505.03047
Ciabattoni, Agata; Lyon, Tim S.; Ramanayake, Revantha; Tiu, Alwen |
|
2021
|
The complexity of counting problems over incomplete databases. Zbl 1508.68083
Arenas, Marcelo; Barceló, Pablo; Monet, Mikaël |
|
2021
|
Graphs identified by logics with counting. Zbl 1508.68124
Kiefer, Sandra; Schweitzer, Pascal; Selman, Erkal |
|
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 |
|
2020
|
Adding successor. A transfer theorem for separation and covering. Zbl 1433.03103
Place, Thomas; Zeitoun, Marc |
|
2020
|
Idempotent anti-unification. Zbl 1433.68188
Cerna, David; Kutsia, Temur |
|
2020
|
Intuitionistic linear temporal logics. Zbl 1433.03047
Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David |
|
2020
|
A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038
Tomović, S.; Ognjanović, Z.; Doder, D. |
|
2020
|
The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. Zbl 1446.03064
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas |
|
2020
|
A new perspective on FO model checking of dense graph classes. Zbl 1446.68093
Gajarský, Jakub; Hliněný, Petr; Obdržálek, Jan; Lokshtanov, Daniel; Ramanujan, M. S. |
|
2020
|
Dichotomies in ontology-mediated querying with the guarded fragment. Zbl 1446.68056
Hernich, André; Lutz, Carsten; Papacchini, Fabio; Wolter, Frank |
|
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 |
|
2020
|
Non-well-founded proof theory of transitive closure logic. Zbl 1446.03031
Cohen, Liron; Rowe, Reuben N. S. |
|
2020
|
Runtime verification over out-of-order streams. Zbl 1433.68208
Basin, David; Klaedtke, Felix; Zălinescu, Eugen |
|
2020
|
Satisfiability of modal inclusion logic. Lax and strict semantics. Zbl 1433.03053
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Vollmer, Heribert |
|
2020
|
Toward a uniform theory of effectful state machines. Zbl 1446.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra |
|
2020
|
Metric temporal description logics with interval-rigid names. Zbl 1446.68145
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika |
|
2020
|
Typing messages for free in security protocols. Zbl 1433.68211
Chrétien, Rémy; Cortier, Véronique; Dallon, Antoine; Delaune, Stéphanie |
|
2020
|
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi |
|
2020
|
Monadic Datalog, tree validity, and limited access containment. Zbl 1433.68115
Benedikt, Michael; Bourhis, Pierre; Gottlob, Georg; Senellart, Pierre |
|
2020
|
Dynamic QBF dependencies in reduction and expansion. Zbl 1433.03138
Beyersdorff, Olaf; Blinkhorn, Joshua |
|
2020
|
Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. Zbl 1446.03025
Fiorentini, Camillo; Ferrari, Mauro |
|
2020
|
Inputs and outputs in CSP. A model and a testing theory. Zbl 1446.68103
Cavalcanti, Ana; Hierons, Robert M.; Nogueira, Sidney |
|
2020
|
The power of the weak. Zbl 1446.68089
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio |
|
2020
|
Applying visible strong equivalence in answer-set program transformations. Zbl 1502.68059
Bomanson, Jori; Janhunen, Tomi; Niemelä, Ilkka |
|
2020
|
Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131
Lellmann, Björn; Pimentel, Elaine |
|
2019
|
A higher-order calculus of computational fields. Zbl 1407.68326
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob |
|
2019
|
Modal resolution. Proofs, layers, and refinements. Zbl 1433.03057
Nalon, Cláudia; Dixon, Clare; Hustadt, Ullrich |
|
2019
|
Proof complexity meets algebra. Zbl 1407.03070
Atserias, Albert; Ochremiak, Joanna |
|
2019
|
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning |
|
2019
|
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro |
|
2019
|
1-safe Petri nets and special cube complexes. Equivalence and applications. Zbl 1433.68243
Chalopin, Jérémie; Chepoi, Victor |
|
2019
|
De Morgan dual nominal quantifiers modelling private names in non-commutative logic. Zbl 1459.03090
Horne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel |
|
2019
|
Fast query answering over existential rules. Zbl 1433.68432
Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco |
|
2019
|
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A. |
|
2019
|
Synchronizing data words for register automata. Zbl 1433.68199
Quaas, Karin; Shirmohammadi, Mahsa |
|
2019
|
Tight bounds on the asymptotic descriptive complexity of subgraph isomorphism. Zbl 1433.68162
Verbitsky, Oleg; Zhukovskii, Maksim |
|
2019
|
On the verification of livelock-freedom and self-stabilization on parameterized rings. Zbl 1433.68254
Klinkhamer, Alex; Ebnenasir, Ali |
|
2019
|
Probabilistic epistemic updates on algebras. Zbl 1433.03043
Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem |
|
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 |
|
2019
|
A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams. Zbl 1407.68116
Newton, Jim; Verna, Didier |
|
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 |
|
2019
|
A SAT approach to branchwidth. Zbl 1433.68412
Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan |
|
2019
|
Central limit model checking. Zbl 1433.68209
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca |
|
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 |
|
2018
|
Complexity of propositional logics in team semantic. Zbl 1407.68291
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert |
|
2018
|
Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072
Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil |
|
2018
|
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo |
|
2018
|
Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants. Zbl 1407.03009
Kieroński, Emanuel; Tendera, Lidia |
|
2018
|
A modular type reconstruction algorithm. Zbl 1407.68440
Rabe, Florian |
|
2018
|
Some subsystems of constant-depth Frege with parity. Zbl 1407.03074
Garlík, Michal; Kołodziejczyk, Leszek Aleksander |
|
2018
|
Game-theoretic semantics for alternating-time temporal logic. Zbl 1407.03030
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine |
|
2018
|
Path categories and propositional identity types. Zbl 1407.03005
van den Berg, Benno |
|
2018
|
Completeness of flat coalgebraic fixpoint logics. Zbl 1407.03049
Schröder, Lutz; Venema, Yde |
|
2018
|
Subatomic proof systems: splittable systems. Zbl 1407.03069
Aler Tubella, Andrea; Guglielmi, Alessio |
|
2018
|
An epistemic strategy logic. Zbl 1407.03020
Huang, Xiaowei; van der Meyden, Ron |
|
2018
|
Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066
Ciabattoni, Agata; Genco, Francesco A. |
|
2018
|
Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. Zbl 1407.03077
Hamano, Masahiro |
|
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 |
|
2018
|
Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal |
|
2018
|
Hierarchies in inclusion logic with lax semantics. Zbl 1407.03040
Hannula, Miika |
|
2018
|
Relating paths in transition systems: the fall of the modal mu-calculus. Zbl 1407.68287
Dima, Catalin; Maubert, Bastien; Pinchinat, Sophie |
|
2018
|
Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411
Neider, Daniel; Saha, Shambwaditya; Madhusudan, P. |
|
2018
|
Characterisation of normalisation properties for \(\lambda\mu\) using strict negated intersection types. Zbl 1407.03015
van Bakel, Steffen |
|
2018
|
Typed nominal rewriting. Zbl 1407.68240
Fairweather, Elliot; Fernández, Maribel |
|
2018
|
Quantitative aspects of linear and affine closed lambda terms. Zbl 1407.03013
Lescanne, Pierre |
|
2018
|
A simple modal logic for reasoning in multigranulation rough set model. Zbl 1407.68485
Khan, Md. Aquil; Patel, Vineeta Singh |
|
2018
|
...and 448 more Documents |