Q5111331 (Q5111331): 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: 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: 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: 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: 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: Rotation Distance, Triangulations, and Hyperbolic Geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2859380 / 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-closed categories / 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: A Census of Planar Triangulations / 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: 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: Q5111331 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A correspondence between rooted planar maps and normal planar lambda terms / rank
 
Normal rank

Revision as of 18:20, 22 July 2024

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

    Statements

    0 references
    26 May 2020
    0 references
    proof theory
    0 references
    combinatorics
    0 references
    coherence theorem
    0 references
    substructural logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references