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

• 1993
• 
  Michael Barnett, Christian Lengauer:
  A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 374-398
• 
  Rance Cleaveland:
  Analysing Concurrent Systems Using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 129-144
• 
  Nachum Dershowitz:
  A Taste of Rewrite Systems. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 199-228
• 
  Richard A. Frost, S. Karamatos:
  Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 278-295
• 
  Stephen J. Garland, John V. Guttag, James J. Horning:
  An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348
• 
  Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen:
  Specification and Simulation with ExSpect. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 296-327
• 
  Douglas J. Howe:
  Reasoning About Functional Programs in Nuprl. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 145-164
• 
  Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels:
  The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373
• 
  Peter E. Lauer:
  On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 1-31
• 
  David B. MacQueen:
  Reflections on Standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 32-46
• 
  Jawahar Malhotra, Robert M. Shapiro:
  Generating an Algorithm for Executing Graphical Models. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 71-83
• 
  John Ophel:
  An Introduction to the High-Level Language Standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 47-70
• 
  John H. Reppy:
  Concurrent ML: Design, Application and Semantics. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 165-198
• 
  Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli:
  Modeling an NORAD Command Post Using SADT and Colored Petri Nets. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 84-107
• 
  Timothy C. Winkler:
  Programming in OBJ and Maude. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 229-277
• 
  Jeffery I. Zucker:
  Propositional Temporal Logics and Their Use in Model Checking. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 108-116
• 
  Jeffery I. Zucker:
  The Propositional mu-Calculus and Its Use in Model Checking. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 117-128
• 
  Peter E. Lauer:
  Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Lecture Notes in Computer Science 693, Springer 1993, ISBN 3-540-56883-2 [contents]