Index file section P for tcs1995.bib

Last update: Sun Oct 15 02:56:11 MDT 2017               

Return to index directory

P

• P, 154(2)145--163, 155(1)111--140, 155(1)267--276, 161(1)307--314, 193(1)181--195, 198(1)99--130
• p, 148(2)207--225
• p/, 160(1)321--363
• P;, Gap-, 163(1)245--258
• P-biimmune, 161(1)263--287
• P-complete, 141(1)337--350
• P-complexity, 154(2)145--163
• P-grammar, 194(1)240--z--2
• P/-hard, 179(1)301--317
• P-immune, 161(1)263--287
• p-m-complete, 147(1)137--147
• p-m-reducibility, 172(1)195--207
• p-measure, 168(1)3--19
• p-paperfolding, 158(1)35--51
• {P}-positions, 205(1)283--296
• p-processor, 148(1)171--180
• p-s, 163(1)145--160
• p-s-composed, 163(1)145--160
• p-selective, 154(2)367--377, 155(2)447--457, 158(1)361--370
• P-selectivity, 145(1)371--380
• {P}-selectivity, 145(1)371--380
• PAC, 172(1)43--65, 172(1)91--120, 209(1)141--162
• PAC-learning, 137(1)129--144, 185(1)159--175, 185(1)177--190
• {PAC}-learning, 172(1)43--65
• Pacholski, Leszek, 191(1)145--156
• Pacholski, Leszek, see Ko{\'s}cielski, Antoni
• package, 187(1)221--230, 187(1)231--248
• packet, 158(1)53--64, 178(1)103--118, 185(2)347--377, 196(1)131--151
• packet-switching, 178(1)103--118
• packing, 147(1)267--298, 157(2)215--225, 164(1)59--72
• packing, strip-, 178(1)265--273
• packing;, strip-, 178(1)265--273
• packing, tree-, 181(2)307--316
• packing;, tree-, 181(2)307--316
• padded-sorting, 188(1)59--78
• Pade, 162(2)173--223
• page, 181(1)75--90
• paged, 181(1)75--90
• paging, 181(1)75--90, 209(1)365--375
• Pagli, Linda, 197(1)171--188, 197(1)171--188--1
• Pagli, Linda, see De Prisco, Roberto, see Prisco, Roberto De
• Paige, Robert, 145(1)189--228, 178(1)1--36
• Paige, Robert, see Cai, Jiazhen, see Chang, Chia-Hsiang
• Paige-Tarjan, 183(2)215--228
• Painleve, 187(1)87--104
• Painlevé, 187(1)87--104
• pair, 141(1)311--328, 142(2)141--177, 145(1)111--145, 146(1)311--320, 154(1)3--22, 154(2)329--348, 159(2)143--190, 168(1)121--154, 175(1)159--181, 182(1)145--157, 192(1)3--29, 205(1)99--114
• pairing, 169(2)201--220
• pairwise, 197(1)157--169, 210(2)305--325
• Palamidessi, C., 197(1)246--z
• Palamidessi, C., see McDowell, R.
• Palamidessi, Catuscia, 151(1)37--78, 183(2)281--315
• Palamidessi, Catuscia, see Boer, Frank S. de, see Falaschi, Moreno
• palindrome, 141(1)163--173, 183(1)45--82, 223(1)73--85
• palindrome, left-, 178(1)205--224
• palindromic, 188(1)161--174
• Palopoli, Luigi, 193(1)215--244
• Palopoli, Luigi, see Cadoli, Marco
• Palsberg, Jens, 147(1)117--136
• Palsberg, Jens, see Cheng, Allan
• Pan, Victor Y., 162(2)173--223, 210(1)173--197
• Pan, Victor Y., see Bronnimann, Herve
• Pan:1996:PCP, 162(2)173--223
• Panconesi, Alessandro, 203(2)225--251, 209(1)347--363
• Panconesi, Alessandro, see Dubhashi, Devdatt, see Malesi{\'n}ska, Ewa
• Pandu Rangan, C., 145(1)27--43
• Pandu Rangan, C., see Srikrishna, G.
• Pandya, Paritosh K., 138(1)113--139
• Pandya, Paritosh K., see Hansen, Michael R.
• Panitz, Sven Eric, 149(2)361--374
• Panitz, Sven Eric, see Schmidt-Schauß, Manfred
• Pantziou, Grammati E., 148(1)133--140, 168(1)121--154, 181(2)267--287, 185(2)347--377
• Pantziou, Grammati E., see Dubhashi, Devdatt P., see Díaz, Josep, see Kavvadias, Dimitris J.
• Pantziou:1997:MMR, 185(2)347--377
• Papadimitnou, C., 152(2)321--z
• Papadimitnou, C., see Mislove, M.
• Papadimitriou, Christos H., 143(1)159--165
• Papadimitriou, Christos H., see Crescenzi, Pierluigi
• paper, 141(1)329--330, 194(1)z--z, 197(1)z--z
• paperfolding, 158(1)35--51
• paperfolding, p-, 158(1)35--51
• Päppinghaus, Peter, 139(1)27--67
• Pappinghaus:1995:LU, 139(1)27--67
• par, 156(1)1--38, 159(1)105--128, 164(1)165--183, 176(1)159--173, 180(1)81--113
• parabolas, 218(2)347--417
• paradigm, 140(2)319--331, 141(1)151--162, 159(2)191--244, 173(1)183--208, 179(1)273--299, 186(1)199--230
• paradigmatic, 177(1)59--71
• Paradyn, 196(1)241--258
• parallel, axis-, 185(1)159--175
• parallel, data-, 189(1)71--107
• parallel;, data-, 162(2)351--369
• parallel, series-, 154(2)247--282, 162(2)323--340, 197(1)247--z--2, 209(1)331--345
• parallel, task-, 162(2)341--349
• parallelash, 181(2)357--378
• parallelisation, 159(1)105--128, 169(1)39--65, 179(1)381--395
• parallelising, 179(1)381--395, 190(2)211--239, 196(1)347--363
• parallelism, 177(1)59--71, 192(2)315--351, 194(1)z--z, 196(1)347--363, 223(1)87--120
• parallelization, 162(1)133--150, 180(1)169--180, 190(2)211--239, 196(1)71--107, 196(1)395--415
• parameter, 144(1)125--159, 147(1)31--54, 150(1)111--159, 155(1)141--156, 159(1)65--79, 172(1)233--254, 183(2)215--228, 187(1)147--165, 187(1)249--262, 215(1)289--304, 224(1)13--33
• parameter, Fixed-, 141(1)109--131
• parameter, fixed-, 141(1)109--131, 147(1)31--54
• parameterized, 141(1)109--131, 147(1)31--54, 154(2)203--224, 170(1)245--276, 183(2)187--214, 191(1)97--115
• parametric, 149(2)299--332, 162(2)351--369, 181(1)57--74, 185(2)237--258
• parametrization, 143(2)189--249
• Parente, Domenico, 165(2)441--461, 179(1)251--271
• Parente, Domenico, see Auletta, Vincenzo, see Gruska, Jozef
• parentheses, 155(1)85--109, 161(1)205--233
• Parigot, 197(1)242--z
• Parikh, 202(1)231--244
• Parisi-Presicce, Francesco, 189(1)239--248
• Parisi-Presicce, Francesco, see Cicerone, Serafino
• parity, 173(1)151--181
• Park, 177(1)217--283
• Park, Kunsoo, 164(1)299--310, 201(1)263--273
• Park, Kunsoo, see Iliopoulos, Costas S.
• Park, Uchang, 166(1)49--62
• Park:1996:AFA, 166(1)49--62
• Park:1998:ATD, 201(1)263--273
• Parlati, Giuseppe, 143(1)175--188
• Parlati, Giuseppe, see De Prisco, Roberto
• parse, 199(1)145--166
• parser, 142(1)3--26, 165(2)355--390, 199(1)199--229
• parsing, 144(1)161--197, 161(1)205--233, 199(1)87--103
• part, 147(1)165--180, 148(1)93--109, 155(1)1--38, 160(1)145--184, 160(1)185--216, 166(1)1--47, 170(1)1--46, 203(2)205--223, 221(1)77--118
• partial, 138(2)273--314, 139(1)163--186, 140(1)73--94, 151(1)195--205, 152(1)91--138, 154(2)379--385, 155(1)157--177, 155(2)291--319, 160(1)87--143, 161(1)289--300, 162(1)79--115, 162(2)225--243, 164(1)287--298, 168(1)21--38, 168(1)155--212, 170(1)129--144, 170(1)145--171, 170(1)209--244, 171(1)247--280, 172(1)1--41, 173(2)513--554, 175(1)3--13, 175(1)127--158, 175(2)373--392, 179(1)217--250, 179(1)421--425, 180(1)243--268, 180(1)341--352, 181(1)195--225, 184(1)61--104, 184(1)145--193, 187(1)263--284, 190(2)167--210, 190(2)317--361, 192(1)55--75, 194(1)1--34, 194(1)183--205, 194(1)245--z, 194(1)246--z, 195(2)259--289, 197(1)245--z--2, 206(1)127--162, 206(1)181--218, 209(1)1--45, 210(1)121--157, 216(1)311--362, 218(1)135--141, 219(1)379--420, 224(1)215--235
• partially, 138(2)425--454, 145(1)147--157, 157(2)161--183, 160(1)87--143, 163(1)1--54, 171(1)247--280, 175(2)225--238, 196(1)365--393, 220(1)185--210
• participant, 219(1)267--285
• partition, 143(2)269--284, 145(1)111--145, 148(1)93--109, 166(1)63--81, 175(2)283--292, 201(1)233--248
• partitionable, 220(1)3--30
• partitioned, 165(2)475--482, 168(2)337--366
• partitioning, 138(1)35--65, 164(1)73--106, 175(2)283--292, 188(1)221--230
• Pas, Paulien ten, 155(2)425--438
• Pas, Paulien ten, see Ehrenfeucht, Andrzej
• PASCAL, 141(1)1--52
• Pascal, 141(1)1--52
• Paschos, Vangelis Th, 147(1)267--298, 158(1)117--141, 209(1)107--122
• Paschos, Vangelis Th, see Blot, Joël, see Demange, Marc
• Paschos, Vangelis Th., see Demange, Marc
• passes, 169(1)67--80
• passing, 138(2)353--389, 146(1)145--184, 150(1)111--159, 151(1)195--205, 151(2)437--486, 169(1)39--65, 178(1)103--118, 183(2)215--228, 192(2)201--231, 195(2)291--324, 196(1)71--107
• passing, agent-, 167(1)235--274
• passing, message-, 196(1)71--107, 220(1)211--245
• passing, name-, 167(1)235--274, 195(2)205--226
• passive, 194(1)123--136, 227(1)3--42
• past, 148(2)303--324
• past-time, 148(2)303--324
• Paterson, Mike S., 158(1)343--359
• Paterson, Mike S., see Zwick, Uri
• path, 139(1)355--362, 140(2)205--230, 140(2)231--247, 140(2)249--263, 140(2)265--289, 140(2)291--300, 140(2)301--317, 142(2)179--207, 142(2)277--297, 143(1)175--188, 143(2)343--352, 145(1)27--43, 145(1)45--69, 145(1)111--145, 145(1)147--157, 145(1)329--344, 157(1)53--77, 157(1)101--114, 159(1)65--79, 160(1)87--143, 161(1)1--21, 166(1)49--62, 168(1)121--154, 175(1)127--158, 176(1)67--87, 183(1)21--32, 186(1)171--198, 188(1)1--44, 190(1)41--60, 196(1)395--415, 203(1)143--150, 203(2)205--223, 208(1)33--58, 215(1)89--98, 225(1)163--169
• path, Min-, 148(1)171--180
• path, shortest-, 140(2)249--263
• path-characterization, 142(2)277--297
• path-width, proper-, 137(2)253--268
• path-width;, proper-, 137(2)253--268
• pathological, 138(1)113--139
• pathwidth, 172(1)233--254, 175(2)309--335
• Patnaik, Sushant, 155(1)111--140
• Patnaik, Sushant, see Immerman, Neil
• Patricia, 144(1)251--275
• Patt-Shamir, Boaz, 220(1)93--111
• Patt-Shamir, Boaz, see Kutten, Shay
• pattern, 137(1)25--51, 138(1)113--139, 140(2)319--331, 141(1)53--67, 141(1)253--268, 141(1)283--310, 145(1)1--26, 145(1)159--187, 145(1)329--344, 145(1)357--369, 147(1)19--30, 152(2)171--217, 154(2)165--181, 154(2)183--201, 154(2)203--224, 155(2)321--347, 155(2)349--363, 156(1)217--261, 158(1)177--192, 160(1)217--239, 163(1)117--144, 163(1)303--308, 172(1)281--291, 173(2)349--391, 178(1)129--154, 178(1)225--236, 178(1)275--283, 180(1)115--137, 181(2)379--404, 184(1)195--236, 185(1)47--62, 186(1)231--248, 192(1)3--29, 196(1)71--107, 197(1)171--188, 201(1)263--273, 205(1)243--260, 206(1)1--50
• pattern, E-, 186(1)231--248
• pattern, {E}-, 186(1)231--248
• pattern, Multi-, 141(1)253--268
• pattern, multi-, 141(1)253--268, 154(2)183--201
• P{\u{a}}un, Gheorghe, 141(1)253--268, 154(2)183--201, 168(2)321--336, 204(1)183--203, 205(1)61--83, 205(1)195--205, see Ehrenfeucht, Andrzej, \see{Kari, Lila, see Martin-Vide, Carlos, see Mitrana, Victor
• Paun:1996:CS, 168(2)321--336
• Paun:1998:SS, 204(1)183--203
• Pavage, 159(1)105--128
• pavages, 156(1)1--38
• pavants., 164(1)165--183
• paved, 164(1)165--183
• Pavlotskaya, Liudmila, 168(2)257--266
• Pavlotskaya:1996:MUE, 168(2)257--266
• payoff, 158(1)343--359
• PC, 165(2)463--474, 209(1)319--329, 215(1)383--398
• PCD, 138(1)35--65
• PCF, 162(1)79--115, 168(1)155--212, 177(1)59--71, 206(1)317--329, 210(1)121--157, 216(1)363--373
• PDL, 161(1)109--122, 166(1)173--202
• Pe'er, Itsik, 175(2)349--372
• pebble, multi-, 169(2)161--184
• Pedicini, M., 197(1)248--z
• Pedicini:1998:REL, 197(1)248--z
• Peer:1997:SPI, 175(2)349--372
• Peitgen, H.-O., 188(1)195--209
• Peitgen, H.-O., see Allouche, J.-P.
• Péladeau, Pierre, 180(1)325--339
• Peladeau:1997:FSV, 180(1)325--339
• Pelc, Andrzej, 145(1)95--109, 164(1)107--122, 203(1)151--162, 203(1)163--173
• Pelc, Andrzej, see Diks, Krzysztof, see Kranakis, Evangelos
• Pélecq, Laurent, 165(2)275--293
• Pelecq:1996:AGC, 165(2)275--293
• Peled, D., 195(2)183--203
• Peled, Doron, 186(1)135--156
• Peled, Uri N., 175(2)257--270
• Peled, Uri N., see Ekin, Oya
• Peled:1997:PSP, 186(1)135--156
• Peled:1998:AAC, 195(2)183--203
• Peleg, David, 203(1)151--162
• Peleg, David, see Kranakis, Evangelos
• Pélibossian, Hratchia, 162(1)117--132
• Pelibossian:1996:LLC, 162(1)117--132
• Pelletier, Maryse, 225(1)1--63
• Pelletier:1999:RFD, 225(1)1--63
• pen, 181(1)159--179
• Penaud, J.-G., 159(1)3--z
• Penaud, J.-G., see Gouyou-Beauchamps, D.
• Penaud, Jean-Guy, 218(2)217--218
• Penaud, Jean-Guy, see Mazoyer, Jacques
• Penczek, Wojciech, 195(1)1--1
• Penczek:1998:F, 195(1)1--1
• Penelope, 194(1)207--218
• Peng, Shietung, 210(2)327--339
• Peng, Shietung, see Gu, Qian-Ping
• Penna, P., 203(1)51--67
• Penna, P., see Crescenzi, P.
• peptide, 180(1)115--137
• PER, 183(1)45--82
• perception, 140(2)319--331
• perceptrons, 147(1)181--210
• Pereira, Shelby, 226(1)117--142
• Pereira, Shelby, see Ruanaidh, Joseph Ó
• perfect, 143(2)319--333, 145(1)111--145, 145(1)381--390, 158(1)343--359, 164(1)253--276, 174(1)217--230, 182(1)1--143, 197(1)247--z--2
• performance, 138(1)141--168, 140(1)73--94, 163(1)239--243, 164(1)107--122, 178(1)119--127, 181(1)45--56, 182(1)159--170, 182(1)203--216, 182(1)233--244, 185(2)259--275, 196(1)31--44, 196(1)241--258, 196(1)289--317, 196(1)319--345, 196(1)347--363, 197(1)171--188, 215(1)263--287
• performance, worst-case-, 196(1)347--363
• performance-sensitive, 198(1)225--237
• Pergola, Elisa, 218(2)219--232
• Pergola, Elisa, see Barcucci, Elena
• period, 148(1)111--119, 204(1)87--98, 218(1)83--94
• {P}ériodes, 204(1)87--98
• périodes, 204(1)87--98
• periodic, 127(2)287--312, 143(2)251--267, 144(1)251--275, 154(2)165--181, 164(1)29--40, 172(1)121--134, 174(1)157--170, 174(1)203--216
• periodicity, 143(2)269--284, 204(1)153--167, 205(1)145--181
• permanent, 209(1)389--398, 215(1)51--68
• permutability, 135(1)67--110, 212(1)141--155
• permutation, 154(1)41--56, 156(1)301--313, 158(1)53--64, 159(1)15--28, 159(1)29--42, 170(1)129--144, 172(1)135--174, 175(2)239--255, 178(1)103--118, 205(1)99--114, 225(1)177--184
• permutation-of-transitions, 141(1)195--252
• permutation-reset, 145(1)391--396
• permutative, 212(1)247--260
• permuted, 154(2)387--394
• perpetual, 212(1)183--209
• Perrier, 206(1)353--354
• Perrier, G., 224(1)267--289
• Perrier, Guy, 135(1)67--110, 206(1)353--354
• Perrier, Guy, see Galmiche, Didier
• Perrier:1998:CGP, 135(1)67--110, 206(1)353--354
• Perrier:1999:PCF, 224(1)267--289
• Perrin, Crochemore-, 158(1)177--192
• Perrin, Dominique, 218(1)107--121, 221(1)41--60
• Perrin, Dominique, see Bassino, Frédérique, see Bruyère, Véronique
• Persiano, Giuseppe, 143(1)175--188, 165(2)441--461
• Persiano, Giuseppe, see Auletta, Vincenzo, see De Prisco, Roberto
• Persiano, Pino, 221(1)119--137
• Persiano, Pino, see Erlebach, Thomas
• persistence, 152(2)269--283
• persistent, 152(2)269--283, 192(2)259--286, 196(1)319--345
• person, two-, 175(2)283--292, 215(1)305--323
• perspective, 138(2)425--454, 153(1)271--300, 190(2)279--315
• Petersen, A., 188(1)195--209
• Petersen, A., see Allouche, J.-P.
• Petersen, H., 141(1)329--330, 161(1)141--156
• Petersen, Holger, 226(1)117--142
• Petersen, Holger, see Ruanaidh, Joseph Ó
• Petersen:1995:RPB, 127(2)287--312, 141(1)329--330
• Petersen:1996:LPW, 161(1)141--156
• Petersson, Ola, 163(1)211--238
• Petersson, Ola, see Levcopoulos, Christos
• Petkov{\v{s}}ek, Marko, 157(1)3--33, see Bronstein, Manuel
• Petri, 141(1)195--252, 147(1)117--136, 148(2)281--301, 153(1)3--48, 153(1)49--64, 153(1)65--94, 153(1)95--128, 153(1)129--170, 153(1)171--210, 153(1)211--244, 153(1)245--270, 153(1)271--300, 154(1)107--143, 170(1)277--296, 172(1)309--321, 176(1)39--65, 179(1)203--215, 183(2)229--251, 186(1)107--134, 194(1)241--242, 194(1)241--z, 198(1)211--224, 202(1)127--161, 206(1)219--256, 216(1)1--53, 222(1)187--194
• Petri, C. A., 153(1)3--48
• Petri:1996:NTS, 153(1)3--48
• Pettorossi, Alberto, 142(1)89--124
• Pettorossi, Alberto, see Proietti, Maurizio
• Pevzner, Pavel A., 182(1)233--244
• Pevzner, Pavel A., see Bafna, Vineet
• Pfaffian, 157(2)185--214
• Pflügel, E., 187(1)81--86
• Pflugel:1997:LVD, 187(1)81--86
• PH, 158(1)221--231
• phase, 147(1)19--30, 149(1)179--199, 197(1)243--z--1, 197(1)246--z--2, 227(1)333--396
• phase, two-, 189(1)71--107
• phenomena, 187(1)249--262
• Philippou, A., 195(2)259--289
• Philippou:1998:TCO, 195(2)259--289
• PHRASE, 199(1)199--229
• phrases, 144(1)161--197
• physical, 187(1)249--262
• physics, 153(1)3--48, 187(1)249--262, 217(1)115--130
• pi, 153(1)65--94, 183(2)215--228, 195(2)155--182
• pi-calculus, 153(1)65--94, 155(1)39--83, 168(1)53--103, 183(2)215--228, 194(1)244--z--3, 195(2)205--226, 195(2)259--289, 195(2)291--324, 198(1)159--176, 211(1)311--337
• pi-polynomials, 197(1)111--138
• Picouleau, C., 164(1)59--72
• Picouleau:1996:WCA, 164(1)59--72
• picture, 147(1)211--248, 159(1)105--128, 178(1)275--283, 218(2)297--323
• piecewise, 143(2)269--284, 161(1)157--190, 178(1)257--264
• piecewise-constant, 138(1)35--65
• piecewise-linear, 138(1)3--34
• Pierce, Benjamin, 176(1)235--282, 184(1)247--247, 193(1)75--96
• Pierce, Benjamin, see Ghelli, Giorgio
• Pierce:1997:CHO, 176(1)235--282, 184(1)247--247
• Pierce:1997:HOS, 176(1)235--282, 184(1)247--247
• Pierro, Alessandra Di, 151(1)37--78
• Pierro, Alessandra Di, see Boer, Frank S. de
• pigeonhole, 170(1)129--144
• Pigozzi, Don, 140(1)5--52, 171(1)77--109, 177(1)183--216
• Pigozzi, Don, see Leavens, Gray T., see Mobasher, Bamshad
• Pigozzi:1995:LAA, 140(1)5--52
• pile, 205(1)183--193
• Pin, Jean-Eric, 155(2)439--446, 169(2)185--200
• Pin, Jean-Eric, see Berstel, Jean
• Pin:1996:PCG, 169(2)185--200
• Pinchinat, S., 140(1)53--71
• Pinchinat, S., see Laroussinie, F.
• Pinna, G. Michele, 138(2)425--454
• Pinna:1995:NEA, 138(2)425--454
• Pino, Elvira, 173(2)485--511
• Pino, Elvira, see Orejas, Fernando
• Pinotti, Maria Cristina, 148(1)171--180
• Pinotti:1995:PAP, 148(1)171--180
• Pinto, Luís, 212(1)141--155, see Dyckhoff, Roy
• Pinzani, Renzo, 155(2)321--347, 159(1)29--42, 159(1)129--136, 218(2)217--218
• Pinzani, Renzo, see Barcucci, Elena, see Mazoyer, Jacques
• Pion, Sylvain, 210(1)173--197
• Pion, Sylvain, see Bronnimann, Herve
• pipeline, 192(2)233--258
• pipelining, 192(2)233--258
• Piperno, Adolfo, 170(1)83--128, 212(1)233--246
• Piperno, Adolfo, see Dezani-Ciancaglini, Mariangiola
• Piperno:1999:AVB, 212(1)233--246
• Pirillo, G., 141(1)351--355, 154(2)387--394
• Pirillo, G., see Justin, J.
• Pirillo, Giuseppe, 223(1)73--85
• Pirillo, Giuseppe, see Droubay, Xavier
• Pisot, 158(1)65--79, 164(1)41--57, 181(1)17--43
• Pisot-Vijayaraghavan, 158(1)65--79
• PI//sub, 179(1)301--317
• Pitsch, Gisela, 161(1)205--233
• Pitsch, Gisela, see Hotz, Günter
• Pitts, A. M., 195(2)155--182
• Pitts:1998:PCB, 195(2)155--182
• Pivert, Olivier, 171(1)281--302
• Pivert, Olivier, see Bosc, Patrick
• place, update-in-, 149(1)179--199
• place-invariants, 153(1)49--64
• Placeash, 153(1)171--210
• placement, 165(2)441--461
• place/transition, 141(1)195--252, 153(1)171--210, 153(1)271--300, 186(1)107--134
• plan, 146(1)199--242, 156(1)159--176
• planar, 140(2)301--317, 143(2)309--318, 145(1)27--43, 147(1)69--85, 154(1)3--22, 159(1)137--142, 172(1)303--308, 175(2)239--255, 181(1)57--74, 203(1)123--141, 215(1)225--237
• planarity, 223(1)179--191
• Plandowski, Wojciech, 147(1)19--30, 168(1)105--119, 218(1)123--133
• Plandowski, Wojciech, see G{\k{a}}sieniec, Leszek, see Karhumäki, Juhani
• plane, 140(2)265--289, 145(1)241--270, 156(1)159--176, 157(1)129--136, 159(1)105--128, 172(1)175--193, 197(1)203--234, 197(1)246--z--1
• planning, 140(2)205--230, 140(2)231--247, 140(2)249--263, 140(2)265--289, 140(2)291--300, 140(2)301--317, 157(1)53--77, 157(1)101--114, 185(2)347--377
• plant, 138(1)141--168, 138(1)201--210, 138(1)211--239
• Plasmeijer, M. J., 194(1)246--z--1
• Plasmeijer:1998:CPE, 194(1)246--z--1
• plausibility, 171(1)221--246
• Plaxton, C. Greg, 220(1)247--265
• Plaxton, C. Greg, see Gehrke, Johannes E.
• player, 174(1)97--121, 215(1)305--323
• player, 2-, 143(2)319--333
• player, two-, 164(1)253--276
• Plump, D., 194(1)243--z--1
• Plump, D., see Habel, A.
• Pnueli, Amir, 138(1)35--65
• Pnueli, Amir, see Asarin, Eugene
• Podehl, Axel, 196(1)215--240
• Podehl:1998:SMI, 196(1)215--240
• Podelski, Andreas, 173(1)235--252
• Podelski:1997:SS, 173(1)235--252
• Poigné, Axel, 138(2)425--454, see Pinna, G. Michele
• point, 138(1)201--210, 138(2)273--314, 139(1)1--25, 140(2)265--289, 143(2)319--333, 148(1)67--92, 150(1)57--75, 151(1)3--27, 151(1)29--36, 155(1)1--38, 156(1)1--38, 159(2)143--190, 160(1)1--85, 163(1)291--302, 167(1)131--170, 174(1)203--216, 175(2)239--255, 179(1)1--60, 187(1)49--79, 187(1)105--116, 189(1)1--69, 192(2)167--199, 193(1)53--73, 195(1)61--89, 196(1)201--214, 217(2)301--358, 222(1)181--186
• point, fixed-, 146(1)311--320, 155(1)1--38, 173(1)235--252, 179(1)1--60
• point, floating-, 162(1)151--170, 196(1)201--214, 218(2)233--248
• pointfree, 159(2)319--341
• Poisson, 182(1)203--216, 190(2)151--166
• Poissonization;, de-, 144(1)161--197
• Pokrovskii, A., 148(1)1--17
• Pokrovskii, A., see Diamond, P.
• Pol, Jaco, van de, 200(1)289--312
• Polakow, J., 197(1)247--248
• Polakow, J., see Hodas, J. S.
• pole, 180(1)287--308
• policy, 138(1)201--210, 182(1)203--216
• Polya, 144(1)221--249
• polygon, 140(2)249--263, 140(2)291--300, 145(1)159--187, 174(1)193--202
• polygonal, 140(2)265--289, 140(2)301--317, 210(1)159--171
• polyhedra, 138(1)3--34, 145(1)159--187
• polyhedral, 138(1)35--65, 140(2)205--230, 140(2)249--263
• polyhedric, 196(1)395--415
• polyhedron, 140(2)205--230, 141(1)133--150, 157(2)185--214
• polylogarithm, 188(1)117--128
• polylogarithmic, 141(1)175--193, 141(1)269--282
• POLYLOGTIME, 148(2)183--205
• polymorphic, 155(1)179--219, 173(2)349--391, 176(1)235--282, 196(1)71--107, 199(1)57--86, 212(1)157--181
• polymorphism, 146(1)5--23, 156(1)177--201, 185(2)237--258
• polynomial/, 178(1)155--169
• polynomial-length, 180(1)325--339
• polynomial-size, 137(2)279--282, 154(1)23--39, 161(1)141--156, 182(1)183--202
• polynomial-space, 206(1)331--339
• polynomial-time, 137(1)129--144, 137(2)279--282, 141(1)109--131, 141(1)175--193, 145(1)147--157, 145(1)241--270, 145(1)371--380, 148(2)207--225, 148(2)325--349, 150(1)1--55, 155(2)447--457, 158(1)221--231, 172(1)209--232, 174(1)23--65, 181(1)159--179, 181(2)229--245, 184(1)237--245, 185(1)191--213, 191(1)215--218, 193(1)149--179, 194(1)137--161, 196(1)131--151, 207(1)89--104
• polynomial-time, pseudo-, 158(1)343--359
• polynomially, 172(1)233--254
• polynomials;, pi-, 197(1)111--138
• polynomiaux., 161(1)69--92
• polynominally, 155(2)411--424
• polyomino, 147(1)165--180, 155(2)321--347, 159(1)29--42, 159(1)103--104, 159(1)129--136, 218(2)273--283
• polytime, 157(2)161--183
• Pomerance, Carl, 180(1)181--201
• Pomerance:1997:AID, 180(1)181--201
• pomset-trace, 154(1)107--143
• Ponse, Alban, 177(2)285--286, 177(2)487--507
• Ponse, Alban, see Bezem, Marc
• Ponse:1997:P, 177(2)285--286
• popular, 147(1)1--18
• portability, 185(1)191--213
• Portier, Natacha, 201(1)137--150
• Portier:1998:RUP, 201(1)137--150
• Porto, António, 192(2)259--286, see Monteiro, Luís
• poset, 154(2)379--385, 155(1)1--38, 175(2)293--308, 177(1)111--138, 192(2)259--286, 193(1)53--73
• position, 140(2)231--247, 140(2)249--263, 140(2)301--317, 143(1)93--112, 156(1)263--280, 164(1)253--276
• positional, 174(1)247--249
• positions, {P}-, 205(1)283--296
• positive, 137(1)145--157, 152(1)91--138, 154(2)283--306, 155(1)141--156, 155(2)365--410, 158(1)65--79, 161(1)235--261, 162(1)151--170, 168(2)267--301, 176(1)329--335, 185(1)63--79, 187(1)179--202
• possibility, 171(1)281--302, 206(1)341--352
• possible, 138(2)425--454
• possibly, 146(1)243--268
• Post, 161(1)93--108
• posterior, 171(1)147--177
• postfix, 142(1)3--26
• potato, hot-, 185(2)347--377
• pour, 201(1)137--150
• Pour-El, Marian Boykan, 219(1)319--329
• Pour-El:1999:AIC, 219(1)319--329
• power, 137(1)85--108, 139(1)27--67, 148(2)207--225, 148(2)261--279, 149(1)49--66, 149(1)67--99, 151(1)79--124, 155(1)39--83, 160(1)271--281, 160(1)321--363, 166(1)63--81, 168(2)417--459, 173(1)151--181, 174(1)137--156, 180(1)139--154, 182(1)159--170, 183(1)113--142, 187(1)203--219, 188(1)117--128, 190(2)317--361, 193(1)1--51, 193(1)53--73, 193(1)215--244, 199(1)145--166, 201(1)189--231, 206(1)181--218, 216(1)159--211, 218(1)143--160
• Power, A. J., 177(1)3--25, 228(1)211--252
• Power, A. J., see Anderson, S. O., see O'Hearn, P. W.
• powerdomains, 177(1)3--25, 177(1)111--138
• powerful, 187(1)221--230
• powerset, 150(1)111--159, 166(1)83--99, 189(1)1--69, 222(1)77--111
• PP, 180(1)17--45
• PP/linear, 154(2)367--377
• P/poly, 168(2)417--459
• P/quadratic, 154(2)367--377
• practical, 143(2)335--342, 181(2)317--335
• practice, 159(2)191--244, 185(2)393--410, 194(1)248--z, 217(2)235--254
• Prade, Henri, 171(1)281--302
• Prade, Henri, see Bosc, Patrick
• PRAM, 143(2)309--318, 147(1)1--18, 147(1)249--265, 154(2)225--245, 155(2)349--363, 158(1)1--33, 162(2)245--281, 163(1)211--238, 164(1)1--12, 164(1)107--122, 164(1)299--310, 168(1)121--154, 169(1)67--80, 172(1)1--41, 174(1)193--202, 175(2)393--406, 178(1)225--236, 179(1)381--395, 180(1)169--180, 180(1)287--308, 181(2)267--287, 188(1)221--230, 194(1)225--237, 196(1)3--29, 196(1)109--130, 205(1)231--242
• PRAM, CRCW-, 137(2)269--278
• PRAM, CREW-, 140(2)291--300
• PRAM;, EREW-, 148(1)171--180
• PRAM;, SB-, 196(1)215--240
• PRAMs, 155(2)411--424, 196(1)153--180
• Prasad, L., 140(2)249--263
• Prasad:1995:NCS, 140(2)249--263
• Pratt, V., 197(1)247--z--1
• Pratt:1998:BDS, 197(1)247--z--1
• pre, 176(1)159--173
• pre-processing, 175(2)373--392
• precedence, 142(1)3--26, 147(1)1--18, 162(2)341--349, 176(1)67--87
• Precedences, 142(1)3--26
• precise, 138(1)67--100, 144(1)199--220, 148(1)33--55, 167(1)131--170, 190(2)167--210
• precision, 153(1)3--48
• predecessor, 158(1)81--115
• predeterministic, 138(2)273--314
• predicate, 142(1)89--124, 142(2)141--177, 146(1)185--197, 146(1)243--268, 146(1)269--310, 147(1)149--163, 150(1)111--159, 150(1)161--191, 151(1)79--124, 154(2)307--327, 159(1)81--102, 160(1)1--85, 160(1)305--320, 165(1)3--55, 169(1)81--112, 176(1)175--204, 179(1)137--202, 179(1)273--299, 183(2)253--279, 185(2)393--410, 192(2)167--199, 193(1)215--244, 224(1)291--317
• prediction, 210(2)277--303
• preemption, 155(1)141--156
• preemptive, 182(1)203--216
• Preface, 142(1)1--z, 144(1)1--z, 148(2)181--z, 151(1)1--z, 153(1)1--z, 154(1)1--z, 159(1)3--z, 159(1)103--104, 169(1)1--1, 171(1)1--2, 173(1)1--1, 173(2)309--310, 175(2)223--223, 177(2)285--286, 181(1)1--2, 183(1)1--1, 185(2)215--215, 213(1)1--3
• preference, 155(1)85--109, 217(2)359--383
• prefix, 142(1)3--26, 155(1)179--219, 163(1)145--160, 164(1)107--122, 183(1)3--19, 183(1)21--32, 190(2)363--396
• prefix--suffix, 163(1)145--160
• prefix-based, 193(1)113--127
• prefix-matching, 137(2)269--278
• prefix-suffix, 163(1)145--160
• premixed, 187(1)249--262
• premonoidal, 177(1)3--25
• preorder, 138(2)391--423, 146(1)341--349, 170(1)349--381, 184(1)61--104, 193(1)1--51
• preordered, 150(1)111--159
• preprocessing, 140(2)291--300, 147(1)19--30, 154(2)203--224, 158(1)177--192, 163(1)117--144
• Presburger, 171(1)25--60
• presence, 161(1)235--261, 185(1)159--175, 196(1)347--363
• presentable, 161(1)263--287
• presentation, 146(1)321--329, 158(1)81--115, 161(1)263--287, 183(1)83--92, 197(1)244--z--2
• presentation;, F-, 183(1)83--92
• presentations;, F-, 183(1)83--92
• presented, 146(1)321--329, 204(1)169--182
• preservance, 194(1)240--z--1
• preservation, 184(1)237--245
• preserve, 181(2)289--306, 194(1)87--122
• preserving, 145(1)271--290, 150(1)1--55, 168(1)155--212, 179(1)397--419, 207(1)43--72, 212(1)261--303, 266(1)997--998
• preserving, Cover-, 175(2)337--347
• preserving, cover-, 175(2)337--347
• preserving, history-, 154(1)107--143
• preserving, meaning-, 140(1)53--71
• preserving, order-, 175(2)337--347
• preserving, semantics-, 175(1)29--74
• Presicce, Francesco, Parisi-, 189(1)239--248
• presortedness, 163(1)211--238
• prespecification, 150(1)161--191
• Priami, Corrado, 216(1)237--270
• Priami, Corrado, see Degano, Pierpaolo
• Priese, Lutz, 177(1)139--153, 206(1)219--256
• Priese, Lutz, see Nolte, Doris
• Priese:1998:UAT, 206(1)219--256
• primal, 176(1)111--158
• primal--dual, 207(1)105--116
• prime, 142(2)141--177, 148(2)207--225, 153(1)129--170, 160(1)87--143, 161(1)93--108, 168(2)267--301, 174(1)137--156, 174(1)157--170, 175(2)257--270, 179(1)203--215, 192(2)259--286, 215(1)1--30
• prime, Quasi-, 155(1)221--264
• prime, quasi-, 155(1)221--264
• primitive, 152(1)1--66, 154(2)247--282, 155(1)39--83, 155(1)179--219, 157(2)273--275, 161(1)141--156, 163(1)269--276, 164(1)29--40, 176(1)111--158, 187(1)3--6, 191(1)145--156, 192(2)167--199, 193(1)129--148
• primitivity, 161(1)141--156, 164(1)29--40
• principal, 194(1)240--z--1
• principle, 149(1)3--48, 167(1)73--94, 170(1)129--144, 174(1)231--246, 177(1)217--283, 179(1)103--135, 195(1)3--32
• prioritized, 138(2)315--352
• PRIORITY, 172(1)1--41
• priority, 148(1)171--180, 155(1)141--156, 161(1)263--287, 164(1)1--12, 177(2)351--380, 178(1)119--127, 182(1)145--157, 189(1)179--219, 195(2)227--258, 200(1)289--312, 202(1)1--54, 205(1)99--114, 208(1)87--110, 254(1)691--694
• priority-requirements, 153(1)245--270
• Prisco, Roberto, De, 143(1)175--188, 156(1)315--325, 197(1)171--188
• Prisco, Roberto De, 197(1)171--188--1
• Prisco:1998:TRV, 197(1)171--188--1
• pro-finite, 145(1)229--240
• probabilistic, 138(2)315--352, 143(1)23--49, 143(1)73--91, 144(1)3--58, 144(1)161--197, 144(1)221--249, 145(1)391--396, 152(2)219--249, 156(1)99--117, 157(2)139--159, 157(2)161--183, 157(2)259--266, 158(1)53--64, 159(1)65--79, 159(1)81--102, 171(1)147--177, 171(1)179--219, 176(1)1--38, 177(1)111--138, 178(1)155--169, 180(1)217--228, 181(1)45--56, 185(1)81--128, 190(2)151--166, 190(2)211--239, 191(1)215--218, 193(1)53--73, 207(1)117--130, 221(1)271--293
• probability, 138(2)315--352, 144(1)125--159, 144(1)161--197, 144(1)221--249, 147(1)267--298, 148(1)19--32, 148(1)133--140, 149(1)67--99, 152(2)219--249, 155(1)141--156, 155(2)349--363, 156(1)39--70, 156(1)315--325, 157(2)277--282, 159(1)65--79, 159(1)81--102, 164(1)107--122, 171(1)147--177, 172(1)43--65, 174(1)193--202, 176(1)1--38, 181(1)45--56, 184(1)237--245, 188(1)1--44, 191(1)215--218, 193(1)53--73, 202(1)1--54, 207(1)245--259, 219(1)421--437, 254(1)691--694
• probability;, error-, 188(1)117--128
• probably, 172(1)91--120, 188(1)79--99
• probe, 143(1)167--174
• problem-solving, 156(1)217--261
• problèmes, 159(1)5--13, 201(1)137--150
• procedural, 171(1)77--109
• procedure, 137(1)3--23, 138(1)3--34, 138(1)35--65, 142(2)141--177, 146(1)199--242, 148(1)165--170, 156(1)177--201, 159(2)143--190, 164(1)13--28, 165(1)171--200, 166(1)1--47, 166(1)291--300, 170(1)1--46, 171(1)147--177, 172(1)91--120, 176(1)39--65, 183(2)215--228, 184(1)1--59, 185(2)319--345, 196(1)319--345, 197(1)248--z, 206(1)257--281, 224(1)157--172
• Proceedings, 217(2)255--278
• process;, N-, 179(1)333--351
• process, two-, 179(1)333--351
• process-based, 192(2)287--314
• process-calculus-based, 192(2)287--314
• processing, 140(2)319--331, 142(1)125--138, 144(1)125--159, 145(1)189--228, 146(1)145--184, 147(1)211--248, 149(1)151--178, 152(2)171--217, 153(1)65--94, 154(2)165--181, 155(2)321--347, 155(2)439--446, 158(1)1--33, 160(1)321--363, 161(1)205--233, 162(2)297--322, 163(1)117--144, 163(1)177--192, 163(1)303--308, 166(1)49--62, 170(1)1--46, 171(1)25--60, 171(1)179--219, 172(1)67--89, 173(1)49--87, 173(1)113--149, 173(1)151--181, 176(1)283--328, 178(1)129--154, 178(1)225--236, 178(1)275--283, 182(1)159--170, 183(1)33--44, 185(2)259--275, 186(1)1--41, 189(1)179--219, 190(2)167--210, 190(2)211--239, 190(2)279--315, 190(2)317--361, 190(2)363--396, 192(2)233--258, 193(1)149--179, 193(1)215--244, 194(1)248--z--1, 196(1)45--70, 197(1)171--188, 199(1)105--143
• processing, pre-, 175(2)373--392
• processor, 140(2)333--339, 141(1)1--52, 146(1)69--108, 146(1)109--143, 147(1)1--18, 147(1)69--85, 147(1)249--265, 154(2)225--245, 155(1)141--156, 155(2)349--363, 155(2)411--424, 162(2)225--243, 162(2)323--340, 162(2)341--349, 168(1)121--154, 169(1)39--65, 173(1)209--233, 174(1)193--202, 178(1)119--127, 178(1)265--273, 179(1)251--271, 179(1)381--395, 181(2)357--378, 181(2)379--404, 183(2)281--315, 186(1)171--198, 188(1)221--230, 190(2)211--239, 196(1)347--363
• processor, n-, 141(1)163--173, 162(2)245--281
• processor, p-, 148(1)171--180
• Prodinger, H., 144(1)1--z
• Prodinger, Helmut, 144(1)199--220, 181(1)181--194
• Prodinger, Helmut, see Kirschenhofer, Peter
• Prodinger:1995:P, 144(1)1--z
• Prodinger:1997:PYM, 181(1)181--194
• product, 138(2)425--454, 154(1)57--65, 154(2)387--394, 155(1)141--156, 163(1)245--258, 166(1)49--62, 172(1)135--174, 179(1)203--215, 186(1)135--156, 187(1)123--145, 191(1)219--228, 192(1)107--161, 197(1)111--138
• production, 155(2)425--438, 194(1)247--z
• productivity, 194(1)242--z--1
• program-analysis, 138(1)3--34
• program-level, 196(1)289--317
• programmed, 194(1)35--55, 194(1)243--244
• PROGRES, 194(1)243--244
• progress, 183(2)229--251, 183(2)253--279
• progressive, 161(1)69--92
• Proietti, Maurizio, 142(1)89--124
• Proietti:1995:UDF, 142(1)89--124
• project, 185(1)3--13, 194(1)242--z--1, 194(1)245--z--1
• projection, 145(1)147--157, 155(2)321--347, 159(1)129--136, 177(2)351--380
• projection, embedding-, 146(1)311--320
• projection-elimination, 187(1)49--79
• projective, 186(1)135--156
• projective, quasi-, 188(1)211--220
• PROLOG, 169(1)81--112, 184(1)105--143
• Prolog, 165(1)201--232, 169(1)81--112, 176(1)111--158, 176(1)175--204, 184(1)105--143
• Prolog, Qu-, 169(1)81--112
• promise, 194(1)137--161
• prone, 164(1)107--122
• proof, 135(1)67--110, 138(1)113--139, 138(2)243--271, 139(1)355--362, 140(1)95--138, 141(1)69--107, 150(1)161--191, 151(1)3--27, 151(2)487--512, 152(2)219--249, 153(1)49--64, 155(2)439--446, 165(1)3--55, 165(1)75--95, 165(1)171--200, 166(1)1--47, 166(1)173--202, 166(1)291--300, 167(1)171--192, 169(1)3--21, 170(1)1--46, 170(1)129--144, 170(1)407--444, 173(2)311--347, 173(2)393--443, 175(1)29--74, 175(1)159--181, 176(1)159--173, 176(1)283--328, 177(2)487--507, 178(1)257--264, 179(1)103--135, 179(1)137--202, 179(1)333--351, 180(1)309--324, 180(1)371--375, 181(2)317--335, 183(2)253--279, 184(1)1--59, 185(2)319--345, 188(1)211--220, 189(1)71--107, 190(1)41--60, 191(1)37--59, 191(1)215--218, 193(1)53--73, 194(1)244--z--3, 194(1)247--z--2, 194(1)z--z, 197(1)242--z--3, 197(1)245--z--1, 197(1)245--z--2, 197(1)246--z--1, 197(1)246--z--2, 197(1)247--z--2, 198(1)201--209, 206(1)257--281, 206(1)331--339, 206(1)353--354, 212(1)141--155, 215(1)329--335, 216(1)271--310, 216(1)395--397, 227(1)299--331, 227(1)333--396
• proof-generating, 169(1)3--21
• proof-nets, 224(1)115--134
• proof-normalization, 197(1)246--z--2
• proof-of-correctness, 177(1)183--216
• proof-theoretic, 135(1)67--110
• proofnets, 197(1)245--246
• propagating, 164(1)123--140
• propagation, 167(1)131--170, 173(1)49--87, 204(1)87--98, 221(1)179--210
• proper, 159(2)343--354
• proper-path-width, 137(2)253--268
• Propos, 218(2)217--218
• proposed, 162(2)351--369
• propositional, 147(1)149--163, 155(1)157--177, 155(1)277--288, 159(2)343--354, 161(1)109--122, 163(1)99--116, 166(1)1--47, 166(1)221--262, 169(2)161--184, 170(1)129--144, 171(1)179--219, 175(1)15--27, 177(2)381--405, 179(1)427--436, 182(1)183--202, 183(2)187--214, 186(1)135--156, 195(1)33--60, 197(1)245--246, 197(1)245--z--2, 198(1)201--209
• Propriétés, 164(1)165--183
• Proskurowski, A., 154(2)247--282
• Proskurowski, A., see Engelfriet, J.
• Protasi, M., 150(1)1--55
• Protasi, M., see Ausiello, G.
• protection, 226(1)117--142
• protein, 145(1)357--369, 180(1)115--137, 210(2)261--275
• protocol, 138(2)315--352, 145(1)95--109, 145(1)271--290, 149(1)179--199, 149(2)257--298, 154(1)57--65, 156(1)99--117, 157(2)139--159, 157(2)277--282, 162(2)245--281, 170(1)47--81, 177(2)425--458, 177(2)459--486, 178(1)103--118, 181(2)317--335, 186(1)107--134, 186(1)199--230, 188(1)117--128, 190(2)363--396, 196(1)259--288, 220(1)93--111
• prototypical, 184(1)237--245
• provably, 224(1)13--33
• prover, theorem-, 173(2)311--347
• prover, two-, 157(2)277--282
• provers, 194(1)247--z--2
• proving, 138(1)101--112, 138(1)169--199, 138(2)243--271, 139(1)355--362, 141(1)69--107, 142(2)209--227, 142(2)229--255, 142(2)257--276, 142(2)299--368, 145(1)111--145, 146(1)185--197, 146(1)199--242, 151(1)3--27, 151(2)487--512, 153(1)49--64, 154(1)3--22, 155(2)291--319, 155(2)439--446, 165(1)3--55, 165(1)57--74, 166(1)173--202, 166(1)291--300, 167(1)193--233, 169(1)3--21, 170(1)129--144, 170(1)245--276, 170(1)407--444, 172(1)1--41, 173(1)235--252, 173(1)283--308, 173(2)311--347, 173(2)393--443, 176(1)159--173, 177(1)183--216, 179(1)103--135, 180(1)371--375, 181(2)317--335, 183(2)187--214, 183(2)253--279, 189(1)71--107, 192(1)55--75, 194(1)244--z--3, 194(1)247--z--2, 197(1)245--246, 197(1)245--z--1, 197(1)246--z--1, 197(1)247--z--2, 198(1)201--209, 206(1)163--180, 206(1)341--352, 208(1)149--177
• proving-by-example, 137(1)3--23
• prudence, 141(1)151--162
• pruning, 185(1)159--175
• PSACE-complete, 197(1)245--z--2
• pseudo-linear, 157(1)3--33
• pseudo-polynomial-time, 158(1)343--359
• pseudoidentities, 154(1)85--106
• PSPACE, 148(2)207--225, 178(1)155--169, 198(1)99--130
• PSPACE-complete, 139(1)1--25, 147(1)117--136
• {PSPACE}-complete, 224(1)267--289
• PSPACE-completeness, 143(1)93--112
• PSPACE-hard, 143(1)93--112, 174(1)23--65
• PSPACE-hardness, 174(1)23--65
• P/sub, 145(1)329--344, 180(1)269--286
• psychological, 163(1)161--176
• PTAS, 150(1)1--55
• PTIME, 149(1)67--99, 193(1)215--244, 224(1)237--265, 228(1)151--174
• public-key, 226(1)143--172
• Pucci, Geppino, 148(1)171--180
• Pucci, Geppino, see Pinotti, Maria Cristina
• Pudlák, Pavel, 174(1)137--156, see Krause, Matthias
• Pugliese, Francesco, 203(1)69--90
• Pugliese, Francesco, see Cicerone, Serafino
• puissances, 158(1)65--79
• pullback, 194(1)240--z--2
• pulse, 138(1)67--100
• pumping, 163(1)277--281, 174(1)275--279
• pumping, non-, 174(1)275--279
• Pun, Thierry, 226(1)117--142
• Pun, Thierry, see Ruanaidh, Joseph Ó
• pure, 166(1)101--146, 173(2)349--391, 183(2)187--214, 186(1)107--134, 192(1)107--161, 193(1)181--195
• purpose, general-, 196(1)109--130
• pursuit, 143(1)93--112, 197(1)203--234
• push-down, 199(1)167--198
• pushdown, 161(1)141--156, 165(2)275--293, 180(1)341--352, 181(1)141--157, 195(2)113--131, 207(1)117--130, 215(1)239--261
• pushing, 191(1)193--203
• pushout, 152(2)305--320, 194(1)241--z--3, 194(1)245--z, 194(1)247--z
• pushout, Double-, 184(1)145--193
• pushout, double-, 184(1)145--193, 194(1)240--z--2
• pushout;, double-, 194(1)247--z
• pushout, {Single}-, 216(1)311--362
• pushout, single-, 194(1)246--z
• pushouts;, double-, 186(1)43--81
• PWD, 143(2)269--284
• PWD0L, 164(1)29--40
• PWDOL, 143(2)269--284
• PX, 197(1)244--z--1