Last update: Thu Mar 11 02:01:04 MST 2021
Return to index directory
P
-
p-adic, 36(5)419--426
-
Paakki, J., 34(1)64--72
-
Paakki, Jukka, 39(7)577--597
-
Paakki:1991:PPC, 34(1)64--72
-
Paakki:1996:AHS, 39(7)577--597
-
package, 33(3)194--203, 33(4)337--343, 36(5)497--503, 39(5)361--373
-
packet, 34(6)493--502, 36(1)55--67
-
Packetized, 36(1)55--67
-
Padawitz, P., 34(1)42--51
-
Padawitz:1991:RNH, 34(1)42--51
-
Padget, J., 34(4)311--319
-
Padget, Julian, 36(8)723--733
-
Padget, Julian, see Berrington, Neil
-
Padget:1991:COO, 34(4)311--319
-
page, 34(5)428--437, 42(6)534--546
-
paged, 35(4)369--375
-
Pagli, L., 35(5)524--526
-
Pagli, L., see Bertossi, A. A.
-
Paige, Richard F., 42(2)82--99
-
Paige, Tompkins-, 34(6)569--570
-
Paige:1999:IPD, 42(2)82--99
-
painting, 39(6)541--546
-
pair, 33(2)140--146, 38(10)818--821, 39(6)541--546
-
pair, max-, 34(5)423--427
-
pair, Min-max-, 34(5)423--427
-
pairwise, 39(6)483--495
-
Paker, Y., 34(6)493--502
-
Paker, Y., see Son, N. T.
-
Palansuriya, C. J., 41(1)57--63
-
Palansuriya, C. J., see Ierotheou, C.
-
Palmer, S. W., 33(2)188--188
-
Palmer:1990:C, 33(2)188--188
-
PAM, 38(6)457--470
-
Pan, Si, 39(3)184--202, 39(3)203--214
-
Pan, Y., 33(4)323--329
-
Pan, Yi, 39(2)140--144, 40(7)435--440
-
Pan:1990:SCB, 33(4)323--329
-
Pan:1996:FBR, 39(3)203--214
-
Pan:1996:REL, 39(3)184--202
-
Pan:1996:SDM, 39(2)140--144
-
Pan:1997:SEA, 40(7)435--440
-
Panagopoulou, G., 38(3)227--235
-
Panagopoulou, G., see Kapelios, V.
-
Pandora, 33(6)482--493
-
panels, 39(7)561--565
-
Pang, Chung-Leung, 42(8)674--692
-
Pang, Chung-Leung, see Lam, Kam-Yiu
-
Panholzer, Alois, 41(3)201--204
-
Panholzer:1998:TMP, 41(3)201--204
-
Papakonstantinou, George, 39(5)439--448
-
Papakonstantinou, George, see Koziris, Nectarios
-
Papamichail, G., 38(3)227--235
-
Papamichail, G., see Kapelios, V.
-
paper, 34(6)571--572, 35(1)93--93, 35(2)170--176, 35(2)188--188,
35(3)311--312, 35(4)369--375, 35(4)412--413, 35(5)467--467,
35(5)538--538, 35(6)554a_554, 35(6)669--670, 36(2)195--199,
39(6)547--554, 42(4)323--326, 42(4)327--329, 42(4)338--339
-
paradigm, 35(2)157--169, 35(6)555--566, 36(2)137--142, 37(6)531--541,
37(10)888--906, 38(4)301--309, 38(5)365--380, 38(10)777--784,
38(10)785--800
-
Parallel, AND-, 33(3)215--218
-
parallel, AND-, 33(3)215--218
-
parallel, And-, 33(6)482--493
-
parallel, and-, 33(6)482--493
-
parallel, data-, 36(3)238--245
-
parallel, Or-, 33(6)482--493
-
parallel, or-, 33(6)482--493
-
parallelising, 39(1)52--92, 39(5)439--448
-
parallelism, 33(3)219--229, 33(6)518--534, 34(1)52--63, 34(4)290--301,
35(6)555--566, 36(8)712--722, 36(8)741--755, 36(8)763--777,
37(4)289--307, 38(5)365--380, 38(6)457--470, 39(1)52--92,
40(6)311--321, 40(6)340--355
-
parallelism, AND-, 34(1)52--63
-
parallelism, OR-, 34(1)52--63
-
parallelization, 36(8)702--711, 39(5)439--448, 40(6)301--301,
40(6)322--339
-
parallelizing, 36(8)712--722, 39(5)439--448
-
parameter, 33(2)133--139, 33(5)412--416, 33(5)473--475, 35(1)81--87,
35(3)243--255, 35(5)514--523, 38(10)755--764, 39(8)647--662,
42(1)11--23
-
parameterised, 35(5)z--z
-
parametric, 38(6)479--488
-
Parametrized, 40(6)340--355
-
Parberry, Ian, 37(6)556a_557
-
Parberry:1994:LPC, 37(6)556a_557
-
Pareschi, Remo, 42(7)582--591
-
Pareschi, Remo, see Fontana, Francesca Arcelli
-
Parhami, B., 35(4)405--409
-
Parhami, Behrooz, 39(3)241--250, 39(8)692--700, 41(1)52--56
-
Parhami, Behrooz, see Kwai, Ding-Ming
-
Parhami:1992:SNR, 35(4)405--409
-
Parhami:1996:EVS, 39(3)241--250
-
Parhami:1996:PTV, 39(8)692--700
-
Park, J. Won, 33(4)382--382
-
Park:1990:C, 33(4)382--382
-
Parkin, G. I., 36(3)292--292
-
Parkin:1993:BR, 36(3)292--292
-
Parlog, 33(6)482--493, 35(2)157--169, 37(5)407--421
-
Parlog++, 33(6)482--493
-
parser, 33(6)547--555
-
Parsing, 35(3)278--278
-
Part, 35(5)460--467, 35(5)468--477
-
partial, 33(1)19--30, 33(3)247--251, 35(3)278--278, 35(3)299--305,
35(4)390--394, 36(5)497--503, 37(8)711--714, 38(5)355--364,
39(2)114--123, 39(4)346--352
-
Partial-Match, 34(5)415--422
-
partial-match, 34(5)415--422
-
Partiality, 40(10)640--651
-
partially, 33(1)79--89, 37(8)711--714, 38(1)31--42
-
partially-replicated, 33(1)61--70
-
participative, 33(6)556--561
-
particular, 35(6)555--566, 36(2)195--199
-
partition, 37(7)641--643, 39(5)439--448, 39(7)619--625
-
Partition, Multi-, 40(1)30--42
-
partitioned, 34(6)z--z
-
partitioning, 33(6)501--507, 34(6)z--z, 36(6)542--553, 37(7)641--643,
37(10)873--887, 38(3)237--244, 38(6)479--488, 40(6)302--310,
40(7)416--434, 42(1)39--50
-
partly, 35(5)501--513
-
Partsch, H. A., 35(6)547--554
-
Partsch, H. A., see Boiten, E. A.
-
party, Two-, 37(4)243--258
-
party, two-, 37(4)243--258
-
Pas, 33(2)164--172
-
Pascal, 33(2)147--154, 34(1)64--72, 35(3)255--255, 37(5)399--406
-
Pascal-FC, 33(2)147--154
-
Paschos, V. T. H., 35(5)z--99999999
-
Paschos:1992:EEC, 35(5)z--99999999
-
pass, Single-, 37(5)399--406
-
pass, single-, 37(5)399--406
-
passage, 35(3)291--298
-
passing, 34(6)z--z, 35(5)514--523, 36(8)763--777, 39(5)417--426
-
passing, message-, 38(8)658--669
-
passive, 39(5)361--373
-
passphrases, 36(3)227--237
-
passport, 35(1)21--29
-
password, 36(3)227--237
-
path, 33(5)408--411, 33(6)547--555, 34(4)350--357, 34(4)358--362,
34(5)444--449, 34(6)493--502, 34(6)551--558, 35(1)71--80,
35(4)361--368, 36(5)504--514, 36(5)515--524, 36(6)588--592,
36(7)668--678, 39(1)14--19, 39(2)133--139, 39(7)626--629,
42(7)609--612
-
Path, Shortest-, 36(6)588--592
-
path, Shortest-, 36(6)588--592
-
path, shortest-, 36(6)588--592
-
pathological, 38(5)381--399
-
pathwidth, 37(5)449--462
-
Patnaik, L. M., 33(2)185--187, 38(3)207--216, 40(6)301--301
-
Patnaik, L. M., see Govindarajan, R.,
see Kumar, M. J., \see{Kumar, M.,
see Kumar, Mohan
-
Paton, N. W., 33(6)547--555
-
Paton:1990:OED, 33(6)547--555
-
Patrick, D. G., 40(1)12--21
-
Patrick:1997:OCB, 40(1)12--21
-
PAT/sub, 36(5)400--408
-
pattern, 33(2)133--139, 33(5)417--423, 33(5)424--428, 33(6)518--534,
34(4)377--379, 34(6)z--z, 36(2)195--199, 36(6)542--553,
37(5)367--376, 37(5)385--398, 38(5)381--399, 38(6)471--478,
39(3)241--250, 39(5)413--416, 40(2)146--156
-
pattern-, 33(2)164--172
-
Pattern-Matching, 36(2)195--199
-
pattern-matching, 33(2)133--139, 33(6)518--534, 36(2)195--199
-
Pattern-oriented, 33(2)164--172
-
Patterson, J. W., 37(10)829--839
-
Patterson:1994:CAA, 37(10)829--839
-
Patton, J. M., 42(1)11--23
-
Patton, J. M., see Kocberber, S.
-
Paul, W. J., 36(8)756--762
-
Paul, W. J., see Abolhassan, F.
-
Paulson, L., 35(2)156--156
-
Paulson, L. C., 35(5)491--491, 41(6)425--425
-
Paulson:1992:FPH, 35(5)491--491
-
Paulson:1992:LF, 35(2)156--156
-
Paulson:1998:BR, 41(6)425--425
-
Pavey, D. J., 36(7)654--667
-
Pavey:1993:DES, 36(7)654--667
-
PC, IBM-, 33(5)444--452
-
PC, MONADS-, 35(4)369--375
-
PCTE, 35(5)z--99999999
-
pebble-crunching, 33(3)204--214
-
peg, Three-, 37(5)463--464
-
peg, three-, 37(5)463--464
-
Peled, D., 38(3)260--261
-
Peled:1995:TLM, 38(3)260--261
-
Pemberton, Jonathan D., 36(4)335--342
-
Pemberton:1993:EMI, 36(4)335--342
-
Penalty, 40(4)208--219
-
Peng, Shietung, 39(1)14--19, 39(7)626--629, 39(8)713--722
-
Peng, Shietung, see Gu, Qian-Ping
-
Peng:1996:APD, 39(8)713--722
-
pense, 33(2)164--172
-
people, 34(2)113--121, 34(6)514--521, 35(5)424--430
-
PEPA, 38(7)542--551, 38(7)622--632
-
per, 38(9)717--733
-
Percival, Terry, 42(6)487--500
-
Percival, Terry, see Zhou, Sihui
-
perfect, 34(5)469--474, 35(1)45--51, 36(6)579--587, 39(6)547--554
-
perfect, Quasi-, 41(6)416--421
-
Perfectly, 35(6)660--662
-
Performability, 39(8)647--662
-
performance, High-, 36(8)741--755
-
Performance-Based, 35(1)62--70
-
Pericleous, K. A., 41(1)57--63
-
Pericleous, K. A., see Ierotheou, C.
-
period, 35(4)405--409
-
periodic, 34(1)80--87, 37(5)367--376, 38(3)245--252, 38(6)457--470,
38(9)717--733
-
peripheral, 37(3)188--198
-
permutation, 33(3)252--260, 33(3)274--278, 33(4)365--367, 33(4)368--374,
34(1)88--91, 34(6)569--570, 35(4)395--404, 37(5)429--436,
40(5)292--295
-
permutation-based, 38(3)217--226
-
Perrott, R., 34(4)377--379, 37(2)147--147
-
Perrott, R., see Stewart, A.
-
Perrott:1994:BR, 37(2)147--147
-
persistence, 35(4)369--375, 37(6)531--541
-
persistent, 33(2)108--125, 35(2)119--128, 35(3)256--267, 35(4)369--375,
37(6)531--541, 38(1)1--16, 38(1)31--42, 38(3)181--192,
40(8)513--527
-
person, Person-to-, 36(1)87--96
-
person, person-to-, 36(1)87--96
-
person-to-person, 36(1)87--96
-
person-to-service, 36(1)87--96
-
personal, 36(4)351--372, 37(3)153--163
-
perspective, 37(5)357--366, 37(8)683--690, 39(3)215--231, 42(8)693--698
-
PERT, 39(5)439--448
-
perturbation, 37(1)35--42
-
Peter, 41(6)357--362
-
Peterson, 35(1)40--40
-
Petre, Marian, 33(2)173--180
-
Petre:1990:LMP, 33(2)173--180
-
Petri, 34(6)z--z, 36(2)177--185, 37(1)67--76, 38(7)566--577,
38(7)600--611, 38(7)612--621, 38(7)622--632, 38(9)717--733
-
Petridis, M., 37(10)847--857
-
Petridis, M., see Ma, J.
-
peut, 33(2)164--172
-
Pexlib, 38(3)268--268
-
PFI, 38(4)286--300
-
PFSs, 36(8)741--755
-
PGS, 34(1)64--72
-
Pham, B., 33(5)412--416
-
Pham:1990:ACC, 33(5)412--416
-
phase, 33(5)408--411, 38(7)552--565, 38(9)704--716, 39(4)255--274
-
phase, two-, 38(9)717--733
-
phenomena, 37(1)43--57
-
Philbrow, P. C., 33(2)108--125
-
Philbrow:1990:EEH, 33(2)108--125
-
Philippou, A., 37(6)546--547
-
Philippou:1994:APP, 37(6)546--547
-
philosophical, Technico-, 35(6)579--599
-
philosophical, technico-, 35(6)579--599
-
philosophy, 33(6)535--546, 35(3)200--207
-
phrase, 35(3)268--278
-
physical, 33(5)453--459, 35(1)30--40, 35(1)71--80, 35(1)81--87,
36(8)756--762, 38(1)57--70
-
pi, 38(7)578--589
-
pictorial, 36(2)107--116, 36(6)542--553, 37(1)3--15, 37(1)16--25,
37(1)26--34, 37(1)43--57, 37(3)164--176, 37(8)691--697
-
picture, 33(5)398--401, 33(5)417--423, 33(5)424--428, 34(4)377--379,
34(6)z--z, 36(3)246--253, 36(6)542--553, 36(7)615--622, 37(2)83--87
-
Pierce, B. C., 40(5)297--298
-
Pierce:1997:BR, 40(5)297--298
-
PIF, 38(2)152--161
-
PIGS, 34(4)320--330
-
PIGS, I-, 34(4)320--330
-
Pigs, I-, 34(4)320--330
-
Pigsty, 34(4)320--330
-
Pimentel, E., 37(5)407--421
-
Pimentel, E., see Díaz, M.
-
pin-out, 39(3)232--240
-
Pina, Xavier Rousset De, 37(6)477--486
-
Pina, Xavier Rousset De, see Cahill, Vinny
-
Pinotti, M. C., 35(6)630--635
-
Pinotti, M. C., see Barsi, F.
-
Pinotti, M. Cristina, 37(10)907--916
-
Pinotti, M. Cristina, see Barsi, Ferruccio
-
pipe, 33(3)261--265
-
Pipe, Organ-, 37(10)873--887
-
pipeline, 33(3)252--260, 33(3)261--265, 33(5)453--459, 33(5)473--475,
35(1)81--87, 36(3)254--268, 38(2)111--120, 38(4)271--285,
39(1)1--13, 39(1)45--51
-
pipelined, 33(3)252--260, 33(5)453--459, 33(5)473--475, 34(1)52--63,
39(1)1--13
-
pipelining, 33(3)252--260, 33(4)308--313, 35(1)81--87, 38(4)271--285,
40(6)311--321
-
Pires, L., Ferreira, 35(5)478--491
-
PIT, Q-, 37(8)653--668
-
Pitt, David, 38(10)777--784
-
Pitt, David, see Ruiz-Delgado, Antonio
-
Pitteway, M. L. V., 33(5)408--411, 34(4)357--357, 34(5)405--405
-
Pitteway, M. L. V., see Hussain, F.,
see Neal, L. R.
-
Pitteway:1991:BR, 34(4)357--357
-
pixel, 36(1)68--77
-
PixLook, 38(8)670--680
-
Place, In-, 40(9)541--546
-
place, in-, 38(8)681--690
-
place-system, 33(5)386--397
-
placement, 35(1)71--80, 36(5)515--524
-
plagiarism, 33(2)140--146, 39(9)741--750
-
plaintext, 37(5)429--436
-
plane, 37(4)308--332
-
planning, 33(4)356--364, 33(6)556--561, 36(4)343--350, 36(5)515--524,
36(6)525--541, 37(9)753--763, 38(2)91--100
-
Plat, N., 35(6)567--573
-
Plat, N., see Larsen, P. G.
-
Plata, O. G., 33(3)194--203
-
Plata:1990:ASP, 33(3)194--203
-
platform, 36(8)712--722, 37(6)477--486, 37(6)487--498, 37(6)499--508,
37(6)519--530
-
Pliskin, N., 36(2)143--152
-
Pliskin:1993:PVA, 36(2)143--152
-
plot, 36(1)97--105
-
plotters, 37(5)367--376
-
plotting, 33(5)402--407
-
plus, 33(2)164--172, 35(3)255--255
-
Poet, 40(8)499--512
-
point, 33(5)424--428, 34(6)502--502, 35(1)41--44, 35(3)298--298,
37(1)35--42, 37(1)43--57, 37(2)114--123, 37(7)588--597,
37(10)847--857, 38(1)83--84
-
point-in-polygon, 37(1)3--15
-
pointer, 33(5)466--470, 33(5)471--472
-
Poisson, 34(6)z--z, 38(6)471--478
-
Poix, Christophe, 37(5)377--384
-
Poix:1994:GRT, 37(5)377--384
-
policy, 34(2)122--131, 38(4)271--285, 39(7)566--576, 39(7)630--642,
39(9)757--766
-
political, 36(2)143--152, 37(5)357--366, 38(5)400--412
-
politics, 38(5)400--412
-
Polka, 33(6)482--493
-
polygon, 34(6)502--502, 36(2)107--116, 37(2)139--142
-
polygon, Point-in-, 37(1)3--15
-
polygon, point-in-, 37(1)3--15
-
polygonal, 37(1)43--57
-
polyhedral, 36(5)463--472
-
polyhedron, 36(2)186--194, 37(5)465--466
-
polylogarithmic, 39(2)140--144
-
Polymorphism, 42(5)360--372
-
polynomial, 33(5)412--416, 36(5)400--408, 36(5)432--438, 36(5)439--449,
36(5)485--496, 36(5)504--514, 37(9)795--813
-
polynomial, Pseudo-, 36(5)409--418
-
polynomial, pseudo-, 36(5)409--418
-
polynomial-time, 37(5)449--462
-
Polytechnics, 35(5)530--533
-
Pong, L., 34(2)143--152
-
Pong, L., see Tse, T. H.
-
Pong, M.-C., 34(4)320--330
-
Pong:1991:PIG, 34(4)320--330
-
Ponse, Alban, 37(4)243--258
-
Ponse, Alban, see Bergstra, Jan A.
-
Poo, C.-C. D., 34(2)122--131
-
Poo, Danny C. C., 37(8)669--682
-
Poo:1991:RBP, 34(2)122--131
-
Poo:1994:OOS, 37(8)669--682
-
poorly, 33(2)155--163
-
POP-11, 35(6)625--629
-
POPLOG, 35(6)625--629
-
populated, 37(8)653--668
-
populations, 33(2)140--146
-
Porkka, Pasi, 42(2)100--111
-
Porkka, Pasi, see Huhtala, Ykä
-
portability, 34(4)302--310, 36(8)712--722
-
portable, 36(8)712--722
-
ports, 34(3)195--206, 34(4)320--330
-
position, 33(5)408--411, 34(4)358--362, 35(4)395--404, 36(5)515--524
-
positioning, 37(5)377--384
-
positive, 36(2)117--126
-
possibility, 38(1)31--42
-
possible, 36(1)32--42
-
postage, 36(2)117--126
-
postcondition, 35(5)441--450, 39(3)184--202
-
Postmodern, 41(6)363--375
-
postorder, 36(3)280--281
-
potential, 35(1)62--70, 35(4)369--375
-
potentially, 39(6)496--510
-
Poulovassilis, A., 35(2)119--128, 36(2)195--199
-
Poulovassilis, Alexandra, 37(3)164--176
-
Poulovassilis, Alexandra, see Lorentzos, Nikos A.
-
Poulovassilis:1992:IFF, 35(2)119--128
-
Poulovassilis:1993:PMA, 36(2)195--199
-
Powell, D., 42(1)1--10
-
Powell, D., see Allison, L.
-
power, 33(1)19--30, 33(6)518--534, 35(3)233--242, 35(5)514--523,
35(6)625--629, 36(2)143--152, 37(10)858--872
-
powerful, 33(6)501--507
-
PP, 37(1)67--76
-
PPAM-, 34(1)52--63
-
PPAM-2, 34(1)52--63
-
PPM, 40(2)67--75, 40(2)76--93
-
PPMB, 38(5)355--364
-
practical, 33(2)147--154, 34(1)64--72, 34(4)302--310, 35(6)574--578,
36(5)427--431, 37(6)543--544, 37(10)907--916, 38(1)82a_83,
38(5)339--347, 39(5)386--407
-
practice, 34(2)98--112, 35(4)331--331, 37(2)96--113, 38(1)17--30,
38(9)734--746
-
Practitioner, 35(4)322--331
-
pragmatic, Semantico-, 34(3)245--253
-
pragmatics, 34(6)z--z
-
Prakash, Ravi, 41(5)337--348
-
Prakash, Ravi, see Baldoni, Roberto
-
PRAM, 34(4)302--310, 36(6)588--592, 38(10)801--810
-
PRAM, SB-, 36(8)756--762
-
Pramanik, S., 35(1)45--51
-
Pramanik, S., see Kim, M. Ho
-
PRAMs, 36(8)756--762
-
Prasse, Michael, 41(6)357--362
-
Prasse:1998:WCT, 41(6)357--362
-
PRAXIS, 33(4)337--343
-
precalculations, 37(3)219--222
-
precedence-, 33(3)219--229
-
Precedence-Constrained, 33(3)219--229
-
precedence-constrained, 33(3)204--214, 33(3)219--229
-
precise, 35(6)611--622, 41(3)201--204
-
precondition, 35(5)441--450, 41(1)1--15
-
predicate, 33(6)508--517, 34(4)350--357, 35(5)424--430, 35(6)574--578,
37(7)588--597, 38(2)152--161, 41(4)231--237
-
predicate-transition, 35(1)30--40
-
predicates, meta-, 36(3)217--226
-
Predicator, 35(2)148--156
-
predictable, 35(4)368a_368, 38(4)271--285
-
prediction, 36(8)690--701, 38(6)457--470, 42(2)142--149, 42(6)473--486
-
Predictive, 40(2)127--136
-
preferences, 34(3)265--271
-
prefetching, 38(6)457--470
-
prefix, 33(4)296--307, 36(6)570--578, 38(3)264a_265, 38(5)339--347,
39(4)331--345
-
premiums, 35(6)643--650
-
preorder, 33(5)471--472, 36(3)280--281
-
preorder-stack, 33(5)471--472
-
preprocessing, 39(5)413--416
-
prescribed, 36(6)593--594
-
present, 34(3)239--244, 35(4)369--375, 36(1)32--42, 36(3)238--245
-
presentation, 33(5)417--423, 36(1)78--86, 42(2)112--128
-
presented, 7(z)81--86, 35(6)555--566
-
preservation, 37(1)67--76
-
preserving, 37(4)308--332
-
preserving, Correctness-, 35(5)478--491, 35(6)547--554
-
preserving, correctness-, 35(5)478--491, 35(6)547--554
-
preserving, order-, 39(6)547--554
-
preserving, Semantics-, 37(9)795--813
-
preserving, semantics-, 37(9)795--813, 39(7)598--618
-
preset, 38(7)521--529
-
Presumed, 36(2)143--152
-
presumptions, 36(2)143--152
-
prevent, 36(3)238--245
-
prevention, 38(8)633--642
-
previous, 35(2)119--128
-
previously, 35(3)298--298, 35(6)574--578
-
Priami, Corrado, 38(7)578--589
-
Priami:1995:SC, 38(7)578--589
-
price, 36(8)734--740, 39(5)374--385
-
Price, Camille C., 33(3)219--229
-
Price:1990:SPC, 33(3)219--229
-
pricing, 33(3)266--273
-
primality, 37(3)219--222
-
primarily, 35(2)157--169
-
prime, 35(1)16--20
-
primitive, 34(1)34--41, 34(4)311--319, 37(2)114--123, 37(7)588--597,
38(1)43--56, 38(2)121--130, 38(2)162--170, 39(4)303--324,
39(5)361--373
-
principle, 39(9)731--740, 42(4)260--269, 42(4)318--322
-
Print, 35(6)629--629
-
printers, 37(5)367--376
-
priori, 36(8)690--701
-
prioritized, 39(4)346--352
-
Prioritizing, 39(8)701--712
-
priority, 34(5)423--427, 34(5)428--437, 36(3)209--216, 37(1)43--57,
37(8)691--697, 38(9)695--703, 38(10)818--821
-
priority, high-, 39(1)52--92
-
priority, low-, 39(1)52--92
-
Prisco, Roberto, De, 41(3)137--144
-
privacy, 33(4)381--381
-
probabilistic, 35(3)243--255, 35(3)279--290, 35(3)291--298,
37(5)377--384, 38(5)348--354, 38(7)521--529, 38(7)590--599,
39(2)97--113, 39(6)547--554, 41(4)223--230, 42(4)256--259
-
probability, 34(6)z--z, 35(1)52--61, 35(3)243--255, 35(3)279--290,
35(3)291--298, 36(7)631--644, 38(5)348--354, 38(7)521--529,
38(7)590--599, 39(2)97--113, 39(6)547--554
-
probability-ranking, 35(3)243--255
-
Probe, Single-, 34(5)455--468
-
probe, Single-, 34(5)455--468
-
probe, single-, 34(5)455--468
-
probe/fault, 38(4)286--300
-
probing, 34(4)370--373, 38(4)286--300
-
problem-, 38(3)237--244
-
problem-dependent, 37(1)35--42
-
problem-space, 38(3)237--244
-
Problem-specific, 38(3)237--244
-
procedural, 33(2)97--97, 34(1)64--72, 35(6)625--629, 39(4)275--290
-
procedure, 33(3)252--260, 34(1)73--79, 34(6)503--513, 34(6)569--570,
34(6)z--z, 35(6)630--635, 36(4)387--398, 36(5)419--426,
38(5)348--354, 39(2)114--123, 39(4)275--290, 39(6)525--540,
42(7)592--608
-
Proceedings, 7(z)81--86, 38(7)489--491
-
process, Inter-, 33(2)147--154, 34(4)331--344, 37(4)333--345
-
process, inter-, 33(2)147--154, 34(4)331--344, 37(4)333--345
-
process-driven, 37(9)764--778
-
Processin, 35(5)430a_430
-
processing, Query-, 34(6)551--558
-
processing, query-, 34(6)551--558
-
processor, 33(1)61--70, 33(2)155--163, 33(2)164--172, 33(2)181--184,
33(3)194--203, 33(3)219--229, 33(3)241--246, 33(5)444--452,
33(6)547--555, 34(1)64--72, 34(4)290--301, 34(4)373--376,
34(4)377--379, 35(1)62--70, 35(3)208--220, 35(4)353--360,
35(4)361--368, 35(4)405--409, 35(5)z--z, 35(6)625--629,
36(3)217--226, 36(3)246--253, 36(7)654--667, 36(8)702--711,
36(8)712--722, 36(8)763--777, 37(3)206--218, 37(5)399--406,
37(8)691--697, 38(1)57--70, 38(1)81--81, 38(2)111--120,
38(3)217--226, 38(4)271--285, 38(5)355--364, 38(5)365--380,
38(9)704--716, 38(10)801--810, 39(1)1--13, 39(1)52--92,
39(2)140--144, 39(2)145--168, 39(5)439--448, 39(8)713--722,
40(6)388--400, 42(5)422--429
-
processor, Multiple-, 36(6)562--569
-
processor, multiple-, 36(6)562--569
-
processor-memory, 34(3)207--214
-
Prodinger, Helmut, 41(3)201--204
-
Prodinger, Helmut, see Panholzer, Alois
-
Produce, 35(6)547--554
-
produced, 35(2)186--186, 39(4)353--356
-
product, 33(3)261--265, 35(1)52--61, 35(6)629--629, 37(2)79--82,
38(7)510--520, 38(7)622--632, 39(2)133--139
-
production, 35(6)547--554, 36(1)97--105, 36(2)127--136, 37(1)67--76,
38(4)310--318, 38(7)542--551
-
professionals, 36(4)299--319
-
proforma, 33(4)337--343
-
programmable, 36(7)654--667
-
programme, 35(5)450a_450, 36(4)335--342, 39(7)561--565
-
programmer, 33(2)108--125, 35(2)157--169, 37(6)554--554
-
programming, Meta-, 36(3)217--226
-
programming, meta-, 36(3)217--226
-
Progress, 35(3)268--278
-
project, 33(6)494--500, 35(5)460--467, 35(5)478--491, 36(3)269--279,
37(3)177--187, 37(6)477--486, 37(7)621--628, 37(8)683--690,
38(8)670--680, 38(10)777--784
-
projections, 36(3)282--285, 38(2)142--151
-
PROLOG, 33(6)482--493, 33(6)508--517, 33(6)518--534, 33(6)535--546,
33(6)547--555, 34(1)52--63, 34(1)64--72, 35(6)625--629,
36(3)217--226, 38(6)457--470, 39(1)20--35
-
Prolog, 33(6)482--493, 33(6)508--517, 33(6)547--555, 34(1)52--63,
34(1)64--72, 34(6)z--z, 35(6)625--629, 36(3)217--226, 38(6)457--470,
39(1)20--35, 39(9)780--792
-
Prolog, Amoeba-, 33(6)508--517
-
Prolog-based, 33(6)535--546
-
Prolog-like, 33(6)518--534
-
PROM, 36(7)654--667
-
prominent, 35(5)492--500
-
proof, 34(1)42--51, 35(5)441--450, 36(4)387--398, 37(4)289--307,
37(7)651--651, 38(2)91--100, 38(2)101--110, 38(2)111--120,
38(2)152--161, 38(2)162--170, 38(2)171--179, 38(9)695--703,
39(1)52--92, 39(4)291--302, 42(3)177--192
-
propagation, 33(1)71--78, 34(6)534--541, 35(4)353--360, 36(8)723--733
-
Proper, H. A., 39(4)255--274
-
Proper, H. A., see Ter Hofstede, A. H. M.
-
property, 33(4)296--307, 33(5)402--407, 35(2)138--147, 35(4)390--394,
35(4)395--404, 35(6)630--635, 36(6)542--553, 37(1)58--66,
37(1)67--76, 37(2)79--82, 38(2)152--161, 38(9)704--716,
38(10)785--800, 39(1)36--44, 39(7)566--576, 40(1)43--49,
40(4)194--199, 41(5)319--336, 42(4)294--317
-
proportional, 39(7)619--625, 40(4)194--199, 42(8)693--698
-
proportionality, 35(6)643--650
-
proposals, 33(1)11--18, 33(5)429--436
-
proposed, 33(2)181--184, 33(5)473--475, 35(6)555--566, 36(2)195--199,
37(9)814--817
-
propositional, 34(4)380--381, 35(5)424--430
-
PROSPECTRA, 35(5)460--467
-
prosthesis, 37(3)153--163
-
protecting, 37(2)79--82, 41(7)429--443
-
protection, 35(1)16--20, 35(4)369--375, 36(7)654--667, 37(5)422--428,
39(7)566--576
-
protein, 33(6)547--555, 36(8)690--701
-
protocol, 33(1)71--78, 33(3)204--214, 35(4)361--368, 35(5)478--491,
37(3)188--198, 37(4)289--307, 37(7)651--651, 37(8)698--710,
38(1)57--70, 38(4)286--300, 38(9)704--716, 39(4)325--330,
39(6)496--510, 39(6)511--524, 39(6)525--540, 39(10)854--867,
40(1)43--49, 40(4)208--219, 40(7)441--456, 41(2)108--124,
42(3)202--220
-
prototype, 33(2)126--132, 37(5)357--366, 37(6)477--486, 37(8)653--668,
38(1)1--16, 38(2)101--110
-
prototyping, 33(5)417--423, 34(2)153--163, 38(3)193--206, 39(6)525--540
-
Prototyping-oriented, 37(6)548--548
-
provability, 38(2)171--179
-
provably, 37(1)35--42, 39(1)52--92, 42(8)699--712
-
prover, 34(1)20--33, 34(1)34--41, 38(2)121--130, 38(2)162--170,
39(1)52--92, 39(4)291--302
-
prover, theorem-, 38(2)142--151
-
provider, 39(7)561--565
-
provides, 36(1)32--42
-
proving, 34(1)2--15, 34(1)20--33, 34(1)34--41, 34(1)42--51,
35(5)441--450, 36(4)387--398, 38(2)89--90, 38(2)101--110,
38(2)121--130, 38(2)131--141, 38(2)142--151, 38(2)152--161,
38(2)162--170, 38(2)171--179, 39(1)52--92, 39(4)291--302
-
provision, 36(1)32--42, 39(7)630--642
-
proxies, 37(5)422--428
-
Proximity, 41(2)71--83, 41(8)566--577
-
pruning, 36(8)690--701
-
PS-Algol, 33(2)108--125
-
PS-algol, 33(2)108--125
-
pseudo-lexicographical, 34(6)569--570
-
pseudo-polynomial, 36(5)409--418
-
pseudo-random, 37(3)199--205
-
pseudorandom, 36(6)579--587
-
PSF, 37(4)279--287
-
PSL, 34(2)143--152
-
P/sub, 36(5)419--426
-
psychology, 34(3)265--271
-
public, 33(4)337--343, 35(5)477--477, 37(5)422--428, 38(6)413--417
-
published, 35(3)298--298
-
Puliafito, A., 36(2)177--185, 39(8)647--662
-
Puliafito, A., see Catania, V.
-
Puliafito:1996:EPP, 39(8)647--662
-
Puliti, P., 33(5)417--423
-
Puliti:1990:ITD, 33(5)417--423
-
Pulman, Stephen G., 38(4)310--318
-
Pulman, Stephen G., see Macias, Benjamin
-
Puppo, E., 34(3)195--206
-
Puppo, E., see Ancona, M.
-
pure, 33(5)460--465, 36(2)153--167, 38(5)381--399
-
purely, 35(6)555--566, 37(3)219--222
-
purpose, 33(2)98--107, 36(8)712--722, 36(8)734--740, 36(8)741--755,
37(3)206--218, 38(4)310--318
-
purpose, General-, 33(2)98--107, 34(4)362--370, 36(8)741--755
-
purpose, general-, 7(z)81--86, 34(4)362--370
-
puzzle, 33(4)356--364, 35(1)91--92, 35(2)186--186, 37(5)463--464,
39(4)353--356