Q4625697 (Q4625697): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Logic Programming with Focusing Proofs in Linear Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intervals in Catalan lattices and realizers of triangulations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Asymptotics and random sampling for BCI and BCK lambda terms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Skew monoidal categories and skew multicategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Permutohedra and Associahedra / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the number of intervals in Tamari lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Description trees and Tutte formulas. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Planar triangulations, bridgeless planar maps and Tamari intervals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representable multicategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law / rank
 
Normal rank
Property / cites work
 
Property / cites work: Triangulations, orientals, and skew monoidal categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Mathematics of Sentence Structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5595187 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5655527 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coherence for associativity not an isomorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3159161 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4808736 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of categorial grammars. A deductive account of natural language syntax and semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Associahedra, Tamari lattices and related structures. Tamari memorial Festschrift / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structural cut elimination. I: Intuitionistic and classical logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rotation Distance, Triangulations, and Hyperbolic Geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4443440 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy Associativity of H-Spaces. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Skew-monoidal categories and bialgebroids. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoïdes préordonnés et chaînes de Malcev / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5665376 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4744317 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Census of Planar Triangulations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coherence for Skew-Monoidal Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counting rooted maps by genus. III: Nonseparable maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3376041 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the unity of duality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear lambda terms as invariants of rooted trivalent maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: A correspondence between rooted planar maps and normal planar lambda terms / rank
 
Normal rank

Latest revision as of 09:44, 18 July 2024

scientific article; zbMATH DE number 7029308
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7029308

    Statements

    0 references
    25 February 2019
    0 references
    proof theory
    0 references
    combinatorics
    0 references
    associativity
    0 references
    Tamari lattice
    0 references
    coherence theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers