Index file section P for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
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
-
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
-
parallel, OR-, 34(6)449--489
-
parallel, series-, 36(2)143--172, 55(2)153--189
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Pierre, Laurent, 26(6)503--525
-
Pierre:1989:RIV, 26(6)503--525
-
Pietro, Pierluigi, San, 53(2)171--206
-
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.
-
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
-
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
-
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
-
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, 24(4)461--474
-
positions, 8(2)145--152
-
positive, 17(2)221--243, 29(6)645--662, 59(4)505--519
-
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
-
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
-
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
-
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
-
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
-
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