Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

On a categorical tensor calculus for automata

dc.contributor.authorMeseguer Guaita, José
dc.contributor.authorSols Lucía, Ignacio
dc.date.accessioned2023-06-21T02:05:55Z
dc.date.available2023-06-21T02:05:55Z
dc.date.issued1975
dc.description.departmentDepto. de Álgebra, Geometría y Topología
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/21932
dc.identifier.issn0001-4117
dc.identifier.relatedurlhttp://www.lib.muohio.edu/multifacet/record/mu3ugb1534805
dc.identifier.urihttps://hdl.handle.net/20.500.14352/64844
dc.issue.number11
dc.journal.titleBulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques
dc.page.final1166
dc.page.initial1161
dc.publisherPolska Akademia Nauk
dc.rights.accessRightsmetadata only access
dc.subject.cdu515.1
dc.subject.ucmTopología
dc.subject.unesco1210 Topología
dc.titleOn a categorical tensor calculus for automata
dc.typejournal article
dc.volume.number23
dcterms.referencesM. A. Arbib, Theories of abstract automata, McGraw-Hill, New York, 1969. J. A. Goguen, Minimal realization of machines in closed categories, Bull. Amer. Math. Soc., 78 (1972), 777-783. S. MacLane, Categories for working mathematician, Springer Verlag, New York, 1971. S. MacLane, G. Birkhoff, Algebra, McMillan, New York, 1967. W. McCulloch, R. Moreno-Díaz, On a calculus for triadas, in: Neural networks, ed. E.R. Caianiello, Springer Verlag, Belin, 1968, pp. 78-86. P. Martínez, J. Meseguer, Probabilistic automata as bilinear automata (unpublished paper), April 73. J. Meseguer, I. Sols, Categorical tensor representation of deterministic, relational and probabilistic finite functions (to appear in Actas de las II Jornadas Matemáticas Hispano-Lusitanas, Madrid, 1973). J. A. Goguen, Discrete time machines in closed monoidal categories, I, Institute for Computer Research, Quarterly Reoprt No. 30, August 1971, University of Chigago. L. Budach, H. J. Hoehnke, Automaten und Funktoren (to appear).
dspace.entity.typePublication
relation.isAuthorOfPublication6d35def4-3d5f-4978-800f-82b7edf76b5d
relation.isAuthorOfPublication.latestForDiscovery6d35def4-3d5f-4978-800f-82b7edf76b5d

Download

Collections