Entry David:2011:SPA 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{David:2011:SPA,
author = "Ren{\'e} David",
title = "A short proof that adding some permutation rules to
$\beta$ preserves {$S N$}",
journal = j-THEOR-COMP-SCI,
volume = "412",
number = "11",
pages = "1022--1026",
day = "11",
month = mar,
year = "2011",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Wed Aug 31 10:15:33 MDT 2011",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- adding,
496(z)17,
534(z)24
- permutation,
411(26)2487,
411(40)3685,
412(12)1275,
412(27)2911,
412(29)3555,
416(1)87,
421(1)15,
429(1)128,
438(1)74,
459(1)26,
475(z)59,
482(z)1,
502(z)210,
511(z)109,
513(z)109,
532(z)40,
543(z)90
- proof,
411(3)677,
411(51)4358,
412(20)1941,
412(20)1958,
412(23)2468,
415(1)1,
428(1)92,
461(1)55,
464(1)90,
474(z)98,
475(z)120,
478(z)1,
480(z)26,
492(z)40,
497(z)84,
510(z)111,
512(z)41,
546(z)164,
549(z)36,
554(z)229
- rule,
411(38)3507,
411(50)4323,
412(1)124,
412(28)3045,
448(1)66,
454(1)5,
458(1)1,
504(z)38,
516(z)127,
529(z)82
- short,
439(1)1,
465(z)21,
476(z)67,
479(z)4,
494(z)144,
509(z)97,
516(z)133