# 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

top## How 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.