Entry Bodini:2013:ARS from tcs2010.bib
Last update: Sun Mar 31 03:12:29 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Bodini:2013:ARS,
author = "O. Bodini and D. Gardy and A. Jacquot",
title = "Asymptotics and random sampling for {BCI} and {BCK}
lambda terms",
journal = j-THEOR-COMP-SCI,
volume = "502",
number = "??",
pages = "227--238",
day = "2",
month = sep,
year = "2013",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Sep 16 10:32:29 MDT 2013",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0304397513000583",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- asymptotic,
412(39)5374,
452(1)132,
473(z)149,
527(z)1,
548(z)25
- lambda,
412(44)6193,
464(1)48,
474(z)80
- random,
411(38)3469,
411(40)3527,
411(40)3714,
411(43)3801,
411(43)3867,
412(16)1492,
412(24)2623,
412(48)6750,
421(1)25,
425(1)117,
442(1)2,
460(1)54,
461(1)106,
475(z)66,
476(z)67,
477(z)96,
491(z)83,
500(z)68,
502(z)165,
502(z)177,
509(z)51,
516(z)127,
524(z)1,
524(z)103,
543(z)68,
546(z)176,
560(z)121
- sampling,
411(26)2591,
417(1)2,
442(1)2,
450(1)31,
512(z)67,
552(z)83,
558(z)77
- term,
411(37)3348,
412(28)3175,
412(46)6556,
464(1)3,
464(1)72,
474(z)80