Index file section P for actainfo.bib

Last update: Fri Sep 26 02:00:12 MDT 2025               

Return to index directory

P

• P, 38(10)721--734, 49(6)395--412
• =p, 24(3)353--362
• p, Onm-, 24(3)353--362
• Pacini, Giuliano, 10(1)85--94
• Pacini, Giuliano, see Montangero, Carlo
• Packed, 9(3)263--271
• Packet, 4(1)49--53
• packet-switching, 7(2)183--195
• packets, 7(2)183--195
• packing, 9(3)263--271, 9(4)355--376, 18(2)207--225, 26(8)697--709, 38(10)673--693, 41(9)595--606, 45(3)155--175, 54(4)435--445
• Packing, Bin-, 22(3)333--345
• Padovani, Luca, 55(4)269--307
• Padovani, Luca, see Damiani, Ferruccio
• PAFAS, 38(11)735--792
• page, 3(1)1--23, 8(4)359--370, 14(3)221--242
• Page, C. V., 32(2)145--153
• Page, C. V., see Hsu, W.-J.
• page-on-demand, 8(4)359--370
• Paged, 1(1)1--13
• Pager, David, 7(3)249--268, 9(2)31--59
• Pager:1977:PGM, 7(3)249--268
• Pager:1978:EUP, 9(2)31--59
• pagination, 3(4)321--345
• paging, 3(1)1--23, 3(4)321--345, 6(3)251--275, 8(4)359--370, 9(4)331--343, 11(2)103--117, 21(5)485--500
• Pagli, Linda, 35(9)775--793
• Pagourtzis, Aris, 61(2)101--113
• Pagourtzis, Aris, see Alonistiotis, Giannis
• pair, 44(3)191--205
• Paixão, Tiago, 54(8)765--787, see Giacobbe, Mirco
• Palamidessi, Catuscia, 25(6)691--711
• Palamidessi, Catuscia, see Levi, Giorgio
• Palano, Beatrice, 49(4)225--248, 58(4)335--356
• Palano, Beatrice, see Choffrut, Christian, see Jakobi, Sebastian
• Pan, Linqiang, 41(2)111--144, 43(2)131--145
• Pan, Linqiang, see Alhazov, Artiom
• Pan:2006:SHS, 43(2)131--145
• Panangaden, Prakash, 28(5)447--452
• Panangaden, Prakash, see Critchlow, Carol
• Pandya, Paritosh K., 30(5)467--487
• Pandya, Paritosh K., see Kumar, K. Narayan
• Pang, Chaoyi, 49(3)173--202
• Pang, Chaoyi, see Wang, Junhu
• Pansiot, Jean-Jacques, 20(2)179--196
• Pansiot:1983:HFC, 20(2)179--196
• Paoletti, Nicola, 54(6)589--623
• Paoletti, Nicola, see Ceska, Milan
• Pap, László, 48(4)243--269, see Do, Tien Van
• Papadimitriou, Christos H., 19(1)1--11
• Papadimitriou, Christos H., see Kung, H. T.
• paper, 1(2)115--138, 6(1)61--75, 7(1)35--60, 7(2)167--182, 8(1)1--20, 8(1)21--36, 8(1)37--59, 8(1)75--96, 8(2)145--152, 8(3)201--220, 8(3)221--242, 8(3)267--283, 8(4)325--334, 8(4)341--357, 8(4)359--370, 17(1)43--61, 20(3)249--260, 21(3)239--250, 22(2)171--186, 22(6)679--698, 24(1)57--77, 26(7)597--614, 26(7)615--642, 28(6)539--558, 31(2)161--206, 31(4)379--397, 31(5)399--430, 53(6)545--546, 54(1)1--2, 60(3)317--329
• Paperman, Charles, 59(4)321--336
• Paperman, Charles, see Cadilhac, Michaël
• par, 2(z)180--188, 2(z)383--393
• paradigm, 61(4)415--444
• parallel, 2(z)283--291, 3(3)203--216, 5(4)273--285, 6(4)319--340, 7(1)1--13, 15(2)129--139, 15(3)219--232, 17(3)311--325, 19(3)269--296, 19(4)397--407, 21(2)125--169, 21(4)339--374, 23(1)9--66, 24(4)417--432, 24(5)513--524, 26(1)1--17, 26(7)643--655, 27(6)505--517, 28(7)611--629, 29(1)1--15, 29(1)63--94, 29(5)415--423, 30(4)351--367, 31(6)503--512, 32(1)79--92, 32(2)145--153, 33(2)153--176, 33(4)387--408, 33(7)607--619, 34(6)411--428, 35(10)875--909, 36(3)215--232, 36(9)761--803, 37(1)21--43, 37(7)511--540, 44(1)1--21, 44(1)73--73, 47(7)375--389, 58(4)263--279, 61(4)415--444
• parallel, OR-, 34(6)449--489
• parallel, series-, 36(2)143--172, 55(2)153--189, 62(2)z--99999999
• Paralleladdierwerks, 2(z)283--291
• parallelism, 21(6)599--627, 30(5)467--487, 34(10)737--772
• Paramá, José R., 43(5)341--370
• Parama:2006:SAO, 43(5)341--370
• parameter, 2(z)110--142, 8(1)61--73, 8(2)97--112, 8(2)145--152, 8(3)221--242, 18(2)149--169, 22(3)277--310, 23(2)177--192, 24(6)653--678, 27(6)505--517, 54(6)589--623, 61(4)333--356
• parameterisation, 29(8)689--736
• parameterised, 29(8)689--736
• parameterised, non-, 29(8)689--736
• parameterization, 8(4)315--324, 14(2)135--155, 24(1)57--77
• parameterized, 8(1)61--73, 51(7)473--497, 55(2)129--152, 57(1)271--304, 59(4)427--450, 61(4)401--414, 62(1)z--99999999, 62(2)z--99999999, 62(3)z--99999999
• paramètres, 23(2)177--192
• parametric, 8(2)97--112, 33(1)21--68, 52(2)269--297
• Parametrized, 52(6)525--557
• Paramodulated, 13(1)67--86
• paraphrasing, 38(7)437--488
• Parchami, Shaghayegh, 58(3)153--175
• Parchami, Shaghayegh, see Nagy, Benedek
• Paredaens, J., 15(3)193--207, 23(3)231--244, 26(7)615--642
• Paredaens, Jan, 9(2)73--86
• Paredaens:1978:CMF, 9(2)73--86
• Parent, Michel, 8(4)359--370
• Parent:1977:NIP, 8(4)359--370
• Parente, Domenico, 29(8)761--778
• Parente, Domenico, see Fachini, E.
• parenthesis, 7(1)61--73
• parents, 58(5)497--528
• Parikh, 56(6)521--535
• Parikh, R., 14(4)359--369
• parity, 55(5)401--444, 57(1)3--36
• parity-seeking, 61(3)199--229
• Park, Sungwoo, 50(7)359--380
• Park, Sungwoo, see Seo, Jeongbong
• Parker, David, 53(4)425--457
• Parker, David, see Essen, Christian von
• Parnas, David Lorge, 1(z)375--376
• Parnas, David Lorge, see Courtois, P. J.
• Parsable, 10(2)175--201, 34(5)389--410
• parse, 1(z)79--110, 7(1)61--73, 10(4)307--321, 37(2)121--144
• Parse, Sub-, 33(6)511--522
• parser, 1(z)79--110, 2(1)12--39, 3(2)187--202, 6(3)277--296, 7(1)61--73, 7(3)249--268, 8(1)1--20, 9(2)31--59, 10(3)209--228, 10(4)307--321, 11(2)177--193, 13(2)115--139, 14(2)157--174, 14(4)299--315, 15(3)265--280, 15(4)447--470, 19(4)369--376, 21(1)29--45, 22(5)499--536, 23(2)127--148, 23(2)149--162, 37(9)671--697, 40(6)459--489, 46(8)549--559, 55(7)547--574
• Parser, -, 23(2)127--148
• parsing, 1(z)79--110, 6(4)387--395, 8(1)1--20, 8(2)125--144, 10(4)307--321, 12(3)187--207, 14(2)175--193, 15(2)115--127, 16(2)125--138, 17(3)287--310, 18(3)289--298, 20(4)283--300, 21(6)559--584, 24(2)191--209, 29(5)461--481, 34(4)267--289, 37(9)633--651, 44(1)1--21, 44(1)73--73, 44(3)167--189, 44(6)427--461, 58(3)195--229, 59(6)709--724
• Parsing, LR-, 7(1)61--73
• part, 1(z)282--289, 4(3)201--211, 4(4)299--310, 7(1)35--60, 10(3)245--264, 10(3)265--272, 11(2)177--193, 19(1)13--33, 19(2)167--182, 21(1)29--45, 21(2)125--169, 21(3)271--291, 21(5)501--519, 22(2)187--201, 22(3)333--345, 23(2)149--162, 23(3)267--288, 24(5)565--582, 26(1)93--122, 27(4)315--342, 27(4)343--368, 27(5)423--452, 27(5)453--480, 36(1)1--65, 36(1)67--96, 37(9)671--697, 52(1)3--4, 52(4)303--304
• Partage, 18(4)449--466
• partial, 2(z)172--179, 2(z)253--282, 6(3)297--316, 8(3)267--283, 9(2)23--29, 18(1)47--64, 21(3)251--269, 22(1)67--83, 24(1)57--77, 26(4)349--362, 27(4)315--342, 27(4)343--368, 28(1)83--94, 29(5)443--460, 31(5)399--430, 34(9)701--735, 44(7)571--590, 47(1)33--66, 48(1)25--41, 49(1)53--54, 52(7)559--571, 58(4)357--375, 58(4)427--450, 59(4)479--504, 60(2)179--208
• Partial-Predicate, 24(4)381--393
• particular, 7(2)123--136, 7(2)183--195, 8(1)37--59, 20(3)249--260, 24(1)57--77, 28(6)539--558
• Partiell-linearen, 2(z)253--282
• partielle, 2(z)172--179
• partition, 16(2)237--252, 19(3)255--268, 27(5)423--452, 29(3)267--280, 49(1)15--28, 61(2)101--113
• partitioned, 28(6)603--605, 38(5)325--342
• Partitioning, 35(5)421--440
• Partitioning, Set-, 21(4)409--415
• partly, 34(10)737--772, 37(10)727--742
• Partsch, Helmut, 20(1)1--33
• Partsch, Helmut, see Wirsing, Martin
• party, 57(3)313--320
• Pas, Paulien ten, 31(2)161--206
• Pas, Paulien ten, see Ehrenfeucht, Andrzej
• Pasanen, Tomi, 31(4)301--313
• Pasanen, Tomi, see Katajainen, Jyrki
• Pascal, 1(1)35--63, 2(4)335--355, 3(1)47--57, 3(3)296--296, 4(3)231--243, 8(1)21--36, 8(2)97--112, 11(3)195--210, 12(1)73--94, 22(3)311--331, 22(6)699--707, 33(2)99--130
• PASCAL-like, 8(4)315--324
• Paschos, Vangelis Th, 35(3)211--243, 55(1)1--15
• Paschos, Vangelis Th., see Bonnet, Édouard, see Fernandez de la Vega, Wenceslas
• pass, 21(3)239--250
• pass, One-, 24(3)299--352
• passage, 12(2)159--175
• Passes, 16(4)427--464, 27(1)1--40
• passing, 24(6)653--678, 27(6)505--517, 32(4)375--393, 33(2)153--176
• past, 40(6)431--458, 47(4)251--277
• Paterson, Michael S., 23(2)217--221
• Paterson:1986:NOH, 23(2)217--221
• path, 7(2)183--195, 12(2)109--158, 13(4)325--346, 17(3)245--265, 23(1)111--117, 27(2)97--124, 31(8)775--792, 38(9)621--648, 42(8)603--616, 50(5)343--357, 54(6)545--587, 55(1)57--80, 57(3)551--590
• path-controlled, 56(1)35--59
• Pathlistings, 16(3)253--273
• pattern, 3(1)25--35, 4(3)213--229, 8(2)125--144, 11(1)31--55, 20(3)227--248, 20(4)391--411, 22(2)187--201, 22(3)333--345, 23(3)267--288, 24(4)433--445, 24(5)565--582, 26(1)93--122, 29(1)95--107, 30(4)385--395, 32(5)477--489, 42(8)553--581, 43(8)521--533, 46(3)193--207, 48(1)25--41, 49(1)53--54, 49(3)173--202, 58(1)35--56, 61(4)415--444, 62(3)z--z
• Paul, M., 15(1)1--2
• Paul, M., see Bauer, Friedrich L.
• Paul, Wolfgang J., 3(3)217--225, 4(4)321--336, 10(2)111--115, 14(3)243--255, 14(4)391--403, 36(6)463--487
• Paul, Wolfgang J., see Abolhassan, Ferri
• Paul:1974:KSG, 3(3)217--225
• Paul:1975:BMU, 4(4)321--336
• Paul:1978:TST, 10(2)111--115
• Paul:1980:A, 14(3)243--255
• Paul:1980:AIG, 14(4)391--403
• Paull, Marvin C., 16(2)125--138, 27(7)665--683
• Paull, Marvin C., see Berman, A. Michael, see Ostrand, Thomas J.
• Paulusma, Daniël, 49(6)381--394, 51(7)473--497, 56(7)619--648, see Belmonte, Rémy, \see{Bonsma, Paul, see Golovach, Petr A.
• Paun, Gheorghe, 38(2)131--153, 49(6)395--412
• Paun, Gheorghe, see Dassow, Jürgen, see Vasile, Cristian Ioan
• P{\u{a}}un, Gheorghe, 25(2)203--231, 30(4)351--367, 31(6)525--537, 33(6)571--593, 35(5)401--420, 38(10)695--720, 41(2)111--144, z(z)z--z, see Alhazov, Artiom, see Bottoni, Paolo, see Ehrenfeucht, Andrzej, \see{Kari, Lila, see Mihalache, V.
• Paun:1993:SPC, 30(4)351--367
• Paun:1994:PTG, 31(6)525--537
• Pavel, Ana Brândusa, 49(6)395--412, see Vasile, Cristian Ioan
• Pavlaki, Vassia, 44(5)289--321
• Pavlaki, Vassia, see Afrati, Foto
• Paxos, 56(5)433--446
• payoff, 55(8)627--647
• payoff, mean-, 54(6)545--587
• payoff, total-, 54(1)85--125
• Pazzaglia, Marco, 53(6)621--648
• Pazzaglia, Marco, see Montanari, Angelo
• PB-138, 19(3)255--268
• pcalc, 21(1)61--88, 21(5)417--441, 23(1)9--66, 23(5)507--527, 24(2)211--237, 26(1)59--91
• PCGs, 62(2)z--99999999
• PCP, 50(5)331--341
• pebble, 10(2)111--115, 16(4)465--475, 39(9)613--698, 52(7)559--571
• Peck, J. E. L., 5(1)1--236
• Peck, J. E. L., see Wijngaarden, Adriaan van
• pedagogically, 61(3)199--229
• Peephole, 25(1)85--109
• Peled, Doron, 51(3)127--128
• Peled:2014:ESI, 51(3)127--128
• Peleg, Hila, 53(4)327--356, 57(1)165--193
• Peleg:2016:SAR, 53(4)327--356
• Peleg:2020:PPF, 57(1)165--193
• Pelz, Elisabeth, 35(10)813--857
• Pelz, Elisabeth, see Best, Eike
• Pemmaraju, Sriram V., 34(3)191--209
• Pemmaraju, Sriram V., see Rus, Teodor
• Penabad, Miguel R., 38(7)489--529, 43(5)341--370
• Penabad, Miguel R., see Paramá, José R.
• Penabad:2002:GPC, 38(7)489--529
• Peng, Duo, 53(1)1--22
• Peng, Duo, see Li, Suoping
• Peng, Wuxu, 29(6)499--522
• Peng, Xiaoning, 53(5)459--468
• Peng:1992:ACC, 29(6)499--522
• Peng:2016:OCR, 53(5)459--468
• Penna, Giuseppe Della, 39(1)31--70
• Penna:2003:SRE, 39(1)31--70
• Penttonen, Martti, 3(3)285--291, 23(3)245--253
• Penttonen:1974:DLC, 3(3)285--291
• Pepper, Peter, 20(1)1--33
• Pepper, Peter, see Wirsing, Martin
• per, 1(z)375--376, 18(4)377--392, 27(3)195--215, 30(3)215--231
• Perelli, Giuseppe, 53(6)587--619
• Perelli, Giuseppe, see Molinari, Alberto
• Pérez, Guillermo A., 54(1)3--39, 55(8)627--647, 59(5)671--671, see Hunter, Paul
• Pérez, Jorge A., 54(3)271--341, see Kouzapas, Dimitrios
• perfect, 24(3)353--362, 62(3)z--99999999
• perfectly, 60(1)59--78
• Performability, 25(6)663--676
• performance, 1(1)1--13, 1(3)173--189, 1(4)290--306, 3(4)347--355, 7(2)123--136, 7(2)137--152, 7(2)167--182, 8(1)61--73, 8(4)303--314, 8(4)359--370, 10(1)95--104, 14(1)39--62, 17(3)311--325, 18(3)289--298, 20(2)121--132, 20(4)345--369, 21(4)409--415, 21(6)541--557, 22(1)101--114, 22(4)451--473, 24(5)525--553, 24(5)555--564, 30(2)131--146, 31(7)629--650, 34(6)411--428, 34(11)805--835, 36(9)761--803, 48(4)243--269, 57(1)37--79
• performance, high-, 29(3)241--265
• performed, 8(4)325--334, 26(5)421--438, 30(3)215--231
• performing, 26(1)1--17
• Pergola, Elisa, 40(8)585--602, 42(8)603--616, 44(5)361--376, 50(3)157--173
• Pergola, Elisa, see Bacchelli, Silvia, see Bernini, Antonio, see Bilotta, Stefano, \see{Brlek, Srecko
• period, 43(3)165--171
• periodic, 15(1)67--81, 46(5)331--360, 58(4)319--333
• Periodic-like, 37(8)597--618
• periodicity, 36(12)983--1006, 37(8)597--618
• Perl, Y., 20(4)371--389
• Perl, Y., see Fraenkel, Aviezri S.
• Perlis, 28(5)409--410
• Perlis, Alan J., 15(1)1--2
• Perlis, Alan J., see Bauer, Friedrich L.
• permanent, 8(2)153--175
• permissible, 6(1)61--75
• permits, 5(4)297--332
• Permitted, 22(3)241--251
• permitting, 36(6)425--446, 50(1)1--14
• permutation, 2(z)80--96, 16(3)347--362, 23(6)697--705, 32(8)779--792, 46(1)43--55
• Permutationen, 2(z)80--96
• permuted, 33(6)559--569
• Permuting, 21(6)629--641
• Perna, Juan, 48(7)363--396
• Perna:2011:CHS, 48(7)363--396
• Peron, Adriano, 53(6)587--619
• Peron, Adriano, see Molinari, Alberto
• Perpetual, 25(6)691--711
• Perrin, Dominique, 1(z)159--172
• Perrin, Guy-René, 31(2)137--160, see Mongenet, Catherine
• Perrin:1971:CAA, 1(z)159--172
• Perrinel, Matthieu, 49(3)117--137
• Perrinel, Matthieu, see Lescanne, Pierre
• Perrot, 1(2)115--138
• Perrot, J.-F., 1(z)159--172, 7(4)399--413
• Perrot, J.-F., see Perrin, Dominique
• Perrot:1977:MSL, 7(4)399--413
• Persistence, 15(3)309--318
• persistent, 46(3)237--254, 52(1)35--60
• perspective, 21(5)485--500, 45(1)33--42, 46(4)297--330, 57(3)513--550, 58(6)677--677, 61(4)383--400
• pessimistic, 52(4)305--336
• Peters, Joseph G., 24(4)417--432
• Peters, Kirstin, 57(3)439--463, 57(6)759--760
• Peters, Kirstin, see Bisping, Benjamin
• Peters:1987:PAS, 24(4)417--432
• Peters:2020:PSI, 57(6)759--760
• Petersen, Holger, 40(2)81--94
• Petersen, Holger, see Ben-Amram, Amir M.
• Peterson, W. Wesley, 32(7)611--625
• Peterson:1995:VSR, 32(7)611--625
• Petersson, Ola, 35(9)775--793
• Petersson, Ola, see Moffat, Alistair
• Petit, Antoine, 30(1)89--101
• Petit:1993:RTL, 30(1)89--101
• Petri, 5(4)297--332, 19(4)325--338, 21(6)643--674, 26(4)333--348, 28(3)231--264, 28(6)575--591, 31(8)719--728, 32(3)189--207, 32(4)313--345, 32(4)347--374, 32(7)627--645, 33(4)297--315, 33(7)669--685, 33(7)687--706, 35(8)673--688, 35(10)813--857, 36(7)545--590, 37(11)781--829, 40(2)95--118, 43(5)307--330, 44(7)463--508, 46(1)43--55, 49(1)15--28, 50(7)403--436, 52(2)109--132, 52(2)153--174, 55(7)575--611, 56(1)61--92, 56(4)321--383, 56(6)537--552, 57(3)591--626, 58(6)675--676, 59(6)725--759
• Petri-nets, 5(4)297--332
• Petri{\c{s}}an, Daniela, 54(2)127--190, see Bonchi, Filippo
• Petrov, Tatjana, 54(8)765--787
• Petrov, Tatjana, see Giacobbe, Mirco
• Petrovich, 27(3)193--194
• Petsalakis, Stavros, 61(2)101--113
• Petsalakis, Stavros, see Alonistiotis, Giannis
• Pettorossi, Alberto, 18(2)181--206
• Pettorossi:1982:DVE, 18(2)181--206
• peuvent, 19(3)255--268
• Pfaff, Günther E., 19(2)151--166
• Pfaff:1983:COI, 19(2)151--166
• Phan Luong, V., 35(6)541--541
• Phan Luong, V., see Laurent, D.
• Phase, 12(3)245--284, 27(2)157--177
• phenomenon, 28(4)297--309, 29(3)281--302
• Philipp, Reiner, 14(1)87--106
• Philipp:1980:SPG, 14(1)87--106
• Philosophers, 1(2)115--138
• phrase, 8(3)267--283
• Physical, 19(1)13--33, 19(2)167--182
• PI, 42(4)227--290
• pi, 42(2)191--225
• pi-calculus, 40(6)385--430
• Piazza, Carla, 59(2)211--244
• Piazza, Carla, see Marin, Andrea
• Picaronny, Claudine, 37(1)45--81
• Picaronny, Claudine, see Bérard, Béatrice
• picture, 45(1)1--31, 52(7)593--623
• piece, 9(3)263--271
• piecewise, 62(1)z--99999999
• Pierre, Laurent, 26(6)503--525
• Pierre:1989:RIV, 26(6)503--525
• Pietro, Pierluigi, San, 53(2)171--206, 62(2)z--99999999
• Pighizzini, Giovanni, 58(4)241--242, 60(2)123--144
• Pighizzini, Giovanni, see Fernau, Henning
• Pighizzini:2023:PAC, 60(2)123--144
• Pigozzi, Don, 36(8)617--663
• Pigozzi, Don, see Leavens, Gary T.
• Pinchinat, Sophie, 49(4)249--279
• Pinchinat, Sophie, see Bozzelli, Laura
• Pinzani, R., 52(7)573--592
• Pinzani, R., see Bernini, A.
• Pinzani, Renzo, 44(5)361--376, 50(3)157--173
• Pinzani, Renzo, see Bernini, Antonio, see Bilotta, Stefano
• Pipelines, 22(1)35--45, 40(1)37--79
• Pistore, Marco, 37(7)467--509
• Pistore, Marco, see Corradini, Flavio
• Place, In-, 34(9)687--700
• placement, 18(4)377--392
• Places, Ángeles S., 43(5)341--370, see Paramá, José R.
• Plachý, Stepán, 62(3)z--z, see Janousek, Jan
• Plain, 30(1)1--59
• planar, 13(3)287--298, 14(1)87--106, 22(2)187--201, 23(2)163--176, 33(4)387--408, 59(4)289--319
• planaren, 13(3)287--298, 14(1)87--106
• plane, 22(2)187--201, 62(3)z--99999999
• planning, 7(2)137--152, 26(1)93--122, 53(6)649--680
• plants, 57(1)223--244
• Plateau, Brigitte, 14(1)39--62
• Plateau:1980:EPA, 14(1)39--62
• Plátek, Martin, 33(5)409--420, see Jan{\v{c}}ar, Petr
• play, 8(4)341--357
• PLD, 1(1)35--63
• pleasing, 18(4)377--392
• Pleszkoch, Mark, 61(3)261--314
• Pleszkoch, Mark, see Ghardallou, Wided
• Pletat, Udo, 19(3)235--253
• Pletat, Udo, see Engels, Gregor
• Pliuskevicien\.e, A., 11(1)31--55
• plot, 18(4)377--392
• plotting, 18(4)377--392
• plus, 30(3)215--231
• PNF, 28(6)603--605, 28(6)607--610
• Pnueli, Amir, 3(3)243--263, 8(2)125--144, 9(2)133--157, 20(3)207--226, 30(7)609--678, 36(11)837--912
• Pnueli, Amir, see Ben-Ari, Mordechai, see Francez, Nissim, \see{Kesten, Yonit, see Manna, Zohar
• Poblete, Patricio V., 26(3)193--211, 30(3)233--248
• Poblete, Patricio V., see Cunto, Walter
• Poblete:1993:AHS, 30(3)233--248
• Poetzsch-Heffter, Arnd, 34(10)737--772
• Poetzsch-Heffter:1997:PRP, 34(10)737--772
• Pohlmann, Werner, 20(4)283--300, 28(7)611--629
• Pohlmann:1983:LPA, 20(4)283--300
• Pohlmann:1991:FPA, 28(7)611--629
• point, 8(1)75--96, 8(4)359--370, 12(2)159--175, 18(1)17--30, 20(4)345--369, 26(7)597--614, 28(7)611--629, 34(2)109--133, 37(10)765--780, 43(4)243--264, 57(3)329--351, 58(4)319--333
• point, fixed-, 52(4)393--442
• pointer, 8(3)221--242, 30(3)215--231, 33(2)99--130
• pointer-based, 22(2)171--186
• points, cut-, 56(4)321--383
• points-to, 38(8)587--598
• Poissonization, 43(4)243--264
• Poitrenaud, Denis, 44(7)463--508
• Poitrenaud, Denis, see Haddad, Serge
• polarizations, 41(2)111--144
• policy, 6(3)211--225, 8(4)341--357, 8(4)359--370
• Polle, Torsten, 39(6)391--449
• Polle, Torsten, see Biskup, Joachim
• poly, 38(9)621--648
• Pólya, 41(1)1--18
• Polyhedra, 21(5)501--519
• polyhedral, 56(4)385--389
• polymorphic, 20(2)159--170
• polymorphism, 20(2)159--170, 30(6)569--607
• Polynomen, 7(4)395--398
• polynomial, 4(4)321--336, 6(2)153--169, 7(4)395--398, 18(4)377--392, 28(7)693--701, 37(10)765--780, 48(7)409--415, 60(3)279--316, 62(1)z--99999999, 62(3)z--99999999
• Polytime, 35(8)645--664
• Polyvariant, 21(5)473--484
• Polyvyanyy, Artem, 48(4)213--242
• Polyvyanyy:2011:CWN, 48(4)213--242
• Pomello, Lucia, 28(3)231--264
• Pomello, Lucia, see Best, Eike
• Pommereau, Franck, 45(7)537--564
• Pommereau, Franck, see Klaudel, Hanna
• Ponse, Alban, 44(2)75--90, 57(3)385--402
• Ponse, Alban, see Bergstra, Jan A.
• Pontelli, Enrico, 37(1)21--43
• Pontelli, Enrico, see Ranjan, Desh
• Poovanandran, Ghajendran, 56(6)521--535
• Poovanandran, Ghajendran, see Atanasiu, Adrian
• Popek, Gerald J., 10(1)1--26
• Popek, Gerald J., see London, Ralph L.
• population, 54(2)191--215
• Portable, 10(2)157--167
• Posenato, Roberto, 53(6)681--722
• Posenato, Roberto, see Cimatti, Alessandro
• position, 8(2)145--152, 24(4)461--474, 62(3)z--z
• positive, 17(2)221--243, 29(6)645--662, 59(4)505--519, 62(3)z--z
• positiven, 17(2)221--243
• POSS*, 28(6)603--605, 28(6)607--610
• possibility, 24(1)57--77, 28(6)603--605, 28(6)607--610, 33(1)1--20, 33(2)131--152
• possible, 1(2)115--138, 5(4)297--332, 8(4)325--334, 18(4)377--392, 28(6)539--558, 29(3)281--302, 30(5)441--457
• Post, 19(4)357--367, 30(5)441--457
• post-conditions, 8(2)145--152
• Postorder, 28(7)703--712
• potential, 60(3)317--329
• Potier, Dominique, 3(4)321--345, 7(2)197--216, 8(4)359--370
• Potier, Dominique, see Denning, Peter J., see Gelenbe, Erol, \see{Parent, Michel
• Pous, Damien, 54(2)127--190
• Pous, Damien, see Bonchi, Filippo
• Poutré, Han, La, 37(10)727--742
• power, 13(2)189--197, 15(2)129--139, 16(3)275--302, 17(3)245--265, 17(4)425--433, 20(4)391--411, 23(3)231--244, 28(5)447--452, 28(7)631--656, 29(2)161--210, 31(8)761--773, 43(5)293--306, 43(6)371--393, 46(7)509--531, 48(1)19--24, 49(6)395--412, 50(1)41--75, 56(6)521--535, 58(4)335--356
• Power, John, 36(9)693--719
• Power, John, see Kinoshita, Yoshiki
• powerful, 8(2)177--192
• pp, 1(2)115--138, 34(10)737--772
• pp.107--141, 1(3)173--189
• pp.189--190, 1(3)190--199
• Prabhu, 15(2)141--145
• practical, 6(3)227--249, 7(3)249--268, 13(3)205--224, 20(4)371--389, 21(6)559--584, 26(3)193--211, 57(1)3--36, 60(3)317--329
• Praeger, Cheryl E., 24(4)475--489
• Praeger, Cheryl E., see Bender, Edward A.
• PRAMs, 21(4)339--374, 36(6)463--487, 44(5)345--359
• Pratap, Rameshwar, 62(1)z--99999999
• Pratap, Rameshwar, see Verma, Bhisham Dev
• Prather, Ronald E., 11(1)89--101, 22(6)663--678
• Pratt, Terrence W., 9(3)195--216
• Pratt, Vaughan, 57(3)305--311, 57(3)321--322
• Pratt, Vaughan, see Höfner, Peter
• Pratt:1978:PAO, 9(3)195--216
• Pratt:2020:MTR, 57(3)321--322
• Prauß, Ernst J., 14(3)243--255, see Paul, Wolfgang J.
• Prauß, Ernst-Jürgen, 14(1)87--106, see Philipp, Reiner
• Pre-Orders, 30(8)773--785
• Precedence, 4(1)77--85, 4(2)183--192, 11(1)79--88, 14(4)317--335, 22(2)139--148, 23(4)361--392
• precise, 20(4)345--369, 28(6)603--605, 28(6)607--610, 54(6)589--623
• precision, 7(2)137--152
• predicate, 8(3)243--266, 15(4)425--445, 20(1)35--57, 20(4)301--313, 27(4)287--313, 35(12)1007--1036, 37(1)21--43, 40(4)265--301, 54(5)521--541, 57(1)165--193
• Predicate, Partial-, 24(4)381--393
• Predicate-Transformer, 26(4)309--332
• Predicateash, 27(6)533--565
• Predicative, 23(5)487--505, 26(3)285--285
• predicting, 58(1)57--93
• Prediction, 17(1)101--120
• predictions, 1(1)1--13, 7(2)123--136
• preemptions, 46(4)285--295
• preemptive, 39(8)597--612, 40(5)367--383, 41(6)315--340, 44(7)571--590, 60(2)101--122
• Preface, 55(2)89--90, 55(6)459--460, 55(8)625--626, 57(1)1--1, 57(3)305--311, 57(6)759--760, 58(4)241--242, 59(4)285--287
• Preference, 39(3)211--231
• prefetching, 42(1)21--42
• prefix, 20(4)371--389, 26(7)597--614, 32(2)145--153, 40(2)95--118, 47(7)413--423
• Prefix-Correct, 22(5)499--536
• Prefix-primitive, 49(5)281--293
• preliminary, 14(3)221--242, 27(6)567--581, 31(4)379--397
• preloading, 8(4)359--370
• Preorder, 29(8)737--760, 34(11)805--835
• preorders, 59(5)585--618
• Prepaging, 17(1)101--120
• Preparata, Franco P., 11(1)61--70, 15(4)329--346
• Preparata, Franco P., see Adleman, Leonard M., see Lipski, Jr., Witold
• preprocessor, 8(1)1--20
• Prescribed, 31(6)525--537
• presence, 8(4)303--314, 26(7)615--642, 27(6)505--517
• present, 1(2)115--138, 8(3)201--220, 15(3)251--263, 17(1)43--61, 20(3)249--260, 22(2)171--186, 30(6)569--607, 31(4)379--397, 59(6)709--724, 60(3)317--329
• presented, 6(3)227--249, 7(1)35--60, 7(2)123--136, 8(1)61--73, 8(4)303--314, 8(4)335--340, 8(4)359--370, 18(3)319--334, 21(5)473--484, 22(2)171--186, 29(8)689--736, 30(3)215--231, 31(4)379--397, 34(10)737--772, 60(3)317--329
• presenting, 8(3)201--220
• Preservation, 31(1)27--54
• preserve, 6(1)61--75
• Preserving, 46(7)475--507, 62(3)z--99999999
• preserving, capacity-, 62(1)z--99999999, 62(3)z--99999999
• preserving, order-, 61(4)415--444
• preserving, stability-, 57(3)353--383
• Presortedness, 29(3)267--280
• prespecified, 29(3)281--302
• Press, 1(2)115--138
• pretty, 22(2)187--201
• prevent, 8(2)153--175
• Prevention, 8(2)153--175
• previous, 22(2)171--186, 26(7)615--642
• previously, 8(1)1--20, 18(4)377--392
• Priami, Corrado, 36(5)335--374
• Priami, Corrado, see Degano, Pierpaolo
• price, 8(4)341--357, 47(7)375--389
• Priese, Lutz, 13(3)269--285
• Priese, Lutz, see Büning, Hans Kleine
• Prigioniero, Luca, 60(2)123--144
• Prigioniero, Luca, see Pighizzini, Giovanni
• Primal, 23(2)119--125
• primary, 1(2)115--138, 26(6)543--557, 43(4)243--264
• primitive, 1(2)115--138, 5(4)237--255, 5(4)297--332, 7(3)325--325, 8(3)201--220, 8(4)335--340, 16(2)219--235, 24(5)525--553, 31(4)329--340, 41(2)171--180, 43(3)173--194, 47(7)413--423, 49(7)437--444, 51(6)339--346, 56(2)93--159, 62(3)z--99999999
• primitive, non-, 51(6)339--346
• primitive, Prefix-, 49(5)281--293
• principle, 4(4)293--298, 8(2)97--112, 15(1)83--98, 18(4)377--392, 28(8)801--815, 41(7)415--434
• print, 22(2)187--201
• Prioritized, 13(4)299--324
• priority, 7(2)153--166, 8(2)153--175, 8(4)335--340, 8(4)341--357, 22(2)171--186, 22(3)241--251, 24(1)33--55, 27(3)247--286, 28(7)681--692, 30(3)215--231, 33(7)669--685, 35(8)673--688
• prisoner, 60(2)179--208
• Pritchard, Paul, 16(1)87--91, 17(4)477--485, 28(8)733--754
• Pritchard:1981:ALL, 16(1)87--91
• Pritchard:1982:EWS, 17(4)477--485
• Pritchard:1991:OAE, 28(8)733--754
• Prívara, Igor, 27(1)61--71, see Ru{\v{z}}i{\v{c}}ka, Peter
• private, 60(1)59--78
• probabilistic, 7(1)35--60, 8(4)359--370, 12(4)285--303, 16(2)139--160, 21(3)229--237, 22(3)333--345, 24(3)277--298, 26(1)123--130, 35(8)645--664, 37(4)329--354, 39(5)315--389, 45(2)93--130, 45(2)131--154, 45(5)321--382, 52(1)61--106, 53(4)425--457, 54(8)729--764, 55(6)461--488, 56(3)255--285, 57(3)465--512
• probability, 15(3)251--263, 17(1)43--61, 17(3)245--265, 26(4)349--362
• Problem, Emptiness-, 16(2)139--160
• Problem, LBA-, 8(4)371--382
• Problematic, 16(4)371--426
• problème, 19(3)255--268
• Proc, 14(3)221--242
• procedural, 14(2)135--155
• Procedural, Non-, 9(3)217--241
• procedure, 2(z)110--142, 2(z)311--333, 3(3)227--241, 6(1)41--60, 8(2)113--123, 8(2)145--152, 8(3)221--242, 12(2)159--175, 12(4)305--320, 18(3)299--318, 18(4)411--430, 20(1)59--101, 20(4)301--313, 23(4)357--360, 26(5)409--419, 38(7)489--529, 39(1)1--29, 45(1)43--78, 45(6)403--439, 61(1)23--52
• procédure, 12(4)321--338
• Procedure-Type, 18(2)149--169
• Procédures, 11(4)305--340
• Proceedings, 33(1)69--97
• process, 1(2)115--138, 3(1)43--45, 4(2)117--126, 5(4)297--332, 6(3)227--249, 7(1)15--34, 7(3)325--325, 8(3)201--220, 8(4)325--334, 12(2)109--158, 13(1)21--37, 14(1)1--20, 14(4)359--369, 15(3)281--302, 17(1)21--29, 18(2)117--134, 23(1)9--66, 23(5)507--527, 24(3)277--298, 25(2)179--201, 25(3)305--332, 25(3)333--354, 25(6)691--711, 26(7)597--614, 28(6)575--591, 28(7)681--692, 29(1)17--31, 29(4)303--334, 29(6)523--543, 29(8)737--760, 30(1)1--59, 31(1)55--80, 32(4)375--393, 32(6)509--543, 32(7)647--679, 33(4)317--350, 33(7)641--667, 34(4)291--324, 35(12)1037--1073, 36(3)233--256, 37(7)467--509, 38(3)155--234, 39(6)469--499, 41(1)1--18, 43(5)307--330, 46(1)1--28, 46(3)209--235, 47(3)147--177, 49(5)313--341, 49(7)445--484, 50(5)297--329, 52(1)61--106, 52(6)525--557, 54(2)217--242, 54(3)271--341, 54(6)545--587, 55(7)613--624, 56(5)433--446, 60(1)11--57, 61(1)1--21
• processeurs, 18(4)449--466
• processing, 24(2)121--130, 26(4)349--362, 29(3)281--302, 34(7)491--541, 36(9)673--692, 49(3)139--172, 53(6)723--752, 60(2)101--122
• processing, data-, 26(7)615--642
• Processor, 6(3)211--225, 12(3)245--284, 26(7)643--655
• Processor, Two-, 1(3)200--213
• processors, 10(1)95--104, 17(3)311--325, 18(3)289--298, 18(4)449--466, 24(5)513--524, 29(5)415--423, 39(6)517--529, 39(8)597--612, 41(4)257--272, 43(5)331--339, 47(2)133--146, 50(1)41--75
• PROCOL, 28(6)511--538
• Prodinger, Helmut, 31(8)775--792
• Prodinger, Helmut, see Kirschenhofer, Peter
• produce, 8(2)125--144, 18(4)377--392, 21(5)473--484
• producing, 18(4)377--392
• product, 7(2)167--182, 20(4)329--344, 35(8)689--707, 48(7)397--408, 50(2)77--122
• production, 4(4)337--357, 7(2)137--152, 9(2)31--59, 14(2)157--174, 16(3)303--308, 19(4)369--376, 34(5)325--335
• Prof, 52(4)299--301
• PROFITash, 36(3)215--232
• PROGLANG, 2(4)335--355
• Program-Analysis, 33(8)739--757
• Program-Substitution, 25(4)439--473
• programm, 1(z)320--335, 2(z)64--79, 5(4)297--332
• Programmable, 1(z)225--241
• Programme, 1(1)64--78
• Programmed, 1(z)242--252, 11(4)373--386, 33(6)523--546, 43(4)223--242
• programmer, 8(3)201--220
• programmierbare, 1(z)225--241
• PROGRAMMING, 18(3)289--298
• programming, 1(1)35--63, 2(4)293--309, 2(4)335--355, 2(z)110--142, 3(1)47--57, 3(2)135--153, 3(2)155--170, 3(3)296--296, 4(3)231--243, 4(3)271--292, 6(2)109--131, 6(3)227--249, 8(1)1--20, 8(2)97--112, 8(2)113--123, 8(3)221--242, 10(1)1--26, 10(2)157--167, 11(3)287--304, 16(4)371--426, 17(1)1--20, 17(4)451--476, 18(1)47--64, 18(4)377--392, 20(1)35--57, 20(3)249--260, 20(4)345--369, 21(3)239--250, 22(4)347--377, 23(1)67--98, 24(1)57--77, 26(7)597--614, 27(6)505--517, 29(3)281--302, 30(6)569--607, 33(5)477--510, 34(10)737--772, 35(10)813--857, 37(2)83--120, 55(4)269--307, 57(1)165--193
• Programming--Algorithms, 26(7)597--614
• programming-based, 62(1)z--99999999
• Programs,, 32(8)705--778
• Proietti, Guido, 36(4)257--266
• Proietti:1999:OAD, 36(4)257--266
• Project, 26(3)213--239, 41(2)83--97
• Project-Join, 24(2)131--144
• projection, 20(1)103--111, 28(6)603--605, 28(6)607--610, 31(3)285--299, 42(8)617--638, 45(1)43--78, 62(1)z--99999999
• Projections, -, 31(3)285--299
• Prolog, 32(3)209--253, 34(6)449--489
• promising, 60(3)317--329
• promoters/inhibitors, 38(10)695--720
• proof, 1(2)115--138, 1(4)271--281, 2(4)335--355, 6(4)319--340, 8(1)21--36, 8(2)113--123, 8(3)243--266, 9(2)133--157, 10(1)1--26, 11(2)139--148, 14(4)371--389, 15(3)281--302, 20(4)301--313, 21(3)251--269, 22(3)253--275, 23(4)357--360, 23(5)507--527, 24(2)145--156, 25(3)305--332, 26(5)409--419, 27(2)125--156, 28(1)7--41, 30(2)147--180, 33(2)131--152, 33(3)277--280, 35(11)951--1005, 39(1)1--29, 43(1)1--43, 46(1)57--72, 46(4)297--330, 50(5)331--341, 51(6)347--418, 54(3)243--269
• property, 4(2)117--126, 6(1)1--14, 8(1)37--59, 8(1)61--73, 8(2)193--199, 8(3)267--283, 13(1)9--20, 17(3)349--364, 19(3)195--220, 20(2)179--196, 20(4)329--344, 22(3)277--310, 22(3)311--331, 22(6)699--707, 23(3)289--309, 24(1)1--31, 24(4)395--415, 26(7)615--642, 27(6)505--517, 28(2)121--163, 28(6)559--574, 29(3)281--302, 33(6)595--606, 35(1)1--15, 38(9)649--671, 40(6)431--458, 48(1)1--18, 49(4)225--248, 50(4)289--295, 52(6)483--495, 53(6)587--619, 54(4)379--398, 55(4)309--338, 57(3)551--590, 59(4)357--385, 60(4)385--451
• proportional, 59(2)211--244
• proposal, 6(3)227--249, 8(3)201--220
• propose, 27(6)505--517
• proposed, 2(4)335--355, 8(1)1--20, 8(4)315--324, 24(1)57--77, 29(3)281--302
• proposition, 35(12)1075--1096
• propositional, 12(4)377--400, 27(8)725--747, 36(4)267--286, 45(1)43--78, 53(6)621--648
• PROSPECTRA, 26(3)213--239
• protocol, 13(4)299--324, 16(1)1--13, 26(6)577--595, 28(6)511--538, 34(7)543--556, 40(3)211--233, 46(4)297--330, 54(2)191--215, 57(1)271--304
• prototyping, 34(10)737--772
• provably, 57(1)223--244
• prove, 8(1)21--36
• proved, 8(2)113--123, 18(3)319--334
• proven, 8(1)61--73, 31(7)601--627
• provide, 8(4)359--370, 12(2)159--175, 17(1)43--61, 31(5)399--430
• provided, 21(3)239--250
• Providing, 40(3)159--210
• proving, 1(z)214--224, 2(z)50--63, 4(2)117--126, 6(1)15--40, 6(3)317--318, 6(4)407--415, 7(3)319--323, 9(2)121--132, 11(1)31--55, 13(2)169--188, 15(3)233--249, 22(3)311--331, 22(6)699--707, 24(1)1--31, 26(4)381--407, 27(7)665--683, 29(6)523--543, 29(8)689--736, 30(6)537--568, 31(1)55--80, 45(6)403--439
• provisions, 8(4)325--334
• Prusinkiewicz, Przemys{\l}aw, 9(2)133--157
• PS-codes, 61(1)67--81
• pseudo-bordered, 54(4)379--398
• pseudo-quad-tree, 17(3)267--285
• Pseudopolynomial, 54(1)85--125
• pseudorandom, 60(3)317--329
• PSO, 54(8)789--818
• PSPACE-Complete, 13(1)59--66, 15(2)167--191
• PSPACE-vollständig, 13(1)59--66, 15(2)167--191
• Pu, Geguang, 55(8)625--626
• Pu, Geguang, see Finkbeiner, Bernd
• Publication, 40(1)1--1
• published, 1(3)173--189, 8(2)177--192, 9(1)1--21, 33(1)69--97
• Publisher, 40(1)1--1, 40(1)z--z
• Puchala, Bernd, 51(3)221--260
• Puchala, Bernd, see Fridman, Wladimir
• Pucheu, G., Marque-, 20(3)249--260
• Pudlák, Pavel, 25(5)515--535
• Pudlak:1988:GC, 25(5)515--535
• Pujolle, Guy, 7(2)123--136, 7(2)183--195, 22(1)1--14
• Pujolle, Guy, see Bechtold, Michael, see Gelenbe, Erol, see Labetoulle, Jacques
• pumping, 59(4)337--355
• Puppis, Gabriele, 46(5)331--360
• Puppis, Gabriele, see Bresolin, Davide
• Purdom, Jr., Paul Walton, 14(4)299--315, 15(2)99--113, 15(2)115--127
• Purdom:1980:SRL, 14(4)299--315
• Purdom:1981:BML, 15(2)99--113
• Purdom:1981:PEL, 15(2)115--127
• Purdom:bit:1970, 8(4)303--314
• pure, 8(3)243--266, 39(8)579--595, 47(5)347--357
• Purely, 22(1)85--100
• purpose, 8(3)267--283, 14(3)195--220, 15(4)471--471
• Purser, David, 56(6)537--552
• Purser, David, see Jancar, Petr
• Purushothaman, S., 29(6)499--522
• Purushothaman, S., see Peng, Wuxu
• Push-Down, 25(2)203--231
• pushdown, 10(2)117--125, 23(5)597--605, 26(1)131--192, 32(4)395--413, 42(8)541--552, 44(2)75--90, 46(7)509--531, 46(7)533--547, 50(3)175--197, 60(2)123--144
• pushdown-{CD}-systems, 50(4)229--255
• put, 29(3)281--302