Cover Image

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 /

Show other versions (1)
Bibliographic Details
Corporate Authors: American Mathematical Society, American Association for the Advancement of Science
Other Authors: Manes, Ernest G., 1943- (Editor)
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1975.
Series:Lecture notes in computer science ; 25.
Subjects:
Machine theory > Congresses.
Control theory > Congresses.
Categories (Mathematics) > Congresses.
structure système.
système commandé.
démonstration théorème.
langage formel.
théorie automate.
groupe Lie.
catégorie.
treillis.
machine Turing.
automate.
Automates mathématiques, Théorie des > Congrès.
Automates > Congrès.
Commande, Théorie de la > Congrès.
Catégories (Mathématiques) > Congrès.
Categories (Mathematics)
Control theory.
Machine theory.
Ciencia Da Computacao Ou Informatica.
Teoria De Controle.
Teoria Da Computacao.
Automatentheorie.
Informatik.
Kategorie (Mathematik)
Electronic books.
Conference proceedings.
Show all versions (2)