Index file section P for jacm.bib
Last update: Wed Apr 24 02:01:09 MDT 2024
Return to index directory
P
-
P, 22(1)155--171, 22(4)463--468, 30(1)133--145, 30(2)271--285, 30(3)612--636,
32(3)733--749, 33(1)130--150, 33(3)533--550, 33(3)618--627,
34(2)480--491, 34(2)492--510, 34(4)1004--1015, 35(2)461--471,
35(3)727--739
-
p, 22(1)1--10, 31(2)422--437, 33(4)822--829, 35(3)740--747,
35(4)832--844, 36(1)69--91, 36(2)383--433
-
p*, 22(4)463--468
-
P, NP-, 22(1)155--171
-
P-complete, 23(3)555--565
-
P-RAM, 32(4)762--773
-
PA, 33(3)618--627
-
Pachl, J., 31(4)905--918
-
Pachl:1984:LBD, 31(4)905--918
-
Package, 13(2)194--204
-
packed, 27(2)207--227, 35(3)564--578
-
packet, 24(3)375--386, 27(1)30--41, 29(3)907--927, 31(1)86--98,
31(3)474--485, 31(3)507--517, 34(4)802--824, 35(3)579--602,
35(4)832--844, 36(3)540--572
-
packet-switched, 35(4)832--844
-
packet-switching, 31(3)474--485
-
Packetized, 35(4)832--844
-
packing, 27(2)207--227, 32(1)130--136, 35(3)564--578
-
Packing, Bin-, 32(3)562--572
-
packing, bin-, 27(2)207--227, 32(3)562--572
-
PACT, 3(4)272--278, 3(4)279--287, 3(4)288--291, 3(4)292--298,
3(4)299--308, 3(4)309--313
-
Pact, 4(1)8--11
-
Pagano, Marcello, 23(2)310--316
-
Pagano:1976:LCC, 23(2)310--316
-
page, 16(1)73--90, 18(1)80--93, 21(1)31--39, 21(1)40--53, 21(1)54--65,
21(3)525--526, 23(1)128--146, 24(2)222--240, 26(3)457--482,
27(4)797--821, 29(2)525--554, 34(4)950--967, 35(2)374--386,
35(4)921--940
-
page-breaking, 34(3)616--625
-
paged, 16(1)73--90, 16(4)646--646, 23(1)128--146, 29(2)525--554
-
Pager, David, 17(4)708--714, 21(2)207--212
-
Pager:1970:EA, 17(4)708--714
-
Pager:1974:FRP, 21(2)207--212
-
paging, 18(1)199--220, 21(1)31--39, 21(1)40--53, 21(1)54--65,
22(1)83--105
-
paid, 21(4)671--679
-
Painter, R. J., 17(1)110--112
-
Painter, R. J., see Meyer, C. D.
-
pair, 15(2)304--316, 16(3)442--454, 21(2)207--212, 22(1)145--154,
22(1)155--171, 22(4)572--595, 23(1)58--73, 23(3)433--445, 25(1)1--9,
28(4)633--645, 29(1)206--227, 29(3)642--667, 30(3)551--563,
33(1)60--85, 33(4)792--807, 34(1)1--27, 35(4)893--920,
36(3)435--473, 36(3)510--530
-
pairs, all-, 23(1)50--57
-
pairwise, 26(3)441--456
-
Palacios, Fernando G., 22(2)248--260
-
Palacios, Fernando G., see Baskett, Forest
-
palindrome, 22(3)346--351
-
Palmer, E. M., 21(3)376--384
-
Palmer:1974:EBC, 21(3)376--384
-
Palstar, 25(1)102--111
-
Panwar, Shivendra S., 35(4)832--844
-
Panwar:1988:OSP, 35(4)832--844
-
Paola, Robert A., Di, 16(2)324--327, 16(4)621--630, 20(1)112--126
-
Papachristou, Christos A., 34(2)376--396
-
Papachristou:1987:ATL, 34(2)376--396
-
Papadimitriou, C. H., 35(1)18--44
-
Papadimitriou, C. H., see Megiddo, N.
-
Papadimitriou, Christos H., 23(3)544--554, 26(1)95--102, 26(4)631--653,
27(3)533--549, 28(4)765--768, 29(2)285--309, 29(4)998--1006,
31(2)392--400, 31(4)742--760, 32(3)750--750, 33(3)593--602
-
Papadimitriou, Christos H., see Cosmadakis, Stavros S.,
see Tsitsiklis, John N.
-
Papadimitriou:1976:CET, 23(3)544--554
-
Papadimitriou:1979:OFF, 26(1)95--102
-
Papadimitriou:1979:SCD, 26(4)631--653
-
Papadimitriou:1980:FSL, 27(3)533--549
-
Papadimitriou:1981:CIP, 28(4)765--768
-
Papadimitriou:1982:CRS, 29(2)285--309
-
Papadimitriou:1982:TDC, 29(4)998--1006, 32(3)750--750
-
Papadimitriou:1984:CUS, 31(2)392--400
-
Papadimitriou:1985:CTD, 29(4)998--1006, 32(3)750--750
-
Paper-Tape, 3(2)101--109
-
Papert, 21(2)246--260
-
Papert, Seymour, 13(2)281--286
-
Papert, Seymour, see Minsky, Marvin
-
Papetti, R. A., 18(4)576--585
-
Papetti, R. A., see Kaplan, M. A.
-
Parabolic, 1(3)111--117, 4(1)18--23, 4(4)467--471, 9(4)450--456,
14(3)549--562, 17(2)294--302
-
paradigm, 31(3)441--458
-
Parallel, Series-, 18(3)354--372, 29(3)623--641
-
parallel, series-, 27(1)146--163
-
Parallel-Search, 9(4)488--511
-
parallelepipeds, 26(3)401--414
-
parallelism, 20(3)514--537, 20(4)696--710, 26(1)103--118, 26(4)819--833,
30(4)852--865, 31(2)401--421, 31(3)560--599, 32(2)374--382,
32(4)824--840, 33(3)499--516, 33(3)593--602, 34(1)60--76,
34(1)98--115, 34(1)116--127, 34(1)200--208, 34(2)450--479,
35(3)697--726, 35(3)740--747, 35(4)845--875, 35(4)941--952,
36(2)230--269, 36(2)362--382
-
Parameter, Compiling-, 9(3)379--386
-
parameteric, 30(3)551--563
-
parameterized, 25(4)620--629, 26(4)779--793, 30(2)343--359,
30(3)457--478, 36(2)383--433
-
parameterless, 26(1)129--147
-
parameters, set-, 27(1)96--117
-
parametric, 24(3)465--472, 27(2)323--337, 29(1)206--227, 30(3)551--563
-
parametric-study, 32(2)445--465
-
Parametrization, 29(1)206--227
-
paramodulation, 33(1)1--59, 33(2)253--289
-
paraphrase, 22(3)309--328
-
Parchmann, R., 27(2)402--402
-
Parchmann, Rainer, 26(1)1--5
-
Parchmann:1979:CSM, 26(1)1--5, 27(2)402--402
-
Parchmann:1980:CCS, 26(1)1--5, 27(2)402--402
-
parentheses, 19(4)613--640, 31(4)879--904
-
parenthesis, 14(3)490--500, 21(2)201--206, 24(4)583--590, 25(4)571--580
-
Parikh, 33(1)151--178
-
Parikh, Rohit J., 13(4)570--581
-
Parikh:1966:CFL, 13(4)570--581
-
parity, 8(2)186--200, 35(3)523--534
-
parity, path-, 34(2)255--288
-
parity-check, 22(4)501--503
-
Parker, Jr., D. S., 34(4)1016--1018
-
Parker, Jr., D. S., see Sagiv, Y.
-
Parker, Jr., D. Stott, 28(3)435--453
-
Parker, Jr., D. Stott, see Sagiv, Yehoshua
-
Parker, S. Thomas, 22(3)380--381
-
Parker, S. Thomas, see Dressler, Robert E.
-
parse, 19(4)675--698, 21(4)525--548
-
parsers, 27(3)564--579
-
parsing, 17(3)453--481, 19(2)225--243, 19(4)675--698, 21(4)525--548,
22(4)493--498, 22(4)572--595, 23(3)511--533, 29(2)408--428
-
Parsons, 35(1)18--44
-
Parsons, Frances L., 2(3)205--207
-
Parsons:1955:SDC, 2(3)205--207
-
part, 4(2)193--218, 4(3)279--297, 6(3)415--428, 7(1)46--56, 7(1)78--79,
7(2)150--162, 10(0)257--278, 11(2)138--151, 13(1)108--113,
19(3)526--568, 21(2)316--328, 21(3)454--458, 21(3)459--469,
21(4)671--679, 22(1)61--82, 22(2)202--214, 22(3)346--351,
23(1)31--42, 23(4)733--742, 24(2)241--249, 27(1)30--41,
30(3)457--478, 31(4)742--760, 32(1)130--136, 32(1)137--161,
32(3)562--572, 33(1)86--104, 33(2)290--312, 33(2)313--326,
33(2)327--348, 33(4)658--686, 34(1)1--27, 34(4)765--801,
34(4)846--858, 35(1)161--184, 35(1)185--220, 35(2)267--287,
36(1)97--128
-
Parter, 21(4)549--568
-
Parter, Seymour V., 8(3)359--365
-
Parter:1961:SCR, 8(3)359--365
-
partial, 1(3)111--117, 3(4)325--347, 4(4)467--471, 7(1)29--36,
7(2)163--175, 12(2)175--180, 14(1)45--62, 14(3)549--562,
17(2)294--302, 18(1)63--74, 19(1)120--135, 21(3)425--435,
21(3)446--453, 21(4)576--580, 22(4)469--476, 26(1)129--147,
26(2)227--238, 28(2)411--421, 29(1)250--260, 30(1)80--94,
30(1)197--216, 30(3)612--636, 33(1)60--85, 33(2)371--407,
34(2)411--449, 35(2)288--323, 36(2)290--334
-
partial-correctness, 30(3)612--636
-
partial-match, 26(2)196--210
-
partially, 26(2)322--344, 27(2)338--355, 32(2)411--444, 35(2)288--323,
35(3)727--739
-
particularly, 4(4)450--455, 7(1)78--79, 22(3)346--351, 25(4)620--629,
26(3)494--526, 27(2)365--383, 29(1)68--95, 30(3)417--427,
31(2)346--360, 32(2)296--313, 33(1)130--150, 33(3)568--592,
34(1)60--76, 34(1)144--162, 35(1)70--120, 35(2)404--432
-
partition, 18(1)34--40, 21(2)277--292, 22(2)215--225, 22(4)441--449,
23(3)433--445, 27(1)81--95, 29(1)58--67, 32(4)841--860,
33(2)290--312, 33(3)568--592, 34(4)985--1003
-
partitioned, 21(3)367--375, 26(1)28--36, 27(1)81--95, 30(2)271--285
-
partitioning, 16(2)302--314, 17(1)182--195, 21(1)54--65, 22(4)441--449,
23(1)43--49, 23(4)619--635, 25(4)675--686, 26(2)196--210,
28(1)5--15, 28(1)150--165, 29(1)58--67, 33(2)290--312
-
partly, 26(4)631--653, 28(2)289--304
-
partner, 34(3)532--543
-
Pascal, 27(2)356--364, 30(1)151--185, 35(4)893--920
-
pass, 19(1)70--91
-
Pass, One-, 19(2)283--295
-
pass, one-, 31(2)245--281, 34(4)825--845
-
pass, two-, 34(4)825--845
-
passed, 12(1)83--89
-
passing, 25(2)312--321, 27(2)365--383, 30(2)300--322, 35(3)579--602
-
passing, Message-, 27(2)365--383
-
passing, message-, 27(2)365--383
-
passive, 18(3)405--415, 18(3)431--443, 34(2)326--348
-
past, 23(2)368--388, 25(1)67--80, 30(2)231--258, 34(1)28--59
-
patch, 21(2)293--310
-
patents, 24(3)397--417
-
Paterson, Michael S., 32(2)374--382
-
Paterson, Michael S., see Fischer, Michael J.
-
Path-Connectivity, 22(1)145--154
-
path-parity, 34(2)255--288
-
pathologically, 21(2)261--271
-
PATRICIA--Practical, 15(4)514--534
-
PATTERN, 34(2)255--288
-
pattern, 8(1)1--20, 9(2)240--258, 9(2)259--267, 10(0)458--477,
11(4)471--480, 13(2)304--316, 23(4)619--635, 25(2)304--311,
28(3)487--501, 29(1)68--95, 29(4)1073--1086, 32(1)130--136,
32(2)344--373, 32(3)562--572, 33(1)86--104, 33(4)658--686,
34(3)578--595, 34(4)802--824, 34(4)846--858, 35(1)1--17,
35(2)267--287
-
Pattern-of-Calls, 29(2)577--602
-
patterned, 14(4)785--792
-
patternless, 13(4)547--569, 16(1)145--159
-
Paul, Wolfgang, 24(2)332--337
-
Paul, Wolfgang, see Hopcroft, John
-
Pauli, Wolfgang J., 30(2)360--387
-
Pauli, Wolfgang J., see Galil, Zvi
-
Pavley, Richard, 6(4)506--514
-
Pavley, Richard, see Hoffman, Walter
-
Pavlidis, T., 18(2)239--246, 18(2)247--254, 19(1)11--22
-
Pavlidis, T., see Mylopoulos, J. P.
-
Pavlidis, Theodosios, 23(2)368--388
-
Pavlidis, Theodosios, see Horowitz, Steven L.
-
Pavlidis:1972:LCF, 19(1)11--22
-
Pawlikowski, Krzysztof, 27(1)30--41
-
Pawlikowski:1980:MWT, 27(1)30--41
-
Payment, 7(2)140--149
-
Payne, 33(4)706--711
-
Payne, W. G., 20(3)456--468
-
Payne, W. G., see Lewis, T. G.
-
Paz, A., 12(3)399--410
-
Paz:1965:UDS, 12(3)399--410
-
pcalc, 26(2)302--321, 31(3)560--599, 32(1)137--161, 32(4)896--928
-
pd, s-, 27(1)96--117
-
PDAs, 27(4)675--700
-
PE, 27(1)6--29
-
Pearl, Judea, 32(3)505--536
-
Pearl, Judea, see Dechter, Rina
-
Pearson, Neyman-, 29(1)127--151
-
Pease, M., 27(2)228--234
-
Pease, Marshall C., 14(4)757--764, 15(2)252--264, 16(2)302--314,
16(3)474--482
-
Pease:1967:MIU, 14(4)757--764
-
Pease:1968:AFF, 15(2)252--264
-
Pease:1969:IMP, 16(2)302--314
-
Pease:1969:OLS, 16(3)474--482
-
Pease:1980:RAP, 27(2)228--234
-
pebble, 27(4)839--849, 29(4)1087--1130, 31(2)361--376, 32(1)218--228,
32(4)950--988
-
pebbling, 32(1)218--228, 32(4)950--988
-
peculiar, 24(2)241--249
-
peeper, 35(2)267--287
-
Peled, Uri N., 19(2)265--282
-
Peled, Uri N., see Hammer, Peter L.
-
Peleg, B., 12(3)399--410
-
Peleg, B., see Paz, A.
-
Peleg, David, 34(2)450--479, 36(3)510--530
-
Peleg:1987:CDL, 34(2)450--479
-
Peleg:1989:TBS, 36(3)510--530
-
penalized, 18(4)603--610
-
penalty, 31(4)694--717
-
Penney, Walter, 12(2)247--248
-
Penney:1965:BSC, 12(2)247--248
-
people, 34(3)532--543
-
per, 14(2)242--261, 19(1)70--91, 19(4)590--607, 19(4)641--648,
21(2)246--260, 23(2)342--346, 23(3)455--460, 25(4)517--525,
26(1)6--27, 26(3)483--493, 27(4)619--632, 29(2)514--526,
32(3)652--686, 32(3)694--701, 33(2)327--348, 35(1)161--184
-
percent, 22(4)441--449, 23(4)619--635
-
percentage, 21(3)392--402
-
percentile, 4(4)472--476
-
Perceptrons, 8(1)1--20
-
Pereira, J. M. S., Simões, 12(3)376--382, 14(2)419--420
-
perfect, 25(4)517--525, 27(1)6--29, 28(2)265--269, 29(3)642--667,
31(3)538--544, 34(2)255--288, 35(3)535--563, 35(3)564--578,
35(4)769--776
-
perfectly, 23(4)710--719
-
perform, 6(2)196--203, 12(2)277--285, 14(4)793--802, 21(2)201--206,
21(3)403--424, 23(3)433--445, 23(3)475--487, 27(1)6--29,
31(4)826--838, 32(4)841--860, 33(4)712--723, 34(1)163--178,
34(2)326--348, 35(3)603--634, 36(2)349--361
-
perform?, 27(2)207--227
-
performability, 36(1)171--193
-
PERFORMANCE, 32(1)102--129, 32(1)162--190, 32(2)374--382, 32(2)445--465,
32(3)589--596, 32(3)618--651, 32(4)804--823, 32(4)824--840,
33(3)499--516, 33(3)568--592, 33(3)593--602, 34(1)77--97,
34(1)179--199, 34(3)661--685, 35(1)221--230, 35(2)288--323,
35(2)433--446, 35(3)579--602
-
performance-oriented, 28(2)270--288
-
performance/reliability, 36(1)171--193
-
performed, 14(4)785--792, 22(2)270--290, 22(3)346--351, 23(2)368--388,
23(3)502--510, 25(2)210--225, 26(2)361--381, 27(2)384--392,
30(3)457--478, 31(4)761--791, 32(4)871--895, 34(1)179--199,
34(3)544--577
-
performing, 21(1)76--102, 36(2)349--361
-
perhaps, 7(1)78--79, 34(1)144--162
-
period, 3(2)65--72, 7(3)287--297, 18(2)221--238, 19(3)453--463,
20(3)469--481, 21(1)103--113, 21(3)459--469, 23(1)97--102,
23(2)342--346, 25(2)283--303, 25(4)675--686, 26(4)761--778,
35(3)668--674, 36(1)171--193
-
periodic, 5(3)261--265, 14(4)666--676, 16(3)432--441, 17(4)739--739,
33(1)86--104
-
periodically, 22(3)352--360
-
peripherals, 29(2)478--491
-
Perkins, Robert, 3(2)65--72
-
Perkins:1956:EPC, 3(2)65--72
-
Perl, Y., 22(2)202--214, 25(1)1--9
-
Perl, Yehoshua, 28(1)5--15, 29(1)58--67
-
Perl, Yehoshua, see Becker, Ronald I.
-
Perl:1975:EGO, 22(2)202--214
-
Perl:1978:FTD, 25(1)1--9
-
Perl:1981:MMT, 28(1)5--15
-
Perley, Richmond, 1(1)36--43
-
Perley:1954:ASG, 1(1)36--43
-
Perlis, Alan J., 6(2)121--122, 14(1)1--9
-
Perlis, Alan J., see Bauer, Walter F.
-
Perlis:1967:SAS, 14(1)1--9
-
permanent, 25(4)517--525, 29(3)874--897
-
permissible, 26(1)28--36
-
permissiveness, 30(1)55--79
-
permit, 19(4)613--640, 21(1)124--139, 21(2)227--232, 22(2)195--201,
25(1)52--66, 26(2)351--360, 26(4)631--653, 27(1)146--163,
29(2)492--513, 29(2)525--554, 31(1)47--85, 32(2)383--410,
33(1)86--104, 33(2)327--348, 34(1)77--97, 34(1)179--199,
34(4)859--909, 36(2)230--269, 36(3)474--509
-
permitted, 19(4)613--640, 26(1)28--36, 27(1)191--205, 29(2)394--403,
30(1)217--228, 31(2)227--244, 31(4)839--854, 35(2)404--432,
36(2)383--433
-
permitting, 27(2)235--249, 27(4)831--838
-
PermM, 27(1)191--205
-
permutation, 15(1)159--163, 15(2)340--340, 19(3)400--410, 20(3)500--513,
21(1)140--156, 21(2)340--349, 23(2)298--309, 25(4)544--555,
27(1)6--29, 27(1)191--205, 29(3)642--667, 30(3)397--416,
31(2)193--209, 31(2)336--345, 31(2)401--421, 31(3)507--517,
33(3)489--498, 34(3)513--531, 34(4)910--920, 36(1)1--19
-
permutation-group, 34(3)513--531
-
permute, 29(3)642--667
-
permuted, 22(1)11--16
-
Permuting, 31(2)193--209
-
perplexing, 25(1)67--80
-
persistent, 25(2)352--364
-
person, 34(3)532--543
-
perspective, 15(2)193--204, 32(2)249--279
-
Persymmetric, 19(3)437--444
-
pert, 14(3)543--548, 16(4)580--584, 30(2)271--285
-
pertaining, 31(4)839--854
-
pertinent, 26(1)28--36
-
perturb, 26(3)494--526
-
perturbation, 14(3)543--548, 21(2)261--271, 34(3)686--717
-
perturbed, 22(4)512--521, 35(3)675--696
-
Peterka, James J., 9(3)379--386
-
Peterka:1962:MOS, 9(3)379--386
-
Peterson, G. E., 23(4)573--581
-
Peterson, Gary L., 29(1)183--205
-
Peterson, Gary L., see Burns, James E.
-
Peterson, Gerald E., 28(2)223--264
-
Peterson:1976:TPL, 23(4)573--581
-
Peterson:1981:CSR, 28(2)223--264
-
Petri, 25(2)352--364, 27(1)60--71, 28(3)561--576, 31(3)486--506
-
Pfaltz, John L., 13(4)471--494, 19(3)411--422, 22(3)361--366
-
Pfaltz, John L., see Rosenfeld, Azriel
-
Pfaltz:1972:GS, 19(3)411--422
-
Pfaltz:1975:RGK, 22(3)361--366
-
Pflug, Georg Ch, 34(2)397--410
-
Pflug:1987:LPN, 34(2)397--410
-
phase, 19(4)641--648, 24(1)44--67, 28(3)487--501, 29(2)525--554,
29(3)718--740
-
phase, 2-, 29(2)394--403
-
phase, non-two-, 32(2)314--326
-
Phase, Two-, 32(2)314--326
-
phase, two-, 32(2)314--326
-
phase-shifted, 25(4)675--686
-
PhD, 35(1)121--145
-
phenomenon, 20(2)301--304, 25(4)544--555, 31(4)855--878
-
phi, 33(1)224--248, 34(4)1004--1015
-
phi-abiding, 33(1)224--248
-
Philadelphia, 3(1)1--2
-
Philippatos, G. C., 18(1)94--104
-
Philippatos:1971:ECI, 18(1)94--104
-
Phillips, David L., 9(1)84--97
-
Phillips:1962:TNS, 9(1)84--97
-
phrase, 9(1)1--10, 12(1)42--52, 21(2)213--226, 21(3)446--453,
25(2)210--225
-
Phuong, Ta Huu, 23(3)468--474
-
Phuong:1976:SIP, 23(3)468--474
-
physical, 34(2)397--410, 35(1)161--184, 35(3)603--634, 36(2)230--269
-
physically, 27(2)313--322
-
physics, 1(3)101--104, 32(3)573--588
-
pi, 21(2)340--349, 26(4)618--630, 33(1)130--150
-
pi1, 21(2)340--349
-
pick, 30(2)231--258
-
Pickard, William F., 11(1)70--78, 11(2)229--233
-
Pickard:1964:TGS, 11(1)70--78
-
Pickard:1964:TSS, 11(2)229--233
-
Pickett, H. E., 14(2)382--388
-
Pickett:1967:NCA, 14(2)382--388
-
picking, 30(3)595--611
-
picture, 13(4)471--494, 17(1)146--160, 17(3)453--481, 18(1)105--112,
18(1)113--125, 18(2)255--264, 19(2)283--295, 20(1)81--87,
23(2)368--388, 23(4)599--618
-
Picture/Image, 36(2)209--229
-
piece, 34(1)1--27, 34(2)349--375, 36(2)335--348
-
Pietrzykowski, Tomasz, 20(2)333--364
-
Pietrzykowski:1973:CMS, 20(2)333--364
-
pigeonhole, 32(4)762--773
-
pile-up, 25(4)544--555
-
PILOT, 6(3)313--335
-
piN, 21(2)340--349
-
Pinkham, R. S., 13(3)430--438
-
Pinkham, R. S., see Hamming, R. W.
-
Pino, José A., 36(2)349--361, see Rosenthal, Arnon
-
Pinter, Shlomit S., 33(3)499--516
-
Pinter, Shlomit S., see Dolev, Danny
-
pipe, 30(3)595--611
-
pipelined, 32(3)573--588
-
Pippenger, N. J., 31(1)13--18
-
Pippenger, N. J., see Hoover, H. J.
-
Pippenger, Nicholas, 23(3)423--432, 25(3)509--515, 26(2)361--381,
36(3)531--539
-
Pippenger:1976:SGT, 23(3)423--432
-
Pippenger:1978:TST, 25(3)509--515
-
Pippenger:1979:RAC, 26(2)361--381
-
Pippenger:1989:ICM, 36(3)531--539
-
Pitt, L., 36(2)383--433
-
Pitt, Leonard, 35(4)965--984
-
Pitt:1988:CLL, 35(4)965--984
-
Pitt:1989:PII, 36(2)383--433
-
pivot, 25(2)266--270
-
pivotal, 7(1)78--79
-
pivoting, 17(1)87--109, 32(4)871--895
-
pixel, 33(1)86--104, 36(2)209--229
-
PL, 33(1)151--178
-
PL360, 15(1)37--74, 15(4)489--489
-
PLA, 29(3)603--622
-
place, 26(1)6--27, 30(3)457--478, 31(3)459--473, 32(1)1--27,
36(2)209--229
-
place, in-, 28(2)215--222
-
place, La-, 15(1)115--123
-
placed, 14(2)242--261, 23(3)446--450
-
placement, 13(4)615--629, 20(3)429--438, 25(3)421--434, 33(1)60--85,
35(2)433--446, 35(4)810--831
-
plan, 6(2)121--122
-
planar, 22(2)226--230, 26(3)538--554, 26(4)603--610, 26(4)611--617,
29(3)623--641, 31(2)401--421, 32(1)130--136, 34(2)255--288,
34(4)765--801, 34(4)950--967, 35(3)535--563
-
planarity, 21(4)549--568, 22(2)226--230, 23(1)74--75, 26(4)611--617,
36(3)474--509
-
plane, 13(2)194--204, 17(2)339--347, 21(3)446--453, 21(4)549--568,
23(2)273--286, 25(3)415--420, 26(2)177--182, 30(3)428--448,
34(4)765--801
-
plane, straight-lines-in-the-, 33(2)290--312
-
planes, half-, 26(3)415--421
-
planning, 16(3)364--382
-
Plate, 1(3)105--110, 2(3)162--168, 7(3)264--273
-
Plateau, Brigitte, 31(3)474--485
-
Plateau, Brigitte, see Baccelli, François
-
play, 23(4)710--719, 30(4)767--786, 32(4)950--988, 35(1)185--220,
36(3)510--530
-
played, 35(3)675--696
-
player, 18(1)94--104, 23(4)710--719, 31(2)361--376
-
playing, 10(0)357--364, 16(1)3--12, 29(1)1--23, 32(3)505--536
-
Plemmons, Robert J., 21(4)581--585
-
Plemmons:1974:LLS, 21(4)581--585
-
Plotkin, G. D., 33(4)724--767
-
Plotkin, G. D., see Apt, K. R.
-
plots, 25(2)261--265, 29(2)514--526
-
Plotting, 5(1)52--56
-
Pluralism, 29(4)1144--1165
-
plus, 3(2)65--72, 7(1)78--79, 13(3)404--411, 21(4)569--575,
21(4)622--642, 23(1)172--202, 23(3)566--571, 28(3)487--501,
28(4)696--705, 29(3)874--897, 31(3)459--473
-
Plus-One, One-, 4(3)274--278
-
Plus-Variable'', ``Fixed-, 9(1)41--60
-
Plus-Variable', `Fixed-, 9(4)522--522
-
PM, 33(4)822--829
-
P=NP, 23(1)43--49
-
Pnueli, A., 19(3)400--410
-
Pnueli, A., see Even, S.
-
Pnueli, Amir, 17(3)555--569, 20(3)489--499
-
Pnueli, Amir, see Ashcroft, Edward,
see Manna, Zohar
-
Pohl, 21(2)175--190
-
Point, Fixed-, 14(4)765--768
-
Point, Floating-, 7(2)129--139, 20(3)391--398, 21(1)6--17,
26(4)739--760
-
point, floating-, 4(4)450--455, 7(2)129--139, 20(3)391--398,
21(1)6--17, 23(2)242--251, 23(2)287--297, 26(4)716--730
-
Point, One-, 21(4)643--651
-
point, point-to-, 35(4)876--892
-
point, single-, 32(2)445--465
-
Point, Three-, 3(3)212--222, 7(2)176--180
-
Point, Two-, 14(3)549--562
-
Point-Disjoint, 24(2)192--198
-
point-line, 34(4)765--801
-
point-to-point, 35(4)876--892
-
pointed, 23(2)310--316, 35(3)727--739
-
pointer, 26(1)28--36, 26(2)283--301, 28(2)215--222, 31(3)538--544
-
pointer, stack-, 27(1)96--117
-
poisson, 5(4)370--382, 12(1)95--113, 12(1)114--123, 16(4)631--645,
18(4)611--615, 21(2)329--339, 22(2)231--247, 23(1)97--102,
23(4)680--690, 24(4)566--582, 26(1)6--27, 28(2)351--357,
29(3)830--840, 30(4)834--851, 31(1)86--98, 31(1)134--149
-
polarity, 33(1)1--59
-
Polarized, 21(2)233--245
-
Poles, 12(2)286--294
-
poll, 21(3)470--490, 27(1)42--59
-
Pollack, 17(4)715--728
-
Pollack, Maurice, 11(1)104--116
-
Pollack:1964:MRC, 11(1)104--116
-
polled, 18(3)405--415, 21(3)470--490, 27(1)42--59
-
polling, 21(3)470--490, 27(1)42--59
-
Polonsky, I. P., 11(1)21--30
-
Polonsky, I. P., see Farber, D. J.
-
polyadic, 16(2)208--219, 16(4)646--646, 28(4)737--751
-
polygon, 25(2)245--260, 26(3)415--421, 30(3)428--448, 33(2)290--312,
34(4)765--801, 36(2)209--229
-
polygonal, 33(2)290--312
-
polygreedoid, 32(4)861--870
-
polyhedra, 26(3)401--414, 35(2)267--287
-
polyhedral, 35(2)267--287
-
polyhedron, 26(3)401--414, 31(4)804--825
-
polylogarithmic, 32(4)762--773
-
polymatroid, 32(3)549--561, 32(4)861--870
-
polymorphism, 35(4)953--964
-
polynomial-length, 34(1)209--219
-
polynomial-size, 34(4)1004--1015
-
Polynomial-Space, 27(2)393--401
-
Polynomial-Time, 23(1)147--154, 30(1)133--145, 33(3)603--617,
33(4)808--821, 35(3)727--739
-
polynomial-time, 23(1)147--154, 27(2)207--227, 28(3)535--560,
28(4)721--736, 29(3)668--677, 30(1)133--145, 30(1)217--228,
30(4)729--735, 31(2)361--376, 32(2)296--313, 33(3)533--550,
33(3)603--617, 33(4)792--807, 33(4)808--821, 34(2)349--375,
34(3)513--531, 35(1)70--120, 35(2)374--386, 35(3)523--534,
35(3)727--739, 36(3)435--473
-
polynomially, 33(2)290--312
-
polytope, 17(1)78--86, 32(2)383--410
-
Pooch, U. W., 28(2)351--357
-
Pooch, U. W., see Feldman, R. M.
-
pool, 24(2)241--249
-
poor, 12(1)83--89, 18(3)381--399, 25(2)266--270
-
Pope, David A., 4(4)459--466
-
Pope:1957:MFR, 4(4)459--466
-
popular, 31(3)628--648
-
popularized, 26(4)739--760
-
population, 24(3)375--386, 27(2)281--286, 27(2)313--322, 29(2)492--513,
33(1)207--223, 33(4)768--791
-
population, finite-, 29(2)478--491
-
port, 30(3)449--456, 31(2)377--391, 31(3)474--485, 34(2)411--449
-
Porter, Sigmund N., 13(3)369--373
-
Porter:1966:UMG, 13(3)369--373
-
portion, 21(2)175--190, 23(2)273--286, 26(2)196--210, 30(2)231--258
-
pose, 34(1)77--97, 35(2)404--432
-
posed, 21(1)1--5, 31(3)441--458, 31(3)668--676, 31(4)879--904,
34(3)532--543
-
position, 22(2)177--183, 22(4)501--503, 24(2)250--263, 25(2)304--311,
26(2)361--381, 26(4)779--793, 27(1)81--95, 31(4)826--838,
34(3)532--543, 34(3)578--595
-
positional, 28(2)265--269
-
positive, 21(4)590--605, 22(2)215--225, 23(2)287--297, 25(3)481--498,
26(3)441--456, 27(1)3--5, 27(2)235--249, 31(3)459--473,
31(3)545--559, 31(4)761--791, 31(4)804--825, 33(1)130--150,
34(1)98--115, 34(4)1004--1015, 35(3)697--726, 35(4)759--768,
36(3)531--539
-
possess, 29(2)492--513, 30(2)259--270, 31(4)839--854, 34(2)450--479
-
possessed, 35(2)404--432
-
possessing, 20(3)469--481
-
possibility, 31(3)560--599, 32(2)374--382, 32(4)824--840, 33(1)105--129
-
possible, best-, 36(2)290--334
-
possibly, 25(3)365--377, 29(4)998--1006, 35(3)603--634
-
post, 8(2)252--259, 13(3)359--363, 13(4)594--599, 14(1)167--171,
14(4)677--682, 21(4)680--696, 26(2)345--350
-
post-conditions, 35(4)953--964
-
posteriori, 21(1)6--17
-
postman, 23(3)544--554, 26(3)538--554
-
postnormalization, 26(4)716--730
-
potential, 23(4)619--635, 31(1)47--85, 32(1)28--51, 33(4)658--686,
34(1)28--59, 34(3)686--717
-
potentially, 22(1)61--82, 25(3)378--395, 32(2)314--326, 35(1)1--17
-
Potentiometers, 3(3)186--198
-
Potier, D., 23(1)97--102
-
Potier:1976:AAC, 23(1)97--102
-
Potts, Renfrey B., 6(2)226--235
-
Potts, Renfrey B., see Milnes, Harold W.
-
Potzolu, Gianfranco, 13(3)469--469
-
Potzolu, Gianfranco, see Mileto, Franco
-
power, 3(1)10--15, 4(4)487--504, 6(1)111--114, 8(4)613--627,
11(1)98--103, 12(3)295--314, 14(4)785--792, 21(3)491--499,
24(2)264--279, 25(2)312--321, 25(4)581--595, 26(2)196--210,
26(3)555--566, 29(3)699--717, 29(4)1144--1165, 31(2)227--244,
31(2)346--360, 33(1)86--104, 33(1)151--178, 33(3)568--592,
34(1)116--127, 34(3)646--660, 35(3)603--634, 35(3)697--726,
36(2)383--433
-
powerdomain, 26(2)302--321
-
powerful, 26(1)103--118, 26(2)351--360, 30(2)300--322, 31(2)329--335,
32(1)130--136, 32(2)466--483, 33(3)533--550, 35(3)697--726,
35(3)727--739, 35(3)748--754, 36(2)290--334
-
pp, 17(4)715--728, 23(3)488--501, 29(1)261--268, 32(3)720--732
-
pp.205--211, 31(3)518--537
-
PQ-tree, 26(2)183--195
-
Prabhala, Bhaskaram, 27(1)146--163
-
Prabhala:1980:ECE, 27(1)146--163
-
practical, 6(3)360--362, 13(1)124--134, 14(1)100--119, 15(1)1--7,
16(1)3--12, 19(3)425--436, 21(2)213--226, 21(2)293--310,
22(1)38--50, 22(2)291--308, 22(4)441--449, 23(2)273--286,
24(3)397--417, 25(4)581--595, 26(2)351--360, 29(1)206--227,
29(3)781--811, 30(1)103--117, 30(3)564--594, 30(4)852--865,
31(4)761--791, 34(1)144--162, 35(1)161--184
-
Practical, PATRICIA-, 15(4)514--534
-
practice, 19(4)641--648, 24(1)98--120, 26(1)82--94, 26(4)631--653,
27(3)474--483, 28(3)594--614
-
PRAM, 32(4)762--773, 34(1)116--127, 34(1)163--178, 35(3)740--747
-
Prasanna Kumar, V. K., 31(1)150--162
-
Prasanna Kumar, V. K., see Ja'Ja', J.
-
Prather, Ronald, 7(4)299--310
-
Prather:1960:CAD, 7(4)299--310
-
Pratt, 28(4)769--779
-
Pratt, Knuth-Morris-, 22(3)346--351
-
Pratt, Vaughan R., 28(1)16--24
-
Pratt, Vaughan R., see Rodeh, Michael
-
Prawitz, 34(2)225--254
-
Prawitz, Dag, 7(2)102--128
-
Prawitz, Håkan, 7(2)102--128, see Prawitz, Dag
-
Prawitz:1960:MPP, 7(2)102--128
-
Pre, 35(4)953--964
-
Pre-Conditioning, 7(4)338--345
-
precedence, 6(2)164--171, 7(3)255--259, 10(0)316--333, 17(1)14--30,
19(2)225--243, 19(3)385--395, 19(4)675--698, 20(2)214--234,
23(3)461--467, 29(3)766--780, 30(4)820--833, 33(2)313--326
-
Precedence-Based, 33(3)593--602
-
precise, 11(1)31--40, 23(3)423--432, 23(3)502--510, 29(1)206--227,
29(3)874--897, 31(4)761--791, 33(2)371--407, 35(4)845--875,
36(1)97--128, 36(2)290--334
-
precisely, 19(4)590--607, 19(4)613--640, 22(1)129--144, 22(3)329--340,
27(3)519--532, 28(3)535--560, 29(3)699--717, 31(1)30--46,
33(2)313--326
-
precision, 2(4)229--242, 6(3)415--428, 13(3)386--403, 23(1)76--88,
26(4)716--730, 29(1)152--170
-
precision, double-, 20(3)391--398
-
Precision, Multiple-, 23(2)242--251
-
precision, single-, 20(3)391--398, 23(2)242--251
-
precludes, 16(1)145--159, 21(4)652--670
-
precondition, 33(4)724--767
-
preconditioning, 7(4)338--345
-
predecessor, 19(4)712--726, 34(3)616--625
-
predecessor-index, 19(4)712--726
-
predicate, 13(2)236--261, 16(2)244--255, 17(3)535--542, 19(2)347--365,
21(3)436--445, 21(4)586--589, 21(4)590--605, 21(4)606--621,
22(4)572--595, 23(4)733--742, 24(1)161--175, 25(3)461--480,
26(2)351--360, 27(1)191--205, 30(1)36--54, 32(2)280--295,
33(2)253--289, 34(2)225--254, 34(4)1004--1015, 36(1)69--91
-
predict, 14(1)100--119
-
predicted, 26(1)6--27
-
predicting, 27(2)270--280, 30(3)564--594, 33(3)517--532
-
prediction, 14(1)100--119, 14(3)591--614, 23(2)310--316, 30(3)564--594,
32(2)445--465, 33(1)179--206, 33(4)768--791, 34(3)686--717,
35(3)668--674, 35(3)675--696
-
predictor, 23(3)475--487
-
Predictor-Corrector, 6(1)37--47, 7(2)176--180, 9(4)457--468,
10(0)291--301, 11(2)188--209, 12(2)227--241, 13(3)374--385,
15(4)706--711
-
Predictors, 14(1)155--166
-
predicts., 12(1)83--89
-
preempted, 31(1)134--149
-
preemption, 21(1)66--75, 25(4)612--619, 27(2)287--312, 29(2)514--526
-
preemptive, 16(4)631--645, 17(2)324--338, 23(4)665--679, 24(1)32--43,
25(1)92--101, 25(4)612--619, 26(4)779--793, 27(2)287--312,
29(2)478--491, 29(3)812--829, 31(1)134--149
-
prefer, 34(3)532--543
-
preferable, 26(3)457--482, 32(1)28--51
-
preference, 21(1)124--139, 34(3)532--543
-
preferred, 11(1)31--40
-
prefix, 22(2)202--214, 22(3)329--340, 27(4)831--838, 31(2)282--298,
33(1)151--178, 34(3)578--595, 36(2)362--382
-
prefix-free, 23(3)511--533
-
preflow, 35(4)921--940
-
preliminary, 27(4)797--821, 34(4)950--967, 35(2)374--386, 35(4)921--940
-
Premium, 1(1)7--12
-
Preparata, F. P., 22(4)469--476, 26(3)415--421, 33(1)60--85,
36(2)362--382
-
Preparata, F. P., see Bilardi, G.,
see Kung, H. T., \see{Lee, D. T.,
see Mehlhorn, K.
-
Preparata, Franco P., 22(2)195--201, 23(3)534--543
-
Preparata, Franco P., see Muller, David E.
-
preparation, 5(1)57--66, 13(3)386--403
-
preparatory, 28(4)633--645
-
prepared, 7(1)78--79
-
preprocessing, 22(4)572--595, 29(1)68--95, 32(4)755--761
-
Presburger, 24(4)529--543, 26(2)351--360, 27(1)191--205, 28(3)535--560,
32(2)466--483
-
prescribed, 13(3)386--403, 21(2)340--349, 21(3)454--458, 30(2)343--359
-
prescribing, 13(3)386--403
-
presence, 21(4)590--605, 22(4)596--612, 27(2)228--234, 31(4)694--717,
32(1)52--78, 33(1)105--129, 33(3)499--516, 34(3)626--645,
34(4)910--920, 35(1)121--145, 35(2)288--323, 35(4)953--964
-
presentation, 17(1)44--50, 22(2)291--308, 31(3)600--627, 34(2)492--510
-
presented., 27(1)30--41
-
presenting, 19(4)734--741, 26(1)119--128, 34(3)513--531
-
Presently, 21(2)272--276
-
preservation, 13(3)364--368, 19(4)742--764, 29(3)718--740
-
preserve, 10(0)175--195, 19(4)742--764, 27(2)323--337, 30(1)22--32,
34(2)225--254, 35(2)447--460, 35(4)893--920
-
preserved, 7(4)311--325
-
preserving, 19(4)742--764, 35(4)893--920
-
Preserving, Operation-, 9(3)345--349
-
preserving, semantic-, 27(2)338--355
-
Preserving, Transition-, 15(1)135--158
-
preserving,'', ``semantic-, 27(2)338--355
-
Presidential, 3(1)1--2, 4(1)1--4, 4(1)5--7
-
prespecified, 21(2)329--339, 31(4)694--717
-
Pressburger, 27(1)191--205
-
Presser, L., 19(3)385--395, 21(2)314--315
-
Presser, L., see Balkovich, E.,
see McAfee, J.
-
presumably, 26(2)322--344
-
presuppose, 26(2)322--344
-
prevent, 32(2)327--343, 32(3)618--651
-
prevention, 3(4)348--354
-
Prf, 28(3)502--520
-
Price, Thomas G., 23(2)342--346
-
Price:1976:NEC, 23(2)342--346
-
primal, 20(2)194--213, 22(3)413--424, 32(4)861--870, 33(3)551--567
-
Primal-Simplex, 25(2)266--270
-
primal-simplex, 25(2)266--270
-
primarily, 15(3)341--353, 26(1)45--57
-
primary, 3(2)65--72, 15(4)514--534, 23(4)619--635, 24(2)222--240,
30(2)300--322
-
prime, 8(1)87--96, 12(3)388--394, 15(3)382--389, 18(4)586--593,
19(4)675--698, 22(3)380--381, 22(4)463--468, 22(4)551--571,
23(1)17--30, 25(4)675--686, 28(2)265--269, 34(2)376--396,
35(1)231--264, 36(3)435--473
-
prime/P*, 22(4)463--468
-
primitive, 18(3)381--399, 23(2)368--388, 25(4)675--686, 26(2)302--321,
27(1)60--71, 27(1)128--145, 29(1)183--205, 29(4)1049--1072,
30(1)55--79, 31(2)227--244, 32(2)466--483, 33(2)313--326,
33(4)724--767, 34(1)77--97, 34(2)450--479, 35(4)893--920
-
Princeton, 17(4)715--728
-
principal, 12(1)83--89, 21(1)1--5, 22(1)61--82, 22(2)270--290,
23(1)155--157, 23(2)347--360
-
principle, 12(1)23--41, 18(1)80--93, 19(1)109--119, 20(3)469--481,
21(4)622--642, 23(3)398--417, 24(1)96--97, 26(2)382--382,
26(4)631--653, 26(4)819--833, 31(2)329--335, 31(3)518--537,
32(4)762--773, 33(2)253--289, 33(4)658--686, 34(1)77--97,
34(3)616--625, 35(1)121--145
-
PRINCIPLES, 33(2)313--326, 34(2)349--375
-
printing, 1(1)4--6
-
prior, 18(1)186--198
-
priori, 11(4)465--470, 14(1)100--119, 26(1)28--36, 30(4)736--751,
32(2)314--326, 32(4)841--860, 35(2)288--323
-
priori, a-, 32(2)314--326
-
priority, 15(4)549--576, 16(4)631--645, 18(4)603--610, 20(4)589--603,
21(2)329--339, 21(2)340--349, 22(2)231--247, 23(4)655--664,
23(4)680--690, 27(1)30--41, 27(3)519--532, 29(2)478--491,
29(2)514--526, 30(1)186--196, 30(3)417--427, 31(1)134--149,
34(3)596--615, 36(3)540--572
-
prismatic, 32(2)383--410
-
private, 25(3)365--377
-
privilege, 35(2)404--432
-
privileged, 26(1)45--57
-
prll, 14(4)757--764, 20(1)27--38, 25(1)81--91
-
PRM, 36(1)46--68
-
probab, 16(1)73--90
-
probabilistically, 23(4)655--664, 35(1)231--264, 36(1)142--149,
36(2)383--433
-
probabilites, 23(2)328--341
-
PROBABILITY, 33(4)706--711, 33(4)792--807, 34(4)802--824, 34(4)910--920,
34(4)939--949, 34(4)1004--1015, 35(1)45--69, 35(2)387--403,
36(1)129--141, 36(2)270--279
-
probable, 25(4)536--543
-
probe, 25(2)200--209, 25(4)544--555, 28(2)289--304, 28(3)615--628,
34(2)397--410
-
probing, 16(4)569--579, 25(4)544--555, 27(3)474--483, 30(4)805--819,
34(2)397--410
-
problem-dependent, 29(1)1--23
-
Problem-Solving, 15(4)625--646, 29(1)1--23
-
problem-solving, 29(1)1--23
-
Proc, 23(3)488--501, 29(1)261--268, 32(3)720--732, 34(4)950--967,
35(2)374--386, 35(4)921--940
-
procedural, 26(2)322--344
-
proceed, 22(1)51--60, 24(3)428--440, 26(1)6--27, 28(3)487--501,
32(2)327--343
-
proceedings, 12(4)603--603, 27(4)797--821
-
process, process-by-, 30(3)449--456
-
process-by-process, 30(3)449--456
-
processed, 18(1)186--198, 20(4)589--603, 27(1)72--80, 31(4)826--838,
32(1)102--129
-
PROCESSING, 33(2)290--312
-
Processing, List-, 7(2)87--101
-
processing-time, 22(4)522--550
-
PROCESSOR, 33(1)130--150, 34(1)116--127, 34(4)802--824, 35(3)603--634
-
processor, multiple-, 27(2)365--383, 34(1)179--199
-
processor, one-, 23(3)461--467
-
processor, time-, 29(3)898--903
-
Processor, Two-, 29(3)766--780
-
processor, two-, 23(4)665--679
-
processor-shared, 14(2)242--261
-
Processor-Sharing, 17(1)123--130
-
processor-sharing, 27(3)519--532, 29(2)514--526
-
processor-sharing, last-batch-, 26(4)779--793
-
processorash, 24(3)441--454
-
produce, 6(2)196--203, 19(4)613--640, 21(1)103--113, 21(1)114--123,
21(2)213--226, 21(2)261--271, 22(3)352--360, 23(3)488--501,
24(3)397--417, 24(4)566--582, 25(4)675--686, 26(4)761--778,
27(1)128--145, 29(3)603--622, 30(1)95--102, 31(3)459--473,
32(2)249--279, 32(3)597--617, 32(4)762--773, 35(1)231--264,
35(2)387--403, 36(1)46--68
-
produced, 10(0)97--101, 19(4)641--648, 29(3)603--622, 29(3)830--840,
30(4)687--708, 31(2)227--244, 34(4)825--845, 36(1)46--68,
36(1)129--141
-
producing, 3(4)288--291, 18(3)381--399, 23(2)273--286, 23(3)398--417,
31(3)486--506, 35(3)727--739
-
product, 12(2)187--195, 12(4)603--603, 13(3)439--443, 14(2)421--421,
19(4)660--674, 20(2)279--289, 21(1)6--17, 21(1)168--173,
22(2)177--183, 22(4)450--462, 23(1)1--12, 24(2)250--263,
26(4)779--793, 27(2)313--322, 27(2)323--337, 27(4)831--838,
28(2)265--269, 28(4)696--705, 29(3)830--840, 30(3)657--667,
31(1)128--133, 31(2)422--437, 32(1)79--101, 33(1)207--223,
36(1)142--149, 36(1)150--170, 36(2)362--382
-
product, by-, 25(4)612--619
-
Product-Form, 29(3)830--840, 30(2)286--299, 34(4)985--1003,
36(1)194--207
-
product-form, 27(2)313--322, 27(2)323--337, 28(2)358--371,
29(2)492--513, 30(2)286--299, 32(2)445--465, 33(1)179--206,
33(4)768--791, 34(4)985--1003, 35(1)221--230, 36(1)194--207
-
product-from, 30(2)286--299
-
production, 3(4)266--271, 14(3)439--465, 21(3)446--453, 22(1)106--114,
30(1)95--102, 33(4)702--705, 34(2)411--449
-
productivity, 14(3)423--438
-
profoundly, 21(1)124--139
-
Program, Card-, 2(1)18--27
-
program, SL-, 28(3)535--560
-
program, XL-, 28(3)535--560
-
program-size, 22(3)329--340
-
Programmability, 13(3)369--373
-
programmable, 29(3)603--622
-
programmed, 4(4)442--449, 6(2)145--151, 7(1)78--79, 13(3)386--403,
16(1)107--131, 25(3)481--498
-
programmer, 4(3)348--353
-
PROGRAMMING, 32(1)137--161, 32(2)466--483, 32(3)537--548, 33(4)724--767,
34(2)411--449, 35(1)161--184, 35(1)185--220, 35(2)345--373,
35(4)893--920, 35(4)953--964, 36(1)92--96
-
Programming, Micro-, 4(2)157--171
-
programming, multi-, 28(2)270--288
-
PROGRAMS, 32(1)137--161, 32(2)249--279, 32(2)411--444, 32(2)466--483,
32(3)733--749, 32(4)896--928, 33(1)151--178, 33(1)224--248,
33(2)313--326, 33(4)724--767, 34(2)411--449, 34(2)450--479,
34(2)492--510, 35(2)345--373, 35(4)893--920, 35(4)953--964
-
programs, XL-, 28(3)535--560
-
progress, 25(2)283--303, 25(3)449--460
-
progression, 34(2)326--348
-
projection, 11(4)422--428, 27(2)235--249, 29(3)678--698, 31(2)210--226,
31(4)761--791, 32(2)484--502, 33(3)409--422
-
projective, 31(4)742--760, 34(4)765--801
-
prolog, 12(1)23--41, 21(1)124--139, 23(4)733--742, 29(1)33--57,
29(3)841--862, 32(2)280--295, 35(2)345--373
-
Prolog-like, 35(2)345--373
-
prominent, 27(2)207--227, 29(3)907--927
-
promise, 7(1)78--79
-
Pronounceable, 8(1)97--103
-
pronounced, 26(4)761--778
-
proof, resolution-, 31(1)47--85
-
propagated, 4(1)36--40, 28(3)487--501
-
propagating, 28(4)706--714, 32(3)573--588
-
propagation, 2(1)6--17, 3(4)348--354, 6(3)415--428, 31(4)694--717,
32(1)1--27
-
proper, 6(3)360--362, 19(4)699--711, 20(1)112--126, 24(3)441--454,
25(2)266--270, 25(3)481--498, 26(3)494--526, 27(1)42--59,
30(1)1--21, 31(1)47--85, 31(2)282--298, 34(3)718--730,
35(2)461--471, 35(4)777--809
-
properly, 19(4)742--764, 28(4)633--645, 34(3)544--577, 35(3)748--754
-
proportion, 26(4)761--778
-
proportional, 21(1)168--173, 21(2)261--271, 21(3)351--355,
22(2)177--183, 22(2)195--201, 22(3)346--351, 23(1)1--12,
23(1)172--202, 23(2)221--234, 23(3)488--501, 24(2)250--263,
26(3)434--440, 33(3)593--602, 34(4)802--824
-
propose, 30(1)33--35, 33(1)86--104, 34(4)802--824, 36(1)92--96
-
proposing, 21(1)1--5
-
proposition, 26(2)283--301
-
propositional, 19(2)347--365, 27(1)164--180, 27(2)250--262,
28(3)435--453, 32(3)733--749, 34(1)209--219, 34(2)450--479,
34(4)1016--1018
-
Proskurowski, Andrzej, 27(1)1--2
-
Proskurowski:1980:GBT, 27(1)1--2
-
Prospects, 8(2)240--251
-
protected, 33(3)451--464
-
protection, 24(3)455--464, 33(3)451--464, 35(2)404--432, 36(2)335--348
-
protein, 14(4)720--731
-
provable, 33(3)499--516
-
provably, 24(4)693--700, 30(3)449--456, 32(2)296--313, 36(2)335--348
-
proven, 25(4)517--525, 25(4)630--651, 34(4)802--824, 34(4)859--909
-
prover, 21(4)606--621, 27(2)235--249, 29(2)273--284, 33(2)253--289,
33(4)633--657, 35(3)475--522
-
provided, 24(3)375--386, 25(2)266--270, 26(3)401--414, 26(3)434--440,
26(4)631--653, 26(4)716--730, 29(3)863--873, 30(2)300--322,
30(3)479--513, 30(4)834--851, 31(1)114--127, 32(1)28--51,
32(3)597--617, 33(4)724--767, 34(2)376--396, 35(3)535--563,
35(3)579--602
-
provided, user-, 24(1)121--145
-
providing, 21(2)293--310, 26(1)45--57, 26(4)739--760, 27(1)60--71,
28(3)435--453, 34(2)411--449
-
Proving, Theorem-, 10(0)163--174, 15(1)85--99, 15(2)236--251,
16(3)349--363, 16(4)646--646, 20(1)127--147, 20(4)648--667,
21(2)191--200, 21(4)606--621, 21(4)622--642
-
proving, theorem-, 21(1)124--139, 21(4)590--605, 22(4)572--595,
32(2)280--295, 33(1)1--59
-
proviso, 31(2)422--437, 33(4)633--657
-
proximity, 24(3)397--417
-
prune-and-search, 31(1)114--127
-
pruning, 27(1)164--180, 30(3)389--396
-
Pseudo-Boolean, 19(2)265--282
-
Pseudo-Computer, 3(2)65--72
-
Pseudo-Random, 1(2)88--91, 5(3)261--265, 5(4)353--356, 7(1)72--74,
7(1)75--77, 8(2)163--167, 11(1)41--52, 14(4)785--792, 18(3)381--399,
18(4)586--593, 36(1)129--141
-
pseudo-random, 14(2)337--340, 14(4)785--792, 33(4)792--807,
36(1)129--141
-
Pseudo-Runge--Kutta, 13(1)114--123, 17(4)613--628
-
pseudonetworks, 33(3)568--592
-
pseudopolynomial-time, 28(4)765--768
-
pseudorandom, 11(3)357--363, 18(3)381--399, 20(3)456--468,
25(4)675--686, 33(4)706--711, 33(4)792--807, 34(4)939--949,
35(4)1001--1001, 36(1)129--141
-
PSPACE, 30(2)259--270, 33(3)603--617
-
PSPACE-complete, 30(2)259--270, 32(3)733--749
-
pspace-complete, 35(3)697--726
-
pspace-completeness, 32(2)466--483, 32(3)733--749
-
PSPACE-hard, 29(1)228--249
-
Psychological, 4(3)348--353
-
PT, 25(4)675--686, 33(3)618--627
-
PTIME, 34(2)450--479
-
public, 1(4)173--176
-
public-key, 32(1)229--246
-
publication, 6(2)121--122, 21(2)293--310, 27(2)228--234, 32(3)720--732
-
published, 6(2)196--203, 12(4)603--603, 22(1)83--105, 23(2)262--272,
27(1)128--145, 30(1)22--32, 31(3)518--537, 32(3)687--693,
33(1)105--129, 33(4)706--711, 36(2)349--361
-
pub/references, 8(4)628--636, 21(4)581--585, 33(3)517--532
-
Puech, Claude, 33(2)371--407
-
Puech, Claude, see Flajolet, Philippe
-
Pulleyblank, W., 32(2)383--410
-
Pulleyblank, W., see Cornuéjols, G.
-
Pulvari, Charles F., 2(3)169--185
-
Pulvari:1955:MMU, 2(3)169--185
-
Punch, 1(3)101--104
-
Punched, 1(1)36--43
-
Punched-Card, 1(3)105--110
-
Purdom, Jr., Paul W., 17(4)683--697, 19(1)70--91
-
Purdom, Jr., Paul W., see Heacox, Jr., Harry C.
-
Purdom:1970:SPB, 17(4)683--697
-
pure, 21(2)227--232, 21(3)505--513, 31(3)441--458, 34(2)492--510
-
purely, 25(2)226--244, 26(2)345--350, 30(3)514--550, 31(1)1--12,
34(2)492--510
-
purpose, 1(4)183--191, 5(1)89--99, 6(2)196--203, 19(4)641--648,
21(1)1--5, 21(2)213--226, 25(1)67--80, 26(2)196--210, 27(2)270--280,
32(1)218--228, 32(1)229--246, 35(2)404--432
-
Purpose, General-, 4(1)12--17, 30(2)360--387
-
purpose, general-, 26(3)434--440, 28(3)577--593, 34(1)116--127
-
pursuers, 35(1)18--44
-
pursuit, 35(1)18--44
-
pursuit-evasion, 35(1)18--44
-
pushdown, 18(1)4--18, 18(2)306--328, 22(1)1--10, 22(3)346--351,
27(1)96--117, 29(4)1166--1181, 34(3)731--760
-
pushes, 35(4)921--940
-
pushouts, 29(1)206--227
-
put, 32(1)137--161, 33(1)224--248
-
Putman, Hilary, 7(3)201--215
-
Putman, Hilary, see Davis, Martin
-
Putzolu, Gianfranco, 12(3)364--375
-
Putzolu, Gianfranco, see Mileto, Franco
-
PV, 27(1)60--71
-
Pyle, L. Duane, 11(4)422--428
-
Pyle:1964:GIC, 11(4)422--428
-
pyramid, 32(1)218--228
-
Pyster, Arthur B., 27(2)338--355
-
Pyster, Arthur B., see Krishnaswamy, Ramachandran