Last update: Sat Oct 21 02:06:13 MDT 2023
Return to index directory
P
-
P, 15(2)84--86, 21(2)97--100, 21(4)199--205, 23(3)163--163, 26(1)51--53,
28(6)291--295, 29(1)53--55, 31(1)1--2
-
p, 16(4)209--211, 30(1)47--49
-
p-adic, 18(3)167--171, 28(2)71--75, 28(3)137--140
-
p-center, 28(6)281--286
-
p-complete, 24(2)121--126, 30(1)47--49, 31(5)249--255
-
P-Completeness, 31(5)249--255
-
p-completeness, 24(2)121--126, 26(1)1--4, 26(3)153--155
-
p-group, 20(3)161--163
-
P-hard, 26(3)153--155
-
P/-immunity, 23(1)25--28
-
p-printability, 28(6)291--295
-
P-RAM, 25(2)111--117, 32(6)305--311
-
p-transformation, 27(2)63--67
-
p-Turing, 23(5)227--230
-
P.-A, 31(2)83--90
-
paced, steady-, 15(2)47--52
-
paced-output, Steady-, 15(2)47--52
-
packages, 10(3)163--167, 26(6)277--286
-
packaging, 11(1)46--48
-
packed, 19(1)21--26
-
packet, 23(3)135--142, 30(5)269--275
-
packing, 10(1)37--40, 10(2)76--79, 11(1)37--39, 11(4)156--161,
12(3)133--137, 18(5)295--296, 25(6)351--361, 31(3)145--149,
31(5)221--225, 31(6)287--290, 32(6)277--279
-
packing, bin-, 25(6)351--361, 31(3)145--149
-
Padberg, Manfred, 32(6)297--300
-
Padberg:1989:CMB, 32(6)297--300
-
Pagan, Frank G., 10(2)104--107
-
Pagan:1980:GCL, 10(2)104--107
-
page, 16(2)99--104, 20(5)249--254, 22(3)125--131, 25(1)61--64,
27(5)245--248, 31(1)35--41
-
paging, 16(2)99--104, 25(1)61--64, 30(6)303--310
-
Pagli, L., 15(1)1--4, 31(2)57--60
-
Pagli, L., see Luccio, F.
-
Pagli, Linda, 21(1)23--25
-
Pagli:1985:SAH, 21(1)23--25
-
pair, 11(1)49--52, 12(2)99--102, 15(4)159--163, 16(4)161--163,
18(4)189--193, 21(4)173--179, 26(5)255--261, 33(4)205--206
-
pairing, 16(2)61--65
-
pairs, all-, 11(3)134--136
-
pairwise, 12(2)71--75, 27(4)175--179
-
Pajunen, Seppo, 11(4)224--228
-
Pajunen:1980:TTL, 11(4)224--228
-
Pallo, Jean, 25(6)369--373
-
Pallo:1987:RDL, 25(6)369--373
-
Palma, Antonio, 19(3)145--146
-
Palma, Antonio, see Kowaltowski, Tomasz
-
Palvia, Prashant, 19(2)75--79
-
Palvia:1984:ABA, 19(2)75--79
-
Pan, V. Ya, 13(2)71--72
-
Pan, Victor, 28(2)71--75, 30(1)41--45
-
Pan, Victor, see Galil, Zvi
-
Pan, Victor Ya, 21(2)79--81, 22(1)11--14, 24(4)233--237
-
Pan, Victor Ya., see Bini, Dario
-
Pan:1981:LBA, 13(2)71--72
-
Pan:1986:TBA, 22(1)11--14
-
Pan:1988:CDC, 28(2)71--75
-
Pandey, A., 30(1)33--36, 32(5)275--275
-
Pandey, A., see Chakrabarti, P. P.
-
Panny, Wolfgang, 22(4)175--177
-
Panny:1986:NHM, 22(4)175--177
-
Pansiot, J. J., 12(2)68--70
-
Pansiot, J.-J., 12(5)233--233
-
Pansiot:1981:MSI, 12(2)68--70
-
Pansiot:1981:NPC, 12(5)233--233
-
Paola, R. A. Di, 23(4)167--170
-
Papadimitriou, C. H., 13(4)164--167
-
Papadimitriou, C. H., see Blum, M.
-
Papadimitriou, Christos H., 12(4)203--205, 13(4)131--133,
20(5)259--263, 27(3)119--123
-
Papadimitriou, Christos H., see Johnson, David S.
-
Papadimitriou-Silverberg, 32(4)187--190
-
Papadimitriou:1981:CPP, 13(4)131--133
-
Papadimitriou:1981:MEG, 12(4)203--205
-
Papadimitriou:1985:ASP, 20(5)259--263
-
paper, 11(2)96--97, 14(3)144--145, 16(1)7--9, 22(1)43--48, 24(3)171--176,
27(2)79--83, 29(4)177--182, 30(4)201--203, 31(2)83--90,
34(5)221--222
-
paradigm, 19(5)229--236, 27(5)249--252
-
paradox, 30(3)139--143
-
Parallel, Digital-, 29(2)97--104, 29(4)191--198, 29(4)213--220,
29(5)247--254, 29(6)307--313, 29(6)327--329, 30(1)41--45,
30(5)225--231, 30(5)269--275, 31(1)21--29, 31(2)61--68,
31(2)103--109, 31(3)111--117, 31(3)157--161, 31(4)181--183,
31(5)265--271, 31(6)287--290, 32(1)3--6, 32(1)25--27, 32(1)35--39,
32(2)57--60, 32(4)159--165, 32(5)221--227, 32(6)305--311,
33(3)135--139, 33(3)147--156, 33(4)175--179, 33(4)181--185,
33(4)187--191
-
parallelism, 12(2)59--62, 12(3)115--116, 12(3)151--159, 12(5)221--226,
13(4)191--194, 16(2)71--74, 16(3)139--143, 17(3)129--135,
18(2)63--66, 20(1)29--33, 22(2)81--85, 22(6)285--289, 23(3)119--122,
23(5)221--226, 24(2)121--126, 24(6)351--354, 24(6)407--412,
25(4)257--261, 25(6)401--406, 26(4)173--179, 26(6)291--293,
26(6)295--299, 27(2)57--61, 27(2)75--78, 28(2)67--70, 28(2)81--85,
28(3)137--140, 28(3)141--147, 28(4)215--219, 28(5)241--243,
29(1)31--34, 29(2)71--74, 29(3)137--141, 29(4)191--198,
29(4)213--220, 29(5)247--254, 29(6)327--329, 30(2)97--102,
30(5)265--268, 30(5)269--275, 31(1)21--29, 31(2)61--68,
31(2)103--109, 31(3)157--161, 31(4)181--183, 31(6)305--310,
32(2)57--60, 32(2)89--93, 32(5)221--227
-
parallelizable, 27(2)75--78
-
parallelized, 32(1)35--39
-
parallellism, 17(2)85--90
-
parameter, 19(4)209--212, 24(4)255--258, 27(2)79--83, 27(4)189--194,
27(6)327--328
-
parametric, 30(1)9--14, 30(5)255--259
-
Parberry, Ian, 22(6)285--289, 24(6)363--367, 28(3)133--136,
29(5)247--254, 33(3)157--162
-
Parberry, Ian, see Parker, Bruce
-
Parberry:1986:RRI, 22(6)285--289
-
Parberry:1987:ISS, 24(6)363--367
-
Paredaens, J., 11(4)152--155
-
Paredaens, Jan, 17(2)91--95
-
Paredaens, Jan, see De Bra, Paul
-
Paredaens:1980:GLA, 11(4)152--155
-
parent, 17(2)67--70, 30(4)201--203
-
parent, multi-, 28(1)21--25
-
parenthesis, 12(4)188--192
-
parenthesization, 12(5)227--232
-
Parikh-bounded, 17(3)137--143
-
Parikh-Boundedness, 17(3)137--143
-
Parikh-boundedness, 17(3)137--143
-
parity, 25(6)383--388, 26(1)51--53
-
Park, Chan-Ik, 29(4)191--198
-
Park, Donghyeon, 30(5)245--252
-
Park, Donghyeon, see Song, Gyuyoun
-
Park, J. C. H., 21(1)31--34
-
Park, J. C. H., see Oh, Se Man
-
Park, Kyu Ho, 29(4)191--198, 30(2)73--77, 30(5)245--252
-
Park, Kyu Ho, see Kim, June Hyoung,
see Park, Chan-Ik, \see{Song, Gyuyoun
-
Park:1988:EBE, 29(4)191--198
-
Parker, Bruce, 33(3)157--162
-
Parker, J. R., 19(1)17--19
-
Parker:1984:CCS, 19(1)17--19
-
Parker:1989:CSN, 33(3)157--162
-
parse, 10(3)120--123, 21(1)31--34, 22(1)49--54, 23(2)81--84
-
parser, 11(1)9--15, 12(5)211--212, 15(1)39--42, 17(3)161--165,
17(5)255--258, 19(2)111--111, 20(2)99--103, 23(6)311--316,
24(4)265--273, 26(5)251--253, 27(2)63--67, 29(4)201--206,
31(5)233--238, 32(5)263--266
-
parser, ELR-, 24(2)113--120
-
parsers, LL(1)-, 23(6)325--328
-
parsers, LR-, 24(2)113--120
-
parsers, LR-, 24(2)113--120
-
parsing, 12(5)211--212, 13(4)187--190, 14(3)101--103, 15(3)97--101,
16(4)203--208, 17(5)255--258, 19(4)181--185, 19(5)225--228,
20(1)19--21, 21(1)31--34, 22(1)49--54, 22(4)207--216, 23(6)311--316,
24(1)31--41, 24(2)113--120, 24(4)265--273, 24(5)299--305,
26(5)251--253, 27(2)63--67, 29(4)201--206, 30(5)225--231,
31(3)111--117, 32(5)263--266
-
parsing, ELR-, 24(2)113--120
-
parsing, LR-, 24(2)113--120
-
part, 20(3)111--113, 20(3)131--136, 24(2)113--120, 27(2)85--89,
31(1)47--51
-
part, left-, 31(1)47--51
-
partial, 12(1)20--22, 12(2)71--75, 12(3)123--126, 15(4)143--149,
19(2)61--65, 20(3)121--123, 23(4)181--188, 26(1)29--32,
27(6)291--297, 28(3)149--155, 29(1)19--23, 29(3)125--130,
30(2)79--86, 31(6)305--310, 31(6)319--322, 32(2)85--87,
32(5)235--242, 33(1)45--52, 33(3)131--133
-
partial-correctness, 32(5)235--242
-
partially, 10(3)148--152, 15(2)53--56, 20(1)1--4, 22(3)125--131,
24(4)251--253, 25(4)221--225, 26(1)29--32, 29(1)19--23
-
partially-defined, 22(5)261--265
-
particle, multi-, 33(4)213--219
-
particular, 20(3)131--136
-
partition, 14(1)26--29, 15(4)169--173, 17(3)117--120, 25(1)17--25,
26(3)127--134, 26(5)223--230, 27(5)265--270, 28(6)275--280,
29(5)233--239
-
partition, three-, 26(2)77--80
-
Partitionable, Non-, 19(3)125--129
-
partitioned, 25(1)61--64, 26(2)81--88
-
partitioning, 10(3)163--167, 10(4)213--218, 11(1)7--8, 16(2)75--78,
16(4)193--198, 18(2)59--62, 19(2)87--94, 26(2)81--88, 26(5)223--230,
27(2)63--67, 29(2)105--110, 30(2)67--72, 32(2)51--56
-
partitioning, edge-, 12(2)89--92
-
PARTS, 17(3)117--120
-
PASCAL, 13(3)118--119, 13(4)134--137, 16(2)71--74
-
Pascal, 23(5)265--270, 27(4)205--213, 27(5)253--258
-
Pascal, languages-, 29(4)165--169
-
PASCAL-like, 29(4)165--169
-
Pascoletti, Adriano, 25(4)237--240
-
Pascoletti, Adriano, see Gries, David
-
pass, 31(4)197--201
-
pass, multi-, 32(6)289--295
-
passing, 12(5)221--226, 24(1)43--52, 24(4)255--258, 24(6)381--389,
29(1)13--18, 29(1)39--42
-
passive, 25(5)349--349, 31(4)203--208
-
Passy, Solomon, 10(2)63--67, 20(1)35--41
-
Passy:1980:SPT, 10(2)63--67
-
Passy:1985:PDC, 20(1)35--41
-
past, 24(2)95--96
-
past, in-the-, 24(2)95--96
-
Paterson, M. S., 24(3)165--170
-
Paterson, M. S., see McColl, W. F.
-
Paterson, Michael S., 12(3)133--137, 15(1)31--35, 17(5)249--250
-
Paterson, Michael S., see Fischer, Michael J.,
see Fowler, Robert J.,
see Greenberg, Albert C.
-
path, ``Shortest-, 13(2)85--86
-
path, Shortest-, 11(3)134--136
-
path, shortest-, 11(3)134--136, 20(5)259--263, 33(1)35--44
-
path, unique-, 31(4)197--201
-
path-finding, 26(6)291--293
-
path-free, 14(5)228--232
-
path-free, k-, 14(5)228--232
-
path-planning, 28(4)165--170
-
paths, du-, 28(3)157--163
-
paths, OI-, 28(3)157--163
-
PATTERN, 22(6)329--330, 28(5)235--240, 33(1)7--10
-
pattern, 10(3)129--131, 10(4)240--242, 13(2)80--84, 14(1)26--29,
15(5)223--226, 17(1)37--41, 17(4)177--180, 17(4)197--202,
18(2)59--62, 18(3)155--158, 18(5)249--256, 22(2)57--60, 22(2)73--76,
22(2)77--80, 22(5)267--272, 22(6)285--289, 22(6)329--330,
24(5)325--329, 25(1)41--50, 26(2)89--93, 26(3)117--119,
27(5)253--258, 27(6)315--318, 28(5)235--240, 29(4)183--189,
30(2)79--86, 30(5)237--244, 32(3)151--153, 32(5)271--273,
33(1)7--10
-
pattern-driven, 19(1)41--46
-
pattern-matching, 22(5)219--222
-
Patterson, 14(4)168--173
-
Patterson, Nicholas J., 27(2)99--102
-
Patterson-Even, 18(3)155--158
-
Patterson:1988:FVN, 27(2)99--102
-
Paturi, Ramamohan, 28(5)241--243, 30(1)47--49
-
Paturi, Ramamohan, see Geréb-Graus, Mihály,
see Karloff, Howard J.
-
Paul, M., 26(4)193--204
-
Paul, M., see Guntzer, U.
-
P{\u{a}}un, Gheorghe, 33(1)3--5
-
Paw-Free, 28(1)53--54
-
paw-free, 28(1)53--54
-
Pawagi, Shaunak, 22(5)223--229
-
Pawagi, Shaunak R., 24(4)217--221, 25(6)417--417
-
Pawagi:1986:APU, 22(5)223--229
-
Pawagi:1987:CCD, 24(4)217--221, 25(6)417--417
-
Pawagi:1987:CDP, 24(4)217--221, 25(6)417--417
-
PCR, 24(6)407--412
-
PDL, 20(1)35--41
-
peak, 20(3)111--113, 20(4)173--177
-
Peano, 15(4)143--149
-
pebble, 10(4)184--188, 11(1)24--26, 14(5)223--227, 28(2)55--59
-
Pebble, One-, 13(2)80--84
-
pebble, one-, 13(2)80--84
-
pebble-automaton, 15(5)199--204
-
pebble-automaton, 5-, 15(5)199--204
-
peephole, 11(4)163--167, 24(6)391--395
-
pegs, 16(2)91--93
-
Pelagalli, Mariacristina, 29(2)91--95
-
Pelagalli, Mariacristina, see de Luca, Aldo
-
Pelagatti, G., 12(1)46--48, 15(4)174--178, 21(1)11--16
-
Pelagatti, G., see Ceri, S., \see{Negri, M.
-
Peleg, David, 20(2)87--90
-
Peleg, David, see Harel, David
-
Penrose, Moore-, 26(5)263--267
-
People, 14(5)236--237, 31(1)1--2
-
Peper, F., 25(6)401--406
-
Peper:1987:DCC, 25(6)401--406
-
perceived, 18(1)55--57
-
Perception-based, 18(1)55--57
-
perceptions, 18(1)55--57
-
perfect, 12(4)206--209, 15(4)179--182, 17(1)53--56, 19(1)21--26,
21(5)259--268, 22(1)43--48, 27(2)79--83, 28(1)53--54, 30(1)27--32,
31(2)61--68, 31(2)97--101
-
PERFORMANCE, 26(3)145--151, 26(4)187--191, 27(1)1--7, 27(3)111--117,
28(3)111--119, 28(3)141--147, 30(2)57--65, 32(1)7--13, 32(2)81--83
-
Perhaps, 24(3)171--176, 29(4)177--182
-
perimeter, 32(6)301--303
-
period, 27(6)315--318
-
periodic, 11(3)115--118, 16(1)3--6, 20(3)111--113, 27(5)245--248,
28(2)71--75, 29(5)233--239, 30(4)177--184, 32(6)329--329,
33(2)67--72
-
Periodically, 12(1)9--12
-
Perko, A., 16(1)21--21
-
Perko:1983:RDS, 16(1)21--21
-
Perlis, Alan J., 14(3)128--131
-
Perlis, Alan J., see Elgot, Calvin C.
-
PERM, 22(1)33--35
-
permanent, 17(2)71--72, 30(2)91--95, 31(4)197--201
-
Permanents, 30(2)91--95
-
permitting, 13(2)64--66
-
permutation, 10(4)226--230, 11(2)81--83, 12(2)83--88, 12(5)237--238,
14(5)218--222, 15(2)68--71, 17(5)231--233, 19(5)253--254,
21(4)187--189, 21(5)249--252, 21(5)259--268, 22(1)33--35,
22(4)175--177, 22(6)315--317, 23(1)39--46, 24(1)11--14,
26(3)153--155, 28(4)207--212, 30(5)237--244, 33(3)113--120,
33(4)205--206
-
permutation-containing, 15(2)68--71
-
permutation-free, 22(1)7--9
-
permuting, 16(4)183--188
-
Perrin, D., 20(2)95--98
-
Perrin, D., see Beauquier, D.
-
persistence, 11(1)20--23
-
persistency, 13(3)94--97
-
persistent, 26(2)77--80
-
perturbation, 19(3)113--115
-
Pesotchinsky, Leon, 17(3)117--120
-
Pesotchinsky, Leon, see Lifschitz, Vladimir
-
Peterson, G. L., 12(3)115--116
-
Peterson, Gary L., 25(5)343--347
-
Peterson, Gary L., see Friedberg, Stuart A.
-
Peterson, J. L., 11(1)40--43
-
Peterson:1980:NCP, 11(1)40--43
-
Peterson:1981:MAM, 12(3)115--116
-
Petersson, Ola, 33(4)187--191
-
Petersson, Ola, see Levcopoulos, Christos
-
Petreschi, R., 12(2)109--109, 28(2)81--85
-
Petreschi, R., see Bovet, Daniel P.
-
Petreschi, Rossella, 11(4)193--198
-
Petreschi:1980:SAS, 11(4)193--198, 12(2)109--109
-
Petreschi:1981:ESA, 11(4)193--198, 12(2)109--109
-
Petri, 11(1)20--23, 11(1)40--43, 13(3)94--97, 17(4)211--214, 18(1)7--13,
18(4)215--220, 21(5)229--232, 22(3)145--146, 25(1)27--33,
25(4)221--225, 26(2)77--80, 26(6)313--319, 31(1)7--15
-
Pettersson, Jimmi S., 40(5)231--233
-
Pettersson:1991:LEC, 25(3)145--147, 35(6)277--279, 40(5)231--233
-
Pettorossi, Alberto, 11(4)172--179
-
Pettorossi:1980:DAC, 11(4)172--179
-
Peyrat, C., 32(5)243--245
-
phase, 22(1)15--20, 30(3)139--143, 31(1)35--41
-
phase, non-two-, 30(3)139--143
-
phase, two-, 31(1)35--41
-
phenomena, 24(5)299--305
-
phrase-structure, 18(1)51--54
-
PHYSICAL, 28(3)111--119, 30(3)159--166, 31(6)279--285
-
physical, 17(2)103--106, 23(6)295--297, 25(4)275--279, 25(5)295--303,
30(5)245--252, 33(4)213--219
-
physically, 22(1)43--48
-
physics, 14(1)18--21, 30(3)159--166
-
pi, 29(5)241--246, 32(1)17--23
-
picture, 13(2)80--84, 15(5)233--237, 17(4)177--180, 17(4)197--202,
18(1)51--54, 18(2)59--62, 25(3)199--206, 26(2)89--93, 28(5)235--240
-
piece, 31(3)145--149
-
piecewise-linear, 32(4)187--190
-
Pietracaprina, A., 28(3)141--147
-
Pietracaprina, A., see Luccio, Fabrizio
-
Pin, Jean-Eric, 14(5)197--200
-
Pinter, Shlomit S., 26(4)187--191
-
Pinter:1987:ETT, 26(4)187--191
-
pipeline, 11(2)77--80, 26(5)263--267, 27(5)253--258
-
pipelined, 26(5)263--267, 27(5)253--258
-
pipelining, 11(2)77--80, 24(4)225--231, 26(5)263--267
-
Pippert, R. E., 16(2)87--89
-
pitfall, 30(3)139--143, 30(3)145--151
-
pitfall, M-, 30(3)139--143
-
Pitt, Leonard, 22(6)291--294, 24(3)203--206
-
Pitt, Leonard, see Gusfield, Dan
-
Pitt:1987:NEK, 24(3)203--206
-
place, in-, 24(4)247--250
-
placing, 28(4)177--181
-
plain, 12(4)182--183
-
plain-text, 12(4)179--181
-
Plaisted, David A., 20(2)61--64
-
Plaisted:1985:USE, 20(2)61--64
-
planar, 1(4)132--133, 10(1)25--27, 11(4)186--189, 13(3)107--107,
13(4)131--133, 16(3)121--126, 16(4)193--198, 19(5)219--224,
21(2)75--78, 21(4)173--179, 22(5)219--222, 24(2)121--126,
24(3)165--170, 25(1)51--53, 25(1)65--70, 25(2)77--86, 25(5)317--321,
27(6)323--326, 28(4)165--170, 28(5)235--240, 29(3)119--123,
30(1)37--40, 31(2)97--101, 32(4)191--198, 33(4)175--179
-
plane, 12(3)133--137, 12(4)206--209, 14(2)74--79, 15(3)125--128,
17(3)149--153, 17(4)177--180, 19(5)229--236, 21(1)39--47,
22(3)119--123, 22(3)151--156, 22(6)303--306, 23(2)71--76,
23(6)289--293, 24(2)97--101, 24(3)193--198, 24(4)251--253,
24(6)369--375, 25(1)55--60, 26(5)255--261, 27(4)175--179,
29(1)25--29, 31(4)191--196, 32(3)123--127, 33(2)59--62,
33(4)175--179
-
plane-sweep, 26(5)255--261
-
Planner, 32(4)199--204
-
planning, 20(5)259--263, 28(4)165--170, 31(5)257--264, 32(4)187--190
-
planning, path-, 28(4)165--170
-
Plass, Michael F., 8(3)121--123, 14(4)195--195
-
Plass, Michael F., see Aspvall, Bengt
-
Plassmann, Paul, 32(4)171--176
-
Plassmann, Paul, see Bern, Marshall
-
Platt, Don, 28(5)231--234
-
Platt:1988:ACU, 28(5)231--234
-
Platzman, Loren K., 17(4)177--180
-
Platzman, Loren K., see Bartholdi, III, John J.
-
PL/CV, 16(3)105--112
-
Pleszkun, Andrew R., 26(2)105--110
-
Pleszkun, Andrew R., see Thazhuthaveetil, Matthew
-
PL/I-like, 29(4)165--169
-
Pliu{\v{s}}kevi{\v{c}}ien\.e, A., 32(3)155--158
-
Plotkin, 32(1)25--27
-
Plotkin, Serge A., 25(4)241--245, 26(6)291--293
-
Plotkin, Serge A., see Goldberg, Andrew V.,
see Maggs, Bruce M.
-
Poblete, Patricio V., 23(3)127--130
-
Poblete:1986:AFT, 23(3)127--130
-
Poe, Arthur T., 26(3)127--134
-
point, 1(4)132--133, 7(6)296--298, 8(4)173--173, 9(3)141--142,
10(3)137--147, 10(3)163--167, 10(4)209--212, 12(4)206--209,
14(3)112--116, 14(3)117--118, 16(3)121--126, 16(4)193--198,
19(3)125--129, 21(1)17--21, 21(1)39--47, 21(5)249--252,
22(3)119--123, 22(3)151--156, 22(5)219--222, 23(2)71--76,
23(4)181--188, 24(2)97--101, 25(1)55--60, 25(2)77--86,
26(4)173--179, 27(2)99--102, 27(4)175--179, 28(2)77--79,
28(4)177--181, 29(1)25--29, 29(2)57--66, 29(6)277--281, 30(2)67--72,
30(4)201--203, 31(4)191--196, 31(6)311--314, 31(6)319--322,
32(3)123--127, 32(4)205--211, 33(1)15--19, 33(2)79--81,
33(3)147--156, 33(4)175--179
-
Point, Fixed-, 29(2)57--66, 32(5)257--262
-
point, fixed-, 29(2)57--66
-
point, two-, 24(3)207--209
-
pointer, 10(2)47--50, 14(2)63--66, 15(4)139--142, 18(4)189--193,
23(4)209--214, 26(3)135--143, 27(6)327--328, 29(1)35--36,
29(4)183--189, 30(2)103--110
-
Poisson, 23(3)127--130, 25(2)77--86, 31(2)83--90
-
polar, 21(1)17--21
-
policy, 12(2)55--58, 17(2)63--66, 24(6)397--401
-
political, 13(3)125--126, 17(1)7--11
-
polygon, 12(4)161--164, 13(4)168--170, 14(2)74--79, 15(3)125--128,
15(5)196--198, 16(1)35--40, 16(2)75--78, 17(4)207--209, 18(1)41--45,
19(5)229--236, 22(5)255--260, 23(2)99--102, 24(3)159--164,
24(3)193--198, 24(4)243--246, 24(5)285--288, 24(5)335--338,
25(1)11--12, 27(2)85--89, 27(4)175--179, 28(1)39--44, 28(5)235--240,
29(1)25--29, 29(5)275--276, 29(6)289--292, 31(1)17--20, 31(1)31--33,
31(4)191--196, 31(5)243--247, 32(4)177--182, 32(6)301--303,
33(1)35--44, 33(4)205--206
-
polygonal, 14(2)74--79, 23(2)71--76, 27(4)175--179, 28(4)165--170,
31(5)257--264
-
polyhedra, 25(3)159--161, 31(2)57--60
-
polyhedral, 20(3)115--120, 20(5)259--263, 29(5)265--270
-
polyhedron, 16(2)75--78, 20(3)115--120
-
polyline, 25(1)11--12
-
polylog, 25(1)51--53
-
polylogarithmic, 32(6)305--311
-
polynomial, -, 22(3)133--134
-
polynomial, T-, 22(3)133--134
-
polynomial, t-, 22(3)133--134
-
polynomial-size, 24(3)171--176
-
polynomial-time, 10(2)57--62, 13(4)147--153, 14(2)52--56, 17(1)7--11,
18(4)195--199, 21(5)269--272, 22(3)113--117, 23(1)25--28,
23(2)99--102, 23(3)131--134, 23(5)227--230, 24(2)71--75,
24(6)377--380, 25(2)127--132, 26(1)29--32, 26(1)51--53,
26(3)157--162, 26(5)223--230, 27(4)195--199, 28(6)291--295,
29(6)307--313, 31(1)43--46, 31(2)77--81, 31(5)239--241,
33(3)141--143
-
polynomially, 24(2)133--137, 24(3)141--147, 29(5)221--227,
31(6)299--304
-
polynominal, 21(2)79--81, 22(1)37--41
-
polynominal-time, 26(1)1--4
-
polytope, 19(4)197--197
-
Ponsaert, F., 11(4)152--155
-
Ponsaert, F., see Paredaens, J.
-
pool, 30(4)201--203
-
popping, 10(2)83--86
-
port, 18(1)47--49
-
portability, 21(3)153--157, 32(1)7--13
-
position, 16(2)83--85, 20(3)131--136, 20(5)259--263, 23(3)127--130,
28(3)111--119
-
positive, 12(5)217--220, 12(5)227--232, 15(4)186--188, 16(1)7--9,
19(5)245--247, 20(3)151--153, 21(1)49--52, 21(5)269--272,
27(3)147--150, 29(5)255--256, 32(4)199--204, 33(4)213--219
-
possibility, 22(2)87--90
-
possible, 15(2)81--83, 17(2)81--84, 21(1)23--25, 22(1)43--48,
23(3)127--130
-
possibly, 22(5)261--265
-
post, 12(5)233--233, 15(4)143--149, 22(3)135--140
-
post, omega-, 22(3)135--140
-
post-conditions, 27(6)309--313
-
Post-Office, 21(1)39--47
-
post-office, 21(1)39--47
-
postcondition, 18(3)137--139
-
postorder, 28(6)297--299
-
postorder-traversing, 32(5)229--234
-
postponement, 27(2)63--67
-
postspecification, 25(2)71--76, 27(6)309--313
-
potato, 19(2)69--73
-
potential, 10(4)234--239, 27(5)245--248
-
Powell, Welsh-, 31(1)43--46
-
power, 14(1)1--3, 17(2)71--72, 17(3)145--148, 18(2)105--107, 19(1)31--35,
20(2)87--90, 21(2)79--81, 21(3)117--122, 22(6)295--301, 23(1)29--31,
24(1)1--4, 24(2)77--79, 28(6)311--316, 31(3)145--149, 32(6)317--324
-
power-free, 19(4)187--190
-
power-freeness, 19(4)187--190
-
powerful, 17(3)125--128, 18(5)239--242
-
powerset, 32(6)317--324, 33(3)163--168
-
pp, 11(3)126--126, 12(4)179--181, 12(4)182--183, 23(2)91--97,
23(4)219--219, 25(2)139--139, 25(5)349--349, 27(6)327--328,
28(6)327--327, 31(3)127--128, 34(5)221--222, 35(6)277--279,
40(5)231--233
-
PR17, 23(3)147--151
-
practical, 15(1)23--27, 15(2)76--80, 17(5)273--281, 18(4)227--231,
24(1)31--41, 26(1)37--43, 27(2)63--67, 29(1)37--38
-
PRAM, 20(3)143--146, 20(5)235--240, 25(1)55--60, 25(4)241--245,
26(4)173--179, 26(6)295--299, 27(1)43--51, 27(2)57--61,
27(3)141--145, 28(2)61--65, 28(2)105--110, 28(3)141--147,
29(2)71--74, 29(6)307--313, 29(6)327--329, 30(1)27--32,
30(5)225--231, 30(5)265--268, 31(2)61--68, 31(4)181--183,
31(5)265--271, 32(1)3--6, 32(1)25--27, 32(2)57--60, 32(4)159--165,
32(6)277--279, 33(3)147--156, 33(4)175--179, 33(4)181--185,
33(4)187--191
-
pram, 20(5)235--240, 28(4)215--219, 29(6)327--329, 30(5)265--268,
32(1)3--6, 32(2)57--60, 33(4)181--185, 33(4)187--191
-
PRAM, CRCW-, 22(2)57--60, 22(2)77--80
-
PRAM, CREW-, 27(4)167--168, 31(3)157--161
-
Pramanik, Sakti, 29(4)213--220
-
Pramanik:1988:HTH, 29(4)213--220
-
PRAMs, 20(5)235--240, 28(3)141--147
-
Prasad, B. E., 14(5)208--213, 15(3)105--110
-
Prasad, B. E., see Reddy, P. G.
-
Pratt, 10(4)240--242, 17(4)211--214
-
Pratt, Knuth-Morris-, 13(4)134--137, 18(5)249--256,
30(2)79--86
-
Pre, 27(6)309--313
-
precedence, 13(4)187--190, 17(3)161--165, 19(1)27--29, 19(2)111--111
-
precedence, operator-, 24(4)265--273
-
precise, 17(3)109--112
-
precision, 16(3)105--112, 20(3)111--113
-
precondition, 18(3)137--139, 24(2)127--132, 25(3)207--210, 27(1)29--33
-
preconditioned, 30(6)277--281
-
predecessor, 23(4)209--214
-
predicate, 10(2)57--62, 11(4)190--192, 13(3)98--102, 19(1)41--46,
23(4)181--188, 24(1)43--52, 25(2)133--137, 25(4)233--234,
29(1)1--12, 29(2)81--86, 32(6)313--316
-
predicative, 25(2)93--101
-
predicted, 30(5)269--275
-
predictor, 30(3)145--151
-
preemptive, 11(3)115--118, 16(1)3--6, 18(5)267--273, 24(6)397--401,
25(2)123--125, 28(4)201--206, 30(4)177--184
-
preemptive, non-, 24(3)141--147
-
preferences, 24(2)139--139, 30(5)255--259
-
prefix, 12(1)1--4, 12(1)13--16, 14(5)238--238, 17(3)161--165,
19(2)111--111, 25(4)211--216, 28(2)77--79
-
prenex, 20(3)115--120
-
preorder, 23(4)209--214, 28(6)297--299
-
Preparata, 16(4)193--198
-
Preparata, F. P., 20(2)55--59, 33(4)175--179
-
Preparata, F. P., see Bilardi, G.,
see Lee, D. T.
-
Preparata, Franco P., 11(2)77--80, 12(4)161--164
-
Preparata:1980:AOV, 11(2)77--80
-
Preparata:1981:TSP, 12(4)161--164
-
Preperfectness, 29(3)125--130
-
preprocessing, 12(2)71--75, 18(4)227--231, 22(3)161--161, 23(2)71--76
-
Presburger, 12(2)79--82, 22(1)33--35
-
presence, 16(4)181--182, 22(1)15--20, 33(1)25--28
-
present, 31(1)35--41
-
presentation, 19(2)67--68, 24(5)281--284
-
presented, 23(3)127--130, 24(5)281--284, 30(5)269--275
-
presently, 27(5)245--248
-
preservation, 17(1)21--27, 19(5)225--228
-
preserving, length-, 29(3)125--130
-
preserving, order-, 29(4)183--189
-
preserving, structure-, 29(3)137--141
-
presorted, 16(4)165--170, 33(4)187--191
-
prespecification, 24(2)127--132, 25(2)71--76, 27(6)309--313
-
presynthesized, 27(1)1--7
-
prevent, 24(3)199--202
-
Priese, Lutz, 13(2)73--76, 29(6)297--300
-
Priese, Lutz, see Guessarian, Irène
-
prime, 20(3)151--153, 28(5)221--224, 33(1)53--58
-
primitive, 12(5)244--250, 20(3)125--130, 21(2)107--107, 21(4)199--205,
23(2)63--69, 23(3)159--162, 23(5)231--238, 23(5)261--264,
26(3)121--126, 30(1)51--56, 32(2)81--83, 32(4)177--182,
32(5)235--242
-
principal, 29(6)315--317
-
principle, 12(1)49--53, 19(2)69--73
-
PRINCIPLES, 28(3)127--132
-
printability, p-, 28(6)291--295
-
printable, non-self-, 28(6)291--295
-
prior, 19(1)21--26
-
priority, 10(4)234--239, 18(4)189--193, 22(4)197--200, 24(6)397--401,
25(4)227--232, 25(4)269--273, 26(1)33--36, 31(2)69--75,
31(3)119--126, 31(6)315--317, 32(3)129--136
-
privacy, 11(2)110--113, 17(3)169--171
-
privileged, 27(2)95--98
-
privileges, 22(6)319--327
-
probabilistic, 11(2)94--95, 11(2)110--113, 11(4)156--161, 12(5)227--232,
13(1)12--15, 13(4)195--198, 14(1)39--43, 15(3)135--136,
16(5)237--241, 17(2)63--66, 17(4)215--217, 18(2)99--103,
19(1)51--53, 19(4)167--171, 23(1)11--17, 23(2)103--106,
24(6)351--354, 25(2)127--132, 25(3)163--169, 25(6)351--361,
26(2)81--88, 27(2)69--74, 27(4)189--194, 28(3)141--147,
28(5)245--248, 30(2)91--95, 30(4)167--176, 30(5)265--268,
31(6)287--290, 32(1)25--27, 32(1)35--39
-
probabilistically, 10(2)80--82
-
PROBABILITY, 22(1)25--31, 22(5)247--253, 23(1)11--17, 23(2)103--106,
23(6)275--279, 25(6)351--361, 27(2)69--74, 28(4)207--212,
28(5)245--248, 29(5)255--256, 30(5)265--268, 31(5)273--276
-
probability, 10(2)80--82, 10(4)213--218, 13(1)4--7, 13(1)12--15,
13(1)16--19, 14(1)39--43, 14(3)139--143, 14(5)205--206,
14(5)214--217, 15(3)135--136, 16(1)43--48, 16(2)99--104,
16(5)249--252, 17(1)17--20, 17(2)63--66, 17(4)173--175,
17(4)177--180, 17(4)185--188, 17(4)215--217, 18(4)189--193,
19(1)51--53, 21(3)147--152, 22(3)109--111, 22(4)197--200,
22(5)273--276, 22(6)315--317, 24(6)397--401, 25(3)163--169,
25(4)227--232, 25(6)351--361, 27(2)69--74, 27(2)103--109,
27(4)189--194, 28(3)111--119, 28(5)253--257, 31(4)181--183,
31(6)287--290, 33(2)63--65, 33(4)199--204, 33(4)213--219
-
Probability--Queueing, 31(2)69--75, 31(6)315--317, 32(1)7--13
-
Probability--Random, 29(5)255--256, 30(2)91--95, 31(2)83--90,
31(3)139--144
-
probable, 25(1)17--25
-
probe, 20(3)125--130, 20(3)131--136, 21(2)107--107, 22(1)43--48,
22(5)255--260, 28(5)235--240, 30(4)185--188, 32(3)123--127
-
probe, single-, 22(1)43--48
-
probe-message, 29(1)53--55
-
probing, 20(3)131--136, 31(2)83--90
-
problem-solving, Multi-, 13(4)204--214
-
problem-solving, multi-, 13(4)204--214
-
procedural, 11(4)147--151, 25(2)71--76
-
procedure, 10(3)120--123, 12(2)79--82, 12(3)121--122, 13(4)199--203,
15(2)72--75, 16(2)75--78, 16(4)203--208, 16(4)213--213,
17(5)231--233, 18(1)1--6, 18(4)195--199, 18(4)209--213,
18(4)227--231, 22(2)87--90, 23(2)103--106, 24(2)121--126,
24(3)141--147, 24(3)171--176, 24(4)217--221, 24(4)233--237,
24(5)343--349, 24(6)361--362, 25(3)145--147, 27(3)159--165,
27(4)215--219, 29(2)105--110, 29(4)165--169, 29(4)201--206,
29(6)301--305, 30(2)67--72, 31(5)239--241, 32(3)137--142,
32(3)151--153
-
proceeds, 20(3)131--136
-
process, n-, 32(2)81--83
-
PROCESSING, 22(6)329--330, 24(6)413--417, 25(3)199--206, 28(5)235--240
-
processing, stream-, 17(1)29--35
-
Processing--Data, 29(3)155--163, 30(5)237--244, 31(2)91--95,
31(4)215--219, 32(5)229--234
-
Processing--Digital, 31(4)175--179
-
Processing--File, 31(1)35--41, 33(1)45--52
-
Processing--Security, 32(3)95--99
-
PROCESSOR, 23(5)239--246, 24(6)381--389, 26(1)45--50, 26(4)217--222,
26(5)263--267, 28(4)189--192, 28(5)259--268, 30(2)57--65,
30(5)269--275, 31(4)197--201, 33(1)11--14
-
processor, linear-, 29(3)119--123
-
processor, multi-, 30(2)57--65
-
processor, time-, 25(1)55--60
-
processor, two-, 24(3)141--147, 32(3)101--112, 32(3)151--153
-
processor, uni-, 25(5)295--303
-
processors, mesh-of-, 28(2)67--70
-
PROCOL, 32(5)221--227
-
produce, 19(4)181--185
-
produced, 16(1)31--34
-
product, 14(3)128--131, 16(1)13--19, 18(2)87--92, 19(4)191--196,
20(1)1--4, 21(4)213--218, 23(2)107--109, 25(1)55--60, 29(1)19--23,
29(6)297--300, 32(3)143--149
-
product, cross-, 32(3)95--99
-
product-form, 19(4)209--212
-
production, 15(2)76--80, 22(6)295--301, 23(5)271--274
-
profiles, 13(2)64--66
-
Program, Programming-, 29(6)301--305
-
Program, Systems-, 31(5)233--238, 32(5)221--227
-
programmed, 18(4)179--187
-
programmers, 32(5)257--262
-
PROGRAMMING, 19(4)181--185, 20(2)71--74, 22(2)61--72, 22(3)141--144,
23(1)1--3, 23(1)33--37, 23(2)63--69, 23(5)247--251, 23(5)253--259,
23(5)261--264, 23(6)305--310, 23(6)321--324, 24(4)211--216,
24(5)299--305, 24(5)331--333, 24(6)391--395, 25(2)71--76,
25(2)93--101, 25(2)133--137, 25(2)139--139, 25(3)207--210,
26(2)105--110, 26(3)135--143, 26(4)165--171, 26(5)251--253,
26(6)277--286, 27(2)63--67, 27(3)159--165, 27(5)249--252,
27(5)253--258, 27(6)319--321, 28(1)21--25, 28(1)45--51,
28(2)99--103, 29(1)13--18, 29(1)31--34, 29(1)39--42, 29(1)43--51,
29(2)67--70, 29(4)165--169, 29(4)201--206, 29(6)277--281,
29(6)301--305, 30(1)51--56, 30(2)79--86, 30(3)115--118,
30(4)189--193, 30(4)209--214, 31(2)91--95, 32(1)17--23, 32(2)73--80,
32(5)221--227, 32(5)235--242, 32(6)325--328
-
Programming, Metatheory-, 29(1)1--12, 29(4)191--198,
29(4)199--200, 29(6)293--296, 30(1)51--56, 32(5)221--227,
32(5)257--262, 33(3)131--133
-
Programming--Algorithms, 29(2)71--74, 29(4)201--206, 29(5)221--227,
29(5)241--246, 29(5)255--256, 29(5)257--263, 29(6)307--313,
30(1)1--7, 30(1)27--32, 30(2)97--102, 30(4)167--176, 30(4)177--184,
30(4)185--188, 30(4)195--200, 30(4)201--203, 30(4)205--208,
30(4)215--220, 30(5)233--236, 30(5)237--244, 30(6)277--281,
30(6)289--293, 30(6)303--310, 31(1)35--41, 31(1)43--46, 31(1)53--56,
31(2)57--60, 31(2)61--68, 31(3)111--117, 31(3)119--126,
31(3)157--161, 31(4)181--183, 31(4)185--189, 31(4)203--208,
31(5)243--247, 31(5)249--255, 31(5)265--271, 31(6)291--294,
31(6)295--298, 31(6)311--314, 31(6)315--317, 32(1)35--39,
32(2)89--93, 32(3)151--153, 32(4)205--211, 32(6)305--311,
32(6)325--328, 33(1)21--24, 33(1)25--28, 33(1)29--33, 33(2)59--62,
33(2)63--65, 33(2)67--72, 33(2)91--96
-
Programming--Multiprocessing, 32(3)151--153
-
Programming--Program, 29(6)301--305
-
Programming--Sorting, 32(3)121--122, 33(3)145--146, 33(3)157--162,
33(4)181--185, 33(4)187--191
-
Programming--Theory, 29(4)199--200, 29(5)229--232
-
Programming--Utility, 30(4)201--203
-
PROGRAMS, 22(5)273--276, 22(6)307--309, 23(3)147--151, 23(4)177--180,
23(5)253--259, 23(6)299--303, 24(2)127--132, 24(3)189--192,
24(5)299--305, 24(5)331--333, 25(2)93--101, 25(5)311--315,
26(3)111--116, 27(3)111--117, 27(3)151--157, 27(6)309--313,
28(2)77--79, 28(2)99--103, 28(5)249--251, 29(2)81--86,
29(6)293--296, 31(6)327--330, 32(1)17--23
-
programs, while-, 15(4)143--149
-
projection, 13(4)195--198, 14(1)18--21, 15(3)115--118, 17(3)125--128,
17(3)129--135, 28(5)235--240
-
projective, 13(3)94--97
-
PROLOG, 23(5)247--251, 23(5)261--264, 27(5)249--252, 31(4)185--189,
31(5)273--276
-
Prolog, 15(4)150--158, 19(1)41--46, 23(5)247--251, 23(5)261--264,
27(5)249--252, 31(4)185--189, 31(5)273--276
-
Prolog, C-, 23(5)247--251
-
proof, 10(2)89--95, 10(2)96--98, 14(2)86--92, 16(3)105--112,
17(4)189--195, 18(2)77--85, 18(4)221--225, 19(1)13--16,
19(4)173--177, 21(2)75--78, 21(2)93--96, 22(2)87--90, 23(2)77--80,
23(2)91--97, 23(3)127--130, 23(5)231--238, 23(6)299--303,
24(2)121--126, 24(3)141--147, 24(3)171--176, 24(4)217--221,
24(4)223--224, 24(4)233--237, 24(5)343--349, 24(6)361--362,
25(2)127--132, 25(3)145--147, 26(3)111--116, 27(6)309--313,
29(1)13--18, 29(6)277--281, 31(4)167--173, 31(6)291--294,
32(1)17--23, 32(3)155--158, 32(5)235--242, 32(6)301--303,
33(1)21--24, 33(3)131--133, 35(6)277--279
-
propagation, 22(6)319--327
-
proper, 16(1)31--34, 17(2)97--101, 33(1)29--33
-
property, 10(4)219--222, 11(2)73--76, 12(1)13--16, 12(3)123--126,
12(3)138--141, 12(4)193--195, 15(4)169--173, 17(1)21--27,
17(2)97--101, 17(3)161--165, 17(4)189--195, 18(3)151--153,
18(5)261--266, 18(5)275--283, 18(5)291--293, 19(1)13--16,
19(2)111--111, 19(3)131--133, 20(1)1--4, 20(1)5--11, 20(2)61--64,
21(4)181--185, 21(5)233--238, 23(4)177--180, 23(4)189--194,
24(2)77--79, 24(2)127--132, 24(4)275--277, 25(3)145--147,
25(3)153--158, 25(6)363--367, 27(4)195--199, 28(4)213--214,
29(1)19--23, 29(3)143--148, 29(4)183--189, 29(6)315--317,
30(4)201--203, 30(4)205--208, 31(6)279--285, 31(6)295--298,
32(3)95--99, 32(6)301--303, 33(1)15--19, 33(4)213--219,
43(5)249--255
-
proportional, 32(3)101--112
-
proposed, 20(3)131--136, 21(1)23--25, 27(5)245--248
-
proposes, 27(2)79--83
-
propositional, 20(1)35--41, 23(3)147--151, 23(4)201--207, 24(1)67--69,
25(3)175--181, 26(1)1--4, 26(5)269--270, 27(3)111--117,
27(3)147--150, 28(2)87--92, 29(1)1--12, 29(5)221--227,
30(6)289--293, 31(6)277--278, 32(1)41--45
-
propositions, 21(2)75--78
-
PROSIT, 14(2)67--73
-
Proskurowski, Andrzej, 15(5)238--241, 32(5)247--250
-
Proskurowski, Andrzej, see Cheston, Grant A.,
see Farley, Arthur M.
-
protect, 19(3)113--115
-
protection, 12(3)151--159, 17(3)169--171, 19(3)151--156, 21(3)141--145,
22(6)319--327, 23(6)275--279, 27(2)95--98, 30(1)21--26, 32(3)95--99,
32(4)213--219
-
protocol, 12(3)115--116, 12(3)151--159, 12(4)196--198, 12(5)239--243,
15(3)111--114, 16(2)79--81, 16(5)217--219, 17(5)235--240,
19(3)145--146, 20(1)5--11, 21(1)35--38, 21(2)63--68, 25(3)163--169,
25(3)175--181, 25(3)195--198, 26(2)81--88, 26(3)145--151,
27(4)169--174, 27(4)181--188, 28(5)221--224, 28(5)249--251,
29(3)149--153, 30(2)57--65, 30(3)139--143, 31(1)35--41,
32(3)129--136, 32(4)183--186, 33(1)21--24, 33(1)25--28,
33(3)125--130
-
protocol-constrained, 32(5)221--227
-
prototype, 20(2)67--70
-
provability, 31(6)277--278
-
Provan, J. Scott, 30(3)119--125
-
Provan:1989:SEW, 30(3)119--125
-
prove, 24(1)5--10
-
proved, 13(2)64--66, 23(3)127--130
-
prover, 10(2)89--95, 25(2)127--132
-
provided, 31(2)83--90
-
providing, 29(4)183--189
-
proving, 11(3)141--143, 12(3)146--150, 14(2)49--51, 14(4)191--194,
15(4)150--158, 17(3)155--160, 18(4)209--213, 20(2)61--64,
21(2)63--68, 21(2)97--100, 22(1)37--41, 22(2)87--90, 23(3)147--151,
25(3)145--147, 25(4)233--234, 26(4)205--208, 27(3)159--165,
27(4)215--219, 27(6)309--313, 28(2)87--92, 28(4)213--214,
29(1)1--12, 29(1)19--23, 29(1)39--42, 29(4)191--198, 29(5)257--263,
31(5)273--276, 31(6)277--278, 31(6)291--294, 31(6)323--326,
32(3)155--158, 32(4)177--182, 32(5)235--242
-
pruning, 24(1)53--57
-
pseudo, 16(4)189--192
-
pseudoforest, 27(5)259--263
-
pseudokeys, 19(1)21--26
-
pseudorandom, 20(1)47--50
-
PSPACE, 28(6)291--295
-
pspace, 26(1)51--53
-
PSPACE-complete, 26(6)287--289
-
PSPACE-hard, 21(2)63--68
-
pspace-hardness, 26(6)287--289
-
PTM, 19(4)167--171
-
PTQ, 22(4)207--216
-
public, 20(1)5--11, 23(6)281--287, 25(3)171--174, 26(2)81--88,
26(2)95--97
-
public-key, 12(1)23--25, 17(1)7--11, 17(2)77--79, 26(2)81--88
-
Pucci, G., 28(3)141--147
-
Pucci, G., see Luccio, Fabrizio
-
Puech, Claude, 26(2)89--93
-
Puech, Claude, see Mathieu, C.
-
Pujari, A. K., 24(2)139--139
-
Pujari:1987:CWC, 21(1)27--30, 24(2)139--139
-
pulse, 24(3)199--202
-
pumping, 14(5)207--207, 20(2)105--107, 22(3)145--146, 31(1)47--51
-
Purdom, Paul, 15(2)72--75, 16(4)213--213
-
Purdom, Paul, see Goldberg, Allen
-
Purdom, Paul W., 27(4)215--219
-
Purdom, Paul W., see Bugrara, Khaled M.
-
pure, 13(2)50--54, 14(5)208--213, 15(2)72--75, 17(4)215--217,
23(5)271--274, 27(4)215--219, 31(6)277--278
-
purely, 24(4)255--258
-
purging, 10(2)89--95
-
purpose, 10(3)163--167, 20(1)23--27
-
PURPOSE, SPECIAL-, 25(5)305--310, 28(5)231--234, 30(1)51--56,
30(4)177--184, 31(3)151--155
-
purpose, special-, 27(1)13--15
-
Purposes, 20(2)67--70
-
push-down, 12(3)146--150
-
pushdown, 10(2)83--86, 10(3)116--119, 12(3)111--114, 13(3)89--93,
13(4)142--144, 13(4)145--146, 13(4)147--153, 15(1)5--9,
15(3)102--104, 16(3)127--129, 16(4)199--202, 18(5)239--242,
18(5)285--289, 19(1)9--12, 19(4)163--166, 20(2)91--93,
20(4)221--222, 21(2)87--91, 21(3)147--152, 23(2)81--84,
23(3)143--146, 28(4)215--219, 28(6)311--316
-
Putnam, Davis-, 15(2)72--75, 16(4)213--213, 23(2)103--106,
27(4)215--219
-
puzzle, 18(2)99--103, 24(5)317--324, 30(1)33--36
-
PV, 23(4)181--188
-
pyramid, 11(1)49--52, 15(5)233--237, 17(4)197--202, 23(5)221--226,
25(3)199--206
-
pyramidal, 16(4)199--202