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

• 1975
• 
  Ernest G. Manes:
  Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings. Lecture Notes in Computer Science 25, Springer 1975, ISBN 3-540-07142-3 [contents]
• 1974
• 
  Suad Alagic:
  Categorical theory of tree processing. Category Theory Applied to Computation and Control 1974: 65-72
• 
  Brian D. O. Anderson:
  A control theorist looks at abstract nonsense. Category Theory Applied to Computation and Control 1974: 35-50
• 
  Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes:
  Realization of multilinear and multidcomposable machines. Category Theory Applied to Computation and Control 1974: 73-79
• 
  Michael A. Arbib, Ernest G. Manes:
  Basic concepts of category theory applicable to computation and control. Category Theory Applied to Computation and Control 1974: 1-34
• 
  Michael A. Arbib, Ernest G. Manes:
  A categorist's view of automata and systems. Category Theory Applied to Computation and Control 1974: 51-64
• 
  Michael A. Arbib, Ernest G. Manes:
  Fuzzy morphism in automata theory. Category Theory Applied to Computation and Control 1974: 80-86
• 
  Michael A. Arbib, Ernest G. Manes:
  Time-varying systems. Category Theory Applied to Computation and Control 1974: 87-92
• 
  Edwin Stewart Bainbridge:
  Adressed machines and duality. Category Theory Applied to Computation and Control 1974: 93-98
• 
  John L. Baker:
  Factorization of Scott-style automata. Category Theory Applied to Computation and Control 1974: 99-105
• 
  David B. Benson:
  An abstract machine theory for formal language parsers. Category Theory Applied to Computation and Control 1974: 106-111
• 
  Roger W. Brockett, Alan S. Willsky:
  Some structural properties of automata defined on groups. Category Theory Applied to Computation and Control 1974: 112-118
• 
  Lothar Budach:
  Automata in additive categories with applications to stochastic linear automata. Category Theory Applied to Computation and Control 1974: 119-125
• 
  Rod M. Burstall, James W. Thatcher:
  The algebraic theory of recursive program schemes. Category Theory Applied to Computation and Control 1974: 126-131
• 
  Lee A. Carlson:
  Realization is continuously universal. Category Theory Applied to Computation and Control 1974: 132-136
• 
  Hartmut Ehrig, Hans-Jörg Kreowski:
  Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control 1974: 144-150
• 
  Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender:
  Diagram characterization. Category Theory Applied to Computation and Control 1974: 137-143
• 
  Joseph A. Goguen:
  Semantics of computation. Category Theory Applied to Computation and Control 1974: 151-163
• 
  F. Joanne Helton, J. William Helton:
  Scattering theory and non linear systems. Category Theory Applied to Computation and Control 1974: 164-169
• 
  Hans-Jürgen Hoehnke:
  Synthesis and complexity of logical systems. Category Theory Applied to Computation and Control 1974: 170-173
• 
  Günter Hotz:
  Strukturelle Verwandtschaften von semi-Thue-Systemen. Category Theory Applied to Computation and Control 1974: 174-179
• 
  Edward W. Kamen:
  Control of linear continuous-time systems defined over rings of distributions. Category Theory Applied to Computation and Control 1974: 180-185
• 
  Wolfgang Merzenich:
  Cellular automata with additive local transition. Category Theory Applied to Computation and Control 1974: 186-192
• 
  José Meseguer, Ignacio Sols:
  Automata in semimodule categories. Category Theory Applied to Computation and Control 1974: 193-198
• 
  E. Turan Onat, James Geary:
  Representation of a class of nonlinear systems. Category Theory Applied to Computation and Control 1974: 199-203
• 
  Jorma Rissanen, Bostwick F. Wyman:
  Duals of input/output maps. Category Theory Applied to Computation and Control 1974: 204-208
• 
  Mitchell Wand:
  An algebraic formulation of the Chomsky hierarchy. Category Theory Applied to Computation and Control 1974: 209-213
• 
  Mitchell Wand:
  On the recursive specification of data types. Category Theory Applied to Computation and Control 1974: 214-217
• 
  Bostwick F. Wyman:
  Linear Systems over rings of operators. Category Theory Applied to Computation and Control 1974: 218-223
• 
  A. Wayne Wymore:
  The tricotyledon theory of system design. Category Theory Applied to Computation and Control 1974: 224-230