Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/5056
DC FieldValueLanguage
dc.contributor.authorBetti, Renato-
dc.contributor.authorKasangian, Stefano-
dc.date.accessioned2011-07-27T12:23:29Z-
dc.date.available2011-07-27T12:23:29Z-
dc.date.issued1985-
dc.identifier.citationRenato Betti, Stefano Kasangian, “Tree automata and enriched category theory”, in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 17 (1985), pp. 71-78.it_IT
dc.identifier.issn0049-4704-
dc.identifier.urihttp://hdl.handle.net/10077/5056-
dc.description.abstractSi dimostra che un singolo automa ad albero può essere considerato come una categoria basata su un'opportuna bicategoria costruita a partire dagli alberi di input. In questo contesto si estende il teorema di aggiunzione locale fra realizzazione e comportamento.-
dc.description.abstractIt is shown that tree automata can be described as cate¬gories enriched on a suitable base bicategory built up with input trees. In this setting the known theorem relating realization and behaviour by a local adjunction still holds true.-
dc.language.isoenit_IT
dc.publisherUniversità degli Studi di Trieste. Dipartimento di Scienze Matematicheit_IT
dc.relation.ispartofseriesRendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematicsit_IT
dc.relation.ispartofseries17 (1985)it_IT
dc.titleTree automata and enriched category theorit_IT
dc.typeArticle-
item.languageiso639-1en-
item.openairetypearticle-
item.grantfulltextopen-
item.fulltextWith Fulltext-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_6501-
Appears in Collections:Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.17 (1985)
Files in This Item:
File Description SizeFormat
BettiKasangianRendMat17.pdf637.39 kBAdobe PDFThumbnail
View/Open
Show simple item record


CORE Recommender

Page view(s) 20

929
Last Week
0
Last month
1
checked on Sep 26, 2021

Download(s) 50

439
Last Week
1
Last month
10
checked on Sep 26, 2021

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.