Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6421992 | Applied Mathematics and Computation | 2012 | 14 Pages |
Abstract
In this paper we continue the coalgebraization of the structure of multilattice. Specifically, we introduce a coalgebraic characterization of the notion of finitary multi (semi) lattice, a generalization of that of semilattice which arises naturally in several areas of computer science and provides the possibility of handling non-determinism.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
I.P. Cabrera, P. Cordero, G. Gutiérrez, J. MartÃnez, M. Ojeda-Aciego,