Asymptotics and random sampling for BCI and BCK lambda terms (Q391429): Difference between revisions

@@ Property / author @@
-Daniéle Gardy
@@ Property / author: Daniéle Gardy / rank @@
-Normal rank
@@ Property / author @@
+Daniéle Gardy
@@ Property / author: Daniéle Gardy / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R05
@@ Property / Mathematics Subject Classification ID: 68R05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A16
@@ Property / Mathematics Subject Classification ID: 05A16 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6244239
@@ Property / zbMATH DE Number: 6244239 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+enumeration of lambda terms
@@ Property / zbMATH Keywords: enumeration of lambda terms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+random generation
@@ Property / zbMATH Keywords: random generation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+BCI logical system
@@ Property / zbMATH Keywords: BCI logical system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+BCK logical system
@@ Property / zbMATH Keywords: BCK logical system / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2013.01.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2023605482
@@ Property / OpenAlex ID: W2023605482 / rank @@
+Normal rank
@@ Property / cites work @@
+Random maps, coalescing saddles, singularity analysis, and Airy phenomena
+Normal rank
@@ Property / cites work @@
+Asymptotic Methods in Enumeration
@@ Property / cites work: Asymptotic Methods in Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+The asymptotic number of labeled graphs with given degree sequences
+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 @@
+Q2743189
@@ Property / cites work: Q2743189 / rank @@
+Normal rank
@@ Property / cites work @@
+On the diameter of random planar graphs
@@ Property / cites work: On the diameter of random planar graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071773
@@ Property / cites work: Q4071773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Boltzmann Samplers for the Random Generation of Combinatorial Structures
+Normal rank
@@ Property / cites work @@
+Analytic variations on the Airy distribution
@@ Property / cites work: Analytic variations on the Airy distribution / rank @@
+Normal rank
@@ Property / cites work @@
+On the analysis of linear probing hashing
@@ Property / cites work: On the analysis of linear probing hashing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549563
@@ Property / cites work: Q3549563 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and Intuitionistic Logic Are Asymptotically Identical
+Normal rank
@@ Property / cites work @@
+Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
+Normal rank
@@ Property / cites work @@
+Une théorie combinatoire des séries formelles
@@ Property / cites work: Une théorie combinatoire des séries formelles / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398780
@@ Property / cites work: Q4398780 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical properties of simple types
@@ Property / cites work: Statistical properties of simple types / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal algorithm to generate rooted trivalent diagrams and rooted triangular maps
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:391429