• 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

• 1981
• 
  Leonard M. Adleman, Michael C. Loui:
  Space-Bounded Simulation of Multitape Turing Machines. Math. Syst. Theory 14: 215-222 (1981)
• 
  Joffroy Beauquier:
  A Remark About a Substitution Property. Math. Syst. Theory 14: 189-191 (1981)
• 
  Alessandro Bertuzzi, Alberto Gandolfi, Alfredo Germani:
  Causal Polynomial Approximation for Input-Output Maps on Hilbert Spaces. Math. Syst. Theory 14: 339-352 (1981)
• 
  Franz-Josef Brandenburg:
  Three Write Heads Are as Good as k. Math. Syst. Theory 14: 1-12 (1981)
• 
  Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
  Transformations of Structures: an Algebraic Approach. Math. Syst. Theory 14: 305-334 (1981)
• 
  Rikus Eising, M. L. J. Hautus:
  Realization Algorithms for Systems over a Principal Ideal Domain. Math. Syst. Theory 14: 353-366 (1981)
• 
  Arthur E. Frazho:
  Abstract Bilinear Systems: The Forward Shift Approach. Math. Syst. Theory 14: 83-94 (1981)
• 
  Seymour Ginsburg, Chandra M. R. Kintala:
  Strict Interpretations of Deterministic Pushdown Acceptors. Math. Syst. Theory 14: 229-240 (1981)
• 
  Oscar H. Ibarra, Louis E. Rosier:
  On Restricted One-counter Machines. Math. Syst. Theory 14: 241-245 (1981)
• 
  Matthias Jantzen, Manfred Opp:
  A Normal Form Theorem for Label Grammars. Math. Syst. Theory 14: 289-303 (1981)
• 
  Melven R. Krom:
  An Unsolvable Problem with Products of Matrices. Math. Syst. Theory 14: 335-337 (1981)
• 
  Daniel Lehmann, Michael B. Smyth:
  Algebraic Specification of Data Types: A Synthetic Approach. Math. Syst. Theory 14: 97-139 (1981)
• 
  Forbes D. Lewis:
  A Note on Context Free Languages, Complexity Classes, and Diagonalization. Math. Syst. Theory 14: 223-227 (1981)
• 
  Nancy A. Lynch, Edward K. Blum:
  Relative Complexity of Algebras. Math. Syst. Theory 14: 193-214 (1981)
• 
  Andrzej W. Olbrot, Andrzej Sosnowski:
  Duality Theorems on Control and Observation of Discrete-Time Infinite-Dimensional Systems. Math. Syst. Theory 14: 173-187 (1981)
• 
  William A. Porter:
  On Factoring the Polyvariance Operator. Math. Syst. Theory 14: 67-82 (1981)
• 
  Jacques Sakarovitch:
  Sur une Propriété d'Itération des Langages Algébriques Déterministes. Math. Syst. Theory 14: 247-288 (1981)
• 
  Daniel W. Stroock:
  The Malliavin Calculus and its Application to Second Order Parabolic Differential Equations: Part I. Math. Syst. Theory 14: 25-65 (1981)
• 
  Daniel W. Stroock:
  The Malliavin Calculus and its Application to Second Order Parabolic Differential Equations: Part II. Math. Syst. Theory 14: 141-171 (1981)
• 
  Tommaso Toffoli:
  Bicontinuous Extensions of Invertible Combinatorial Functions. Math. Syst. Theory 14: 13-23 (1981)
• 
  Harald K. Wimmer:
  The Structure of Nonsingular Polynomial Matrices. Math. Syst. Theory 14: 367-379 (1981)