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

• 2017
• 
  Clément Aubert, Ioana Cristescu:
  Contextual equivalences in configuration structures and reversibility. J. Log. Algebraic Methods Program. 86(1): 77-106 (2017)
• 
  Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
  Orchestrated session compliance. J. Log. Algebraic Methods Program. 86(1): 30-76 (2017)
• 
  Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino:
  Verifiable abstractions for contract-oriented systems. J. Log. Algebraic Methods Program. 86(1): 159-207 (2017)
• 
  Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong:
  Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. 86(1): 349-390 (2017)
• 
  Arnaud Carayol, Zoltán Ésik:
  An analysis of the equational properties of the well-founded fixed point. J. Log. Algebraic Methods Program. 86(1): 308-318 (2017)
• 
  Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
  Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86(1): 134-156 (2017)
• 
  Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler:
  Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. 86(1): 208-235 (2017)
• 
  Santiago Escobar:
  Rewriting Logic and its Applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 86(1): 157-158 (2017)
• 
  Helmut Grohne, Janis Voigtländer:
  Formalizing semantic bidirectionalization and extensions with dependent types. J. Log. Algebraic Methods Program. 86(1): 319-348 (2017)
• 
  Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia:
  Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebraic Methods Program. 86(1): 107-133 (2017)
• 
  Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
  An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017)
• 
  Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira:
  Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86(1): 1 (2017)
• 
  Salvador Lucas, José Meseguer:
  Dependency pairs for proving termination properties of conditional term rewriting systems. J. Log. Algebraic Methods Program. 86(1): 236-268 (2017)
• 
  Minxia Luo, Bei Liu:
  Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance. J. Log. Algebraic Methods Program. 86(1): 298-307 (2017)
• 
  Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
  Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86(1): 2-29 (2017)
• 
  Camilo Rocha, José Meseguer, César A. Muñoz:
  Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86(1): 269-297 (2017)
• 
  Gulay Ünel, David Toman:
  Logic programming approach to automata-based decision procedures. J. Log. Algebraic Methods Program. 86(1): 391-407 (2017)