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