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

• 1997
• 
  Natasha Alechina, Yuri Gurevich:
  Syntax vs. Semantics on Finite Structures. Structures in Logic and Computer Science 1997: 14-33
• 
  Alberto Apostolico, Dany Breslauer:
  Of Periods, Quasiperiods, Repetitions and Covers. Structures in Logic and Computer Science 1997: 236-248
• 
  Michael Benedikt, H. Jerome Keisler:
  Expressive Power of Unary Counters. Structures in Logic and Computer Science 1997: 34-50
• 
  Roderick Bloem, Joost Engelfriet:
  Monadic Second Order Logic and Node Relations on Graphs and Trees. Structures in Logic and Computer Science 1997: 144-161
• 
  Maxime Crochemore, Renaud Vérin:
  On Compact Directed Acyclic Word Graphs. Structures in Logic and Computer Science 1997: 192-211
• 
  Tero Harju, Juhani Karhumäki, Mario Petrich:
  Compactness of Systems of Equations on Completely Regular Semigroups. Structures in Logic and Computer Science 1997: 268-280
• 
  David Haussler, Manfred Opper:
  Metric Entropy and Minimax Risk in Classification. Structures in Logic and Computer Science 1997: 212-235
• 
  Wilfried Hodges:
  Some Strange Quantifiers. Structures in Logic and Computer Science 1997: 51-65
• 
  Juha Honkala:
  Decision Problems Concerning Algebraic Series with Noncommuting Variables. Structures in Logic and Computer Science 1997: 281-290
• 
  Marek Karpinski, Angus Macintyre:
  Approximating the Volume of General Pfaffian Bodies. Structures in Logic and Computer Science 1997: 162-173
• 
  Samuel Levy, Gary D. Stormo:
  DNA Sequence Classification Using DAWGs. Structures in Logic and Computer Science 1997: 339-352
• 
  Aldo de Luca:
  Combinatories of Standard Sturmian Words. Structures in Logic and Computer Science 1997: 249-267
• 
  James F. Lynch:
  Pebble Games in Model Theory. Structures in Logic and Computer Science 1997: 66-83
• 
  Alexandru Mateescu, George Daniel Mateescu:
  Associative Shuffle of Infinite Words. Structures in Logic and Computer Science 1997: 291-307
• 
  Ross M. McConnell:
  Complement-Equivalence Classes on Graphs. Structures in Logic and Computer Science 1997: 174-191
• 
  Dale Myers:
  An Interpretive Isomorphism Between Binary and Ternary Relations. Structures in Logic and Computer Science 1997: 84-105
• 
  Gheorghe Paun:
  DNA Computing: Distributed Splicing Systems. Structures in Logic and Computer Science 1997: 353-370
• 
  Zdzislaw Pawlak:
  Vagueness - a Rough Set View. Structures in Logic and Computer Science 1997: 106-117
• 
  Christophe Prieur, Christian Choffrut, Michel Latteux:
  Constructing Sequential Bijections. Structures in Logic and Computer Science 1997: 308-321
• 
  Kai Salomaa, Sheng Yu:
  Rewriting Rules for Synchronization Languages. Structures in Logic and Computer Science 1997: 322-338
• 
  Wolfgang Thomas:
  Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. Structures in Logic and Computer Science 1997: 118-143
• 
  Robert L. Vaught:
  On the Work of Andrzej Ehrenfeucht in Model Theory. Structures in Logic and Computer Science 1997: 1-13
• 
  Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa:
  Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261, Springer 1997, ISBN 3-540-63246-8 [contents]