How to make many-sorted algebras one-sorted
Commentationes Mathematicae Universitatis Carolinae, Tome 30 (1989) no. 4, pp. 627-635.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 08A05, 08A99, 08C05, 18C05
@article{CMUC_1989__30_4_a1,
     author = {Gardner, Barry J.},
     title = {How to make many-sorted algebras one-sorted},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {627--635},
     publisher = {mathdoc},
     volume = {30},
     number = {4},
     year = {1989},
     mrnumber = {1045890},
     zbl = {0693.08004},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1989__30_4_a1/}
}
TY  - JOUR
AU  - Gardner, Barry J.
TI  - How to make many-sorted algebras one-sorted
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1989
SP  - 627
EP  - 635
VL  - 30
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1989__30_4_a1/
LA  - en
ID  - CMUC_1989__30_4_a1
ER  - 
%0 Journal Article
%A Gardner, Barry J.
%T How to make many-sorted algebras one-sorted
%J Commentationes Mathematicae Universitatis Carolinae
%D 1989
%P 627-635
%V 30
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1989__30_4_a1/
%G en
%F CMUC_1989__30_4_a1
Gardner, Barry J. How to make many-sorted algebras one-sorted. Commentationes Mathematicae Universitatis Carolinae, Tome 30 (1989) no. 4, pp. 627-635. http://geodesic.mathdoc.fr/item/CMUC_1989__30_4_a1/