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

• 2023
• 
  Diana Costa, Daniel Figueiredo, Manuel A. Martins:
  Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. 133: 100870 (2023)
• 
  Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño:
  A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. 133: 100874 (2023)
• 
  Maria João Frade, Jorge Sousa Pinto:
  A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3. J. Log. Algebraic Methods Program. 133: 100871 (2023)
• 
  Roy Overbeek, Jörg Endrullis, Aloïs Rosset:
  Graph rewriting and relabeling with PBPO⁺: A unifying theory for quasitoposes. J. Log. Algebraic Methods Program. 133: 100873 (2023)
• 
  Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez:
  Session-based concurrency in Maude: Executable semantics and type checking. J. Log. Algebraic Methods Program. 133: 100872 (2023)
• 
  Sven Schneider, Leen Lambers:
  Evaluation diversity for graph conditions. J. Log. Algebraic Methods Program. 133: 100862 (2023)
• 
  Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi, Ximeng Li, Jingzhi Zhang:
  Formalization of the inverse kinematics of three-fingered dexterous hand. J. Log. Algebraic Methods Program. 133: 100861 (2023)