Q5111331 (Q5111331): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.4230/LIPIcs.FSCD.2017.33 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: OEIS / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: Publication / rank
 
Normal rank
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
Property / DOI
 
Property / DOI: 10.4230/LIPICS.FSCD.2017.33 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:58, 30 December 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