Relational monoids, multirelations, and quantalic recognizers
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 38 (1997) no. 2, p. 161-171
@article{CTGDC_1997__38_2_161_0,
     author = {Rosenthal, Kimmo I.},
     title = {Relational monoids, multirelations, and quantalic recognizers},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {38},
     number = {2},
     year = {1997},
     pages = {161-171},
     zbl = {0877.18001},
     mrnumber = {1454161},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1997__38_2_161_0}
}
Rosenthal, Kimmo L. Relational monoids, multirelations, and quantalic recognizers. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 38 (1997) no. 2, pp. 161-171. https://www.numdam.org/item/CTGDC_1997__38_2_161_0/

[1] S. Abramsky and S. Vickers, Quantales, observational logic and process semantics, Mathematical Structures in Computer Science, Vol.3, No. 2, 1993 | MR 1224222 | Zbl 0823.06011

[2] S. Ghilardi and G.C. Meloni, Modal logics with n-ary connectives, Zeit.fur Math. Logik und Grund.der Math.36, 1990, 193-215 | MR 1105758 | Zbl 0729.03008

[3] J.M. Howie, Automata and Languages, Oxford University Press, 1991 | MR 1254435 | Zbl 0778.68065

[4] J. Lambek, Multicategories revisited, in Categories in Computer Science and Logic, Cont. Math. Vol. 92, Amer. Math. Soc. 1989, 217-240 | MR 1003201 | Zbl 0685.18003

[5] S.B. Niefield and K.I. Rosenthal, Constructing locales from quantales, Math. Proc. Camb. Phil. Soc. 104, 1988, 215-234 | MR 948908 | Zbl 0658.06007

[6] K.I. Rosenthal, Quantales and their Applications, Pitman Research Notes in Mathematics, Vol. 234, Longman Scientific and Technical, 1990 | MR 1088258 | Zbl 0703.06007

[7] K.I. Rosenthal, Girard quantalcids, Mathematical Structures in Computer Science, Vol.2, No. 1, 1992, 93-108 | MR 1159501 | Zbl 0761.18008

[8] K.I. Rosenthal, Quantaloidal nuclei, the syntactic congruence and tree automata, Jour. Pure Applied Algebra 77, 1992, 189-205 | MR 1149021 | Zbl 0761.18009

[9] K.I. Rosenthal, A categorical look at tree automata and context-free languages, Mathematical Structures in Computer Science, Vol.4, 1994, 287-293 | MR 1307986 | Zbl 0813.18005

[10] K.I. Rosenthal, Quantaloids, enriched categories and automata theory, Applied Categorical Structures 3, 1995, 279-301 | MR 1354679 | Zbl 0833.18002

[11] K.I. Rosenthal, The Theory of Quantaloids, Pitman Research Notes in Mathematics, Vol. 348, Longman Scientific and Technical, 1995 | MR 1427263 | Zbl 0845.18003

[12] R.F.C. Walters, A note on context-free languages, Jour. Pure and Applied Algebra 62, 1989, 199-203 | MR 1027756 | Zbl 0685.18001

[13] R.F.C. Walters, The free category with products on a m,ultigraph, Jour. Pure and Applied Algebra 62, 1989, 205-210 | MR 1027757 | Zbl 0685.18002

[14] R.F.C. Walters, Categories and Computer Science, Cambridge University Press, 1992 | MR 1204658 | Zbl 0789.18001