Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Rule Algebras for Adhesive Categories

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Discrete Mathematics (cs.DM)

  • Source: Logical Methods in Computer ScienceLogical Methods in Computer Science, 2020, 16 (3), ⟨10.23638/LMCS-16(3:2)2020⟩Leibniz International Proceedings in Informatics (LIPIcs)

Record details

×

Dual Immaculate Quasisymmetric Functions Expand Positively into Young Quasisymmetric Schur Functions

Subjects: Combinatorial formula; Pure mathematics; General Computer Science

  • Source: Discrete Mathematics and Theoretical Computer Science28-th International Conference on Formal Power Series and Algebraic Combinatorics28-th International Conference on Formal Power Series

Record details

×

QRB-Domains and the Probabilistic Powerdomain

Subjects: FOS: Computer and information sciences; Functor; Computer Science - Programming Languages

  • Source: Logical Methods in Computer ScienceLogical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), ⟨10.2168/LMCS-8(1:14)2012⟩

Record details

×

Asymptotics of Divide-And-Conquer Recurrences Via Iterated Function Systems

Subjects: General Computer Science; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; iterated function systems

  • Source: Discrete Mathematics and Theoretical Computer Science23rd International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'12)23rd

Record details

×

Supercharacters, symmetric functions in noncommuting variables (extended abstract)

Subjects: Pure mathematics; Class (set theory); General Computer Science

  • Source: Scopus-ElsevierDiscrete Mathematics and Theoretical Computer ScienceDiscrete Mathematics and Theoretical Computer Science (DMTCS)23rd International Conference on Formal Power Series

Record details

×

Growth function for a class of monoids

Subjects: Monoid; Pure mathematics; General Computer Science

  • Source: Discrete Mathematics and Theoretical Computer Science21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009)21st International Conference on Formal

Record details

×

Noncrossing partitions and the shard intersection order

Subjects: General Computer Science; shard; 0102 computer and information sciences

  • Source: Discrete Mathematics and Theoretical Computer ScienceDiscrete Mathematics and Theoretical Computer Science (DMTCS)21st International Conference on Formal Power Series and Algebraic

Record details

×

Matrix Ansatz, lattice paths and rook placements

Subjects: General Computer Science; Enumeration; Combinatorial proof

  • Source: Discrete Mathematics and Theoretical Computer Science21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009)21st International Conference on Formal

Record details

×

Quasisymmetric Schur functions

Subjects: Monomial; Pure mathematics; Mathematics::Dynamical Systems

  • Source: Discrete Mathematics and Theoretical Computer Science20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008)20th Annual International

Record details

×

From Bruhat intervals to intersection lattices and a conjecture of Postnikov

Subjects: General Computer Science; Betti number; inversion arrangements

  • Source: Discrete Mathematics and Theoretical Computer Science20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008)20th Annual International

Record details

×
  • 1-10 of  23 results for ""math""