<--- Back to Details
First PageDocument Content
Structure / Distributive lattice / Lattice / Distributive property / Congruence lattice problem / Complete lattice / Lattice theory / Mathematics / Algebra
Date: 2006-04-24 11:16:54
Structure
Distributive lattice
Lattice
Distributive property
Congruence lattice problem
Complete lattice
Lattice theory
Mathematics
Algebra

Completesimple distributive lattices Introduction Construction

Add to Reading List

Source URL: ftp.ktug.org

Download Document from Source Website

File Size: 159,30 KB

Share Document on Facebook

Similar Documents

A COMPLETE WORST-CASE ANALYSIS OF KANNAN’S SHORTEST LATTICE VECTOR ALGORITHM ´† GUILLAUME HANROT∗ AND DAMIEN STEHLE Abstract. Computing a shortest nonzero vector of a given euclidean lattice and computing a closes

DocID: 1uAnv - View Document

Mathematics / Order theory / Algebra / Abstract algebra / Abstract interpretation / Galois connection / Fixed-point theorem / Fixed point / FO / Complete lattice / Lattice / Monotonic function

Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015

DocID: 1qWVL - View Document

Mathematics / Mathematical analysis / Order theory / Structure / Lattice theory / Complete lattice / Lattice / Abstract interpretation / Monotonic function / Fixed point / QuickCheck / KnasterTarski theorem

QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper

DocID: 1qW5m - View Document

Lattice theory / Lie groups / Data mining / Formal concept analysis / Machine learning / Ontology / Complete lattice / Lattice / Object-oriented programming / Algebraic structure / Software design pattern / Object Process Methodology

A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu

DocID: 1p0Hu - View Document

Algebra / Mathematics / Abstract algebra / Boolean algebra / Algebraic logic / Algebraic structures / Lattice theory / Algebra over a field / Heyting algebra / Complete Boolean algebra

Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco

DocID: 1nQpr - View Document