Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
161	Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:03 ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
162	Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling Makoto Kanazawa National Institue of Informatics Tokyo, Japan http://research.nii.ac.jp/˜kanazawa/ Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-29 20:41:55 Mathematics Applied mathematics Categorial grammar Lambda calculus Context-sensitive grammar Orbifold Formal languages Theoretical computer science Models of computation
163	Computation of hyperbolic structures on 3-dimensional orbifolds Damian Heard Add to Reading List Source URL: www.ms.unimelb.edu.au Language: English - Date: 2007-06-02 03:11:42 Space Hyperbolic geometry Differential topology Geometric topology Numerical software SnapPea Orbifold Manifold Hyperbolic Dehn surgery Topology Geometry 3-manifolds
164	Homological stability for mapping class groups of surfaces Nathalie Wahl Abstract. We give a complete and detailed proof of Harer’s stability theorem for the homology of mapping class groups of surfaces, with the best Add to Reading List Source URL: www.math.ku.dk Language: English - Date: 2012-10-17 09:22:18 Geometric topology Homeomorphisms Mapping class group Simplex Differential geometry of curves Orbifold Symbol Geometry Topology Space
165	Handlers of Algebraic Effects Gordon Plotkin ? and Matija Pretnar Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Topology Symbol Denotational semantics Monad Model theory Sheaf Orbifold Μ operator Theoretical computer science Logic in computer science Mathematics
166	¨¸Ó³ ¢ —Ÿ. 2015. ’. 12, º 1(192). ‘. 50Ä54 ”ˆ‡ˆŠ ‹…Œ…’›• —‘’ˆ– ˆ ’Œƒ Ÿ„. ’…ˆŸ INTERSECTING D-BRANE MODELS: A BRIEF OVERVIEW Add to Reading List Source URL: www1.jinr.ru Language: English - Date: 2015-02-06 03:49:04 Membrane Type I string theory Brane cosmology Orientifold Orbifold Hanany–Witten transition Topological string theory Physics String theory D-brane
167	C:/Users/scheng/Documents/research/maxoverlap/journal-final/journal_heekap.dvi Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-06-18 04:04:17 Symbol Geometric group theory Differential topology Orbifold
168	A Expressive Languages for Path Queries over Graph-Structured Data ´ , University of Chile PABLO BARCELO LEONID LIBKIN, University of Edinburgh ANTHONY W. LIN, Univerity of Oxford Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-12-12 09:23:41 Metalogic Model theory Structure Universal algebra FO String Orbifold Conjunctive query Mathematics Formal languages Theoretical computer science
169	ON A LOWER BOUND FOR THE CONNECTIVITY OF THE INDEPENDENCE COMPLEX OF A GRAPH MICHAÃL ADAMASZEK † Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-10-30 10:03:20 Abstract algebra Algebraic topology Fundamental group Homotopy theory Homeomorphism Graph Linear temporal logic Orbifold Mathematics Graph theory Topology
170	Regenerating singular hyperbolic structures from Sol Michael Heusener, Joan Porti and Eva Su´arez 1 Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2008-07-31 13:26:40 Conformal geometry Möbius transformation Projective geometry Holonomy SL2 Structure Covering space Orbifold Spinor Geometry Mathematics Topology

UPDATE