4 papers · 1 filter
Counting embeddings of rooted trees into families of rooted trees
Bernhard Gittenberger, Zbigniew Gołębiewski, Isabella Larcher +1
The number of embeddings of a partially ordered set in a partially ordered set is the number of subposets of isomorphic to . If both, and , have only one uniq…
Compaction for two models of logarithmic-depth trees: Analysis and Experiments
Olivier Bodini, Antoine Genitrini, Bernhard Gittenberger +2
We are interested in the quantitative analysis of the compaction ratio for two classical families of trees: recursive trees and plane binary increasing trees. These families are ty…
Protection numbers in simply generated trees and Pólya trees
Bernhard Gittenberger, Zbigniew Gołębiewski, Isabella Larcher +1
We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in Pólya trees, and in unlabelled non-plane binary tre…
Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels
Bernhard Gittenberger, Isabella Larcher
We investigate the number of variables in two special subclasses of lambda-terms that are restricted by a bound of the number of abstractions between a variable and its binding lam…