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

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.