The lattice of varieties of fibered automata
Discussiones Mathematicae - General Algebra and Applications (2006)
- Volume: 27, Issue: 1, page 87-107
- ISSN: 1509-9415
Access Full Article
top
Abstract
topHow to cite
topAnna Mućka. "The lattice of varieties of fibered automata." Discussiones Mathematicae - General Algebra and Applications 27.1 (2006): 87-107. <http://eudml.org/doc/276860>.
@article{AnnaMućka2006,
abstract = {The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.},
author = {Anna Mućka},
journal = {Discussiones Mathematicae - General Algebra and Applications},
keywords = {fibered automata; many-sorted algebras; varieties of many-sorted algebras; lattice of varieties; word algebra; ordinal sum},
language = {eng},
number = {1},
pages = {87-107},
title = {The lattice of varieties of fibered automata},
url = {http://eudml.org/doc/276860},
volume = {27},
year = {2006},
}
TY - JOUR
AU - Anna Mućka
TI - The lattice of varieties of fibered automata
JO - Discussiones Mathematicae - General Algebra and Applications
PY - 2006
VL - 27
IS - 1
SP - 87
EP - 107
AB - The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.
LA - eng
KW - fibered automata; many-sorted algebras; varieties of many-sorted algebras; lattice of varieties; word algebra; ordinal sum
UR - http://eudml.org/doc/276860
ER -
References
top- [1] G. Birkhoff and J.D. Lipson, Heterogenous algebras, J. Comb. Th. 8 (1970), 115-133.
- [2] J.A. Goguen and J. Meseguer, Completeness of many-sorted equational logic, Houston J. Math. 11 (1985), 307-334. Zbl0602.08004
- [3] H. Lugowski, Grundzüge der Universallen Algebra, Teuber, Leipzig 1976.
- [4] I. Rosenberg, A classification of universal algebras by infinitary relations, Algebra Universalis 1 (1972), 350-353. Zbl0243.08006
- [5] J.D.H. Smith, Continued fractions, fibered automata, and a theorem of Rosenberg, Multiple-Valued Logic 8 (2002), 503-515. Zbl1022.08003
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.