QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 25 JanuaryDaya) Show that, up to isomorphism, there is a unique group of order 15.

Source URL: math.harvard.edu

Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Type theory
• Functional languages
• Proof assistants
• Dependently typed programming
• Logic in computer science
• Coq
• Dependent type
• Functional programming
• Haskell
• Inductive type
• Quicksort
• CurryHoward correspondence

September 12, 2007 THE ISOMORPHISM PROBLEM FOR TORSION-FREE ABELIAN GROUPS IS ANALYTIC COMPLETE. ´ ROD DOWNEY AND ANTONIO MONTALBAN Abstract. We prove that the isomorphism problem for torsion-free

Source URL: www.mcs.vuw.ac.nz

REMARKS ON MOTIVIC HOMOTOPY THEORY OVER ALGEBRAICALLY CLOSED FIELDS PO HU, IGOR KRIZ AND KYLE ORMSBY Abstract. We discuss certain calculations in the 2-complete motivic stable homotopy category over an algebraically clos

Source URL: www.math.lsa.umich.edu

• Homotopy theory
• Motivic cohomology
• Spectrum
• Cohomology
• Homotopy groups of spheres
• Homotopy
• Adams spectral sequence
• Stable homotopy theory
• CW complex
• EilenbergMacLane space
• Motive
• Norm residue isomorphism theorem

Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs Martin Grohe1 Dániel Marx2

Source URL: www.cs.bme.hu

Abstract Algebra Theory and Applications Abstract Algebra Theory and Applications Thomas W. Judson

Source URL: abstract.pugetsound.edu

• Mathematics
• Algebra
• Software
• Mathematics education
• Symmetry
• Exercise
• Linear algebra
• Abstract algebra
• Group
• Isomorphism theorem
• Von Neumann algebra
• Abelian group

December 15, :20 WSPC - Proceedings Trim Size: 9.75in x 6.5in

Source URL: www.jsbi.org

• Graph theory
• Mathematics
• Computational complexity theory
• NP-complete problems
• Clique
• Subgraph isomorphism problem
• Matching
• Protein kinase
• Protein
• Root-mean-square deviation of atomic positions

On the Lattice Isomorphism Problem Ishay Haviv∗ Oded Regev† Abstract

Source URL: www2.mta.ac.il

This article was downloaded by: [Lidz, Jeffrey][University of Maryland College Park] On: 16 April 2010 Access details: Access Details: [subscription numberPublisher Psychology Press Informa Ltd Registered in

Source URL: ling.umd.edu

• Semantics
• Philosophy of language
• Interpretation
• Cognitive science
• Logic
• Analytic philosophy
• Memory
• Cognition
• Priming
• Pragmatics
• Isomorphism
• Musolino

Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs∗ Martin Grohe and D´aniel Marx November 13, 2014 Abstract

Source URL: www.cs.bme.hu