Index file section P for cacm1970.bib

Last update: Fri Apr 25 02:02:08 MDT 2025

Return to index directory

P

P, 13(5)284--286, 13(12)752--757, 20(7)500--503, 21(1)63--72
p, 17(10)549--557, 18(10)588--591, 20(4)254--259, 20(5)339--343, 21(1)63--72
p,p, 18(10)588--591
P.D.E, 13(9)567--570, 15(12)1074--z
P.E, 13(11)686--692
p//1, 20(1)31--35
p645b, 0(0)168
Pacini, Giuliano, 20(10)725--730
Pacini, Giuliano, see Montangero, Carlo
Paciorek, K. A., 13(7)446--447
Paciorek:1970:AAE, 13(7)446--447, 13(12)750--750, 15(12)1074--z
Pack, Charles D., 16(3)161--168
Pack:1973:EMC, 16(3)161--168
package, 3(3)303--303, 4(3)295--295, 6(3)456--457, 13(8)495--500, 14(4)265--273, 16(5)299--305, 16(5)311--311, 16(9)578--578, 17(5)272--276, 17(6)326--332, 20(2)107--112, 20(11)850--856, 21(6)466--471, 21(11)897--904, 22(5)283--289, 22(7)391--401
packed, 14(7)468--475, 18(8)471--475, 21(10)857--865
packet, 19(7)395--404, 21(12)1040--1048
packing, 18(7)409--413, 21(10)857--865
packs, 17(3)139--142
Padegs, Andris, 21(1)73--96
Padegs, Andris, see Case, Richard P.
Padua, 21(1)63--72, 21(8)666--677
page, 13(4)265--265, 13(8)495--500, 14(1)80--93, 15(3)191--198, 15(8)761--771, 16(6)343--349, 16(10)619--620, 17(2)63--69, 17(4)186--191, 17(4)192--196, 17(7)403--412, 17(10)563--565, 18(10)568--579, 19(2)96--97, 19(5)295--297, 19(5)298--304, 20(2)93--99, 20(4)245--254, 20(5)310--315, 20(9)655--663, 20(11)795--798, 21(3)232--236, 21(9)786--787, 21(10)866--872, 22(7)405--415
page, missing-, 15(3)191--198, 20(2)93--99
Page, R. L., 17(6)321--323, 17(6)325--325
page-fault, inter-, 19(5)298--304
page-frames, 15(8)761--771
Page-On-Demand, 17(4)192--196
Page:1974:AAM, 2(1)110--111, 17(6)321--323, 18(2)119--z
Page:1974:GRC, 15(5)355--357, 17(6)325--325
paged, 15(3)135--143, 15(4)268--270, 15(4)274--274, 16(6)343--349, 17(2)63--69, 17(4)181--186, 21(3)232--236, 22(7)415--424
Pager, D., 13(3)193--193
Pager, David, 15(2)71--75, 16(5)275--281
Pager:1970:NSP, 13(3)193--193
Pager:1972:PCB, 15(2)71--75
Pager:1973:PCC, 16(5)275--281
pagination, 20(9)670--674
paging, 13(3)155--159, 13(3)193--194, 13(7)451--451, 13(8)483--494, 13(8)495--500, 14(12)791--795, 15(3)135--143, 15(3)191--198, 15(4)268--270, 15(5)308--318, 15(6)421--426, 15(8)742--747, 15(8)761--771, 15(10)867--872, 15(11)981--986, 16(4)213--222, 16(4)247--253, 16(9)556--560, 17(2)63--69, 17(4)181--186, 17(4)186--191, 17(4)192--196, 17(10)563--565, 17(11)638--642, 18(4)218--220, 18(7)371--377, 19(2)96--97, 19(4)187, 19(5)295--297, 19(6)335--338, 20(11)795--798, 21(3)232--236, 21(5)423--425, 22(7)405--415, 22(7)415--424
Pagli, Linda, 21(11)941--947
Pagli, Linda, see Luccio, Fabrizio
paint, 18(6)311--317
pair, 14(6)373--379, 15(4)245--252, 17(6)351--353, 19(6)338--342, 20(2)93--99, 20(3)192--194, 20(5)350--353, 20(10)693--702, 21(9)760--768, 22(6)345--353, 35(10)83--91
Palmer, John, 17(1)14--17
Palmer, John, see Malcolm, Michael A.
Palo, 18(12)676--683, 18(12)697--706, 18(12)707--716, 18(12)717--721
panel, 19(12)670--673
Pankiewicz, W., 13(4)259--260
Pankiewicz:1970:AAD, 13(4)259--260
paperback, 27(0)xv--368
parabolic, 15(12)1050--1052
paradigm, 13(7)422--426, 22(8)455--460
paradoxical, 16(8)468--474
paragraph, 17(12)667--673, 18(5)264--274, 19(3)164--165
parallel, quasi-, 13(5)308--319
Parallel, Word-, 20(6)439--441
parallel-program, 19(7)371--384
parallelepiped, 15(6)438--447
parallelism, 16(10)621--627, 17(4)202--204, 18(3)157--164
parallelized, 15(9)789--801
parameter, 13(4)266--266, 15(1)11--15, 15(8)742--747, 16(3)161--168, 16(5)309--309, 16(8)462--467, 16(8)468--474, 16(10)619--620, 16(10)633--635, 17(1)14--17, 17(2)78--82, 17(2)94--102, 17(3)127--133, 17(3)167--169, 17(4)218--220, 17(6)325--325, 17(8)480--481, 17(12)691--695, 18(1)43--48, 18(1)53--56, 18(5)281--285, 18(12)707--716, 19(4)182--187, 19(5)298--304, 19(6)314--326, 19(7)407--409, 19(7)409--415, 19(9)514--516, 19(10)555--563, 19(11)617--623, 20(1)22--30, 20(5)347--350, 20(6)414--420, 20(8)604--605, 20(9)655--663, 21(2)152--158, 21(4)317--322, 21(5)419--422, 21(9)724--736, 21(11)925--928, 22(4)233--245, 22(4)245--251, 22(7)415--424
parameter, one-, 18(1)53--56
parameterization, 19(10)555--563
parameterized, 18(12)707--716, 22(7)415--424
parametric, 13(3)163--166, 19(8)454--460, 19(10)555--563
parametrised, 18(1)53--56
parametrization, 19(10)542--547
parametrized, 18(1)53--56
paramodulation, 16(11)682--688, 17(6)308--314
paraphrases, 18(2)96--106
paraphrasing, 18(2)96--106
Paredaens, J., 21(12)1048--1064
pario, 21(10)821--831
Parker, Donn B., 22(12)654--660
Parker:1979:VEI, 22(12)654--660
Parnas, David Lorge, 14(10)667--668, 15(5)330--336, 15(9)840--841, 15(12)1053--1058, 18(3)181--183, 18(6)323--329, 18(7)401--408
Parnas, David Lorge, see Babich, Alan F., see Courtois, P. J.
Parnas:1972:CDP, 15(9)840--841
Parnas:1972:CUD, 15(12)1053--1058
Parnas:1972:TSM, 15(5)330--336
Parnas:1975:SCS, 18(3)181--183
Parnas:1975:UCT, 18(7)401--408
PARSE, 16(3)183--185
parse, 16(1)22--26, 16(2)91--100, 16(5)299--305, 16(11)669--676, 17(11)621--630, 19(9)509--513, 20(10)712--724, 21(6)448--458
parsed, 13(2)94--102, 18(12)707--716, 20(12)914--920
parser, 13(2)74--82, 13(5)297--307, 13(7)437--445, 14(7)453--460, 15(8)728--734, 16(11)669--676, 17(11)621--630, 18(7)390--400, 18(8)441--452, 20(10)731--741, 21(6)448--458, 21(6)459--465, 21(11)928--930
parser-construction, 14(7)453--460
Parser-Generating, 16(11)669--676
parser-generating, 16(11)669--676
parsing, 13(2)83--89, 13(2)94--102, 13(6)356--360, 13(7)437--445, 14(7)453--460, 15(6)448--454, 15(8)728--734, 15(12)1040--1044, 16(1)27--37, 16(2)91--100, 16(6)366--369, 16(11)669--676, 17(1)3--14, 17(6)315--318, 17(11)621--630, 18(2)107--115, 18(5)281--285, 18(7)390--400, 18(8)441--452, 18(11)639--650, 18(12)707--716, 19(9)509--513, 19(12)688--695, 20(3)192--194, 21(6)448--458, 21(6)459--465, 21(11)928--930, 22(11)606--611
Parsons, Torrence D., 17(6)351--353
part, 3(3)303--303, 4(3)295--295, 6(3)456--457, 13(4)216--222, 13(8)483--494, 14(4)265--273, 14(6)402--406, 15(4)245--252, 15(4)257--261, 15(5)337--342, 15(5)343--346, 15(7)601--610, 15(12)1040--1044, 16(3)169--179, 16(5)323--329, 16(10)621--627, 17(3)167--169, 17(6)345--350, 17(12)707--712, 18(1)14--19, 18(6)311--317, 18(6)350--353, 19(8)454--460, 19(10)547--554, 20(3)177--185, 20(7)495--499, 20(7)527--529, 20(10)731--741, 20(11)832--840, 21(2)127--134, 21(5)392--400, 21(9)777--785, 21(11)914--924, 22(1)3--9, 22(4)251--256, 22(6)353--368, 35(10)83--91
PARTEXACT, 17(4)224--225
partial, 13(3)184--191, 13(9)567--570, 14(5)351--354, 14(5)357--358, 15(5)347--350, 15(9)839--839, 15(11)956--966, 15(12)1050--1052, 16(10)603--612, 16(11)682--688, 16(11)711--714, 17(1)18--20, 17(1)26--31, 17(5)278--288, 18(1)20--24, 18(9)509--517, 19(5)279--285, 21(5)401--410, 21(7)558--565, 22(2)96--103
partially, 15(12)1040--1044, 17(2)102--112, 17(12)685--690, 22(2)96--103
participants, 17(11)609--613
participating, 22(9)497--502
particles, 14(12)759--768
particular, 0(0)168, 13(3)160--162, 13(5)308--319, 13(7)422--426, 13(8)495--500, 13(9)537--545, 13(9)557--558, 13(12)722--726, 14(2)91--99, 14(2)103--110, 14(3)172--175, 14(4)228--239, 14(6)402--406, 14(7)476--478, 14(7)479--485, 14(8)511--516, 15(5)337--342, 15(10)883--890, 15(11)941--948, 15(12)1045--1047, 16(4)213--222, 16(5)305--307, 17(5)245--250, 18(1)9--13, 18(1)53--56, 18(5)286--297, 18(6)323--329, 18(9)495--508, 18(10)568--579, 18(11)613--620, 18(11)651--656, 19(5)285--294, 19(6)314--326, 19(7)385--394, 19(8)461--471, 19(9)522--526, 19(12)655--669, 20(1)31--35, 20(2)63--77, 20(4)209--222, 20(5)310--315, 20(10)754--761, 20(11)856--863, 21(11)941--947, 22(2)115--123, 22(3)193--207, 22(4)245--251, 22(6)353--368
particularly, 13(3)155--159, 15(5)337--342, 15(5)343--346, 17(11)614--620, 18(4)218--220, 20(7)519--526, 20(10)754--761, 21(5)358--367, 21(5)411--418, 21(6)445--447, 22(3)193--207, 22(6)368--375
partition, 13(1)52--52, 13(2)120--120, 13(9)563--567, 16(6)379--379, 17(4)224--225, 17(12)696--698, 21(3)232--236, 21(6)500--507, 21(11)947--958, 22(5)290--299, 22(7)415--424
partitioned, 16(1)41--44, 16(6)343--349, 20(1)22--30
partitioning, 0(0)168, 14(1)48--48, 15(3)133--134, 15(3)185--190, 15(8)761--771, 15(12)1023--1032, 16(6)372--378, 17(9)513--516, 19(5)295--297, 20(1)22--30
Partitions, Set-, 17(4)224--225
partly, 16(6)386--391
partnership, 16(8)462--467
Partridge, Derek P., 16(1)27--37
Partridge, Derek P., see James, E. B.
PASCAL, 0(0)z, 18(11)629--639, 20(10)731--741
Pascal, 19(9)514--516
Pasquali, A., 14(6)402--406
pass, 16(11)676--682, 17(9)504--508, 17(10)563--565, 18(6)333--340, 19(2)55--62, 20(9)634--641, 21(2)159--172, 21(9)724--736, 22(1)34--42, 22(5)281--283
pass, one-, 16(11)669--676, 22(1)34--42
passing, 14(2)91--99, 16(8)468--474, 16(10)591--603, 21(8)662--665
passive, 19(7)395--404, 21(4)294--299
password, 17(8)437--442, 17(8)442--445, 22(11)594--597
past, 13(7)427--432, 14(5)319--326, 14(11)709--712, 16(4)199--212, 16(4)213--222, 19(7)369--370, 19(8)430--436, 21(5)376--385, 22(1)10--20
pat, 20(10)762--772
patch, 19(10)542--547, 19(10)555--563
patents, 14(4)274--278
path, 13(7)427--432, 13(12)722--726, 15(9)789--801, 15(10)891--905, 16(9)572--574, 16(10)632--633, 16(11)700--702, 17(6)351--353, 17(8)467--469, 18(5)279--279, 18(12)716--716, 19(1)18--22, 19(2)73--83, 20(5)322--330, 20(8)603--604, 21(11)934--941, 21(11)941--947, 21(12)1040--1048, 22(2)96--103, 22(10)560--570
path-following, 22(3)184--192
Patil, 18(3)181--183
patlen, 20(10)762--772
Paton, 18(5)275--276
Paton, Keith, 14(7)468--475, 14(9)592--592
Paton:1971:ABC, 14(7)468--475, 14(9)592--592
Paton:1971:CAB, 14(7)468--475, 14(9)592--592
Patricia, 22(9)497--502
Patrick, 17(4)209--z
Patrick, Merrell L., 15(11)952--955
Patrick:1972:HPA, 15(11)952--955
PATTERN, 35(10)74--82, 35(10)83--91
Pattern, Etching-, 14(11)720--730
Pattern-Matching, 0(z)z
patterned, 21(6)459--465
Patterson, T. N. L., 16(11)694--699
Patterson:1973:AAA, 16(11)694--699
Paul, 17(9)517--519
Pavlidis, Theodosios, 20(4)223--229
Pavlidis, Theodosios, see Tanimoto, Steven L.
Payments, 22(12)644--647
Payne, T. H., 18(6)347--349
Payne, T. H., see Harper, L. H.
Payne, W. H., 13(1)57--57, 21(4)259--263
Payne, William H., 16(3)181--182, 17(4)206--207
Payne, William H., see Freeman, Peter
Payne:1970:FTP, 13(1)57--57
Payne:1973:GEP, 16(3)181--182, 17(4)206--207
Payne:1978:OEN, 21(4)259--263
PDEL, 13(3)184--191
PDP, 15(3)135--143, 21(6)448--458
PDP-10, 14(12)780--790, 15(3)135--143, 17(7)412--421, 21(1)44--63
PDP-11, 17(7)365--375
PDP-11ash, 17(7)365--375, 19(5)243--250
PDP-6, 21(1)44--63
PDP-8, 13(8)495--500
PDPash, 20(7)495--499
peak, 18(5)281--285, 22(4)219--224
peaked, 13(6)362--365
Pearson, 0(0)z, 17(6)326--332, 34(11)118, 34(11)118--119, 34(11)118--120
Pearson, Peter, 34(11)120
Pearson, Peter K., 33(6)677--680
Pearson:1990:FHV, 0(0)z, 33(6)677--680, 34(11)118, 34(11)118--119, 34(11)118--120, 34(11)120
Pearson:1991:NFH, 0(0)z, 33(6)677--680, 34(11)118, 34(11)118--119, 34(11)118--120, 34(11)120
Peck, J. E. L., 14(7)453--460, 16(8)503--512
Peculiarities, 14(4)228--239
pedagogic, 17(4)207--208
Pedagogically, 13(3)141--146
Peemöller, Jürgen, 26(8)595--597
Peemoller:1983:CBM, 22(4)251--256, 26(8)595--597
Pei, 13(11)699--699
Peleg, Shmuel, 22(11)598--605
Peleg:1979:BSC, 22(11)598--605
penalty, 21(2)139--143
pencils, 14(2)113--117, 15(12)1075--z
pending, 18(8)433--440
penetrate, 17(8)437--442
Pens, 19(8)454--460
pentominoes, 18(11)651--656
people, 18(3)151--157, 18(10)580--588, 22(9)497--502
per, 13(2)90--94, 16(5)305--307, 16(6)362--365, 16(7)411--427, 16(11)669--676, 17(10)558--562, 18(6)331--332, 18(6)344--346, 19(8)471--473, 21(1)63--72, 21(6)500--507, 21(9)788--790, 22(4)233--245, 22(5)283--289
per-second, frame-, 14(3)143--150
per-segment, 13(8)495--500
per-user, 17(7)365--375
percent, 14(11)713--719, 17(8)445--449, 18(1)49--52, 18(3)165--172, 20(9)647--654, 20(11)812--820, 21(3)237--246, 21(6)466--471, 21(7)544--549, 21(10)840--842, 21(12)1004--1007, 22(5)283--289
Percent, Fifty-, 20(11)812--820
percentage, 21(10)821--831
perception, 17(6)321--323, 18(6)311--317
Pereyra, V., 14(12)797--801, 14(12)806--807, 14(12)807--807
Pérez, Tomás, Lozano-, 22(10)560--570
perfect, 20(11)841--850, 21(11)947--958, 22(2)104--105, 22(10)553, 33(6)677--680
perfectly, 14(1)21--25, 21(11)947--958
perforated, 13(1)56--56
perform, 13(2)90--94, 13(9)537--545, 14(1)3--14, 15(9)813--817, 15(10)906--909, 16(1)38--40, 17(9)532--537, 17(12)707--712, 18(4)209--216, 18(5)286--297, 20(4)223--229, 20(11)850--856, 20(11)864--873, 20(12)914--920, 21(6)448--458, 22(4)251--256
performance, price-, 22(4)225--232
performed, 14(2)91--99, 14(3)172--175, 14(6)373--379, 16(8)513--517, 16(11)659--668, 16(11)682--688, 17(4)198--202, 17(10)566--574, 18(5)286--297, 19(2)63--67, 19(11)609--616, 20(7)513--518, 20(11)864--873, 21(3)226--227, 21(11)966--975, 21(12)999--1003, 22(2)96--103, 22(9)508--512
performing, 13(2)90--94, 16(2)117--122, 18(9)495--508, 18(10)568--579, 19(9)491--500, 21(11)897--904
perhaps, 13(3)147--154, 21(12)999--1003
perimeter, 13(1)41--47
perimeter, minimal-, 18(7)409--413
period, 15(7)601--610, 15(12)1063--1069, 16(7)399--405, 17(12)696--698, 18(4)216--217
period, full-, 18(4)216--217
periodic, 13(4)255--258, 13(12)715--721
periodically, 13(8)495--500
peripheral, 13(6)339--346, 15(9)841--842, 17(2)70--77, 19(8)454--460
Perl, Yehoshua, 21(7)550--553
Perl:1978:ISL, 21(7)550--553
Perlis, Alan J., 22(5)271--280
Perlis, Alan J., see De Millo, Richard A.
permanent, 14(1)36--38
permanently, 17(3)139--142
permissible, 13(5)308--319, 17(10)566--574, 19(11)624--633, 20(7)504--513
permission, 19(5)243--250
permit, 13(3)141--146, 13(3)160--162, 13(4)255--258, 13(5)308--319, 13(7)403--406, 14(3)176--179, 14(4)260--264, 14(12)802--804, 15(12)1040--1044, 16(3)169--179, 16(4)247--253, 16(5)299--305, 16(5)323--329, 17(5)251--264, 17(6)308--314, 17(10)566--574, 17(10)583--586, 17(12)679--685, 18(1)43--48, 19(5)298--304, 19(7)371--384, 19(10)564--569, 21(5)358--367, 21(5)392--400, 21(7)554--557, 21(8)657--661, 21(12)1048--1064
permitted, 13(5)308--319, 20(11)806--811, 21(8)657--661, 22(8)461--464
permitting, 14(12)780--790, 16(8)513--517, 19(6)343--351, 19(10)542--547, 21(4)264--268, 21(5)392--400
permutable, 17(1)20--24
permutation, 3(0)xi--723, 11(2)117, 12(9)512--512, 13(3)193--193, 13(6)368--369, 14(6)373--379, 15(8)775--775, 16(5)312--312, 16(5)312--313, 16(8)485--485, 16(9)571--572, 16(9)577--578, 16(11)690--691, 16(11)692--694, 17(1)20--24, 17(4)224--225, 17(5)278--288, 18(8)463--463, 19(2)68--72, 19(6)355--356, 19(9)517--521, 20(2)113--115, 20(11)823--823, 20(11)823--z, 22(1)21--25
permuted, 17(1)20--24, 19(6)355--356
perpetrated, 14(1)3--14
Perplexed, 14(8)527--537
perseverance, 16(3)169--179
person, one-, 14(2)103--110
person, two-, 14(2)103--110
personal, 22(8)476--482
personash, 22(1)10--20
person/machine, 22(1)10--20
personnel, 13(12)759--760, 15(6)470--471
perspective, 15(7)640--643, 17(1)32--42, 21(1)4--12, 22(4)233--245
perspicuous, 18(7)390--400
PERT, 3(3)303--303, 15(9)789--801
Pert, 6(12)738--739
pertinent, 13(7)403--406, 14(1)3--14, 14(4)228--239, 16(2)69--82, 17(8)434--436, 20(1)22--30
perturb, 20(2)107--112
perturbation, 14(8)538--541, 18(1)30--36, 18(3)180, 20(2)107--112
Peters, G., 18(1)20--24
Peters:1975:SGJ, 18(1)20--24
Peterson, J. L., 18(4)202--202
Peterson, J. L., see Shen, K. K.
Peterson, James L., 17(10)558--562, 20(6)421--431, 21(12)1004--1007
Peterson, James L., see Shen, Kenneth K.
Peterson, W. W., 16(8)503--512
Peterson:1973:CWR, 16(8)503--512
Peterson:1977:BS, 20(6)421--431
Peterson:1978:SOT, 21(12)1004--1007
Peto, R., 13(10)624
Peto:1970:RAM, 12(3)185--187, 13(1)54--54, 13(10)624
Petri, 16(8)474--481, 19(7)371--384
Petrick, 13(2)94--102
Petrov, 14(8)542--547, 21(9)715--717
Petrov, Bel-, 21(9)715--717
Pfefferkorn, Charles E., 18(5)286--297
Pfefferkorn:1975:HPS, 18(5)286--297
PFF, 19(5)298--304, 19(9)0--0
PGS, 16(11)669--676
Ph, 20(6)370--372
Ph.D, 16(3)181--182, 17(4)206--207, 19(6)311--313, 20(6)370--372, 20(8)602--z, 22(2)77--78
Ph.D.s, 22(2)75--76
Ph.Ds, 22(2)75--76
Phantom, 13(7)422--426
pharmacology, 22(4)219--224
phase, 13(11)679--685, 15(1)3--6, 15(8)748--760, 19(5)285--294, 20(7)504--513
phase, 2-, 19(11)624--633
phase, Two-, 19(11)624--633
PhD, 14(9)593--597, 20(6)370--372
phenomena, 20(2)107--112
phenomenon, 16(7)411--427, 20(10)741--745, 20(11)799--805
Phillips, David L., 14(9)598--600
Phillips, J. Richard, 15(12)1023--1032
Phillips:1971:NBO, 14(9)598--600
Phillips:1972:DPA, 15(12)1023--1032
Philokyprou, George, 21(7)554--557
Philokyprou, George, see Halatsis, Constantine
philosophers, 17(10)549--557, 19(5)279--285
philosophical, 13(12)759--760, 22(5)271--280
philosophy, 13(4)238--241, 15(8)742--747, 17(6)337--345, 18(3)157--164, 19(5)266--272, 19(8)430--436, 20(1)13--21
phone, 17(6)333--336
phonemes, 17(11)621--630
Phong, 18(6)311--317
Phong, Bui Tuong, 18(6)311--317
Phong:1975:ICG, 18(6)311--317
photocomposer, 16(6)386--391
photocomposition, 16(6)386--391, 18(3)151--157
photographic, 14(12)769--774
photography, 14(12)759--768
phototypesetter, 18(3)151--157
phrase, 13(3)194--194, 13(4)216--222, 16(3)148--152, 16(3)183--185, 18(6)333--340, 20(3)135--142, 21(8)613--641
physical, 15(7)637--639, 17(6)337--345, 17(10)575--582, 19(2)84--95, 19(3)113--126, 19(7)416--417, 19(10)570--576, 19(11)624--633, 19(11)634--642, 21(5)385--391, 21(7)558--565, 21(7)586--591
physically, 20(2)78--87
physics, 14(8)511--516, 14(8)538--541, 14(12)759--768, 15(1)3--6, 15(7)637--639, 16(6)386--391, 21(9)715--717
phytoplankton, 18(9)517--523
pi, 18(3)151--157
p//i, 20(1)31--35
pictorial, 15(1)3--6, 15(9)827--837, 16(2)69--82
picture, 13(5)279--283, 14(1)15--20, 14(5)335--345, 14(12)759--768, 15(1)7--10, 15(1)11--15, 15(2)113--113, 15(4)245--252, 16(3)185--186, 16(3)186--186, 16(4)237--246, 16(5)299--305, 17(1)32--42, 17(2)70--77, 18(2)120--122, 18(6)311--317, 19(2)73--83, 19(8)454--460, 19(10)542--547, 19(10)547--554, 19(10)555--563, 19(10)564--569, 20(4)223--229, 20(6)385--396, 21(2)152--158, 21(2)172--176, 21(10)835--840, 21(11)914--924, 22(6)368--375
picture, tasks-, 13(5)279--283
picture-form, 13(5)279--283
picture-forms, 13(5)279--283
piece, 17(11)631--638, 19(3)148--159, 22(11)612--613
piecewise, 16(6)380--382, 16(10)635--637, 18(5)281--285, 22(1)3--9
piecewise-linear, 18(5)281--285
Piepmeier, William F., 18(9)524--527
Piepmeier:1975:OBR, 18(9)524--527
Pierson, C., 17(6)337--345
Pierson, C., see Wulf, William A.
Piessens, Robert, 16(8)486--487, 17(1)25--25, 17(6)324--324, 18(5)276--276
Piessens:1973:AAG, 16(8)486--487
Piessens:1974:AAC, 17(1)25--25
Piessens:1974:RAC, 15(1)47--48, 15(6)469--469, 17(6)324--324
Piessens:1974:RAM, 13(10)622--624, 17(6)324--324
Piessens:1975:RCA, 16(4)254--256, 18(5)276--276
Pike, M. C., 8(10)605--606, 10(4)243--244, 11(2)185--185
Pike, M. C., see Hill, I. D.
Pike, Malcolm C., 2(2)207--208
Pike:1965:AAP, 8(10)605--606, 15(12)1072--1073
Pike:1976:RIB, 2(2)207--208, 6(6)314
Pilcher, David T., 16(9)567--570
Pilcher, David T., see Barnhill, Robert E.
pilot, 16(1)27--37
Pinkerton, Tad B., 15(3)177--184
Pinkerton, Tad B., see Teorey, Toby J.
pinpointing, 13(6)347--351, 21(7)570--582
Pinson, 22(9)497--502
Pinter, C. C., 13(12)758--758
Pinter:1970:DBF, 13(12)758--758
pipeline, 21(1)13--24
pipelined, 18(10)568--579
pipelining, 20(3)143--153, 21(3)237--246, 21(11)904--913
Pisani, P. P., 13(2)74--82
Pisani, P. P., see von Glaserfeld, E.
pitching, 15(12)1059--1062
Pitts, McCulloch-, 15(1)7--10
pivoting, 18(1)20--24
PK, 21(11)941--947
Pk, 21(11)941--947
pl-semantics, 19(8)437--453
PL/1, 13(11)669--675, 16(3)169--179, 16(9)561--565, 16(11)690--691, 20(5)301--309, 21(2)127--134
PL360, 13(4)216--222
place, 5(4)520--520, 14(3)172--175, 15(2)71--75, 16(4)213--222, 16(5)287--290, 16(11)692--694, 17(8)450--453, 17(9)509--513, 19(7)371--384, 20(3)177--185
place, in-, 14(1)50--51
placed, 14(3)172--175, 14(8)511--516, 15(8)748--760, 16(6)386--391, 17(7)376--381, 17(10)575--582, 18(5)251--252, 21(4)259--263, 21(6)484--493
placement, 14(1)26--32, 20(11)812--820, 21(10)835--840
placing, 21(10)835--840
plagued, 16(7)411--427
plaintext, 17(8)445--449, 22(11)598--605
planar, 16(6)380--382, 20(10)693--702, 22(1)3--9, 22(7)402--405
Planar-Valued, 17(4)218--220
plane, 17(1)32--42, 17(4)218--220, 17(8)471--475, 18(7)409--413, 22(7)402--405
PLANES, 21(7)526--539
Plankalkul, 15(7)678--685
Plankalkül, 15(7)678--685
plankton, 18(9)517--523
planned, 14(2)79--90
planners, 18(10)580--588
planning, 13(4)242--250, 14(1)26--32, 14(5)327--334, 14(6)391--401, 15(2)76--87, 16(7)399--405, 18(5)286--297, 18(9)517--523, 21(12)1008--1015, 22(1)10--20, 22(10)560--570
PLash, 13(6)353--356
Plato, 19(11)609--616
play, 13(3)147--154, 16(7)411--427, 16(7)435--438, 16(8)462--467, 20(6)396--404, 22(5)271--280
played, 14(2)103--110, 18(1)14--19, 21(3)197--205
player, 16(7)411--427, 16(8)462--467, 21(11)889--895
player, four-, 16(8)462--467
playing, 15(4)253--256, 16(8)462--467, 20(1)31--35
playing, game-, 13(3)147--154
PL/C, 16(3)169--179
pleasing, 17(11)631--638
PL/I, 13(11)669--675, 15(7)591--600, 15(12)1040--1044, 16(3)169--179, 16(3)183--185, 16(9)561--565, 16(9)566--566, 17(2)94--102, 18(5)275--276, 18(6)310--310, 19(7)385--394, 19(11)609--616, 19(11)617--623, 20(5)301--309, 20(6)439--441, 20(11)788--794, 20(12)914--920, 21(2)127--134, 21(9)760--768
Pliskin, Joseph S., 22(2)124--130
Pliskin, Joseph S., see Mendelson, Haim
Pliuskeviciene, A., 21(7)583--585
plot, 1(9)285--285, 13(9)546--555, 14(7)492--493, 15(2)100--103, 16(7)448--448, 16(10)639--640, 17(6)333--336, 17(9)520--523, 21(9)788--790
plotted, 16(11)676--682
plotter, 14(7)492--493, 16(8)489--490, 16(11)676--682, 20(2)100--106
plotting, 2(1)109--110, 5(4)521--523, 13(9)546--555, 15(2)100--103, 16(7)448--448, 16(9)578--579, 17(3)152--155, 17(6)324--324, 17(6)324--325, 17(6)324--z, 17(9)520--523, 17(12)706--99999999, 18(4)202--z, 18(5)276--277, 18(5)277--z, 21(9)788--790
plus, 13(6)362--365, 13(8)481--482, 17(11)631--638, 17(12)696--698, 18(1)20--24, 18(10)588--591, 18(12)707--716, 18(12)716--716, 20(1)31--35, 20(2)107--112, 20(5)350--353, 20(10)762--772, 21(8)657--661, 23(1)172--202
PLUS, APL-, 17(11)644--646
p//n, 20(1)31--35
Poel, W. L., van der, 15(8)772--772
Pohl, Ira, 15(6)462--464
Pohl:1972:SPC, 15(6)462--464
Point, Fixed-, 15(8)772--z
point, fixed-, 15(8)772--772, 22(3)166--177
Point, Floating-, 13(6)361--362, 14(11)731--736, 15(11)949--951
point, floating-, 13(6)361--362, 14(11)731--736, 15(9)813--817, 15(9)827--837, 15(11)949--951, 17(1)14--17, 17(5)269--271, 22(3)166--177
point, single-, 22(5)290--299
point, Three-, 15(12)1072--z
Point, Two-, 13(9)557--558, 15(12)1071--z
point, Two-, 15(6)1071
point, two-, 13(9)557--558
point-line, 15(1)11--15
pointed, 13(6)347--351, 15(8)761--771
pointed-to, 21(8)662--665
pointer, 18(9)495--508, 19(6)338--342, 19(6)352--354, 19(7)371--384, 19(7)409--415, 20(2)78--87, 21(8)662--665
pointing, 21(8)662--665
pointwise, 22(5)290--299
Poisson, 13(1)49--49, 14(1)32--35, 14(8)538--541, 16(3)161--168, 16(11)711--714
poker, 20(4)230--245
poles, 14(1)48--49, 15(2)97--99, 15(11)952--955, 16(2)101--104, 17(9)504--508
police, 22(1)10--20
policy, 14(2)74--78, 14(3)166--171, 15(3)177--184, 16(7)431--434, 17(9)495--503, 17(12)674--678, 18(5)279--280, 18(9)524--527, 19(3)127--136, 20(7)504--513, 21(8)678--686, 21(9)750--759, 22(12)660--671
Policy-Driven, 14(2)74--78
policy-driven, 20(7)469--477
political, 15(4)257--261, 15(8)735--741, 18(4)193--199, 21(6)484--493
Political, Socio-Economic-, 18(4)193--199
Pollack, 14(2)69--73
Pollack, Fred J., 17(6)337--345
Pollack, Fred J., see Wulf, William A.
Pollack, S. L., 14(1)52--52
Pollack, Seymour V., 17(4)207--208
Pollack, Seymour V., see Sterling, Theodor D.
Pollack:1971:CCD, 14(1)52--52
pollution, 18(9)517--523
polygon, 13(1)41--47, 15(4)245--252, 17(1)32--42, 18(7)409--413, 19(7)416--417, 20(3)166--171, 35(10)83--91
polygonal, 13(1)41--47, 13(9)527--536, 20(3)166--171, 22(9)518--525
polyhedra, 22(1)3--9
polyhedral, 22(10)560--570
polymers, 18(4)200--202
polynomial, 11(6)436--437, 13(3)163--166, 13(4)255--258, 13(8)512--512, 13(9)559--560, 14(2)91--99, 14(8)509--510, 14(8)517--521, 14(11)737--746, 15(1)49--99999999, 15(2)97--99, 15(5)343--346, 15(8)776--777, 15(11)941--948, 15(11)952--955, 16(2)101--104, 16(8)462--467, 16(8)490--490, 16(9)579--579, 16(11)705--707, 17(1)18--20, 17(1)26--31, 17(3)157--99999999, 17(7)382--387, 17(8)442--445, 18(2)116--117, 18(3)179--180, 18(10)592--593, 18(11)656--657, 21(10)835--840
polyphase, 14(11)713--719, 15(1)28--28
Pomeranz, J., 2(1)111--111
Pomeranz, J. E., 13(4)251--254, 13(7)451--451
Pomeranz, John, 17(12)703--704
Pomeranz:1970:CMP, 13(4)251--254
Pomeranz:1970:NAP, 13(7)451--451
Pomeranz:1974:AAE, 2(1)111--111, 17(12)703--704
Pomeranz:1976:REC, 2(1)111--111, 17(12)703--704
Pooch, Udo W., 19(10)541--z, 21(7)586--591
Pooch, Udo W., see Chattergy, Rahul
Pooch:1976:PSI, 19(10)541--z
pool, 17(10)549--557, 20(7)500--503, 21(4)280--294
Poole, Jr., William G., 17(1)20--24
Poole, Jr., William G., see Gibbs, Norman E.
pooled, 21(9)760--768
poor, 22(3)178--183, 22(5)283--289
Poore, Ray V., 18(4)193--199
Poore, Ray V., see Chambers, Jack A.
poorly, 20(11)864--873
Popek, Gerald J., 17(7)412--421, 21(9)737--749
Popek:1974:FRV, 17(7)412--421
Popek:1978:MVD, 21(9)737--749
Poplawski, David A., 16(9)561--565
Poplawski, David A., see Gates, Geoffrey W.
popping, 21(6)448--458
popular, 15(12)1059--1062, 19(6)314--326, 21(9)760--768
population, 0(0)168, 15(8)735--741, 18(9)517--523
portability, 22(2)105--115
portable, 15(12)1059--1062, 22(2)105--115
portion, 13(3)184--191, 15(4)257--261, 16(5)323--329, 16(11)676--682, 21(6)466--471
posed, 21(3)226--227
poses, 16(9)549--556
position, 13(9)527--536, 14(6)373--379, 15(12)1033--1039, 16(2)69--82, 17(12)674--678, 19(9)526--529, 20(5)350--353, 21(11)914--924, 22(1)3--9, 22(9)497--502, 22(9)503--504, 22(10)560--570, 35(10)83--91
positioned, 13(7)407--414, 22(9)505--508
positioning, 14(1)26--32, 16(6)386--391, 18(3)151--157
positive, 15(1)45--46, 16(1)41--44, 16(3)180--180, 16(6)379--379, 18(1)9--13, 21(12)1025--1039
positivity, 18(1)9--13
possess, 13(5)308--319, 20(10)754--761, 22(3)193--207
possessing, 16(6)380--382, 22(4)219--224
possibility, 13(7)422--426, 15(1)7--10, 19(4)182--187, 20(9)634--641, 22(7)415--424
possible, 13(5)297--307, 13(5)308--319, 13(6)356--360, 13(7)415--421, 13(7)422--426, 13(11)669--675, 14(1)36--38, 14(2)111--112, 14(3)143--150, 14(6)373--379, 15(4)257--261, 15(8)728--734, 15(8)748--760, 15(12)1063--1069, 16(2)91--100, 16(2)105--109, 16(5)287--290, 16(9)540--548, 17(7)388--402, 17(10)549--557, 17(12)679--685, 18(3)141--150, 18(10)592--593, 18(11)613--620, 18(12)697--706, 18(12)722--728, 19(1)33--37, 19(3)127--136, 19(5)295--297, 19(6)343--351, 19(7)371--384, 19(7)416--417, 19(9)514--516, 19(10)547--554, 19(10)578--581, 19(12)670--673, 20(1)2--12, 20(1)31--35, 20(3)135--142, 20(4)245--254, 20(5)315--322, 20(8)577--583, 20(10)731--741, 21(2)139--143, 21(4)294--299, 21(5)423--425, 21(6)500--507, 21(8)613--641, 21(9)777--785, 21(10)806--820, 21(10)840--842, 22(4)219--224, 22(7)391--401, 22(7)405--415
possibly, 14(12)759--768, 16(11)669--676, 17(5)265--268, 18(8)453--457, 19(3)137--147, 21(7)540--544, 21(9)724--736, 21(10)857--865, 22(3)193--207
post, 21(2)144--152
postoptimisation, 21(7)570--582
postoptimization, 21(7)570--582
postponed, 14(7)479--485
potato, 20(7)477--485, 21(12)1040--1048
potential, 16(10)603--612, 18(8)476--480, 21(2)139--143, 21(3)232--236, 21(7)586--591, 22(1)3--9
potentially, 16(9)549--556, 19(10)547--554, 22(3)184--192
Potts, R. B., 14(7)486--490
power, 13(3)163--166, 14(1)32--35, 15(2)94--96, 16(4)254--256, 17(5)245--250, 18(10)580--588, 18(11)629--639, 19(9)491--500, 20(7)495--499, 21(11)941--947
power-of-two, 20(11)864--873
powerful, 13(7)415--421, 14(2)103--110, 15(3)135--143, 15(8)742--747, 16(5)314--322, 16(8)491--502, 18(10)557--567, 20(7)495--499, 21(6)459--465, 21(8)613--641, 21(9)724--736, 21(10)806--820, 22(1)43--54
PP, 14(2)91--99
pp, 15(9)843--843, 18(11)621--628, 20(10)693--702, 20(10)703--712, 21(1)63--72, 21(8)613--641
pp.15-24, 21(1)63--72
practical, 13(2)94--102, 13(3)184--191, 14(4)228--239, 15(7)591--600, 15(9)809--812, 15(11)981--986, 16(1)45--46, 16(2)69--82, 16(5)314--315, 16(5)323--329, 16(7)427--430, 16(8)491--502, 16(8)503--512, 16(9)549--556, 17(1)3--14, 17(2)83--93, 17(2)94--102, 17(4)198--202, 18(3)141--150, 18(4)209--216, 18(11)639--650, 19(2)55--62, 19(3)148--159, 19(8)454--460, 20(3)166--171, 20(3)171--176, 20(8)577--583, 20(9)625--633, 20(11)812--820, 20(11)841--850, 21(2)152--158, 21(4)294--299, 21(9)724--736, 21(9)777--785, 21(10)847--857, 21(11)904--913, 21(12)1040--1048
practicality, 12(1)35--44
practically, 15(12)1045--1047, 18(3)165--172
practice, 16(9)532--539, 17(8)456--462, 19(5)243--250, 20(1)2--12, 21(3)206--218, 22(1)34--42, 22(3)178--183
practicing, 18(11)629--639
practitioner, 0(0)xii--644, 15(11)987--990, 18(1)4--9, 19(6)314--326
pragmatic, 20(12)936--944
Pratt, 20(11)856--863, 35(10)83--91
Pratt, Terrence W., 14(7)460--467
Pratt, V. R., 6(2)323--350
Pratt, V. R., see Knuth, Donald E.
Pratt:1971:LEG, 14(7)460--467
pre, 13(10)607--617
pre-hashed, 20(3)127--135
preanalysis, 16(7)411--427
preassigned, 17(8)450--453
preassignment, 17(8)450--453
preceded, 20(1)13--21
precedence, 13(8)501--508, 14(7)453--460, 15(6)448--454, 16(2)83--90, 16(5)296--298, 17(8)467--469, 17(9)517--519, 17(12)685--690, 18(11)639--650, 19(10)576--577, 20(3)171--176, 20(3)192--194, 21(11)928--930
precedes, 20(11)874--878
preceding, 20(5)301--309
precise, 16(6)386--391, 17(9)509--513, 21(9)737--749, 22(3)184--192
precisely, 21(10)840--842
precision, 13(5)287--296, 13(9)570--570, 15(6)468--469, 15(9)813--817, 16(1)38--40, 17(1)14--17, 17(9)509--513, 22(3)166--177
precision, low-, 15(9)813--817
Precision, Multiple-, 16(10)628--z
precision, multiple-, 13(11)666--668
Precision, Variable-, 16(1)38--40
precision, variable-, 15(9)813--817, 16(1)38--40
precomputed, 22(9)505--508
preconditions, 17(8)450--453
predefined, 16(5)282--286
predesigned, 20(11)832--840
predicate, 13(6)377--387, 14(2)91--99, 17(2)102--112, 19(11)624--633, 21(5)401--410, 21(11)931--933
predict, 15(7)557--565, 16(5)291--295, 17(5)245--250, 20(7)461--468, 21(12)1064--1075
predictability, 20(2)78--87, 22(4)225--232
predictable, 17(5)278--288, 22(4)225--232
predicted, 16(2)105--109, 17(7)403--412, 22(1)10--20
predicting, 17(4)181--186, 21(6)472--483, 22(4)225--232
prediction, 14(6)380--390, 19(4)171--174, 20(7)461--468, 20(11)812--820, 21(1)13--24
predictor, 14(3)185--190, 14(12)796--796, 15(12)1063--1069
predictor-, 14(12)796--796
predictor-corrector, 13(12)739--740, 15(11)941--948
predictor-correctors, 15(11)941--948
predominant, 20(10)712--724
Predominators, 15(8)777--778
preempt-resume, 21(8)678--686
preemptive, 15(12)1063--1069
preferable, 13(9)559--560, 17(2)63--69, 21(9)788--790
preferential, 18(5)264--274, 19(6)335--338
preferentially, 18(8)433--440
prefetching, 21(1)13--24
prefiltering, 20(11)799--805
prehistoric, 17(11)644--646
preliminary, 13(5)279--283, 13(6)356--360, 15(2)76--87, 16(1)27--37, 18(10)551--557, 20(4)271--283, 20(5)310--315, 20(9)647--654, 20(10)693--702, 20(10)703--712
premarked, 13(7)407--414
premii, 17(12)667--673
Prentice-Hall, 6(4)261--301, 21(8)666--677
preoccupied, 15(12)1033--1039
Preparata, Franco P., 20(2)87--93, 22(7)402--405
Preparata:1977:CHF, 20(2)87--93
Preparata:1979:ORT, 22(7)402--405
preparation, 13(7)407--414, 16(5)314--322, 22(9)497--502
prepare, 16(7)439--441, 19(11)609--616
prepass, 21(9)724--736, 21(12)1004--1007
preprocess, 21(11)958--966
preprocessing, 18(8)476--480, 20(5)339--343, 20(9)664--669
preprocessor, 17(1)43--45
preprogramming, 21(6)472--483
prerequisite, 20(3)177--185, 22(3)147--166
prescribe, 20(12)906--913
prescriptive, 18(12)676--683
presence, 14(8)542--547, 16(1)3--10, 16(11)659--668, 21(2)127--134
present, 13(3)141--146, 13(6)377--387, 13(7)437--445, 14(3)166--171, 15(4)257--261, 15(7)574--578, 15(7)637--639, 15(8)728--734, 15(11)956--966, 15(12)1059--1062, 16(1)27--37, 16(1)38--40, 16(2)83--90, 16(4)223--230, 16(4)247--253, 16(7)427--430, 16(7)435--438, 16(8)468--474, 16(9)540--548, 16(9)556--560, 16(10)591--603, 16(10)603--612, 16(11)682--688, 17(5)278--288, 17(6)301--308, 17(10)583--586, 17(11)638--642, 17(12)691--695, 17(12)696--698, 18(2)107--115, 18(4)193--199, 18(6)318--322, 18(6)344--346, 18(6)350--353, 18(7)390--400, 18(9)528--539, 18(10)588--591, 18(11)621--628, 19(1)23--28, 19(2)73--83, 19(4)188--206, 19(7)409--415, 19(8)437--453, 19(9)526--529, 19(10)547--554, 20(1)22--30, 20(3)143--153, 20(3)153--165, 20(4)223--229, 20(5)322--330, 20(5)347--350, 20(6)396--404, 20(7)469--477, 20(7)504--513, 20(10)693--702, 21(6)459--465, 21(7)554--557, 21(11)897--904, 22(5)281--283, 22(5)283--289, 22(8)461--464, 28(4)412--418
present-day, 16(6)353--354
presentation, 13(6)351--352, 13(9)527--536, 16(5)275--281, 16(8)491--502, 17(2)94--102, 20(1)2--12, 21(2)144--152, 21(7)554--557, 22(9)497--502
presenting, 17(7)382--387
presently, 14(2)91--99, 16(2)83--90, 17(6)308--314, 21(1)44--63
preservation, 15(8)735--741
preserve, 16(5)296--298, 18(12)717--721, 22(1)43--54
preserved, 21(9)724--736
preserving, 21(3)228--231
preserving, difference-, 18(11)651--656
preserving, order-, 20(11)874--878
President, 15(7)499--500
Press, 6(4)261--301, 17(12)667--673, 21(8)613--641
Press, Laurance I., 17(12)674--678
Press:1974:AMC, 17(12)674--678
Presser, Leon, 17(3)133--138
Presser, Leon, see Balkovich, E.
pressing, 21(12)1008--1015
prestatement, 22(11)589--593
pretested, 21(6)466--471
prettyprinter, 13(11)669--675
prevalent, 21(3)206--218
prevent, 14(1)36--38, 14(1)39--45, 15(12)1063--1069, 16(5)323--329, 16(7)427--430, 20(2)107--112
preventing, 14(1)36--38
prevention, 14(1)36--38, 15(9)840--841, 16(5)323--329, 16(7)427--430, 16(10)613--615, 17(8)450--453
preventionash, 16(5)323--329
previous, 13(4)251--254, 13(7)437--445, 14(2)74--78, 15(7)601--610, 15(12)1033--1039, 16(1)38--40, 17(2)94--102, 17(7)412--421, 17(12)696--698, 18(3)141--150, 18(4)216--217, 18(5)251--252, 18(10)588--591, 18(11)639--650, 19(2)63--67, 19(6)343--351, 19(6)352--354, 19(9)526--529, 20(1)2--12, 20(4)263--271, 20(5)339--343, 20(6)373--381, 20(6)431--433, 20(10)754--761, 20(11)812--820, 21(5)351--357, 22(9)508--512
previously, 14(2)99--102, 16(1)11--14, 16(9)532--539, 17(2)70--77, 17(2)78--82, 17(3)157--163, 18(9)517--523, 18(11)651--656, 20(5)339--343, 20(5)350--353, 20(8)596--602, 21(2)152--158, 22(6)368--375, 22(9)508--512
price, 13(8)467--474, 19(3)127--136, 21(1)44--63, 22(4)225--232
price-performance, 22(4)225--232
Priceash, 22(4)225--232
price/performance, 22(4)225--232
pricing, 13(8)467--474, 20(3)177--185
Prieve, Barton G., 16(10)619--620, 19(5)295--297
Prieve:1973:UPR, 16(10)619--620
Prieve:1976:VOV, 19(5)295--297
Prim, 16(7)448--448
primal-dual, 21(5)411--418
primarily, 13(4)242--250, 13(8)495--500, 15(10)891--905, 16(9)540--548, 17(4)198--202, 20(8)540--553, 21(10)857--865
primary, 15(12)1045--1047, 16(7)431--434, 16(11)676--682, 17(5)278--288, 17(7)388--402, 17(11)614--620, 18(9)495--508, 19(6)314--326, 19(10)547--554, 20(1)22--30, 20(2)107--112, 20(4)262--263, 20(9)655--663, 20(12)936--944, 21(7)570--582
PRIME, 16(11)659--668
prime, 12(10)563--564, 13(1)52--54, 13(4)265--266, 13(8)481--482, 13(11)693--693, 13(12)758--758, 14(3)180--184, 14(12)780--790, 16(5)311--311, 16(8)489--489, 17(8)442--445, 18(4)216--217, 18(8)476--480, 20(9)664--669, 21(12)999--1003
primitive, 13(4)238--241, 13(12)727--733, 14(1)3--14, 14(11)697--708, 15(7)574--578, 15(8)772--772, 16(8)468--474, 16(11)692--694, 17(4)211--217, 18(3)181--183, 18(4)209--216, 18(8)453--457, 18(9)495--508, 18(10)580--588, 20(6)414--420, 20(7)500--503, 21(4)309--315, 21(7)565--569, 21(8)613--641, 21(8)666--677, 22(1)43--54, 22(2)79--96, 22(2)105--115, 22(6)353--368
principal, 15(1)7--10, 18(4)203--208, 19(8)454--460, 21(6)493--499
principle, 13(3)147--154, 13(5)308--319, 13(8)475--481, 14(1)80--93, 14(3)151--165, 14(5)351--354, 15(3)133--134, 15(7)591--600, 16(1)27--37, 16(4)247--253, 16(8)462--467, 17(7)388--402, 18(7)377--389, 18(12)676--683, 18(12)697--706, 18(12)707--716, 18(12)717--721, 19(1)29--33, 19(5)236--243, 19(5)279--285, 19(5)298--304, 19(7)371--384, 19(7)395--404, 20(9)634--641, 21(1)63--72, 22(4)251--256
print, 13(8)495--500, 18(3)151--157
printable, 15(6)438--447
printed, 14(11)720--730
printer, 14(7)492--493, 20(2)100--106
printing, 16(6)386--391, 18(3)151--157, 21(12)1004--1007
prior, 16(7)435--438, 19(3)164--165
priori, 20(10)741--745, 22(5)281--283
priority, 13(7)407--414, 17(12)679--685, 19(3)127--136, 19(7)417--418, 20(7)469--477, 20(12)931--935, 21(4)309--315, 22(1)25--34
priority-queue, 29(4)300--311
privacy, 15(4)211--220, 16(10)613--615, 16(11)659--668, 17(7)388--402, 17(8)445--449, 19(3)148--159, 21(8)642--657
privately, 21(2)120--126
privileges, 15(3)157--170
probabilistic, 16(1)3--10, 16(5)291--295, 16(10)603--612, 17(3)133--138, 17(11)631--638, 19(9)509--513, 20(9)625--633
probability, 2(1)108--108, 13(4)251--254, 13(7)427--432, 13(9)563--567, 14(2)99--102, 15(6)467--468, 15(6)468--468, 15(8)761--771, 15(10)883--890, 15(11)991--992, 16(1)3--10, 16(1)51--51, 16(8)462--467, 16(8)483--485, 16(9)527--531, 17(2)78--82, 17(3)127--133, 17(4)186--191, 17(4)192--196, 17(6)326--326, 17(12)691--695, 18(2)117--119, 18(9)524--527, 18(10)592--593, 19(2)63--67, 19(3)127--136, 19(5)298--304, 19(7)407--409, 20(2)93--99, 20(2)107--112, 20(3)135--142, 20(3)153--165, 20(4)230--245, 20(5)310--315, 20(7)469--477, 20(10)741--745, 20(11)795--798, 21(2)144--152, 21(4)269--279, 22(11)598--605
probable, 19(1)13--17
Probable-Word-Proof, 18(2)131--132
probe, 13(8)495--500, 16(2)105--109, 20(3)127--135, 20(11)841--850, 22(2)104--105, 22(10)553
Probert, Robert L., 22(7)405--415
Probert, Robert L., see Fischer, Patrick C.
probing, 13(8)495--500, 16(2)105--109
probit, 16(1)51--52
PROBLEM, 28(4)412--418, 35(10)74--82, 35(10)83--91
Problem-List, 17(9)495--503, 18(5)279--280
problem-oriented, 14(1)26--32, 14(4)240--250, 15(7)591--600, 17(5)251--264
Problem-Reduction, 18(2)107--115
problem-reduction, 18(2)107--115
problem-solving, 14(2)91--99, 14(5)327--334, 20(4)230--245
Probst, G. G., 15(7)506--517
Probst:1972:ISI, 15(7)506--517
proc, 15(9)843--843, 20(6)434--439
proce, 14(5)319--326
procedural, 20(8)564--576, 22(3)184--192
procedure,, 14(2)103--110
procedures, order-, 14(6)373--379
proceed, 19(7)385--394, 20(7)519--526, 20(10)762--772
process, inter-, 17(7)365--375
processed, 13(6)356--360, 22(1)34--42
processes, multiple-, 16(10)591--603
processing, batch-, 16(3)169--179
processing, information-, 16(5)275--281
Processing, Minimal-Total-, 17(7)376--381
processing-time, minimal-total-, 17(7)376--381
processor, 13(1)3--6, 13(1)10--14, 13(3)141--146, 13(6)339--346, 13(7)415--421, 13(8)495--500, 13(10)607--617, 13(11)669--675, 14(4)240--250, 14(7)479--485, 14(8)538--541, 14(9)589--592, 14(12)780--790, 15(8)748--760, 15(10)906--909, 15(12)1059--1062, 16(2)110--116, 16(3)153--160, 16(3)169--179, 16(6)350--351, 16(8)474--481, 16(10)591--603, 17(3)133--138, 17(4)202--204, 17(6)301--308, 17(7)412--421, 17(12)685--690, 18(9)495--508, 18(10)588--591, 19(6)327--334, 19(9)491--500, 20(3)143--153, 20(4)263--271, 20(5)301--309, 20(7)469--477, 20(9)655--663, 20(10)754--761, 21(1)13--24, 21(6)500--507, 21(7)586--591, 21(8)657--661, 21(9)718--723, 21(11)966--975, 22(1)25--34, 22(7)415--424, 22(8)461--464, 35(10)83--91
Processor, Multi-Mini-, 17(6)337--345
processor-minicomputer, 16(3)153--160
produce, 13(1)52--54, 13(5)279--283, 13(6)356--360, 13(9)546--555, 13(11)669--675, 13(11)693--693, 14(2)91--99, 14(4)260--264, 14(12)780--790, 15(7)591--600, 16(5)296--298, 17(4)181--186, 17(8)437--442, 18(2)96--106, 18(3)151--157, 18(9)528--539, 19(2)68--72, 19(5)266--272, 19(11)601--608, 20(7)495--499, 20(7)519--526, 20(11)856--863, 20(11)874--878, 21(9)718--723, 21(12)1025--1039, 34(11)118--119
produced, 13(10)607--617, 14(2)91--99, 15(9)827--837, 17(6)301--308, 18(3)151--157, 18(8)433--440, 21(4)259--263, 21(5)376--385, 21(7)540--544, 21(9)788--790, 21(10)806--820, 21(12)1064--1075
producing, 13(9)527--536, 16(7)435--438, 17(2)102--112, 20(2)100--106, 20(6)370--372
producing, Function-, 16(1)15--21
product, 13(9)561--562, 15(5)352--352, 15(6)1071, 15(12)1070--1070, 15(12)1070--1071, 15(12)1071--z, 15(12)1072--z, 16(1)22--26, 16(4)223--230, 16(9)571--572, 18(1)36--39, 21(6)484--493, 21(7)544--549, 21(8)657--661, 22(1)3--9, 22(4)219--224
product, by-, 15(12)1033--1039
production, 13(3)194--194, 13(8)501--508, 14(5)327--334, 14(12)780--790, 15(7)591--600, 15(7)611--617, 15(8)728--734, 16(3)181--182, 17(2)94--102, 17(4)206--207, 17(11)631--638, 19(5)285--294, 19(6)311--313, 19(10)547--554, 20(6)370--372, 20(8)602--z, 21(1)13--24, 21(9)788--790, 22(2)75--76, 35(10)83--91
productivity, 16(5)282--286, 17(3)133--138, 21(6)472--483, 21(12)1064--1075
professional, 0(0)xii--644, 14(9)573--588, 15(5)363--398, 16(7)435--438, 16(7)439--441, 17(11)631--638, 18(1)4--9, 18(10)580--588, 19(7)369--370, 20(1)13--21, 21(3)206--218, 21(9)760--768, 22(2)77--78
professionalism, 16(7)435--438, 18(1)4--9
profiles, 20(6)370--372
profusion, 13(3)163--166
program, parallel-, 19(7)371--384
Program-Ron, 17(12)667--673
Program-Synthesizing, 17(4)211--217
program-synthesizing, 17(4)211--217
programme, 15(4)253--256, 15(4)262--267, 15(4)271--272, 18(1)4--9
programmed, 13(8)495--500, 15(8)742--747, 15(10)891--905, 16(9)540--548, 17(8)445--449, 17(9)504--508, 21(5)392--400
programmed, mono-, 17(5)278--288
programmer, 13(2)90--94, 13(4)216--222, 14(7)449--452, 15(10)859--866, 16(4)199--212, 16(5)282--286, 16(11)653--658, 17(5)251--264, 17(10)592--593, 18(3)157--164, 18(7)401--408, 18(8)459--462, 18(10)580--588, 18(11)629--639, 19(9)522--526, 19(11)609--616, 20(1)2--12, 20(8)553--564, 20(10)746--753, 20(12)906--913, 21(3)228--231, 21(5)392--400, 21(6)472--483, 21(7)565--569, 22(7)391--401
programmer-defined, 17(5)251--264
Programmiersprache, 0(0)z
progress, 12(5)289--294, 13(3)141--146, 20(4)230--245
progressed, 21(1)25--43
progressive, 22(9)513--518
prohibitive, 15(5)337--342
prohibitively, 16(3)169--179
project, 13(8)483--494, 13(9)537--545, 14(7)449--452, 15(8)748--760, 16(5)296--298, 18(7)377--389, 18(7)390--400, 19(8)430--436, 21(1)13--24, 22(6)341--345, 22(6)353--368
projection, 13(8)475--481, 14(1)15--20, 14(1)21--25, 14(12)759--768, 15(2)113--113, 16(3)185--186, 16(3)186--186, 17(1)32--42, 17(3)167--169, 17(10)591--591, 21(1)25--43
projects,though, 15(7)591--600
proliferation, 15(7)601--610, 16(7)399--405
Proll, L. G., 14(1)46--47, 15(6)467--468, 17(10)590--590
Proll:1971:FEA, 14(1)46--47
Proll:1972:RAA, 13(1)49--52, 15(6)467--468
Proll:1974:RAC, 15(9)818--820, 17(3)157--z, 17(10)590--590
prolog, 22(7)424--436
promised, 14(1)3--14
promises, 17(6)345--350, 21(2)159--172
promising, 14(2)103--110, 18(4)223--230, 18(12)676--683, 21(9)737--749
prompting, 13(6)377--387
prone, 17(2)102--112
Proneness, Error-, 19(1)33--37
pronominal, 15(10)891--905
proof, 13(6)371--374, 13(7)452--452, 13(12)722--726, 14(1)39--45, 14(1)50--51, 14(2)91--99, 14(3)151--165, 14(5)351--354, 14(8)548--560, 15(11)967--973, 16(4)257--257, 16(5)275--281, 16(8)468--474, 16(11)704--705, 17(4)211--217, 17(8)453--455, 17(10)549--557, 18(1)36--39, 18(3)181--183, 18(8)453--457, 18(12)717--721, 19(5)243--250, 19(5)273--279, 19(5)279--285, 19(7)371--384, 20(3)135--142, 20(4)209--222, 20(4)271--283, 20(6)396--404, 20(7)477--485, 20(7)500--503, 20(7)519--526, 20(8)553--564, 21(2)159--172, 21(3)228--231, 21(5)368--375, 21(7)583--585, 21(12)1048--1064, 21(12)1064--1075, 22(3)184--192, 22(5)271--280, 22(5)290--299, 22(10)554--556
Proof, Probable-Word-, 18(2)131--132
propagation, 13(1)7--9, 13(6)361--362, 15(9)827--837, 15(9)838--838, 16(4)237--246, 18(12)716--716, 20(6)439--441
propagation, sign-, 20(6)439--441
proper, 13(6)347--351, 14(7)453--460, 17(9)517--519, 18(6)350--353, 19(11)634--642, 20(1)2--12, 20(5)339--343, 20(10)725--730, 21(9)777--785, 21(11)966--975
properly, 16(1)22--26, 16(8)503--512, 17(10)566--574
property, 3(0)xi--723, 13(3)160--162, 13(3)167--183, 14(1)15--20, 14(6)402--406, 14(11)737--746, 15(2)191--198, 15(3)191--198, 15(7)528--536, 15(9)802--808, 15(9)809--812, 15(10)883--890, 15(11)949--951, 16(2)69--82, 16(2)91--100, 16(8)491--502, 16(10)591--603, 16(11)659--668, 17(2)102--112, 17(5)276--277, 17(10)563--565, 18(1)9--13, 18(1)43--48, 18(1)53--56, 18(2)96--106, 18(3)179--180, 18(8)464--471, 18(11)613--620, 18(12)707--716, 18(12)717--721, 19(2)73--83, 19(5)273--279, 19(5)279--285, 20(1)31--35, 20(3)127--135, 20(4)223--229, 20(5)310--315, 20(7)504--513, 20(8)553--564, 20(10)741--745, 20(10)762--772, 21(2)120--126, 21(3)232--236, 21(4)280--294, 21(5)401--410, 21(8)613--641, 21(9)737--749, 21(9)750--759, 21(9)788--790, 21(10)835--840, 21(10)866--872, 22(4)219--224, 22(6)368--375, 22(7)391--401
property-list, 17(12)707--712
proportion, 17(9)513--516, 22(7)415--424
proportional, 13(2)94--102, 16(5)305--307, 17(5)265--268, 18(6)333--340, 18(12)716--716, 21(4)280--294, 21(12)999--1003, 23(1)172--202
proposal, 14(4)228--239, 15(2)71--75, 15(4)257--261, 15(6)421--426, 15(7)574--578, 17(12)674--678, 19(11)617--623, 21(5)385--391
proposed, 13(6)347--351, 13(6)365--367, 13(7)403--406, 13(7)427--432, 13(11)675--677, 13(11)679--685, 13(11)686--692, 14(2)69--73, 14(3)176--179, 14(7)468--475, 14(12)802--804, 15(1)11--15, 15(4)257--261, 15(10)910--913, 16(1)27--37, 16(2)110--116, 16(4)199--212, 16(4)247--253, 16(5)282--286, 16(7)439--441, 16(8)513--517, 16(9)556--560, 16(12)727--749, 17(2)63--69, 17(4)211--217, 17(10)575--582, 17(11)614--620, 18(2)131--132, 18(7)371--377, 18(12)683--696, 19(1)3--13, 19(3)164--165, 19(4)175--181, 19(7)369--370, 19(9)522--526, 20(2)87--93, 20(3)153--165, 20(7)461--468, 20(7)500--503, 20(7)513--518, 20(9)647--654, 20(10)725--730, 21(2)139--143, 21(2)152--158, 21(3)237--246, 21(5)401--410, 21(5)419--422, 21(6)493--499, 21(11)934--941, 22(2)79--96, 22(2)96--103, 22(2)115--123
proposes, 15(11)981--986, 17(2)63--69, 17(4)181--186, 17(10)566--574, 18(12)683--696, 20(10)712--724, 21(11)934--941
proposing, 16(2)83--90
proprietary, 16(10)613--615
protect, 16(1)15--21, 22(2)115--123
protected, 13(6)377--387, 21(1)63--72
protecting, 19(5)251--265
protection, 15(3)135--143, 15(3)157--170, 16(1)15--21, 16(10)613--615, 17(6)337--345, 17(7)388--402, 17(7)403--412, 17(7)412--421, 17(8)437--442, 17(8)442--445, 17(8)445--449, 17(10)566--574, 19(3)148--159, 19(3)164--165, 19(4)171--174, 19(5)243--250, 19(5)251--265, 19(8)461--471, 21(2)120--126, 21(4)294--299, 22(2)115--123, 22(5)299--309, 22(11)612--613, 22(12)648--654
protocol, 19(1)3--13, 19(7)395--404, 19(11)624--633, 20(7)477--485, 21(12)993--999
PROTOSYNTHEX, 13(3)167--183
Protosynthex, 13(3)167--183
prototype, 13(3)167--183, 13(5)279--283, 13(8)495--500, 17(12)674--678, 18(10)580--588
prove, 19(5)273--279, 19(5)279--285, 19(7)385--394, 20(4)209--222, 20(7)504--513, 20(10)746--753, 21(2)159--172
proved, 13(4)211--215, 14(3)151--165, 14(7)453--460, 14(7)486--490, 15(6)462--464, 15(9)802--808, 17(1)14--17, 17(4)211--217, 17(12)696--698, 18(1)43--48, 18(7)377--389, 18(12)697--706, 18(12)722--728, 19(2)98--101, 19(5)243--250, 19(5)273--279, 20(1)2--12, 20(7)504--513, 20(11)806--811, 21(3)226--227
proven, 19(4)188--206
prover, 18(2)107--115, 22(3)184--192
Prover, Theorem-, 16(11)682--688
prover, theorem-, 22(3)184--192
provide, 13(4)216--222, 13(6)356--360, 13(6)377--387, 13(7)407--414, 13(11)669--675, 14(1)3--14, 14(2)74--78, 14(2)79--90, 14(7)479--485, 14(10)661--666, 14(12)780--790, 15(4)245--252, 16(2)69--82, 16(3)153--160, 16(3)169--179, 16(7)427--430, 16(7)435--438, 16(10)621--627, 17(2)78--82, 17(6)301--308, 17(6)337--345, 17(7)388--402, 17(7)403--412, 17(10)566--574, 17(11)638--642, 18(1)36--39, 18(2)107--115, 18(6)311--317, 18(8)464--471, 18(8)471--475, 18(10)557--567, 18(10)580--588, 18(11)639--650, 19(1)33--37, 19(4)182--187, 19(5)236--243, 19(5)279--285, 19(5)285--294, 19(6)327--334, 19(7)385--394, 19(7)404--406, 19(9)526--529, 20(1)36--44, 20(2)93--99, 20(7)469--477, 20(8)553--564, 20(8)564--576, 20(10)731--741, 20(12)906--913, 21(2)159--172, 21(4)294--299, 21(5)358--367, 21(6)459--465, 21(7)540--544, 21(10)857--865, 21(11)897--904, 22(1)10--20, 22(1)43--54, 22(3)147--166, 22(3)184--192, 22(4)233--245, 22(7)391--401, 22(9)526--531
provided, 13(6)339--346, 13(7)415--421, 14(2)74--78, 15(2)71--75, 15(3)135--143, 15(7)574--578, 15(10)859--866, 16(3)169--179, 16(5)314--322, 16(7)406--410, 18(8)459--462, 19(4)188--206, 19(5)251--265, 19(7)395--404, 19(10)547--554, 20(1)31--35, 20(4)230--245, 20(6)396--404, 20(6)421--431, 20(8)553--564, 20(12)914--920, 21(3)197--205, 21(5)376--385, 21(6)500--507, 21(11)897--904, 22(3)184--192
providing, 13(5)284--286, 13(7)407--414, 17(2)94--102, 17(5)251--264, 19(5)243--250, 20(12)906--913, 21(1)25--43, 21(5)368--375, 21(9)737--749, 21(9)777--785, 22(2)105--115, 22(6)341--345
providing, theorem-, 14(2)91--99
proving, 14(2)91--99, 14(3)151--165, 14(5)351--354, 15(6)462--464, 16(8)491--502, 16(11)682--688, 17(2)102--112, 17(4)211--217, 17(6)308--314, 18(2)107--115, 18(5)264--274, 18(12)717--721, 19(5)273--279, 19(5)279--285, 19(7)385--394, 20(4)209--222, 20(7)519--526, 20(12)921--930, 21(2)159--172, 21(5)368--375, 21(7)570--582, 21(7)583--585, 21(12)0--0, 21(12)1048--1064, 22(3)184--192, 22(7)424--436, 22(8)465--476
Proving, Theorem-, 17(6)308--314
proving, theorem-, 14(2)91--99, 14(3)151--165, 17(4)211--217, 17(6)308--314
provision, 17(5)251--264
proximity, 21(3)228--231
prudent, 17(12)674--678
pseudo, 15(6)421--426, 16(3)169--179, 17(8)445--449, 17(12)704--706
Pseudo-Random, 8(10)605--606, 15(12)1072--1073
pseudo-random, 17(12)704--706
pseudochaining, 21(7)554--557
pseudoinverse, 18(1)40--43
pseudoprime, 17(5)272--276
pseudorandom, 13(1)57--57, 15(4)231--244, 21(4)259--263
pseudotext, 14(1)3--14
pseudovirtual, 15(6)421--426
psychological, 16(5)275--281
psychology, 16(5)275--281, 20(4)230--245, 22(11)589--593
public, 17(9)495--503, 18(5)279--280, 21(2)120--126, 21(4)294--299, 21(12)993--999, 22(5)283--289, 22(12)648--654
Public-Key, 21(2)120--126
public-key, 21(12)993--999
publication, 15(7)491--497, 20(1)13--21, 21(1)63--72
publicly, 21(2)120--126, 35(10)83--91
published, 11(3)147--148, 13(8)475--481, 13(9)557--558, 14(2)99--102, 14(9)593--597, 16(5)287--290, 16(6)352--353, 16(9)532--539, 16(9)556--560, 18(10)557--567, 18(10)580--588, 18(11)621--628, 19(1)13--17, 19(11)624--633, 20(5)350--353, 20(8)564--576, 20(8)596--602, 20(11)795--798, 20(11)874--878, 21(2)139--143, 21(8)666--677, 21(11)958--966
pulse, 18(6)323--329, 19(12)688--695
punched, 13(1)56--56
purchase, 15(8)748--760
Purdom, Jr., Paul Walton, 15(8)777--778
Purdom:1972:AAI, 15(8)777--778
Purdue, 16(11)669--676, 19(7)369--370
Purdy, George B., 17(8)442--445
Purdy, J. G., 13(4)211--215
Purdy, J. G., see DeSalvio, A. J.
Purdy:1974:HSL, 17(8)442--445
pure, 18(12)676--683, 20(5)322--330, 21(5)411--418
purity, 20(10)725--730
purpose, 0(0)xii--644, 13(3)147--154, 13(8)495--500, 14(1)39--45, 14(1)46--47, 14(2)74--78, 14(9)589--592, 15(4)257--261, 15(7)693--694, 15(9)789--801, 15(12)1040--1044, 16(3)139--147, 16(5)282--286, 16(5)314--322, 16(5)323--329, 16(7)435--438, 16(8)491--502, 16(9)556--560, 17(3)143--152, 17(5)245--250, 17(5)251--264, 17(8)442--445, 17(12)699--702, 18(1)14--19, 18(4)223--230, 18(10)557--567, 18(11)651--656, 19(3)164--165, 19(5)251--265, 19(7)404--406, 20(3)143--153, 20(3)192--194, 20(5)347--350, 20(10)746--753, 20(10)754--761, 20(11)874--878, 20(12)936--944, 21(5)376--385, 21(7)586--591, 22(4)225--232, 22(4)245--251, 22(6)353--368
purpose, general-, 17(7)365--375, 19(12)655--669
purposely, 17(12)707--712
pushdown, 13(2)83--89, 13(5)297--307, 14(7)453--460, 16(11)669--676
pushing, 21(6)448--458
put, 17(12)699--702, 20(9)634--641
px, 20(6)434--439