Category Theory Applied to Computation and Control 1974: San Francisco, CA, USA

@proceedings{DBLP:conf/category/1974,
  editor    = {Ernest G. Manes},
  title     = {Category Theory Applied to Computation and Control, Proceedings
               of the First International Symposium, San Francisco, CA, USA,
               February 25-26, 1974, Proceedings},
  booktitle = {Category Theory Applied to Computation and Control},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {25},
  year      = {1975},
  isbn      = {3-540-07142-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

• Michael A. Arbib, Ernest G. Manes:
  Basic concepts of category theory applicable to computation and control. 1-34
  
• Brian D. O. Anderson:
  A control theorist looks at abstract nonsense. 35-50
  
• Michael A. Arbib, Ernest G. Manes:
  A categorist's view of automata and systems. 51-64
  

Submitted Abstracts

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

Last update Tue May 22 23:23:21 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page