Semilattice

Results: 38



#Item
21Algebraic structures / Lattice theory / Semilattice / Congruence lattice problem / Distributivity / Lattice / Subdirectly irreducible algebra / Free lattice / Semigroup / Abstract algebra / Mathematics / Algebra

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
22Category theory / Algebraic structures / Order theory / Adjoint functors / Semilattice / Monad / Universal property / Complete lattice / Limit / Abstract algebra / Mathematics / Lattice theory

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
23Morphisms / Lattice theory / Universal property / Homomorphism / Functor / Sheaf / Pullback / Variety / Semilattice / Abstract algebra / Category theory / Mathematics

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
24Lattice theory / Algebra / Order theory / Lattice / Semilattice / Class / Boolean algebra / Monotonic function / Complete Heyting algebra / Abstract algebra / Mathematics / Algebraic structures

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
25Algebraic structures / Category theory / Mathematical structures / Order theory / Model theory / Chu space / Semilattice / Continuous function / Structure / Mathematics / Algebra / Abstract algebra

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
26Algebra / Lattice theory / Order theory / Semilattice / Lattice / Join and meet / Semiring / Mereology / Arrangement of hyperplanes / Abstract algebra / Algebraic structures / Mathematics

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
27Lattice theory / Algebra / Order theory / Lattice / Monotonic function / Boolean algebra / Semilattice / Complete Heyting algebra / Complete lattice / Abstract algebra / Mathematics / Algebraic structures

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
28Order theory / Structure / Algebraic structures / Distributive lattice / Semilattice / Lattice / Join and meet / Filter / Partially ordered set / Mathematics / Lattice theory / Abstract algebra

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
29Lattice theory / Structure / Algebraic structures / Semilattice / Lattice / Complete lattice / Distributive lattice / Filter / Partially ordered set / Mathematics / Abstract algebra / Order theory

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
30Computing / Software / Cross-platform software / Order theory / Semilattice / Lattice / Join and meet / Java virtual machine / Stack / Lattice theory / Mathematics / Algebraic structures

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
UPDATE