<--- Back to Details
First PageDocument Content
Lattice theory / Structure / Algebraic structures / Lattice / Complete lattice / Galois connection / Distributive lattice / Semilattice / Distributivity / Order theory / Mathematics / Abstract algebra
Date: 2013-09-11 03:48:23
Lattice theory
Structure
Algebraic structures
Lattice
Complete lattice
Galois connection
Distributive lattice
Semilattice
Distributivity
Order theory
Mathematics
Abstract algebra

Add to Reading List

Source URL: www.mathematics21.org

Download Document from Source Website

File Size: 423,73 KB

Share Document on Facebook

Similar Documents

Algebra / Abstract algebra / Mathematics / Algebraic topology / Galois theory / Homotopy theory / Algebraic structures / Highly structured ring spectrum / Ring theory / Symmetric spectrum / Commutative ring spectrum / Galois connection

PHD SEMINAR ON GALOIS EXTENSIONS OF SYMMETRIC RING SPECTRA Classical Galois theory states that there is a one-to-one correspondence between intermediate fields of a field extension L/K satisfying certain properties, usua

DocID: 1reJE - 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

Algebraic structures / Mathematical logic / Algebraic logic / Lattice theory / Order theory / Galois connection / Field / Heyting algebra / Relation algebra / variste Galois / Residuated lattice / Group

Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming

DocID: 1pBQG - View Document

Abstract interpretation / Radhia Cousot / Galois connection / variste Galois

Abstract Interpretation, Re-Reloaded and Numerical and Structural Abstractions Jan Midtgaard Winter School, Day 4 http://janmidtgaard.dk/aiws15/

DocID: 1oA2A - View Document

Algebra / Mathematics / Software engineering / Predicate logic / Abstract interpretation / Galois connection / Galois theory / Order theory / Linear map / Free variables and bound variables / Loop invariant / Flow chart language

Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux†

DocID: 1mpze - View Document