• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 682 matches

• 2024
• 
  Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
  First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Trans. Comput. Log. 25(2): 13:1-13:43 (2024)
• 
  Michele Boreale, Luisa Collodi, Daniele Gorla:
  Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log. 25(1): 7:1-7:26 (2024)
• 
  Laura Bozzelli, Bastien Maubert, Aniello Murano:
  On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log. 25(1): 8:1-8:42 (2024)
• 
  Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines:
  Stackelberg-Pareto Synthesis. ACM Trans. Comput. Log. 25(2): 14:1-14:49 (2024)
• 
  Domenico Cantone, Pietro Ursino:
  Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. ACM Trans. Comput. Log. 25(1): 5:1-5:30 (2024)
• 
  Balder ten Cate, Raoul Koudijs:
  Characterising Modal Formulas with Examples. ACM Trans. Comput. Log. 25(2): 12:1-12:27 (2024)
• 
  Rance Cleaveland, Jeroen J. A. Keiren:
  Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. 25(1): 2:1-2:60 (2024)
• 
  Maximiliano Cristiá, Gianfranco Rossi:
  A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. 25(1): 3:1-3:34 (2024)
• 
  Rob van Glabbeek:
  Comparing the Expressiveness of the π-calculus and CCS. ACM Trans. Comput. Log. 25(1): 1:1-1:58 (2024)
• 
  Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis:
  Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log. 25(1): 6:1-6:37 (2024)
• 
  Orna Kupferman, Noam Shenwald:
  The Complexity of LTL Rational Synthesis. ACM Trans. Comput. Log. 25(2): 10:1-10:31 (2024)
• 
  Orna Kupferman, Gal Vardi:
  Perspective Games. ACM Trans. Comput. Log. 25(1): 4:1-4:26 (2024)
• 
  Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
  An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. 25(2): 11:1-11:40 (2024)
• 
  Yury Yarovikov, Maksim Zhukovskii:
  Spectrum of FO Logic with Quantifier Depth 4 is Finite. ACM Trans. Comput. Log. 25(2): 9:1-9:24 (2024)
• 2023
• 
  Yasir Mahmood, Arne Meier, Johannes Schmidt:
  Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework. ACM Trans. Comput. Log. 24(3): 26:1-26:25 (2023)
• 
  Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
  Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log. 24(4): 33:1-33:44 (2023)
• 
  Bahar Aameri, Michael Grüninger:
  Reducible Theories and Amalgamations of Models. ACM Trans. Comput. Log. 24(1): 9:1-9:24 (2023)
• 
  Isolde Adler, Polly Fahey:
  Faster Property Testers in a Variation of the Bounded Degree Model. ACM Trans. Comput. Log. 24(3): 25:1-25:24 (2023)
• 
  Theofanis I. Aravanis:
  Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision. ACM Trans. Comput. Log. 24(2): 18:1-18:29 (2023)
• 
  Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
  Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24(4): 34:1-34:51 (2023)
• 
  Albert Atserias, Massimo Lauria:
  Circular (Yet Sound) Proofs in Propositional Logic. ACM Trans. Comput. Log. 24(3): 20:1-20:26 (2023)
• 
  James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons:
  Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24(2): 17:1-17:40 (2023)
• 
  Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti:
  On Composing Finite Forests with Modal Logics. ACM Trans. Comput. Log. 24(2): 12:1-12:46 (2023)
• 
  Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero:
  Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log. 24(1): 4:1-4:57 (2023)
• 
  Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero:
  On Monotonic Determinacy and Rewritability for Recursive Queries and Views. ACM Trans. Comput. Log. 24(2): 16:1-16:62 (2023)
• 
  Jan A. Bergstra, John V. Tucker:
  Eager Equality for Rational Number Arithmetic. ACM Trans. Comput. Log. 24(3): 22:1-22:28 (2023)
• 
  Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl:
  Hardness Characterisations and Size-width Lower Bounds for QBF Resolution. ACM Trans. Comput. Log. 24(2): 10:1-10:30 (2023)
• 
  Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez:
  Continuous One-counter Automata. ACM Trans. Comput. Log. 24(1): 3:1-3:31 (2023)
• 
  Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
  Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24(3): 21:1-21:38 (2023)
• 
  Laura Bozzelli, Angelo Montanari, Adriano Peron:
  Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. 24(3): 24:1-24:32 (2023)

skipping 652 more matches