Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
431	The Strongest Nonsplitting Theorem Mariya Ivanova Soskova and S. Barry Cooper University of Leeds, Leeds, LS2 9JT, UK 1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2007-01-18 08:23:48 Symbol Orbifold Constructible universe Proof theory Deduction
432	A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, Vi Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Proof theory Deduction Propositional calculus Natural deduction Curry–Howard correspondence Entailment Valuation Lambda calculus Orbifold Logic Mathematics Abstract algebra
433	The virtual fibering conjecture and related questions Ian Agol From braids to Teichmuller spaces Ian Agol Add to Reading List Source URL: www.math.uga.edu Language: English - Date: 2009-06-05 18:05:08 3-manifolds Hyperbolic geometry Geometric topology Differential topology Riemannian manifolds Kleinian group Ian Agol Orbifold Residually finite group Topology Geometry Abstract algebra
434	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-29 09:46:20 Symbol Orbifold
435	WINDMILLS AND EXTREME 2-CELLS JON MCCAMMOND 1 AND DANIEL WISE 2 Abstract. In this article we prove new results about the existence of 2-cells in disc diagrams which are extreme in the sense that they are attached to the Add to Reading List Source URL: www.math.ucsb.edu Language: English - Date: 2009-09-23 20:04:26 Homotopy theory Abstract algebra Fundamental group CW complex Branch point Function Orbifold Covering space Topology Mathematics Algebraic topology
436	Rational graphs trace context-sensitive languages Christophe Morvan1 and Colin Stirling2 1 IRISA, Campus de Beaulieu, 35042 Rennes, France Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:56:56 Automata theory Finite state transducer Graph Directed graph NP-complete problems Orbifold Adjacency matrix Graph theory Theoretical computer science Mathematics
437	ON DOWNEY’S CONJECTURE MARAT M. ARSLANOV, ISKANDER SH. KALIMULLIN, AND STEFFEN LEMPP Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Constructible universe Symbol Orbifold
438	Surjectivity problem for extensions of torsion-free groups 1 Add to Reading List Source URL: msp.warwick.ac.uk Language: English - Date: 2007-11-07 06:44:56 Algebraic topology Homotopy theory Geometric group theory Fundamental group Whitehead torsion Stallings theorem about ends of groups Orbifold Topology Abstract algebra Geometric topology
439	Sums of two relatively prime k-th powers. Roger C. Baker (Provo, UT) Add to Reading List Source URL: www.math.byu.edu Language: English - Date: 2009-02-18 17:27:49 Conjectures Hypotheses Riemann hypothesis Riemann zeta function Symbol Orbifold Mathematical analysis Mathematics Analytic number theory
440	SIMPLE PROOFS OF CLASSICAL EXPLICIT RECIPROCITY LAWS ON CURVES USING DETERMINANT GROUPOIDS OVER AN ARTINIAN LOCAL RING Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2003-04-03 12:22:40 Symbol Exterior algebra Tensor product Orbifold Gelfand pair Algebra Abstract algebra Mathematics

UPDATE