Entry Aceto:2011:SRF 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{Aceto:2011:SRF,
author = "Luca Aceto and Matteo Cimini and Anna Ingolfsdottir
and MohammadReza Mousavi and Michel A. Reniers",
title = "{SOS} rule formats for zero and unit elements",
journal = j-THEOR-COMP-SCI,
volume = "412",
number = "28",
pages = "3045--3071",
day = "20",
month = jun,
year = "2011",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Tue Aug 30 18:51:35 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
- Aceto, Luca,
412(28)3035,
458(1)1,
537(z)42
- Cimini, Matteo,
458(1)1
- element,
411(1)174,
411(43)3867,
412(22)2409,
412(35)4636,
412(50)6938,
460(1)78,
546(z)132
- format,
412(28)3283,
413(1)36,
458(1)1
- Ingolfsdottir, Anna,
412(28)3035,
458(1)1,
537(z)42
- Mousavi, MohammadReza,
458(1)1
- Reniers, Michel A.,
458(1)1
- rule,
411(38)3507,
411(50)4323,
412(1)124,
412(11)1022,
448(1)66,
454(1)5,
458(1)1,
504(z)38,
516(z)127,
529(z)82
- unit,
411(22)2155,
412(3)198,
412(18)1696,
418(1)92,
428(1)80,
500(z)1,
507(z)34,
521(z)62,
527(z)50,
540(z)70,
544(z)14
- zero,
412(50)7029