Entry Gaintzarain:2010:TPE 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{Gaintzarain:2010:TPE,
author = "Jose Gaintzarain and Montserrat Hermo and Paqui Lucio
and Marisa Navarro",
title = "Translating propositional extended conjunctions of
{Horn} clauses into {Boolean} circuits",
journal = j-THEOR-COMP-SCI,
volume = "411",
number = "16--18",
pages = "1723--1733",
day = "28",
month = mar,
year = "2010",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Mar 28 17:10:27 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
- boolean,
411(1)266,
411(11)1338,
411(26)2612,
411(31)2864,
412(8)703,
412(8)773,
412(12)1169,
412(26)2816,
412(35)4613,
412(35)4650,
412(39)5132,
425(1)34,
447(1)120,
449(1)23,
457(1)149,
480(z)43,
481(z)24,
487(z)23,
501(z)82,
504(z)12,
505(z)74,
516(z)101,
523(z)86,
559(z)20
- circuit,
411(1)266,
411(11)1501,
411(31)2864,
411(44)3938,
412(8)773,
412(18)1646,
448(1)56,
462(1)59,
501(z)20,
505(z)74,
524(z)90
- conjunction,
491(z)47
- extended,
411(4)730,
418(1)48,
447(1)44,
448(1)66
- propositional,
412(18)1729,
450(1)92,
497(z)84,
554(z)169