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

• 1983
• 
  Andrea Bacciotti, Gianna Stefani:
  On the Relationship Between Global and Local Controllability. Math. Syst. Theory 16(1): 79-91 (1983)
• 
  Ronald V. Book:
  A Note on Special Thue Systems with a Single Defining Relation. Math. Syst. Theory 16(1): 57-60 (1983)
• 
  Alexander Borgida:
  Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics. Math. Syst. Theory 16(1): 29-56 (1983)
• 
  Richard S. Bucy:
  Identification and Filtering. Math. Syst. Theory 16(4): 307-317 (1983)
• 
  Jack W. Carlyle, Sheila A. Greibach, Azaria Paz:
  Matching and Spanning in Certain Planar Graphs. Math. Syst. Theory 16(2): 159-183 (1983)
• 
  Bruno Courcelle:
  An Axiomatic Approach to the Korenjak-Hopcroft Algorithms. Math. Syst. Theory 16(3): 191-231 (1983)
• 
  Pamela G. Coxson:
  A Note on Memoryless Operators. Math. Syst. Theory 16(2): 185-188 (1983)
• 
  Romano M. DeSantis, William A. Porter:
  Operator Factorization on Partially Ordered Hilbert Resolution Spaces. Math. Syst. Theory 16(1): 67-77 (1983)
• 
  Irène Guessarian:
  Pushdown Tree Automata. Math. Syst. Theory 16(4): 237-263 (1983)
• 
  Eitan M. Gurari, Oscar H. Ibarra:
  A Note on Finitely-Valued and Finitely Ambiguous Transducers. Math. Syst. Theory 16(1): 61-66 (1983)
• 
  Jacob Hammer:
  Stability and Nonsingular Stable Precompensation: An Algebraic Approach. Math. Syst. Theory 16(4): 265-296 (1983)
• 
  Georges Hansel, Dominique Perrin:
  Codes and Bernoulli Partitions. Math. Syst. Theory 16(2): 133-157 (1983)
• 
  Robert Hermann, Clyde F. Martin:
  Lie and Morse Theory for Periodic Orbits of Vector Fields and Matrix Riccati Equations, II. Math. Syst. Theory 16(4): 297-306 (1983)
• 
  Nicholas Kalouptsidis:
  Prolongations and Lyapunov Functions in Control Systems. Math. Syst. Theory 16(3): 233-249 (1983)
• 
  Ker-I Ko:
  On the Definitions of some Complexity Classes of Real Numbers. Math. Syst. Theory 16(2): 95-109 (1983)
• 
  C. G. Nolte, G. Naudé:
  Duality Between Reachability and Observability for Adjoint Systems. Math. Syst. Theory 16(3): 251-266 (1983)
• 
  Rohit Parikh:
  Some Applications of Topology to Program Semantics. Math. Syst. Theory 16(2): 111-131 (1983)
• 
  Franco P. Preparata:
  Optimal Three-Dimensional VLSI Layouts. Math. Syst. Theory 16(1): 1-8 (1983)
• 
  Walter J. Savitch:
  A Note on Relativized Log Space. Math. Syst. Theory 16(4): 229-235 (1983)
• 
  Mark A. Shayman:
  On the Periodic Solutions of the Matrix Riccati Equation. Math. Syst. Theory 16(3): 267-287 (1983)
• 
  Sowmitri Swamy, John E. Savage:
  Space-Time Tradeoffs for Linear Recursion. Math. Syst. Theory 16(1): 9-27 (1983)