Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
181	arXiv:1304.7456v1 [cs.DS] 28 AprCounting Hypergraphs in Data Streams He Sun Max Planck Institute for Informatics Saarbr¨ Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2013-05-03 12:26:04 Hypergraph NP-complete problems Graph Packing in a hypergraph Orbifold Graph theory Theoretical computer science Mathematics
182	Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander Krauss Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Symbol Lambda calculus Interpretation Structure Orbifold Curry–Howard correspondence Mathematics Mathematical logic Logic
183	Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette? and Alexander Krauss Institut für Informatik, Technische Universität München, Germany {blanchette,krauss}@in.tum.de Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Logic Metalogic Symbol Interpretation Structure Lambda calculus Orbifold Normal distribution Mathematics Model theory Mathematical logic
184	SUBDIVISION RULES AND VIRTUAL ENDOMORPHISMS J. W. CANNON, W. J. FLOYD, W. R. PARRY, AND K. M. PILGRIM Abstract. Suppose f : S 2 → S 2 is a postcritically finite branched covering without periodic branch points. If f is Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2009-06-09 14:36:42 Algebraic topology Homotopy theory Differential topology Orbifold Representation theory of Lie groups Fundamental group Covering space Weight Linear map Abstract algebra Mathematics Algebra
185	CONSTRUCTING RATIONAL MAPS FROM SUBDIVISION RULES J. W. CANNON, W. J. FLOYD, R. KENYON, AND W. R. PARRY Abstract. Suppose R is an orientation-preserving finite subdivision rule with an edge pairing. Then the subdivision Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2003-03-28 11:37:09 Orbifold Mathematics Fundamental group Lie groups Kleinian group Topology Abstract algebra Differential topology
186	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
187	COMBINATORIALLY REGULAR POLYOMINO TILINGS J. W. CANNON, W. J. FLOYD, AND W. R. PARRY Abstract. Let T be a regular tiling of R2 which has the origin 0 as a vertex, and suppose that ϕ : R2 → R2 is a homeomorphism such t Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2003-09-11 22:04:56 Mosaic Symmetry Tessellation Matching Icosahedron Polyomino Orbifold Mathematics Geometry Graph theory
188	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
189	EXPANSION COMPLEXES FOR FINITE SUBDIVISION RULES I J. W. CANNON, W. J. FLOYD, AND W. R. PARRY Abstract. This paper develops the basic theory of conformal structures on finite subdivision rules. The work depends heavily Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2003-09-11 21:58:25 Differential topology Orbifold CW complex Conformal geometry Conformal map Topology Geometry Algebraic topology
190	1 Abstract A countable group Γ is called shift-minimal if every non-trivial measure preserving action of Γ weakly contained in the Bernoulli shift Γ y ([0, 1]Γ , λΓ ) is free. We show that any group Γ whose reduc Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2012-12-21 17:27:31 Geometric group theory Amenable group Ergodic theory Entailment Stallings theorem about ends of groups Orbifold Abstract algebra Geometry Group theory