• 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 85 matches

• 2024
• 
  Bas van den Heuvel, Jorge A. Pérez:
  Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks. Log. Methods Comput. Sci. 20(4) (2024)
• 
  Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche:
  Preservation theorems for Tarski's relation algebra. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
  Executable First-Order Queries in the Logic of Information Flows. Log. Methods Comput. Sci. 20(2) (2024)
• 
  Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
  Controller Synthesis for Timeline-based Games. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
  Reasonable Space for the ${\lambda}$-Calculus, Logarithmically. Log. Methods Comput. Sci. 20(4) (2024)
• 
  Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
  Complexity results for modal logic with recursion via translations and tableaux. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Danel Ahman, Matija Pretnar:
  Higher-Order Asynchronous Effects. Log. Methods Comput. Sci. 20(3) (2024)
• 
  S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala:
  On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Log. Methods Comput. Sci. 20(2) (2024)
• 
  S. Akshay, Paul Gastin, R. Govind, B. Srivathsan:
  Simulations for Event-Clock Automata. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Natanael Alpay, Peter Jipsen, Melissa Sugimoto:
  Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Dana Angluin, Dana Fisman:
  Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages. Log. Methods Comput. Sci. 20(4) (2024)
• 
  Christian Antic:
  Boolean proportions. Log. Methods Comput. Sci. 20(2) (2024)
• 
  Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
  Sum and Tensor of Quantitative Effects. Log. Methods Comput. Sci. 20(4) (2024)
• 
  Christel Baier, Jakob Piribauer, Robin Ziemek:
  Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Bartosz Bednarczyk:
  Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. Log. Methods Comput. Sci. 20(2) (2024)
• 
  Michael Benedikt, Cécilia Pradic, Christoph Wernhard:
  Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt:
  Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Michael Blondin, Javier Esparza:
  Separators in Continuous Petri Nets. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
  revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
  Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Benedikt Bollig, Alain Finkel, Amrita Suresh:
  Branch-Well-Structured Transition Systems and Extensions. Log. Methods Comput. Sci. 20(2) (2024)
• 
  Benedikt Bollig, Arnaud Sangnier, Olivier Stietel:
  On the Satisfiability of Local First-Order Logics with Data. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Eduardo Bonelli, Delia Kesner, Andrés Viso:
  A Strong Bisimulation for a Classical Term Calculus. Log. Methods Comput. Sci. 20(2) (2024)
• 
  Édouard Bonnet, Jaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz, Stéphan Thomassé:
  Twin-width and permutations. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Michele Boreale, Luisa Collodi, Daniele Gorla:
  An implicit function theorem for the stream calculus. Log. Methods Comput. Sci. 20(2) (2024)
• 
  Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
  History-deterministic Timed Automata. Log. Methods Comput. Sci. 20(4) (2024)
• 
  Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove:
  Half-Positional Objectives Recognized by Deterministic Büchi Automata. Log. Methods Comput. Sci. 20(3) (2024)
• 
  Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
  The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
  Fair Asynchronous Session Subtyping. Log. Methods Comput. Sci. 20(4) (2024)
• 
  Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon:
  Linear Programs with Conjunctive Database Queries. Log. Methods Comput. Sci. 20(1) (2024)

skipping 55 more matches