Displaying similar documents to “Generators of free universal algebras.”

Unicidad de implicación de álgebra-MV y negación de De Morgan.

Néstor G. Martínez, Hilary A. Priestley (1995)

Mathware and Soft Computing

Similarity:

It is shown that the implication of an MV-algebra is determined by de Morgan negation operations on a family of quotients of the given algebra; these quotients may be taken to be totally ordered. Certain existing results on the uniqueness of an MV-algebra implication are thereby elucidated and new criteria for uniqueness derived. These rely on a characterisation of chains on which a de Morgan negation is necessarily unique.

Gestión del espacio libre en la memoria por actualización continua.

Lluis Pérez Vidal, R. Vila (1985)

Qüestiió

Similarity:

En la asignación dinámica de espacio en memoria se plantea el problema de la identificación y la compactación de los intervalos de memoria que ya no son utilizados por ningún proceso. Estos intervalos están dispersos entre los utilizados y se trata de reunirlos todos en un extremo para conseguir un espacio libre único de mayor dimensión. En las aplicaciones gráficas que utilizan el estándar GKS se pueden asignar y desasignar segmentos gráficos en el "display file" y, debido a sus grandes...

Raimundo Chela.

Planchart, Enrique (2000)

Boletín de la Asociación Matemática Venezolana

Similarity: