Relational monoids, multirelations, and quantalic recognizers
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1997)
- Volume: 38, Issue: 2, page 161-171
- ISSN: 1245-530X
Access Full Article
topHow to cite
topRosenthal, Kimmo L.. "Relational monoids, multirelations, and quantalic recognizers." Cahiers de Topologie et Géométrie Différentielle Catégoriques 38.2 (1997): 161-171. <http://eudml.org/doc/91589>.
@article{Rosenthal1997,
author = {Rosenthal, Kimmo L.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {relational monoids; multipreorders with factorizations; power quantals; context-free languages},
language = {eng},
number = {2},
pages = {161-171},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Relational monoids, multirelations, and quantalic recognizers},
url = {http://eudml.org/doc/91589},
volume = {38},
year = {1997},
}
TY - JOUR
AU - Rosenthal, Kimmo L.
TI - Relational monoids, multirelations, and quantalic recognizers
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1997
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 38
IS - 2
SP - 161
EP - 171
LA - eng
KW - relational monoids; multipreorders with factorizations; power quantals; context-free languages
UR - http://eudml.org/doc/91589
ER -
References
top- [1] S. Abramsky and S. Vickers, Quantales, observational logic and process semantics, Mathematical Structures in Computer Science, Vol.3, No. 2, 1993 Zbl0823.06011MR1224222
- [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 Zbl0729.03008MR1105758
- [3] J.M. Howie, Automata and Languages, Oxford University Press, 1991 Zbl0778.68065MR1254435
- [4] J. Lambek, Multicategories revisited, in Categories in Computer Science and Logic, Cont. Math. Vol. 92, Amer. Math. Soc.1989, 217-240 Zbl0685.18003MR1003201
- [5] S.B. Niefield and K.I. Rosenthal, Constructing locales from quantales, Math. Proc. Camb. Phil. Soc.104, 1988, 215-234 Zbl0658.06007MR948908
- [6] K.I. Rosenthal, Quantales and their Applications, Pitman Research Notes in Mathematics, Vol. 234, Longman Scientific and Technical, 1990 Zbl0703.06007MR1088258
- [7] K.I. Rosenthal, Girard quantalcids, Mathematical Structures in Computer Science, Vol.2, No. 1, 1992, 93-108 Zbl0761.18008MR1159501
- [8] K.I. Rosenthal, Quantaloidal nuclei, the syntactic congruence and tree automata, Jour. Pure AppliedAlgebra77, 1992, 189-205 Zbl0761.18009MR1149021
- [9] K.I. Rosenthal, A categorical look at tree automata and context-free languages, Mathematical Structures in Computer Science, Vol.4, 1994, 287-293 Zbl0813.18005MR1307986
- [10] K.I. Rosenthal, Quantaloids, enriched categories and automata theory, Applied Categorical Structures3, 1995, 279-301 Zbl0833.18002MR1354679
- [11] K.I. Rosenthal, The Theory of Quantaloids, Pitman Research Notes in Mathematics, Vol. 348, Longman Scientific and Technical, 1995 Zbl0845.18003MR1427263
- [12] R.F.C. Walters, A note on context-free languages, Jour. Pure and Applied Algebra62, 1989, 199-203 Zbl0685.18001MR1027756
- [13] R.F.C. Walters, The free category with products on a m,ultigraph, Jour. Pure and Applied Algebra62, 1989, 205-210 Zbl0685.18002MR1027757
- [14] R.F.C. Walters, Categories and Computer Science, Cambridge University Press, 1992 Zbl0789.18001MR1204658
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.