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

• 1991
• 
  Hiroki Arimura:
  Completeness of Depth-bounded Resolution for Weakly Reducing Programs. Software Science and Engineering 1991: 227-245
• 
  Jingde Cheng:
  Relevance Logic and Entailment Logic. Software Science and Engineering 1991: 189-211
• 
  Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori:
  An Algebraic Method For Verifying Progress Property of Communication Protocols. Software Science and Engineering 1991: 39-59
• 
  Yuuji Ichisugi, Akinori Yonezawa:
  Distributed Garbage Collection Using Group Reference Counting. Software Science and Engineering 1991: 212-226
• 
  Taishin Y. Nishida:
  A Regulated Accumulating Array Grammar and Its Application on a Process Assignment Problem for a Parallel Computing. Software Science and Engineering 1991: 16-38
• 
  Chisato Numaoka, Tadashi Nagano, Mario Tokoro:
  Object-Oriented Approach to Discourse Understanding. Software Science and Engineering 1991: 130-144
• 
  Akihiko Ohsuga, Kô Sakai:
  Metis: A Term Rewriting System Generator: An Inference Engine for Equations and Inequations. Software Science and Engineering 1991: 1-15
• 
  Hajime Sawamura, Toshiro Minami, Kaoru Yokota, Kyoko Ohashi:
  Potential of General-Purpose Reasoning Assistant System EUODHILOS. Software Science and Engineering 1991: 164-188
• 
  Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
  On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. Software Science and Engineering 1991: 60-77
• 
  Machi Ueno, Tadashi Kanamori:
  Top-down Zooming Diagnosis of Logic Programs. Software Science and Engineering 1991: 98-129
• 
  Susumu Yamasaki:
  Dataflow Computing Mechanism For Logic Program and Extraction of Functional from It. Software Science and Engineering 1991: 78-97
• 
  Yoshiyuki Yamashita, Ikuo Nakata:
  Negation Technique for Context-Free Grammars. Software Science and Engineering 1991: 145-163
• 
  Ikuo Nakata, Masami Hagiya:
  Software Science and Engineering: Selected Papers from the Kyoto Symposia. World Scientific Series in Computer Science 31, World Scientific 1991, ISBN 978-981-02-0776-2 [contents]