Galois connection - PDFSEARCH.IO - Document Search Engine

Galois connection
Results: 39

#	Item
1	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 Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2007-11-15 04:59:42 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
2	Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-04 08:44:50 Mathematics Order theory Algebra Abstract algebra Abstract interpretation Galois connection Fixed-point theorem Fixed point FO Complete lattice Lattice Monotonic function
3	Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Add to Reading List Source URL: plmms09.cse.tamu.edu Language: English - Date: 2009-08-19 04:48:38 Algebraic structures Mathematical logic Algebraic logic Lattice theory Order theory Galois connection Field Heyting algebra Relation algebra variste Galois Residuated lattice Group
4	Abstract Interpretation, Re-Reloaded and Numerical and Structural Abstractions Jan Midtgaard Winter School, Day 4 http://janmidtgaard.dk/aiws15/ Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-05 08:54:58 Abstract interpretation Radhia Cousot Galois connection variste Galois
5	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 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
6	1 Language-Processing Problems Roland Backhouse DIMACS, 8th July, 2003 Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 12:47:55 Galois connection Order theory Function Spectral theory Adjoint functors Decomposition of spectrum Mathematics Mathematical analysis Abstract interpretation
7	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering
8	Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus, Toniann Pitassi, Robert Robere and Stephen A. Cook Department of Computer Science University of Toronto Toronto, Canada {yuvalf, toni, robere, sacoo Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-08-15 23:12:55 Order theory Computational complexity theory Functional analysis Monotonic function Real analysis Circuit complexity FO Aanderaa–Karp–Rosenberg conjecture Galois connection Theoretical computer science Mathematics Mathematical analysis
9	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
10	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic