Last update: Sat Jan 6 02:03:49 MST 2018
Return to index directory
P
-
P, 23(2)106--106, 23(2)160--160, 24(3)257--257, 25-4-422b-422, 31(4)296--303
-
p-compressed, 31(4)353--357
-
P-compression, 31(4)353--357
-
Pachl, J., 31(5)474--476
-
Pachl:1988:SNT, 31(5)474--476
-
Pack, Basic-, 25(3)396--396
-
package, 23(3)237--242, 25(1)84--86, 26(3)199--204, 27(4)348--353,
28(3)216--222, 28(3)343--348, 29(6)522--526, 30(3)258--267
-
packaged, 25(2)253--256
-
packet, 31(4)296--303
-
packing, 25(3)353--357
-
pad, 28(1)68--72
-
Pagan, F. G., 24(2)143--147
-
Pagan, Frank G., 25(1)63--67
-
Pagan:1981:SWS, 24(2)143--147
-
Pagan:1982:SSU, 25(1)63--67
-
page, 25(2)272--277, 27(3)238--245, 30(1)80--86, 30(4)362--371,
31(3)253--257
-
Page, I. P., 24(3)287--287, 24(4)339--342, 25(1)32--33, 27(1)18--26,
32(1)45--54
-
Page:1981:EAM, 24(4)339--342
-
Page:1981:SPS, 24(3)287--287
-
Page:1982:OFA, 25(1)32--33
-
Page:1984:ACP, 27(1)18--26
-
Page:1989:SME, 32(1)45--54
-
pair, 28(4)353--356, 32(3)228--237
-
pairwise, 26(4)354--359
-
Paker, Y., 25(1)87--92
-
Paker, Y., see Bozyigit, M.
-
Palatino, 26(4)312--319
-
Pallo, J., 31(6)564--565
-
Pallo, J. M., 29(2)171--175
-
Pallo:1986:ERU, 29(2)171--175
-
Pallo:1988:SNS, 31(6)564--565
-
Pandya, P., 29(5)390--395, 29(6)531--537
-
Pandya, P., see Joseph, M.
-
Pandya:1986:SDT, 29(6)531--537
-
panel, 25(1)116--120
-
Panzieri, F., 24(4)384--384--2, 24(4)384--384--4
-
Panzieri, F., see Newton, R. W.
-
Panzieri:1981:BR, 24(4)384--384--4
-
Papa-Konstantinou, G., 32(1)91--93
-
Papa-Konstantinou, G., see Sideri, M.
-
Papakonstantinou, G., 25(1)48--51, 25(2)239--241, 32(5)453--460
-
Papakonstantinou, G., see Skordalakis, E.,
see Tsanakas, P.
-
Papakonstantinou, George K., 29(3)241--245
-
Papakonstantinou:1982:OEQ, 25(2)239--241
-
Papakonstantinou:1986:KRA, 29(3)241--245
-
Papazoglou, M. P., 27(3)254--259
-
Papazoglou:1984:ACP, 27(3)254--259
-
paper, 23(1)33--33, 24(1)95--96, 25(4)471--477, 26(2)109--112,
26(3)235--238, 27(3)288--288--2, 27(4)368--372--1, 28(1)1--4,
28(2)104--104--2, 28(4)446--446--1, 29(3)201--211, 29(3)277--281,
29(4)289--299, 29(5)477--477--1, 31(5)457--464, 31(6)496--502,
32(2)98--107, 32(2)142--151, 32(2)152--161, 32(2)175--186,
32(5)422--431
-
paper-based, 32(6)494--504
-
papier, 31(6)525--530
-
Pappalardo, G. P., 32(5)437--444
-
Pappalardo, G. P., see Mancini, L. V.
-
par, 31(6)525--530
-
Para-Functional, 32(2)175--186
-
paradigm, 23(2)107--114, 25(1)12--16, 28(1)82--88, 30(1)8--15,
32(2)162--174
-
Parallel, Digital-, 32(2)175--186, 32(4)341--350
-
parallel-processing, 29(6)486--494
-
parallel-programming, 31(3)243--247
-
parallelism, 27(4)289--293, 28(2)142--147, 32(1)29--35
-
parameter, 23(1)85--89, 25(1)116--120, 27(1)84--85, 29(4)330--339,
30(5)437--450, 31(1)12--16, 32(4)305--311
-
parameter-passing, 30(5)437--450
-
parametric, 26(4)312--319, 29(6)538--544
-
parenthesis, 26(3)205--207
-
Parimala N., 26(4)329--335, 27(1)62--66
-
Parimala N., see Prakash, Naveen
-
Parimala, N., 27(3)209--217, 27(4)310--314, 32(1)55--62
-
Parimala, N., see Prakash, Naveen
-
Parimala:1984:NCN, 27(4)310--314
-
Parimala:1989:QFN, 32(1)55--62
-
ParimalaN:1984:CCA, 27(1)62--66
-
Parisi, V., 24(1)87--91
-
Parisi, V., see Incerti, S.
-
parity, 29(1)12--16
-
Parker, J., 30(6)558--564
-
Parker, J. R., 32(6)549--553
-
Parker, Lorraine M. Purgailis, 31(3)258--268
-
Parker, Lorraine M. Purgailis, see Dawson, Kathryn S.
-
Parker:1987:WT, 30(6)558--564
-
Parker:1989:CGC, 32(6)549--553
-
Parkin, A., 25(4)401--409
-
Parkin, J. E., 26(2)191--191, 26(2)191--191--1
-
Parkin:1982:DAS, 25(4)401--409
-
Parkin:1983:BRa, 26(2)191--191
-
Parkin:1983:BRb, 26(2)191--191--1
-
Parr, G. P., 31(4)296--303
-
Parr:1988:EAR, 31(4)296--303
-
Parrington, G. D., 32(4)323--332
-
Parrington, G. D., see Dixon, G. N.
-
parser, 26(1)15--24, 28(1)17--21, 29(2)151--160, 29(4)307--314,
29(5)460--466, 31(1)9--11, 32(2)108--121, 32(5)445--452
-
parsing, 25(3)331--337, 29(3)241--245, 29(4)307--314, 30(4)328--336,
32(1)91--93
-
part, 23(3)211--211, 23(4)298--306, 26(1)25--35, 26(4)375--380,
27(3)225--229, 27(4)362--367, 27(4)368--372--1, 27(4)375--376,
29(3)201--211, 32(2)142--151
-
partial, 23(1)37--40, 23(2)153--160, 24(1)83--84, 25(1)2--6,
28(3)319--329, 28(5)449--465, 30(3)268--275, 30(6)535--540,
31(2)147--154, 31(6)510--516
-
Partial-Match, 23(1)37--40
-
partially, 23(1)37--40, 30(4)378--380
-
participative, 27(3)283--283--2, 27(3)283--283--3, 29(3)222--228
-
particular, 30(5)437--450, 31(4)289--295, 32(2)98--107, 32(2)122--126,
32(2)162--174, 32(2)175--186
-
particularly, 31(4)296--303
-
partition, 23(2)187--187, 23(3)256--261, 23(4)332--337, 31(3)283--284,
32(3)281--282
-
partitioned, 26(3)218--223, 30(5)458--468
-
partitioning, 23(1)46--52, 26(4)320--328, 26(4)336--343, 30(4)308--315
-
parts., 27(4)368--372--1
-
PASCAL, 23(2)142--146, 25(2)248--252, 25(3)340--346, 26(2)164--174,
26(2)187--188, 30(4)355--361
-
Pascal, 24(2)112--117, 25(1)17--21, 25-1-160a-160, 25(2)176--182,
25(2)248--252, 25(3)289--306, 25(3)340--346, 25(4)496--496,
26(2)164--174, 26(2)187--188, 26(4)366--374, 27(4)348--353,
27(4)373--375, 28(2)134--137, 28(3)270--281, 28(4)391--397,
29(2)176--181, 29(3)246--252, 29(3)277--281, 29(5)423--429,
30(1)52--62, 30(3)277--281, 30(4)337--342, 30(4)355--361,
30(4)372--375, 31(1)1--8, 31(1)9--11, 31(6)553--556, 31(6)557--560,
32(2)152--161
-
Pascal-, 29(3)246--252
-
Pascal-S, 29(3)246--252
-
Pascalash, 25-1-160a-160
-
pass, 32(1)13--15
-
passed, 31(3)243--247
-
passing, 30(5)437--450, 32(1)29--35
-
passing, parameter-, 30(5)437--450
-
Password, 31(6)503--509
-
Password-Capability, 29(1)1--8
-
password-capability, 29(1)1--8
-
past, 24(4)320--323
-
patches, 28(4)433--438
-
path, 23(2)161--164, 23(2)188--189, 23(3)207--211, 27(2)178--179,
29(5)423--429, 29(6)553--563, 30(1)43--51, 30(1)77--79, 31(1)41--50,
32(1)24--28, 32(1)68--75, 32(3)194--201, 32(3)228--237
-
path;, access-, 31(1)41--50
-
path-oriented, 30(1)63--69
-
Patnaik, L. M., 29(2)118--126, 29(6)506--521, 30(6)487--497,
31(3)209--219
-
Patnaik, L. M., see Basu, Julie,
see Gopalakrishnan, M.,
see Iyer, K. Viswanathan
-
Patnaik:1986:TTI, 29(6)506--521
-
pattern, 23(1)46--52, 24(3)263--270, 25(1)37--44, 25(1)116--120,
25(1)130--134, 26(4)375--380, 27(4)362--367, 28(1)82--88,
28(3)264--269, 28(4)409--411, 28(5)538--542, 30(4)349--354,
30(5)420--424, 31(4)344--352, 32(2)122--126, 32(2)127--141,
32(4)351--361, 32(6)549--553
-
pattern-, 25(1)37--44
-
Paulson, Lawrence C., 28(5)474--479
-
Paulson, R. W., 23(2)123--123, 23(2)123--123--1
-
Paulson:1980:BR, 23(2)123--123--1
-
Paulson:1980:BRB, 23(2)123--123
-
Paulson:1985:LLL, 28(5)474--479
-
Payne, R. W., 27(2)179--184
-
Payne, R. W., see Henstridge, J. D.
-
payroll, 26(2)117--123
-
PB-105, 26(2)142--153
-
PDP-11, 23(2)164--164--1, 28(4)357--365
-
peak, 24(1)71--77, 29(5)390--395
-
Peano, 30(1)87--92, 32(6)563--566
-
Pedagogical, 30(3)239--248
-
peephole, 32(4)370--373
-
peg, 32(2)187--189
-
peg, 4-, 32(2)187--189
-
Pelagatti, G., 32(1)90--91
-
Pelagatti, G., see Negri, M.
-
pen, 32(6)549--553
-
penalty, 26(2)113--116, 32(2)142--151
-
Penny, J. P., 29(5)396--403
-
Penny:1986:DRM, 29(5)396--403
-
Peoples, 30(5)469--474
-
per, 27(4)368--372--1, 32(3)212--219
-
perceived, 23(4)377--380
-
perfect, 28(1)54--58, 29(3)277--281
-
perfectly, 25(1)158--158
-
performance, 24(2)132--138, 24(4)343--346, 24(4)347--352,
24(4)384--384--2, 25(1)74--83, 25(2)169--175, 25(2)188--192,
25(2)193--198, 25(2)227--230, 25(3)347--352, 25(4)486--492,
26(1)93--94, 26(2)113--116, 27(1)27--36, 27(2)143--150,
27(2)165--170, 27(3)201--208, 27(3)238--245, 27(3)270--275,
28(2)142--147, 28(2)179--183, 28(3)231--242, 28(3)309--312,
28(3)319--329, 28(3)330--334, 28(4)409--411, 28(4)426--432,
28(5)501--507, 29(1)47--51, 29(2)118--126, 29(4)289--299,
29(5)390--395, 29(5)396--403, 29(5)451--457, 30(4)289--294,
30(4)362--371, 30(6)519--528, 30(6)535--540, 31(1)12--16,
31(3)276--278, 31(4)304--312, 31(5)409--419, 31(5)437--444,
31(5)445--456, 31(6)490--495, 31(6)565--566, 32(1)16--20,
32(2)142--151, 32(2)152--161, 32(3)228--237, 32(3)252--261,
32(4)333--340, 32(5)437--444, 32(5)453--460
-
Performance;, Systems-, 32(4)370--373
-
performed, 23(2)142--146
-
periodic, 25(1)116--120
-
peripheral, 23(1)46--52, 24(1)62--70, 24(3)287--287, 28(4)357--365,
30(6)558--564, 31(5)457--464, 32(2)162--174
-
Perkins, 25(4)492--492
-
Perlog, 31(2)110--115
-
PERM, 26(1)92--92
-
permission, 31(5)474--476
-
permits, 30(5)437--450
-
permitting, 31(3)243--247
-
permutation, 23(2)187--187, 23(4)344--346, 24(2)173--176, 25(2)257--263,
25(4)423--428, 26(1)92--92, 26(2)97--105, 26(3)205--207,
27(2)176--177, 27(3)276--277, 27(4)373--375, 28(4)444--445,
30(3)282--282, 30(3)282--282--1, 30(5)433--436, 32(1)76--85,
32(4)362--369, 32(6)571--573
-
Perq, 29(5)416--422
-
Perros, H. G., 23(1)34--36
-
Perros:1980:RMP, 23(1)34--36
-
Perrott, R. H., 23(2)142--146, 28(3)340--342
-
Perrott, R. H., see Clint, M.
-
Perrott:1980:SEU, 23(2)142--146
-
persistence, 26(4)360--365, 31(2)110--115
-
persistent, 26(4)360--365, 31(2)99--109, 31(6)540--544, 32(4)323--332
-
personal, 23(1)2--2, 23(4)347--352, 23(4)353--359, 26(4)296--302,
27(1)3--7, 28(2)117--127, 30(3)254--257
-
perspective, 25-4-422b-422, 25(4)429--441, 26-4-383-d-383
-
Pertaining, 26(1)43--51
-
pessimistic., 29(3)201--211
-
Peter, 23(2)146--146--1
-
Peterson, M. M., 25(1)158--158
-
Peterson, M. M., see Frost, R. A.
-
petri, 25(1)129--129, 30(1)16--19, 32(1)1--12
-
Petrou, L., 30(6)529--534
-
Petrou, L., see Manolopoulos, Y.
-
Peyton, 32(2)175--186
-
Peyton Jones, Simon L., 32(2)175--186
-
PeytonJones:1989:PIF, 32(2)175--186
-
Pflug, G. Ch., 27(4)328--333
-
Pflug:1984:DMA, 27(4)328--333
-
phase, nontwo-, 27(1)86--87
-
phases, 32(2)127--141
-
Phenomenon, 23(2)114--114--1
-
Phillips, R., 31(5)437--444
-
Phillips, R., see Morris, D.
-
Phillips, W. J., 32(3)212--219
-
Phillips, W. J., see Shepherd, M. A.
-
Phillpotts, G., 27(1)90--90--1
-
Phillpotts:1984:C, 27(1)90--90--1
-
philosophy, 28(3)195--199, 29(1)83--89
-
physical, 25(1)126--129, 25(3)368--374, 28(3)330--334, 28(4)391--397,
28(4)398--405, 31(5)437--444, 31(5)465--473, 32(4)362--369
-
physically, 31(6)496--502
-
physics, 30(2)110--118, 30(5)420--424
-
pictorial, 26(2)188--188, 31(3)258--268
-
picture, 23(3)262--269, 24(3)257--257, 25(2)231--234, 25(2)235--238,
25(4)429--441, 26(1)83--91, 26(4)375--380, 27(3)225--229,
28(1)68--72, 28(1)73--77, 30(2)176--182, 30(5)425--432,
32(4)351--361, 32(6)554--562, 32(6)563--566
-
picture, shaded-, 24(3)287--287
-
piece, 25(3)353--357, 31(4)296--303, 32(6)567--570
-
Piessens, Robert, 25(2)278--282--1
-
Piessens:1982:AIL, 25(2)278--282--1
-
Pike, J., 24(3)256--257, 24(4)324--330
-
Pike, J., see Butler, G. F.
-
Pike:1981:TCU, 24(4)324--330
-
Pintelas, P. E., 23(3)237--242
-
Pintelas, P. E., see Garside, G. R.
-
pipeline, 28(2)138--141, 31(6)490--495, 31(6)567--569
-
Pipeline, Double-, 31(6)567--569
-
pipeline, Double-, 31(6)567--569
-
pipelined, 28(2)138--141, 32(4)362--369
-
pipelining, 32(4)362--369
-
pis, 24(1)95--95
-
Pitman, N. M., 29(2)127--134
-
Pitman:1986:BSS, 29(2)127--134
-
Pitteway, M. L. V., 25(1)114--115, 29(6)574--574, 30(2)168--175
-
Pitteway, M. L. V., see Castle, C. M. A.,
see Castle, C. M.
-
Pitteway:1982:BAR, 25(1)114--115
-
pixel, 26(2)188--188, 30(4)355--361
-
PL1, 25(2)242--247
-
PL/1, 23(2)146--146--1
-
placement, 25(1)32--33, 25(2)272--277, 27(1)18--26, 27(4)315--320,
28(3)291--297, 31(4)344--352
-
placing, 31(3)243--247
-
plagiarism, 31(1)1--8
-
planar, 27(2)165--170, 28(1)78--81, 31(6)567--569
-
planning, 23(2)98--106, 30(6)481--484, 32(6)533--540
-
plasma, 25(1)116--120
-
playback, 31(5)437--444
-
playing, 23(4)347--352
-
plotter, 23(1)46--52, 24(3)287--287, 25(1)114--115, 25(1)116--120,
32(6)549--553
-
plotting, 32(6)549--553
-
Plouzeau, N., 31(4)289--295
-
Plouzeau, N., see Hélary, J.-M.
-
Plummer, R. G., 32(5)445--452
-
Plummer, R. G., see Heuring, V. P.
-
PMS, 28(4)357--365
-
point, 23(2)189--189, 23(2)190--190, 24(1)52--55, 24(1)94--95,
25(1)7--11, 25(1)126--129, 25(2)231--234, 25(4)471--477,
27(1)18--26, 29(1)76--82, 32(2)175--186, 32(5)432--436
-
point, fixed-, 26(2)187--188
-
Point, Floating-, 31(1)12--16
-
point, floating-, 25(4)471--477, 31(1)12--16
-
point;, floating-, 25(4)471--477
-
point, Point-to-, 32(1)29--35
-
point, point-to-, 32(1)29--35
-
Point-in-Polygon, 27(4)375--376
-
point-in-polygon, 27(4)375--376
-
point-to-point, 32(1)29--35
-
pointer, 25(3)289--306, 25(3)327--330, 26(2)188--188, 31(3)269--275
-
pointer, multi-, 31(4)330--335
-
pointer, three-, 31(4)330--335
-
Poisson, 29(2)167--170
-
polarity, 31(5)457--464
-
policy, 25(1)32--33, 27(2)187--187, 27(3)193--200
-
Polish, 24(3)288--288
-
politics, 27(3)193--200
-
polygon, 23(2)189--189, 24(1)94--95, 30(1)87--92, 31(2)141--146,
32(6)554--562
-
Polygon, Point-in-, 27(4)375--376
-
polygon, point-in-, 27(4)375--376
-
polygonal, 31(2)141--146, 32(6)549--553
-
polyhedral, 31(1)56--60
-
polymorphic, 27(1)47--56, 29(6)538--544
-
polymorphism, 29(6)538--544
-
polynomial, 23(2)187--187--1, 24(1)85--86, 29(2)103--108, 32(5)474--476
-
polynomial-erasing, 31(4)325--329
-
polynomial-time, 29(2)103--108
-
polyphase, 25(1)93--101
-
Polytechnic, 29(4)348--360, 30(6)485--486
-
polytope, 24(2)167--172
-
Pong, L., 32(1)1--12
-
Pong, L., see Tse, T. H.
-
Pooch, U. W., 24(2)132--138, 32(6)541--548
-
Pooch, U. W., see Graybeal, W. T.,
see Umphress, D. A.
-
Pooch, Udo W., 24(2)139--142
-
Pooch, Udo W., see Lucido, Tony P.
-
poor, 32(2)142--151, 32(2)152--161
-
population, 28(3)309--312, 31(4)344--352
-
port, 24(1)78--82, 30(6)487--497
-
portability, 23(2)160--160, 25(3)375--378, 28(4)391--397, 31(5)437--444
-
portable, 25(3)375--378
-
Porting, 23(3)287--288
-
portion, 24(2)143--147
-
Pose, R. D., 29(1)1--8
-
Pose, R. D., see Anderson, M.
-
positioning, 24(4)339--342
-
positive, 29(2)171--175
-
positivist, realist-, 30(1)8--15
-
possible, 24(1)3--8, 25(1)32--33, 25(2)286--286--2, 32(2)152--161
-
Possible, Worst-, 31(3)276--278
-
possible, worst-, 31(3)276--278
-
post-implementation, 28(2)97--104
-
postage, 32(4)374--376
-
postfix, 24(3)288--288, 25(3)316--326
-
postorder, 27(2)178--179
-
potato, 25(1)87--92
-
Potter, C., 24(3)199--199, 25-1-83a-83
-
Potter:1981:BR, 24(3)199--199
-
Potter:1982:FSA, 25-1-83a-83
-
pour, 31(6)525--530
-
power, 29(2)103--108, 32(2)142--151
-
powerful, 32(2)122--126
-
PPLAMBDA, 28(5)474--479
-
Practical, 25(2)188--192, 25-3-337c-337, 25(4)401--409, 25(4)410--422,
28(1)54--58, 29(1)20--23
-
practice, 24(1)95--95--2, 25(1)93--101, 25-3-400-d-400, 26-4-382b-382,
28(3)206--210, 31(5)398--408
-
pragmas, 30(5)437--450
-
pragmatic, 28(2)112--116, 32(2)127--141
-
Prakash, N., 32(1)55--62
-
Prakash, N., see Parimala, N.
-
Prakash, Naveen, 24(1)48--51, 26(4)329--335, 27(1)62--66, 27(3)209--217,
27(4)310--314
-
Prakash, Naveen, see Parimala N.,
see Parimala, N.
-
Prakash:1981:SDB, 24(1)48--51
-
Prakash:1983:DDF, 26(4)329--335
-
Prakash:1984:SIC, 27(3)209--217
-
Pramanik, S., 29(5)451--457
-
Pramanik, Sakti, 28(3)264--269
-
Pramanik:1985:HPM, 28(3)264--269
-
Pramanik:1986:IDM, 29(5)451--457
-
Prather, R. E., 31(3)248--252
-
Prather, Ronald E., 24(3)258--262, 27(4)340--347
-
Prather:1981:DFS, 24(3)258--262, 25(3)393--396
-
Prather:1984:ATS, 27(4)340--347
-
Prather:1988:CET, 31(3)248--252
-
pre-, 30(2)157--162
-
precedence, 25(3)397--398, 28(4)366--371
-
preceding, 32(1)16--20
-
PRECI, 23(3)201--206, 25(4)486--492, 28(3)282--290, 28(3)291--297,
29(3)261--268, 30(2)157--162, 31(2)175--181
-
{PRECI}*, 30(2)157--162
-
PRECI*, 30(2)157--162
-
Preci, 24(3)200--209
-
PRECI/H, 28(3)291--297
-
precisely, 32(2)142--151
-
precision, 28(3)343--348, 31(1)12--16
-
precision-dependent, 31(1)12--16
-
precompilation, 30(6)519--528
-
preconceived, 28(3)203--205
-
precondition, 30(6)512--518
-
predicate, 30(2)183--188, 30(5)393--403
-
predicting, 23(1)34--36
-
prediction, 23(1)78--84, 27(3)238--245
-
predictor, 23(2)186--186
-
predictor-corrector, 23(2)186--186, 23(4)382--382, 23(4)383--383
-
Premature, 24(1)95--95--1
-
preorder, 27(2)178--179
-
preparation, 24(1)62--70, 25(3)375--378, 29(3)193--200, 32(6)494--504
-
preprocessing, 24(1)62--70
-
prescribed, 26(2)184--186
-
present, 24(4)320--323, 27(4)368--372--1, 32(2)127--141, 32(2)162--174
-
presentation, 30(6)485--486, 31(5)457--464
-
presented, 31(4)289--295, 31(4)296--303, 32(5)453--460
-
prevention, 30(1)20--26
-
preview, 25(2)272--277
-
previous, 31(6)496--502
-
price, 27(1)8--17, 31(3)276--278
-
pricing, 24(1)71--77, 27(1)8--17
-
primary, 23(3)207--211, 25(4)478--485, 27(3)218--224, 28(3)291--297,
28(4)398--405, 28(5)518--523, 32(6)494--504
-
prime, 23(1)73--77, 29(5)396--403, 31(1)56--60
-
prime-number, 25(2)176--182
-
Primer, 25-3-400c-400
-
primitive, 25(1)121--125, 25(4)448--464, 26(2)134--141, 28(3)203--205,
29(2)109--117, 29(2)182--186, 32(3)267--272
-
principle, 24(3)210--221, 25(1)17--21, 25-3-400-d-400, 28(1)34--43,
28(4)433--438, 29(1)20--23, 29(6)481--485, 30(5)386--392,
32(2)127--141, 32(4)374--376, 32(5)461--469
-
PRINCIPLES, 27(2)97--111
-
Pringle, Alison M., 24(4)320--323
-
Pringle:1981:JFH, 24(4)320--323
-
printable, non-, 29(3)277--281
-
printed, 25(2)272--277, 32(4)351--361
-
printers., 24(4)320--323
-
priori, 28(1)5--8, 31(4)289--295
-
priority, 25(1)34--36, 25(4)429--441, 28(3)264--269, 30(6)487--497,
30(6)498--506, 31(3)209--219, 32(1)24--28
-
prism, 30(3)214--222
-
private, 27(3)254--259
-
privilege, 30(3)249--253
-
Prize, 24(1)1--1
-
probabilistic, 31(3)248--252, 31(4)330--335
-
probability, 23(4)290--297, 25(1)2--6, 25(2)239--241, 27(1)18--26,
27(1)27--36, 29(4)373--377, 29(4)380--380, 29(6)481--485,
30(1)16--19, 30(2)149--156, 30(4)372--375, 30(6)529--534,
30(6)541--550, 32(3)246--251
-
Probability--Queueing, 32(1)45--54
-
Probability--Random, 32(1)16--20
-
probe, 25(3)347--352, 28(3)313--318
-
probing, 25(3)347--352
-
problem-oriented, 27(3)254--259, 31(6)531--539, 32(5)453--460
-
Problem-Solving, 29(2)161--166
-
problem-solving, 29(2)161--166, 29(3)235--240
-
problem-space, 30(3)223--227
-
problème, 31(6)525--530
-
procedural, 23(2)132--141, 27(1)47--56, 28(1)17--21, 30(5)437--450,
31(3)243--247, 32(1)36--44
-
procedure, 23(2)107--114, 23(2)115--123, 23(2)142--146, 23(2)187--187--1,
23(3)212--222, 23(3)230--232, 23(3)233--236, 23(4)382--383,
24(1)29--30, 25(2)199--206, 25(2)207--217, 25(3)331--337,
26(4)354--359, 29(6)531--537, 30(5)451--457, 30(5)458--468,
31(1)12--16, 31(1)51--55, 31(1)65--70, 31(2)110--115
-
process, 23(2)147--152, 24(1)78--82, 25(1)7--11, 25(1)34--36,
25(1)44--44, 25(1)116--120, 25(2)231--234, 25-3-396b-396,
26(1)10--14, 26(2)113--116, 26(2)134--141, 26(3)277--281,
26(4)381--381, 27(1)18--26, 27(4)328--333, 28(1)73--77,
28(4)409--411, 29(2)109--117, 29(4)373--377, 29(4)380--380,
29(5)396--403, 29(5)423--429, 29(6)500--505, 29(6)506--521,
30(1)20--26, 30(1)52--62, 30(2)149--156, 30(3)201--213,
30(4)372--375, 30(5)393--403, 30(6)487--497, 30(6)498--506,
30(6)541--550, 31(3)201--208, 31(3)248--252, 31(4)289--295,
31(4)296--303, 31(5)426--430, 32(1)16--20, 32(1)24--28, 32(1)45--54,
32(2)162--174
-
processable, 23(1)66--72
-
PROCESSING, 27(2)97--111
-
processing;, parallel-, 29(6)486--494
-
Processing, Transaction-, 25(1)74--83
-
processing, transaction-, 25(1)74--83, 30(6)519--528
-
processing, Word-, 31(5)437--444
-
Processing--Data, 31(6)490--495, 31(6)531--539, 32(2)98--107,
32(4)305--311
-
processing--data, 31(5)437--444
-
Processing--File, 31(6)565--566
-
processor, 23(2)147--152, 24(1)14--16, 24(1)62--70, 25(1)22--31,
25(4)423--428, 27(4)348--353, 28(1)29--33, 28(1)34--43,
28(2)148--153, 28(3)243--249, 28(4)357--365, 29(1)12--16,
29(4)289--299, 29(5)390--395, 29(6)486--494, 30(2)119--127,
30(3)214--222, 30(5)386--392, 30(5)393--403, 30(5)404--412,
30(5)413--419, 30(5)420--424, 30(5)433--436, 30(5)437--450,
31(1)12--16, 31(6)517--524, 31(6)540--544, 31(6)545--549,
32(1)29--35, 32(1)91--93, 32(2)127--141, 32(2)142--151,
32(2)152--161, 32(2)175--186, 32(3)194--201, 32(3)276--280,
32(5)422--431, 32(5)437--444, 32(5)445--452, 32(6)571--573
-
processor, four-, 30(2)119--127
-
processor, multi-, 25(1)22--31
-
processor-array, 30(5)420--424
-
Proctor, C., 29(4)340--347
-
Proctor, C., see Young, S. J.
-
produce, 24(4)320--323, 26(3)235--238, 32(2)152--161
-
producing, 32(5)445--452
-
product, 31(5)426--430, 31(5)431--436, 31(6)565--566, 31(6)567--569
-
production, 26(1)1--5, 28(2)112--116, 28(4)366--371, 30(2)168--175,
32(2)108--121, 32(6)482--493
-
productivity, 24(3)230--234, 27(1)37--41
-
professional, 24(4)320--323
-
profile, 27(1)72--79
-
profitability, 27(1)8--17
-
Program, Systems-, 31(6)540--544, 31(6)545--549
-
program-generator, 31(4)364--375
-
programmable, 27(3)254--259, 30(6)558--564
-
programmation, 31(6)525--530
-
programme, 25(2)161--168
-
programmed, 25(4)492--492, 30(4)337--342
-
programmer, 26(2)154--163, 26(2)175--183, 27(1)37--41, 27(4)354--361,
30(1)52--62, 30(5)437--450, 31(3)243--247, 32(2)175--186
-
Programmer-Defined, 26(2)175--183
-
PROGRAMMING, 27(2)97--111
-
Programming, Metatheory-, 31(6)517--524, 32(2)122--126,
32(4)290--296, 32(4)305--311, 32(4)323--332
-
programming, parallel-, 31(3)243--247
-
Programming--Algorithms, 31(6)553--556, 31(6)561--563, 31(6)570--572,
32(1)36--44, 32(1)45--54, 32(1)68--75, 32(1)91--93
-
programming--algorithms, 31(5)474--476
-
programming--human, 31(5)391--397
-
Programming--Multiprogramming, 32(4)297--304
-
Programming--Sorting, 31(6)557--560
-
Programming-Models, 26-4-381c-381
-
progress, 32(2)152--161
-
progression, 26(2)154--163
-
project, 26(3)247--254, 28(3)291--297, 28(5)474--479, 29(2)151--160,
29(3)201--211, 29(3)246--252, 29(6)527--530, 30(1)63--69,
30(5)469--474, 31(5)391--397, 32(2)152--161, 32(5)386--398
-
projections, 31(2)147--154, 32(4)290--296
-
PROLOG, 29(1)17--19, 29(3)246--252, 30(2)183--188, 30(5)393--403,
31(2)110--115, 31(2)133--140
-
Prolog, 28(2)134--137, 28(5)487--495, 29(1)9--11, 29(1)17--19,
29(3)246--252, 29(6)545--552, 30(2)183--188, 30(5)393--403,
31(2)110--115, 31(2)133--140
-
{Prolog}-Based, 29(3)246--252
-
prolonged, 32(1)68--75
-
proof, 27(3)230--232, 28(5)474--479, 29(1)17--19, 29(5)404--415,
29(6)531--537, 30(4)376--378, 30(6)507--511, 31(4)289--295,
32(2)122--126
-
propagation, 25(1)22--31, 28(2)105--110, 28(3)250--256, 28(5)466--473,
32(4)362--369
-
property, 25(4)471--477, 28(3)298--308, 28(4)406--408, 28(4)439--443,
29(5)404--415, 30(1)27--36, 31(1)25--33, 31(4)325--329,
31(6)564--565, 32(2)122--126, 32(5)437--444, 32(5)445--452
-
proposal, 23(4)380--381, 26(4)366--374, 29(4)289--299, 32(4)305--311
-
propose, 30(5)437--450, 31(3)243--247
-
proposed, 25(4)471--477, 26(1)60--67, 27(4)368--372--1, 29(4)289--299,
30(5)437--450, 32(2)162--174, 32(5)461--469
-
propositional, 28(2)105--110, 31(6)510--516
-
Prosser, C. J., 26(2)187--187, 26(2)187--188
-
Prosser:1983:NCS, 26(2)187--188
-
Prosser:1983:SNN, 26(2)187--187
-
protect, 29(4)289--299
-
protection, 24(2)118--124, 27(1)3--7, 27(1)47--56, 29(4)289--299,
30(3)249--253, 31(1)25--33
-
protein, 30(5)420--424
-
protocol, 25(1)22--31, 27(1)86--87, 29(4)289--299, 31(4)289--295,
31(4)296--303, 31(5)474--476, 31(6)496--502, 32(3)252--261,
32(3)267--272, 32(4)362--369, 32(5)437--444
-
prototype, 24(2)107--111, 26(1)36--42, 28(1)1--4, 30(2)157--162,
30(6)481--484
-
prototyping, 30(6)481--484, 31(5)420--425, 32(6)541--548
-
Provers;, Theorem-, 31(6)510--516
-
provers, theorem-, 28(5)474--479, 31(6)510--516
-
provers;, theorem-, 31(6)510--516
-
provided., 31(4)289--295
-
proving, 27(3)230--232, 28(2)105--110, 28(5)474--479, 31(1)51--55,
31(6)510--516, 32(5)437--444
-
provision, 31(3)243--247
-
Prowse, P., 23(1)9--12
-
Prowse, P. H., 23(1)22--25, 23(2)152--152
-
Prowse, Peter H., 23(2)152--152--1
-
Prowse, Peter H., see Vallance, D. M.
-
Prowse, R. W., 23(2)190--190--1
-
Prowse:1980:BRa, 23(2)152--152
-
Prowse:1980:BRb, 23(2)190--190--1
-
Prowse:1980:DBA, 23(1)9--12
-
Prowse:1980:NLD, 23(1)22--25
-
proximity, 26(4)354--359, 28(1)82--88
-
pruning, 32(6)567--570
-
PS-Algol, 29(1)38--46, 31(6)540--544
-
PS-algol, 26(4)360--365, 31(6)540--544
-
pseudo-data, 31(3)243--247
-
pseudo-random, 25(1)158--158
-
PSM, 27(3)254--259
-
Psort, 30(4)362--371
-
psychology, 31(3)248--252, 31(5)445--456
-
public, 25(2)161--168, 25-3-396a-396
-
Publication, 32(6)482--493
-
publications, 29(3)193--200
-
published, 26(4)360--365, 32(1)93--94
-
publisher, 23(1)53--60
-
publishing, 25(1)61--62, 25(2)161--168, 26(3)247--254, 28(1)1--4,
29(3)193--200, 32(6)481--481, 32(6)482--493, 32(6)494--504,
32(6)505--514, 32(6)516--523, 32(6)524--532
-
puisse, 31(6)525--530
-
Pullinger, D. J., 26(3)247--254, 28(1)1--4
-
Pullinger, D. J., see Maude, T. I.,
see Shackel, B.
-
purely, 32(2)127--141
-
purpose, 22(2)105--109, 23(1)94--94, 23(2)189--190, 23(3)288--288,
25(2)286--286--1, 25-4-495a-495, 28(3)343--348, 29(3)201--211,
29(5)451--457, 30(4)337--342, 31(6)490--495
-
purpose, general-, 28(3)270--281, 31(3)243--247
-
purpose;, general-, 25(2)176--182
-
purpose;, special-, 25(1)121--125
-
puzzle, 26(4)296--302, 29(2)187--188, 30(2)183--188, 32(3)276--280