Last update: Fri Jul 8 02:02:43 MDT 2005
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{Chaudhuri:1996:PCA,
author = "S. Chaudhuri and Y. Dimopoulos and C. D. Zaroliagis",
title = "On the parallel complexity of acyclic logic programs",
journal = j-PARALLEL-PROCESS-LETT,
volume = "6",
number = "2",
pages = "223--230",
month = jun,
year = "1996",
CODEN = "PPLTEE",
ISSN = "0129-6264",
bibdate = "Mon Apr 14 09:48:53 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C4240C (Computational complexity); C4240P (Parallel
programming and algorithm theory); C6110L (Logic
programming); C6110P (Parallel programming)",
corpsource = "Max-Planck-Inst. fur Inf., Saarbrucken, Germany",
countrypub = "Singapore",
keywords = "acyclic logic programs; complete; computational
complexity; directed acyclic graph; directed graphs;
logic; P-; parallel algorithms; parallel complexity;
programming; stable model",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- ;, P-,
2(1)31
- acyclic,
1(1)19,
5(4)527,
5(4)599,
5(4)671,
6(4)539
- C4240C,
4(4)405,
4(4)417,
5(1)3,
5(1)23,
5(2)139,
5(2)157,
5(2)179,
5(2)205,
5(2)223,
5(2)251,
5(2)263,
5(2)275,
5(2)293,
5(2)299,
5(2)311,
5(3)331,
5(3)357,
5(3)367,
5(3)413,
5(3)437,
5(3)499,
5(4)599,
6(1)3,
6(1)13,
6(1)127,
6(1)159,
6(2)187,
6(2)195,
6(2)213,
6(2)247,
6(3)299,
6(3)321,
6(3)331,
6(4)491,
6(4)507,
6(4)525,
6(4)539,
7(1)3,
7(1)39
- C6110L,
2(1)71
- C6110P,
1(2)95,
1(2)157,
2(2)265,
2(2)273,
2(2)291,
3(1)25,
3(1)53,
4(3)193,
4(3)221,
4(3)233,
4(3)245,
4(3)271,
4(3)281,
4(3)301,
4(3)313,
4(3)329,
5(1)37,
5(1)49,
5(1)111,
5(2)171,
5(2)191,
5(4)527,
5(4)575,
6(1)45,
6(1)55,
6(1)67,
6(1)75,
6(1)87,
6(1)101,
6(1)115,
6(1)159,
6(1)173,
6(4)583,
7(2)117,
7(2)145,
7(2)169,
7(2)181,
7(2)195,
7(2)203
- complete,
2(1)31,
4(1)149,
5(2)129,
6(1)75,
6(3)355,
8(2)207,
10(4)267
- directed,
1(1)19,
2(1)3,
2(2)157,
4(4)379,
5(4)527,
5(4)599,
5(4)611,
5(4)671,
6(1)13,
6(1)159,
6(2)231,
6(4)479,
6(4)539
- logic,
2(1)71,
3(1)3,
3(1)43,
4(1)105,
4(1)117,
4(1)149,
4(1)171,
4(3)205,
4(3)281,
4(3)313,
4(3)329,
4(3)z,
5(2)251,
5(3)461,
6(3)355,
6(3)415,
7(1)101
- model,
1(2)103,
2(1)51,
2(2)257,
2(2)265,
2(4)311,
2(4)341,
3(1)79,
3(2)139,
3(2)147,
3(3)301,
3(4)313,
3(4)407,
4(1)15,
4(1)29,
4(1)45,
4(1)65,
4(1)83,
4(1)117,
4(1)149,
4(3)221,
4(4)367,
4(4)379,
4(4)429,
4(4)437,
4(4)455,
5(1)15,
5(1)23,
5(1)81,
5(1)97,
5(2)129,
5(2)213,
5(2)231,
5(2)281,
5(2)299,
5(3)375,
5(4)527,
6(1)27,
6(1)67,
6(1)101,
6(1)159,
6(2)195,
6(2)213,
6(4)451,
6(4)525,
6(4)583,
7(2)203,
8(2)149,
8(2)161,
8(2)189,
8(3)271,
8(4)459,
9(1)69,
11(2)353,
11(2)363,
12(1)113,
13(3)449,
14(1)5
- P-,
2(1)31
- program,
2(1)71,
2(2)273,
2(2)291,
2(4)391,
3(1)19,
3(1)53,
3(2)179,
4(1)15,
4(1)29,
4(1)37,
4(1)45,
4(1)53,
4(1)105,
4(1)125,
4(1)159,
4(3)193,
4(3)205,
4(3)221,
4(3)233,
4(3)245,
4(3)271,
4(3)281,
4(3)301,
4(3)313,
4(3)329,
4(4)367,
5(2)129,
5(2)139,
5(2)149,
5(2)179,
5(2)205,
5(4)575,
5(4)611,
6(1)159,
6(1)173,
6(3)415,
6(3)427,
6(4)491,
6(4)525,
6(4)575,
6(4)583,
7(2)117,
7(2)145,
7(2)169,
7(2)181,
7(2)195,
7(2)203,
8(3)407,
9(4)487,
10(2)201,
10(2)227,
11(1)139,
11(4)423,
11(4)471,
12(1)95,
12(2)157,
13(3)365,
13(3)389,
13(4)513
- stable,
9(1)147