Ordered sets and complete lattices - A primer for computer science

Ordered sets and complete lattices - A primer for computer science

These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the well-educated computer scientist. The objective is to present the ideas as a self-contained body of material, worthy of study in its own right, and at the same time to assist th...

Descripció completa

Dades bibliogràfiques
Autor principal:	Priestley, H
Format:	Conference item
Publicat:	2002

Ítems similars

Ordered Sets and Duality for Distributive Lattices
per: Priestley, H
Publicat: (1984)

REES CONGRUENCES IN LATTICE-ORDERED ALGEBRAS
per: Bordalo, G, et al.
Publicat: (1994)

Canonical Extensions and Profinite Completions of Semilattices and Lattices
per: Gouveia, M, et al.
Publicat: (2014)

On Priestley spaces of lattice-ordered algebraic structures
per: Martinez, N, et al.
Publicat: (1998)

RELATIVE OCKHAM LATTICES - THEIR ORDER-THEORETIC AND ALGEBRAIC CHARACTERIZATION
per: Bordalo, G, et al.
Publicat: (1990)

PROFINITE COMPLETIONS AND CANONICAL EXTENSIONS OF SEMILATTICE REDUCTS OF DISTRIBUTIVE LATTICES
per: Gouveia, M, et al.
Publicat: (2013)

DISTRIBUTIVE LATTICES WHOSE IDEAL LATTICES ARE CATALYTIC
per: Priestley, H
Publicat: (1987)

CATALYTIC DISTRIBUTIVE LATTICES AND COMPACT ZERO-DIMENSIONAL TOPOLOGICAL LATTICES
per: Priestley, H
Publicat: (1984)

Computer science, a primer /
per: Forsythe, Alexandra I.
Publicat: (1969)

SUATU KAJIAN TENTANG SOFT SET TERURUT LATTICE (LATTICE ORDERED SOFT SET)
per: Witri Andika, et al.
Publicat: (2024-10-01)

LATTICES OF HOMOMORPHISMS
per: Davey, B, et al.
Publicat: (1986)

Some Results on Lattice (Anti-Lattice) Ordered Double Framed Soft Sets
per: Tahir Bakhat, et al.
Publicat: (2019-12-01)

Varieties of distributive lattices with unary operations .1.
per: Priestley, H
Publicat: (1997)

On the Complete Lattice Structure of Ordered Functional Weighted Averaging Operators
per: Roberto G. Aragón, et al.
Publicat: (2025-02-01)

First Order Theories of Some Lattices of Open Sets
per: Oleg Kudinov, et al.
Publicat: (2017-08-01)

CONSTRUCTION OF SPACES DUAL TO PSEUDO-COMPLEMENTED DISTRIBUTIVE LATTICES
per: Priestley, H
Publicat: (1975)

Coproducts of distributive lattice-based algebras
per: Cabrer, L, et al.
Publicat: (2014)

On modified soft rough sets on a complete atomic Boolean lattice
per: Heba I. Mustafa
Publicat: (2019-06-01)

ENDOPRIMAL DISTRIBUTIVE LATTICES ARE ENDODUALISABLE
per: Davey, B, et al.
Publicat: (1995)

SERIES-PARALLEL POSETS AND RELATIVE OCKHAM LATTICES
per: Bordalo, G, et al.
Publicat: (1994)

Uniqueness of directed complete posets based on Scott closed set lattices
per: Dongsheng Zhao, et al.
Publicat: (2018-05-01)

Realization of higher-order topological lattices on a quantum computer
per: Jin Ming Koh, et al.
Publicat: (2024-07-01)

A Fresh Perspective on Canonical Extensions for Bounded Lattices
per: Craig, A, et al.
Publicat: (2013)

Classification lattices are geometric for complete atomistic lattices
per: Mao Hua
Publicat: (2017-07-01)

Boolean topological distributive lattices and canonical extensions
per: Davey, B, et al.
Publicat: (2007)

Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices
per: Davey, B, et al.
Publicat: (1993)

SPECTRAL SETS
per: Priestley, H
Publicat: (1994)

A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
per: Davey, B, et al.
Publicat: (2011)

A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
per: Davey, B, et al.
Publicat: (2011)

Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras
per: Davey, B, et al.
Publicat: (2012)

S-Implications on Complete Lattices and the Interval Constructor
per: R.H.S. Reiser, et al.
Publicat: (2008-06-01)

A Set of Nonparametric Tests for Experiments with Lattice-Ordered Means: Theory, Programs, and Applications
per: Matthew Strand, et al.
Publicat: (2004-03-01)

A Set of Nonparametric Tests for Experiments with Lattice-Ordered Means: Theory, Programs, and Applications
per: Hsiao-Pin Liu, et al.
Publicat: (2004-01-01)

The New Science of Cybernetics: A Primer
per: Karl H. Müller
Publicat: (2013-12-01)

Archimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements
per: Zdenka Riecanová
Publicat: (2010-01-01)

Lattices over orders II /
per: 466765 Roggenkamp, Klaus W.
Publicat: (1970)

Ordered Avalanches on the Bethe Lattice
per: Malgorzata J. Krawczyk, et al.
Publicat: (2019-10-01)

$\alpha$-Projectable and laterally $\alpha$-complete Archimedean lattice-ordered groups with weak unit via topology
per: Brian Wynne, et al.
Publicat: (2024-01-01)

Political science : a primer /
per: 314337 Islam, Syed Serajul, et al.
Publicat: (2005)

Political science: a primer
per: Islam, Syed Serajul, et al.
Publicat: (2005)