The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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: