On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901): Difference between revisions

@@ Property / cites work @@
+Q4402005
@@ Property / cites work: Q4402005 / rank @@
+Normal rank
@@ Property / cites work @@
+Formulae and Asymptotics for Coefficients of Algebraic Functions
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A Natural Counting of Lambda Terms
@@ Property / cites work: A Natural Counting of Lambda Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda terms of bounded unary height
@@ Property / cites work: Lambda terms of bounded unary height / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of generalized BCI lambda-terms
@@ Property / cites work: Enumeration of generalized BCI lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotics and random sampling for BCI and BCK lambda terms
+Normal rank
@@ Property / cites work @@
+Boys-and-girls Birthdays and Hadamard Products
@@ Property / cites work: Boys-and-girls Birthdays and Hadamard Products / rank @@
+Normal rank
@@ Property / cites work @@
+On the asymptotic number of <i>BCK</i>(2)-terms
@@ Property / cites work: On the asymptotic number of <i>BCK</i>(2)-terms / rank @@
+Normal rank
@@ Property / cites work @@
+The number of trees
@@ Property / cites work: The number of trees / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic Samplers and the Combinatorial Rejection Method
+Normal rank
@@ Property / cites work @@
+Q2959895
@@ Property / cites work: Q2959895 / rank @@
+Normal rank
@@ Property / cites work @@
+Boltzmann Samplers, Pólya Theory, and Cycle Pointing
+Normal rank
@@ Property / cites work @@
+Isomorphism and Symmetries in Random Phylogenetic Trees
+Normal rank
@@ Property / cites work @@
+Planar maps and continued fractions
@@ Property / cites work: Planar maps and continued fractions / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotically almost all \lambda-terms are strongly normalizing
+Normal rank
@@ Property / cites work @@
+Counting proofs in propositional logic
@@ Property / cites work: Counting proofs in propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Random Trees
@@ Property / cites work: Random Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Boltzmann Samplers for the Random Generation of Combinatorial Structures
+Normal rank
@@ Property / cites work @@
+Combinatorial aspects of continued fractions
@@ Property / cites work: Combinatorial aspects of continued fractions / rank @@
+Normal rank
@@ Property / cites work @@
+Boltzmann Sampling of Unlabelled Structures
@@ Property / cites work: Boltzmann Sampling of Unlabelled Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Singularity Analysis of Generating Functions
@@ Property / cites work: Singularity Analysis of Generating Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549563
@@ Property / cites work: Q3549563 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for the random generation of labelled combinatorial structures
+Normal rank
@@ Property / cites work @@
+The fraction of large random trees representing a given Boolean function in implicational logic
+Normal rank
@@ Property / cites work @@
+Intuitionistic vs. Classical Tautologies, Quantitative Comparison
+Normal rank
@@ Property / cites work @@
+On the number of lambda terms with prescribed size of their De Bruijn representation
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting and generating lambda terms
@@ Property / cites work: Counting and generating lambda terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2789550
@@ Property / cites work: Q2789550 / rank @@
+Normal rank
@@ Property / cites work @@
+BCK and BCI logics, condensed detachment and the 2-property
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, I
@@ Property / cites work: On axiom systems of propositional calculi, I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165379
@@ Property / cites work: Q4165379 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Positive Integers in Formal Logic. Part I
+Normal rank
@@ Property / cites work @@
+A Theory of Positive Integers in Formal Logic. Part II
+Normal rank
@@ Property / cites work @@
+Correspondence between ALGOL 60 and Church's Lambda-notation
+Normal rank
@@ Property / cites work @@
+On counting untyped lambda terms
@@ Property / cites work: On counting untyped lambda terms / rank @@
+Normal rank
@@ Property / cites work @@
+On the Altitude of Nodes in Random Trees
@@ Property / cites work: On the Altitude of Nodes in Random Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932310
@@ Property / cites work: Q3932310 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for combinatorial structures: well-founded systems and Newton iterations
+Normal rank
@@ Property / cites work @@
+Boltzmann sampling of ordered structures
@@ Property / cites work: Boltzmann sampling of ordered structures / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448306
@@ Property / cites work: Q5448306 / rank @@
+Normal rank
@@ Property / cites work @@
+The Number of Planted Plane Trees with a Given Partition
+Normal rank
@@ Property / cites work @@
+Q5488260
@@ Property / cites work: Q5488260 / rank @@
+Normal rank