- Home
- » Tags
- » Heap (mathematics)
Top View
- Category Theory for Functional Programmers Functors, Natural Transformations, Adjunctions
- Disjoint-Union Partial Algebras
- View This Volume's Front and Back Matter
- The Groupoid Interpretation of Type Theory, a Personal Retrospective
- The Ternary Operations of Groupoids
- Exploring the Tree of Numerical Semigroups Jean Fromentin, Florent Hivert
- Arxiv:Math/0501315V2 [Math.CO] 16 Jul 2005 Rus Ehv W Goals: Two Have We Groups
- Jordan and Lie Geometries
- Generalized Effect Algebras As Models of Concurrent Resources
- Exploring the Tree of Numerical Semigroups Jean Fromentin, Florent Hivert
- Taming the Wild in Impartial Combinatorial Games
- Non-Associative Algebraic Structures in Knot Theory
- Flocks, Groups and Heaps, Joined with Semilattices 1. Introduction
- From Categorical Logic to Facebook Engineering
- Carsten Varming and Lars Birkedal. Higher-Order Separation Logic In
- Heaps and Unpointed Stable Homotopy Theory
- Download (282.39KB)
- Classification of Coxeter Groups with Finitely Many Elements of A-Value 2
- Toric Heaps, Cyclic Reducibility, and Conjugacy in Coxeter Groups
- Jordan- and Lie Geometries
- Wagner's Theory of Generalised Heaps
- The Algebraic Theory of Semigroups, Volume II
- Cosets in Inverse Semigroups and Inverse Subsemigroups of Finite Index Amal Alali
- Annual Progress Report on the Mathematical Sciences Research Institute 2008-2009 Activities Supported by NSF Grant DMS – 0441170 May 1, 2010
- Modular Verification of Equivalence for Memory Allocating Procedures
- Radical Decompositions of Semiheaps
- Title Dynamical Braided Monoids and Dynamical Yang-Baxter Maps
- Supervisory Control of Heap Models Using Synchronous Composition