Whitehead theorem - PDFSEARCH.IO - Document Search Engine

Whitehead theorem
Results: 24

#	Item
1	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold
2	THE SATO–TATE DISTRIBUTION IN THIN PARAMETRIC FAMILIES OF ELLIPTIC CURVES ´ ` REGIS DE LA BRETECHE, Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2015-10-09 05:02:50 Mathematics Mathematical analysis Analytic number theory Elliptic curve Group theory Distribution SatoTate conjecture Symbol Prime number Generalised Whitehead product LindemannWeierstrass theorem
3	Algebraic & Geometric Topology XX (20XX) 1001–Unstable splittings for real spectra NITU KITCHLOO Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Topology Homotopy theory Mathematics Cohomology Classifying space Spectrum Homotopy CW complex Immersion Generalised Whitehead product Landweber exact functor theorem
4	J. P. May References [1] The cohomology of restricted Lie algebras and of Hopf algebras. Bull. Amer. Math. Soc), 372–The cohomology of the Steenrod algebra; stable homotopy groups of spheres. Bull. Am Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2012-12-06 23:09:12 Homotopy theory Algebraic topology Highly structured ring spectrum Algebraic K-theory Cohomology K-theory Equivariant cohomology Simplicial set Steenrod algebra Whitehead theorem Groupoid Adams spectral sequence
5	An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 10:05:38 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Valuation Generalised Whitehead product Symbol
6	λ-RBAC: Programming with Role-Based Access Control Radha Jagadeesan1,? , Alan Jeffrey2,? , Corin Pitcher1?? , and James Riely1,? ? ? 1 2 School of CTI, DePaul University Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:48 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Generalised Whitehead product Symbol
7	Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:04 Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical analysis Measure theory Generalised Whitehead product Indexed grammar
8	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:38 Logic Mathematics Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Denotational semantics Structure Symbol Generalised Whitehead product
9	ON THE SECOND RELATIVE HOMOTOPY GROUP OF AN ADJUNCTION SPACE: AN EXPOSITION OF A THEOREM OF J. H. C. WHITEHEAD RONALD BROWN Dedicated to the memory of a friend and colleague, Peter Stefan Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2009-03-01 09:39:30 Mathematics Crossed module Homotopy group Whitehead theorem Seifert–van Kampen theorem Adjoint functors Algebraic topology Homotopy Hurewicz theorem Topology Homotopy theory Abstract algebra
10	Geometry & Topology XX (20XX) 1001–[removed]Combinatorial group theory and the homotopy groups of finite complexes Add to Reading List Source URL: www.math.nus.edu.sg Language: English - Date: 2012-10-05 01:48:42 Mathematics Algebraic topology Simplicial set Homotopy groups of spheres Homotopy group Whitehead theorem CW complex Homotopy Out Topology Abstract algebra Homotopy theory