Semilattice - PDFSEARCH.IO - Document Search Engine

Semilattice
Results: 38

#	Item
21	PACIFIC JOURNAL OF MATHEMATICS Vol. 49, No. 1, 1973 CONGRUENCE LATTICES OF SEMILATTICES RALPH FREESE AND Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 03:41:44 Algebraic structures Lattice theory Semilattice Congruence lattice problem Distributivity Lattice Subdirectly irreducible algebra Free lattice Semigroup Abstract algebra Mathematics Algebra
22	Theory and Applications of Categories, Vol. 11, No. 11, 2003, pp. 252–282. CONTINUOUS CATEGORIES REVISITED ∗) ´ ´ ∗) Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2003-05-28 11:36:19 Category theory Algebraic structures Order theory Adjoint functors Semilattice Monad Universal property Complete lattice Limit Abstract algebra Mathematics Lattice theory
23	Theory and Applications of Categories, Vol. 28, No. 33, 2013, pp. 1153–[removed]GALOIS THEORIES OF COMMUTATIVE SEMIGROUPS VIA SEMILATTICES ¯ J. XAREZ ISABEL A. XAREZ AND JOAO Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-12-20 12:57:00 Morphisms Lattice theory Universal property Homomorphism Functor Sheaf Pullback Variety Semilattice Abstract algebra Category theory Mathematics
24	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
25	Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-12-15 21:06:50 Algebraic structures Category theory Mathematical structures Order theory Model theory Chu space Semilattice Continuous function Structure Mathematics Algebra Abstract algebra
26	A CITY IS NOT A TREE CHRISTOPHER ALEXANDER The tree of my title is not a green tree with leaves. It is the name of an abstract structure. I shall contrast it with another, more complex abstract structure called a semila Add to Reading List Source URL: www.bp.ntu.edu.tw Language: English - Date: 2014-04-29 02:31:59 Algebra Lattice theory Order theory Semilattice Lattice Join and meet Semiring Mereology Arrangement of hyperplanes Abstract algebra Algebraic structures Mathematics
27	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-10-15 03:54:42 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
28	A note on starrish posets by Victor Porton 78640, Shay Agnon 32-29, Ashkelon, Israel Email: [removed] Web: http://www.mathematics21.org Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-11-08 07:27:23 Order theory Structure Algebraic structures Distributive lattice Semilattice Lattice Join and meet Filter Partially ordered set Mathematics Lattice theory Abstract algebra
29	Free stars by Victor Porton Shay Agnon[removed]Email: [removed] Web: http://www.mathematics21.org August 26, 2012 Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-11-08 07:28:03 Lattice theory Structure Algebraic structures Semilattice Lattice Complete lattice Distributive lattice Filter Partially ordered set Mathematics Abstract algebra Order theory
30	Toward a Provably-Correct Implementation of the JVM Bytecode Verier Alessandro Coglio Allen Goldberg Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:09 Computing Software Cross-platform software Order theory Semilattice Lattice Join and meet Java virtual machine Stack Lattice theory Mathematics Algebraic structures