Index file section P for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
P
-
P, 75(3)357--363, 80(2)263--288, 88(1)183--189, 93(1)1--41, 97(2)183--198,
133(1)15--22, 133(1)95--104
-
p, 112(2)291--309
-
P, NP-, 119(2)293--310
-
p,q-type, 94(2)373--393
-
p-algebras, 100(1)137--156
-
P-bi-immune, 119(2)293--310, 136(2)487--506
-
P-Complete, 76(2)343--351
-
P-complete, 76(2)343--351, 125(1)45--59, 127(1)181--186, 234(1)325--326
-
p-completely, 85(1)1--31
-
p-creative, 85(1)1--31
-
P-immune, 119(2)293--310
-
p-isomorphism, 83(2)337--343
-
p/-like, 124(1)93--125
-
P-matrices, 81(2)317--324
-
P-RAM, 71(3)401--411
-
p-rankability, 100(1)205--221
-
p-selective, 81(2)189--199, 120(2)279--291
-
P-uniform, 79(1)25--35
-
PA-processes, 82(2)285--302
-
pac, 119(2)363--371
-
PAC-learnability, 100(1)157--184
-
Pach, J., 92(2)319--336
-
Pach, J., see Edelsbrunner, H.
-
Pacini, G., 120(1)45--68
-
Pacini, G., see Nota, G.
-
packet, 108(2)291--310
-
paddability, 81(2)189--199
-
paddable, 83(2)337--343
-
padding, 81(2)189--199, 85(1)205--212
-
PAG, 110(1)197--214
-
page, 120(2)197--213
-
Pagli, L., 73(3)319--328
-
Pagli, L., see Bertossi, A. A.
-
pagodas, 93(2)201--225
-
Pai, Vinay Sadananda, 128(1)211--239
-
Pai:1994:MAM, 128(1)211--239
-
Paige, R., 106(1)21--60
-
Paige, R., see Cai, J.
-
pair, 86(2)377--389, 113(1)3--34, 123(2)389--395, 126(2)237--257,
132(1)229--241
-
paired, 132(1)427--434
-
pairwise, 81(2)295--304, 103(1)107--135, 103(2)283--309
-
PAL, 118(1)67--79
-
Palamidessi, C., 86(1)3--33, 101(2)239--263
-
Palamidessi, C., see de Boer, F. S.
-
Palem, K. V., 93(2)245--264
-
Palem, K. V., see Kedem, Z. M.
-
Palem, Kedem-Landau-, 132(1)403--414
-
palindrome, 88(1)59--82, 136(2)361--385
-
Palis, M. A., 98(2)289--319
-
Palis:1992:UBR, 98(2)289--319
-
Palko, V., 82(1)157--163
-
Palko:1991:ACM, 82(1)157--163
-
Palopoli, L., 103(2)205--234
-
Palopoli:1992:TLP, 103(2)205--234
-
palstars, 88(1)59--82
-
Panconesi, A., 107(1)145--163
-
Panconesi:1993:QA, 107(1)145--163
-
Papadimitriou, C. H., 81(2)317--324, 84(1)127--150
-
Papadimitriou, C. H., see Megiddo, N.
-
Papadimitriou:1991:SPM, 84(1)127--150
-
paper, 92(1)1--z, 119(2)323--329, 120(2)197--213, 122(1)1--z,
141(1)329--330
-
paper-folding, 119(2)345--354
-
paperfolding, 94(2)373--393, 129(2)263--278
-
paraconsistency, 93(1)115--141
-
Paraconsistent, 93(1)115--141
-
paradigm, 82(2)389--402, 92(1)3--17, 122(1)225--262, 135(1)111--137
-
parallel, series-, 89(1)33--62
-
parallel-time, 127(1)99--121
-
parallelism, 72(2)z--z, 81(2)201--221, 87(1)43--80, 95(1)159--168,
101(2)239--263, 109(1)123--143, 128(1)179--210
-
parallelization, 73(2)121--154, 76(1)93--114, 76(2)331--341
-
parallelogram, 117(1)203--215, 127(1)187--198
-
parameterized, 112(1)99--143, 135(2)221--266
-
parameters, 85(1)97--116, 125(1)61--90
-
parameters, iteration-with-, 121(1)309--321
-
parametric, 121(1)9--58, 124(1)127--148
-
parametricity, 70(1)35--64, 121(1)9--58, 121(1)323--349, 136(1)163--181
-
parametrization, 123(1)117--130
-
parametrized, 85(1)97--116
-
paramodulation, 75(1)85--110
-
parenthesis, 123(2)273--289
-
Parigot, M., 94(2)335--356
-
Parigot, M., see Perrin, D.
-
Paris, 92(1)1--z
-
Parisi-Presicce, F., 71(3)347--380, 77(1)27--71, 83(1)131--155
-
Parisi-Presicce, F., see Ehrig, H.
-
Parisi-Presicce:1991:FRB, 83(1)131--155
-
parity, 85(1)155--170, 100(1)253--265, 103(1)3--23, 106(2)351--360
-
parity, 1-, 115(2)371--381
-
parity-changing, 117(1)91--98
-
Park, Jung-Heum, 124(2)329--342
-
Park, K., 92(1)49--76
-
Park, K., see Galil, Z.
-
Park:1994:CRM, 124(2)329--342
-
Parrow, Joachim, 114(1)149--171
-
Parrow, Joachim, see Milner, Robin
-
parser, 104(2)299--312, 104(2)313--323
-
parsing, 71(2)177--191, 82(1)165--176, 85(1)53--74, 90(1)209--233,
104(2)299--312, 112(1)53--97, 120(2)303--310
-
part, 74(2)121--162, 110(2)249--339
-
partial, 70(1)35--64, 70(1)65--72, 70(1)73--83, 70(2)193--211,
71(2)209--226, 71(3)281--346, 71(3)413--417, 74(1)37--69,
74(2)249--251, 75(1)45--66, 75(1)z--z, 75(3)223--262, 75(3)289--309,
77(1)27--71, 78(2)363--376, 79(2)295--321, 82(1)151--155,
83(1)29--56, 83(2)287--300, 87(1)81--96, 87(1)97--114,
87(1)115--142, 87(1)163--188, 87(2)347--352, 88(1)15--32,
88(1)151--170, 90(1)47--60, 90(1)61--79, 90(1)95--118,
92(2)227--248, 94(1)141--158, 97(1)67--81, 98(1)53--63,
98(2)347--356, 99(1)141--155, 101(2)265--288, 103(2)311--334,
105(2)217--273, 109(1)123--143, 109(1)181--224, 109(1)225--256,
112(1)5--52, 114(1)63--91, 114(2)201--229, 114(2)317--330,
115(1)77--106, 115(1)131--149, 116(1)151--194, 118(2)99--166,
119(1)223--232, 119(2)267--291, 121(1)169--178, 121(1)351--409,
122(1)97--117, 124(1)1--40, 124(1)93--125, 124(1)127--148,
124(2)195--219, 126(2)143--182, 134(1)87--105, 135(2)405--422,
136(1)3--20, 136(1)109--123
-
partial-order, 91(2)205--238, 120(1)101--121
-
partiality, 77(1)131--159, 136(1)109--123
-
partially, 73(3)335--340, 74(1)3--18, 74(2)121--162, 78(2)319--346,
81(1)147--153, 86(2)233--241, 92(1)77--86, 92(2)249--268,
92(2)269--289, 94(1)1--35, 96(2)405--410, 97(2)301--311,
99(2)291--299, 115(2)359--369, 117(1)217--226, 117(1)z--z,
120(1)101--121, 136(1)79--107
-
partiellement, 117(1)217--226
-
partition, 76(2)343--351, 117(1)273--287, 129(2)293--307,
131(2)449--461, 132(1)1--35, 134(2)537--544
-
partitioning, 77(3)321--330
-
partizan, 91(1)119--128
-
Pas, P., Ten, 125(2)259--293
-
Pascal, 77(1)97--129, 112(2)399--412
-
Pascal-like, 77(1)97--129
-
Pash, 134(2)263--285
-
pass, 71(2)177--191
-
passing, 95(1)169--185, 128(1)31--62
-
passing, token-, 135(2)377--404
-
passing, value-, 114(1)149--171
-
Pasztor, A., 70(1)127--150
-
Pasztor:1990:RPD, 70(1)127--150
-
Paterson, Michael S., 110(1)169--196
-
Paterson, Michael S., see Zwick, Uri
-
path, 72(2)251--264, 72(2)z--z, 74(2)199--216, 74(3)355--361,
79(1)151--162, 79(1)179--193, 83(2)189--203, 84(1)127--150,
84(2)179--197, 84(2)281--292, 88(1)33--57, 88(1)151--170,
89(1)33--62, 94(1)141--158, 95(2)245--261, 100(1)243--251,
102(2)329--354, 105(1)129--140, 106(2)391--393, 112(2)255--275,
115(2)351--357, 116(2)359--371, 117(1)137--151, 117(1)187--198,
117(1)203--215, 125(2)345--353, 127(2)395--402, 131(1)1--28,
133(1)65--84
-
path, sample-, 106(2)243--264
-
path, shortest-, 84(1)127--150, 116(2)359--371
-
path, standard-, 102(2)329--354
-
path-controlled, 88(1)151--170
-
path-following, 133(1)65--84
-
path-forming, 110(1)215--245
-
Patricia, 85(1)117--134, 106(2)391--393
-
Patt-Shamir, Boaz, 110(1)99--129
-
Patt-Shamir:1993:TST, 110(1)99--129
-
pattern, 71(2)177--191, 71(2)z--z, 73(2)177--211, 81(1)97--115,
83(2)205--218, 84(2)225--250, 88(1)59--82, 92(1)1--z, 92(1)19--31,
92(1)33--47, 92(1)77--86, 92(1)107--117, 92(1)145--164,
92(1)165--179, 92(1)191--211, 92(1)z--z, 94(2)161--174,
94(2)215--221, 96(1)249--283, 106(1)21--60, 106(1)61--86,
107(2)349--356, 112(1)53--97, 124(1)93--125, 129(2)337--367,
129(2)369--383, 132(1)403--414, 136(2)387--417
-
pattern, multi-, 106(1)21--60
-
pattern-matching, 88(1)59--82, 132(1)403--414
-
Patterson, 108(2)251--270
-
P{\u{a}}un, Gheorghe, 116(2)339--357, 120(2)293--301,
see Andra{\c{s}}iu, Mircea
-
Paun:1993:CPS, 120(2)293--301
-
pavings, 86(2)205--232
-
Paz, Azaria, 125(2)229--241
-
Paz, Azaria, see Lempel, Mody
-
PCF, 79(2)357--358, 136(1)217--242
-
PDL, 87(1)189--202
-
Pedicini, M., 135(1)111--137
-
Pedicini, M., see Mascari, G. F.
-
Peeva, K., 88(2)269--285
-
Peeva:1991:ERM, 88(2)269--285
-
Peladeau, P., 93(2)169--183, 101(1)133--141
-
Peladeau:1992:FRL, 101(1)133--141
-
Peladeau:1992:LDS, 93(2)169--183
-
Peled, D., 75(3)263--287
-
Peled, D., see Katz, S.
-
Peled, Doron, 101(2)337--359, 126(2)143--182, 128(1)99--125
-
Peled, Doron, see Katz, Shmuel
-
Peled:1994:CFF, 128(1)99--125
-
Peled:1994:PPO, 126(2)143--182
-
Peleg, David, 110(1)99--129
-
Peleg, David, see Patt-Shamir, Boaz
-
pen, 108(2)357--363
-
Penaud, J. G., 117(1)67--89
-
Penaud, J. G., see Bétréma, J.
-
Penjam, J., 71(2)241--264
-
Penjam:1990:CAM, 71(2)241--264
-
per, 120(2)303--310
-
percolation, 127(2)333--350
-
Pereira, Luís Moniz, 122(1)49--68
-
Pereira:1994:ACW, 122(1)49--68
-
perfect, 84(1)23--52, 86(1)107--139, 102(2)283--305, 106(2)309--326,
110(2)377--403, 132(1)291--317
-
perfect, near-, 132(1)347--375
-
performability, 128(1)179--210
-
performance, 80(1)105--115, 106(2)243--264, 125(1)17--43, 125(1)61--90,
125(1)91--109, 125(1)111--130, 125(1)149--165, 128(1)127--157,
128(1)159--177, 128(1)179--210, 128(1)211--239, 128(1)241--252
-
performance-oriented, 128(1)179--210
-
period, 75(1)157--215, 82(1)19--33, 106(2)243--264, 136(2)527--532
-
period, maximal-, 102(2)253--281
-
periodic, 82(1)19--33, 83(2)205--218, 92(2)291--300, 102(2)253--281,
123(1)55--60, 127(2)287--312
-
periodicity, 82(1)19--33, 85(1)171--203, 123(2)291--314
-
permanent, 102(2)283--305
-
permutability, 135(1)67--110
-
permutation, 85(1)171--203, 88(1)83--98, 91(1)1--21, 95(2)263--277,
102(2)253--281, 108(1)119--149, 115(2)351--357, 117(1)153--167,
117(1)243--253, 117(1)303--313, 125(2)205--228, 126(2)281--292,
131(2)449--461, 135(2)289--318
-
perpetual, 75(1)67--83, 75(1)z--z, 99(1)65--78, 126(2)281--292
-
Perraud, J., 97(1)83--103
-
Perraud:1992:OSK, 97(1)83--103
-
Perrier, 206(1)353--354
-
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
-
Perrin, D., 94(2)335--356, 94(2)357--z
-
Perrin:1992:PM, 94(2)357--z
-
Perrin:1992:RPP, 94(2)335--356
-
Perron, Mellin-, 123(2)291--314
-
PERs, 70(1)35--64
-
Persiano, Guiseppe, 132(1)291--317
-
Persiano, Guiseppe, see De Santis, Alfredo
-
persistency, 93(2)185--199
-
persistent, 85(1)97--116
-
person, two-, 103(1)25--38, 110(1)197--214, 124(2)273--295,
129(2)385--396
-
personal, 116(1)3--31
-
personalized, 116(1)3--31
-
perspective, 116(1)3--31
-
Petersen, H., 127(1)149--170, 141(1)329--330
-
Petersen, H., see Jantzen, M.
-
Petersen:1995:RPB, 127(2)287--312, 141(1)329--330
-
Petit, A., 76(2)285--308
-
Petit, Antoine, 125(2)167--204
-
Petit, Antoine, see Gastin, Paul
-
Petit:1990:DSA, 76(2)285--308
-
Petri, 71(1)133--153, 74(1)71--93, 74(2)199--216, 77(3)321--330,
80(1)1--34, 80(1)77--104, 80(2)263--288, 82(2)341--372,
91(2)205--238, 91(2)285--313, 93(2)185--199, 95(1)159--168,
96(1)3--33, 96(1)175--215, 96(1)z--z, 96(2)285--304, 98(2)199--247,
99(1)79--104, 101(2)161--176, 102(1)165--183, 102(1)185--205,
103(1)51--106, 103(2)335--363, 104(2)207--233, 109(1)257--274,
113(2)231--258, 114(1)93--118, 122(1)165--200, 124(1)169--179,
127(1)149--170, 134(1)87--105, 135(2)361--376, 135(2)377--404
-
Petrich, Mario, 126(2)237--257
-
Petrich, Mario, see Gerhard, J. A.
-
Petruschka, Yael, Etzion-, 131(2)243--269
-
Pfenning, F., 89(1)137--159
-
Pfenning:1991:MPC, 89(1)137--159
-
PH, 93(2)265--277
-
phase, 92(1)107--117, 92(1)145--164
-
phenomena, 119(1)39--62, 123(2)291--314, 133(1)49--64
-
Phillips, Steven, 130(1)17--47
-
Phillips, Steven, see Motwani, Rajeev
-
philosophical, 90(1)1--15
-
phrase, 103(1)51--106
-
physics, 92(1)3--17
-
Pi, 114(2)231--245, 119(1)223--232, 123(2)315--327
-
pi-calculus, 114(1)149--171, 135(1)11--65, 135(1)z--z
-
Picouleau, C., 131(2)463--473
-
Picouleau:1994:CHC, 131(2)463--473
-
pictorial, 133(2)361--385
-
picture, 73(3)295--311, 81(2)289--294, 83(1)97--130, 104(2)185--206,
108(2)357--363, 132(1)85--112
-
piece, 86(2)205--232
-
piecewise, 88(1)99--116, 123(1)61--87
-
piecewise-monotone, 132(1)113--128
-
Pierre, L., 95(2)279--305
-
Pierre:1992:RIG, 95(2)279--305
-
Pietrzykowski, T., 120(1)1--44
-
Pietrzykowski, T., see Knill, E.
-
Pighizzini, Giovanni, 132(1)179--207
-
Pighizzini:1994:AAV, 132(1)179--207
-
Pigozzi, D., 77(1)161--194
-
Pigozzi:1990:DTM, 77(1)161--194
-
piles, 115(2)321--349
-
Pin, J.-E., 84(1)3--21
-
Pin, J.-E., see Beauquier, D.
-
Pingali, K., 81(2)201--221
-
Pingali:1991:ANL, 81(2)201--221
-
pinwheel, 100(1)105--135
-
Pinzani, R., 127(2)333--350
-
Pinzani, R., see Barcucci, E.
-
Piotrow, M., 81(1)77--95
-
Piotrow:1991:CCP, 81(1)77--95
-
pipelining, 73(2)121--154
-
Pitt, L., 100(1)157--184
-
Pitt, L., see Board, R.
-
Pitts, Andrew M., 124(2)195--219
-
Pitts:1994:CIP, 124(2)195--219
-
PL, 129(1)95--121
-
place, 81(2)223--235
-
place, one-, 74(2)249--251
-
place/transition, 122(1)165--200
-
Plaisted, D. A., 83(1)71--96
-
Plaisted, D. A., see Dershowitz, N.
-
Plambeck, T. E., 96(2)361--388
-
Plambeck:1992:DKS, 96(2)361--388
-
plan, 113(2)349--370, 113(2)371--375, 134(2)287--309
-
planar, 70(2)251--260, 74(1)95--114, 74(3)299--312, 76(2)343--351,
84(2)179--197, 85(2)253--281, 86(2)243--266, 88(1)183--189,
97(2)285--300, 99(2)213--230, 102(2)329--354, 112(2)215--253,
112(2)371--382, 112(2)419--420, 116(2)359--371, 117(1)45--65,
119(2)331--343, 123(1)151--165, 130(1)125--138, 130(1)139--161
-
planarity, 74(1)19--35, 119(2)331--343
-
plane, 77(3)331--343, 80(2)227--262, 88(2)231--251, 98(2)263--287,
117(1)227--241, 117(1)273--287, 125(2)345--353
-
plane-topology, 92(2)319--336
-
planer, 119(2)331--343
-
planning, 92(2)319--336, 96(1)35--72, 113(2)349--370, 113(2)371--375,
119(2)331--343
-
plasma, 71(2)177--191, 71(2)z--z
-
player, 108(2)311--329, 112(2)371--382
-
player, two-, 96(2)361--388, 110(1)215--245
-
plethysm, 117(1)289--301
-
Plotkin, 82(2)403--408, 111(1)89--101, 121(1)179--186, 131(1)181--195,
136(1)21--56
-
Plotkin, G. D., 121(1)187--277
-
Plotkin, G. D., see Kahn, G.
-
Plotkin, Gordon D., 114(1)3--30, 121(1)351--409
-
Plotkin, Gordon D., see Abadi, Martín
-
Plotkin-style, 118(2)263--299
-
Plotkin:1993:STO, 121(1)351--409
-
plotter, 81(2)289--294
-
P=NP, 84(2)199--223
-
Pnueli, A., 83(1)97--130
-
Pnueli, A., see Manna, Z.
-
Pnueli, Amir, 126(2)143--182
-
Pnueli, Amir, see Peled, Doron
-
Pocchiola, M., 132(1)415--425
-
Pocchiola, M., see Berstel, J.
-
Podelski, Andreas, 122(1)263--283, 134(1)13--25
-
Podelski, Andreas, see Aït-Kaci, Hassan,
see Beauquier, Danièle
-
Poigne, A., 73(1)101--112
-
Poigne, A., see Huwig, H.
-
Poincare, Euler-, 72(1)3--26
-
point, 70(1)65--72, 70(1)85--97, 70(2)179--192, 74(1)95--114,
75(1)15--43, 76(2)179--222, 77(3)309--319, 81(2)317--324,
84(1)77--105, 87(1)1--24, 87(1)209--220, 87(1)221--228,
97(1)131--142, 97(1)175--181, 98(2)339--346, 99(2)327--z,
121(1)71--88, 125(2)345--353, 127(2)269--286, 129(2)293--307
-
point, 1-, 88(2)313--324
-
point, fixed-, 85(1)75--95, 91(2)129--179, 94(2)335--356,
121(1)411--440
-
point, least-fixed-, 118(2)301--314
-
point, point-to-, 100(1)185--204
-
point, saddle-, 125(1)61--90
-
point-to-point, 100(1)185--204
-
pointed, 100(2)325--346, 117(1)45--65
-
pointées, 117(1)45--65
-
pointer-free, 84(1)107--126
-
pointers, 132(1)377--385
-
Poirriez, V., 122(1)201--223
-
Poirriez:1994:MST, 122(1)201--223
-
Poisson, 125(1)91--109
-
poles, 133(1)65--84
-
policies, 125(1)17--43
-
Pollack, R., 89(1)107--136, 92(2)319--336
-
Pollack, R., see Edelsbrunner, H.,
see Harper, R.
-
Pollaczek, Meixner-, 117(1)153--167
-
poly, 134(2)263--285
-
polygon, 103(1)107--135, 106(2)361--371, 112(2)215--253
-
polyhedral, 103(1)107--135
-
polylogarithmic, 71(3)401--411, 81(2)311--316, 125(2)295--313
-
POLYLOGTIME-complete, incr-, 130(1)203--236
-
polymorphic, 70(1)35--64, 73(2)155--175, 79(2)359--363, 79(2)365--371,
83(1)3--28, 83(1)29--56, 89(1)63--106, 89(1)137--159, 93(1)1--41,
95(1)143--158, 107(2)349--356, 121(1)9--58, 121(1)323--349,
129(1)39--77, 136(1)57--78, 136(1)243--275
-
polymorphism, 70(1)35--64, 76(1)53--91, 77(1)131--159, 79(2)359--363,
89(1)107--136, 105(2)217--273, 115(1)3--41, 115(1)107--129,
121(1)9--58, 124(1)127--148
-
polynômes, 117(1)153--167
-
polynomial, clique-, 78(2)319--346
-
polynomial, non-, 73(1)1--46
-
polynomial, super-, 83(2)337--343
-
polynomial, zero-, 84(2)151--164
-
polynomial-length, 107(1)31--61
-
polynomial-related, 113(1)55--73
-
polynomial-size, 85(1)155--170, 99(2)279--290, 106(2)351--360,
112(2)291--309
-
polynomial-time, 73(3)249--263, 77(3)221--235, 81(1)35--47,
81(2)169--187, 84(2)199--223, 85(1)75--95, 85(2)305--331,
88(1)1--14, 88(1)33--57, 95(2)263--277, 97(1)1--66, 97(2)199--215,
97(2)263--284, 100(1)157--184, 100(1)205--221, 101(2)161--176,
102(1)185--205, 102(2)215--252, 103(1)3--23, 107(1)3--30,
110(1)215--245, 113(1)167--183, 115(2)383--389, 119(1)187--214,
119(1)z--z, 123(2)273--289, 129(1)95--121, 132(1)179--207,
134(2)473--491
-
polynomially, 70(2)261--271, 80(2)203--225, 81(2)317--324,
116(2)405--413, 131(2)331--360
-
polynominal, 133(1)z--z
-
polyominoes, 79(1)209--226, 117(1)203--215, 127(1)187--198
-
Polyominos, 79(1)209--226
-
polytope, 133(1)105--140
-
polyvariancy, 71(2)209--226
-
Pomian, C., 71(2)177--191
-
Pomian, C., see Arcangeli, J.-P.
-
pomset, 114(1)173--200, 124(1)169--179, 135(2)171--220
-
Poonen, Bjorn, 125(1)3--16
-
Poonen, Bjorn, see Coffman, Jr., E. G.
-
posedness, well-, 94(2)175--197
-
poset, 70(2)251--260, 96(1)73--155, 114(2)201--229, 120(1)101--121,
123(1)89--94
-
poset-based, 91(2)285--313
-
PoSets, 120(1)101--121
-
position, 108(2)311--329, 123(2)329--340, 129(2)263--278,
131(2)431--439
-
positive, 77(3)221--235, 88(1)1--14, 93(2)265--277, 94(2)335--356,
94(2)357--z, 95(1)43--74, 100(1)67--104, 100(1)105--135,
105(1)27--56, 129(2)385--396
-
positively, 123(2)273--289
-
possibility, 90(1)17--36, 111(1)191--210
-
possible, 78(1)159--187, 84(2)179--197, 84(2)225--250
-
possible-world, 85(2)283--303
-
possibly, 94(1)101--124
-
Post, 82(1)151--155, 132(1)395--401
-
potential, 117(1)187--198
-
potentially, 115(1)63--75
-
Potthoff, Andreas, 126(1)97--112
-
Potthoff:1994:MCQ, 126(1)97--112
-
Pottosin, I. V., 90(1)17--36
-
Pottosin:1991:APO, 90(1)17--36
-
Powell, P., 80(1)105--115
-
Powell:1991:COV, 80(1)105--115
-
power, 70(1)159--178, 71(1)47--77, 73(2)177--211, 74(2)163--181,
79(1)3--24, 79(1)25--35, 79(1)163--177, 79(1)179--193,
79(1)195--207, 79(1)209--226, 79(1)257--261, 79(1)263--273,
80(1)1--34, 80(1)35--51, 80(2)125--151, 80(2)337--345,
81(2)269--288, 81(2)305--310, 83(2)261--273, 83(2)301--312,
85(1)171--203, 88(2)231--251, 92(2)269--289, 93(1)1--41,
93(1)43--74, 93(2)265--277, 98(1)27--39, 98(1)53--63, 98(1)99--114,
98(1)z--z, 98(2)163--197, 98(2)249--262, 99(2)291--299, 99(2)327--z,
101(1)35--57, 101(1)143--158, 108(1)3--16, 108(2)385--391,
109(1)7--48, 110(1)131--144, 111(1)59--88, 111(1)z--z,
112(2)291--309, 113(1)75--91, 114(1)119--147, 114(2)201--229,
115(2)191--224, 115(2)359--369, 116(1)33--57, 116(1)95--116,
117(1)39--43, 117(1)113--130, 117(1)131--136, 117(1)169--186,
117(1)199--202, 117(1)289--301, 117(1)z--z, 127(1)171--179,
134(2)545--557, 136(1)21--56
-
powerdomain, 91(1)23--55, 103(2)311--334, 111(1)89--101, 124(2)195--219,
136(1)3--20
-
powerset, 87(2)263--286
-
PP, 93(2)265--277
-
P/poly, 134(2)263--285
-
PR, LCFS-, 106(2)243--264
-
practice, 90(1)1--15
-
PRAM, 73(3)319--328, 81(2)311--316, 86(2)243--266, 87(2)251--262,
91(1)1--21, 92(1)87--105, 93(2)245--264, 95(2)323--337,
99(2)335--344, 100(1)1--44, 106(2)361--371, 107(1)121--133,
116(2)421--429, 127(1)53--67, 128(1)3--30, 129(2)293--307,
132(1)403--414, 134(2)493--528
-
PRAM, CRCW-, 108(2)331--344
-
PRAMs, 71(1)3--28, 107(1)77--94, 123(2)415--426, 130(1)49--72
-
Prasad, L., 102(2)355--365
-
Prasad:1992:AEN, 102(2)355--365
-
Pratt, Knuth-Morris-, 112(1)53--97, 117(1)91--98
-
pre-existing, 136(1)163--181
-
PREC, 108(2)185--236
-
precedence, 133(2)341--359
-
precise, 132(1)415--425
-
precondition, 100(2)365--383
-
precovering, 99(1)79--104
-
predecessors, 113(1)35--54
-
predicate, 71(2)265--279, 75(1)111--138, 76(1)3--51, 76(1)115--142,
87(1)143--162, 89(1)63--106, 90(2)309--353, 93(2)169--183,
95(1)115--142, 100(2)365--383, 101(1)133--141, 101(2)337--359,
102(1)207--214, 104(1)109--128, 105(1)27--56, 107(2)277--303,
111(1)59--88, 111(1)z--z, 112(2)255--275, 116(1)151--194,
118(2)99--166, 122(1)119--136, 123(2)341--349, 124(2)221--272,
124(2)297--328, 131(1)121--138
-
=predicate, 93(2)169--183
-
predicative, 121(1)309--321, 122(1)119--136
-
predicativity, 121(1)309--321
-
predomains, 124(2)195--219
-
preemption, 130(1)17--47
-
preemptive, 118(1)3--20, 130(1)17--47
-
preemptively, 75(3)347--355
-
Preface, 96(1)1--z, 106(1)1--z, 109(1)1--z, 114(1)1--z, 115(1)1--z,
122(1)1--z, 125(1)1--z, 126(1)1--z
-
preference, 78(1)113--136, 120(1)1--44
-
prefetching, 128(1)211--239
-
prefix, 72(2)203--223, 74(2)121--162, 81(2)189--199, 83(2)301--312,
84(2)225--250, 92(1)119--144, 92(2)249--268, 106(1)61--86,
112(2)383--390, 113(1)35--54, 117(1)255--272, 134(1)189--208,
134(1)209--223, 134(2)403--413, 136(2)471--485
-
prefix, suffix-, 132(1)403--414
-
premises, 118(2)263--299
-
prenex, 97(2)233--244
-
preorder, 96(1)73--155, 128(1)159--177
-
Preparata, F. P., 74(1)95--114
-
Preparata:1990:DPP, 74(1)95--114
-
preperiodic, 133(1)49--64
-
preprocessing, 92(1)145--164, 106(1)21--60
-
près, 123(1)89--94
-
Presburger, 127(1)1--23
-
prescribing, 90(1)119--125
-
presence, 87(1)221--228
-
presentation, 85(2)231--251, 107(2)277--303, 112(2)187--214,
120(1)69--81, 131(2)271--294
-
presented, 70(2)251--260, 123(2)273--289, 131(2)271--294
-
preservation, 75(1)139--156, 75(1)z--z
-
preserving, 89(1)179--206, 102(1)165--183, 105(1)57--84, 136(1)79--107
-
preserving, Adequacy-, 94(1)141--158
-
preserving, adequacy-, 94(1)141--158
-
preserving, approximation-, 107(1)145--163
-
preserving, correctness-, 90(1)37--46
-
preserving, Equivalence-, 105(1)57--84
-
preserving, history-, 114(1)173--200, 118(1)21--48
-
preserving, length-, 88(2)287--296
-
preserving, semantic-, 76(2)331--341
-
preserving, variable-, 103(2)409--420
-
Presicce, F., Parisi-, 71(3)347--380, 77(1)27--71, 83(1)131--155
-
preventive, 100(1)105--135
-
Priese, L., 97(1)131--142, 99(1)121--140
-
Priese, L., see Darondeau, P.
-
Priese:1992:SFU, 99(1)121--140
-
primality, 76(1)143--177
-
prime, 74(3)325--328, 96(1)35--72, 98(1)115--133, 102(1)165--183,
107(2)357--363, 112(2)391--397, 120(1)101--121, 123(1)145--149,
132(1)209--227
-
primitive, 78(2)267--303, 79(1)163--177, 82(1)151--155, 83(1)57--69,
83(1)131--155, 93(1)91--113, 96(1)175--215, 96(2)325--344,
100(1)45--66, 105(1)129--140, 107(2)349--356, 108(2)185--236,
112(1)99--143, 116(1)59--94, 119(1)23--38, 125(2)355--360,
132(1)151--178
-
primitivity, 70(3)343--358, 92(2)227--248, 132(1)151--178
-
principal, 70(2)193--211, 73(2)155--175, 107(2)253--276
-
principle, 71(2)177--191, 79(2)295--321, 94(2)311--334, 103(2)395--408,
105(2)167--215, 120(1)1--44, 120(1)123--155, 120(1)157--168,
124(2)195--219
-
priority, 72(2)147--167, 74(2)199--216, 93(2)201--225, 96(1)175--215,
96(1)z--z, 97(2)263--284, 115(2)191--224
-
priority-free, 74(2)249--251
-
probabilistic, 79(1)37--109, 81(1)65--75, 85(2)305--331, 88(1)1--14,
92(2)249--268, 93(2)201--225, 93(2)265--277, 106(2)395--400,
113(1)167--183, 116(2)373--398, 123(1)131--137, 125(1)17--43
-
probability, 74(2)183--197, 92(2)249--268, 93(2)265--277, 94(2)261--280,
96(2)389--403, 100(1)157--184, 108(2)291--310, 112(2)383--390,
113(1)3--34, 117(1)99--112, 123(1)131--137, 123(1)139--144,
125(1)45--59, 125(1)61--90, 125(1)111--130, 125(1)149--165,
128(1)211--239, 134(2)529--536
-
problem-oriented, 119(1)173--185
-
problem-solving, 92(1)49--76
-
Problème, 94(2)199--213
-
procédés, 123(1)55--60
-
procedural, 86(1)93--106, 94(2)281--294, 119(1)145--171, 122(1)225--262,
133(2)205--265
-
procedure, 72(2)169--202, 72(2)265--288, 80(2)319--335, 81(2)169--187,
81(2)223--235, 82(1)19--33, 88(2)313--324, 91(2)265--284,
93(1)1--41, 95(1)97--113, 95(1)115--142, 97(1)67--81, 98(1)137--161,
102(1)1--134, 103(2)283--309, 103(2)387--394, 104(2)207--233,
106(1)87--117, 107(2)209--252, 110(2)419--432, 112(1)145--185,
113(1)119--165, 115(1)3--41, 118(1)81--98, 119(1)173--185,
120(1)69--81, 123(1)55--60, 124(2)273--295, 128(1)179--210,
129(1)167--186, 133(2)267--306, 133(2)307--340
-
process, 70(1)151--158, 70(2)179--192, 71(3)347--380, 72(2)265--288,
73(1)91--100, 75(1)67--83, 75(1)z--z, 76(2)285--308, 80(2)263--288,
81(2)295--304, 82(2)285--302, 87(1)43--80, 87(1)97--114,
88(1)15--32, 89(1)161--177, 90(1)119--125, 90(1)151--170,
90(1)171--184, 92(1)19--31, 93(2)201--225, 95(1)169--185,
96(1)217--248, 98(2)263--287, 99(1)105--119, 101(2)223--237,
102(1)165--183, 107(2)357--363, 108(2)185--236, 109(1)257--274,
111(1)3--57, 113(2)293--348, 114(1)63--91, 114(1)149--171,
118(2)263--299, 119(1)127--143, 119(2)355--361, 122(1)137--164,
122(1)263--283, 123(2)183--197, 124(1)1--40, 124(2)195--219,
128(1)159--177, 128(1)179--210, 128(1)211--239, 129(2)279--291,
129(2)385--396, 129(2)407--417, 131(2)441--448, 134(2)455--471,
135(1)5--9, 135(1)z--z, 135(2)171--220, 135(2)377--404, 136(1)3--20
-
process-calculus, 135(1)11--65
-
processes, PA-, 82(2)285--302
-
processes, proofs-as-, 135(1)11--65
-
processes-sharing, 122(1)165--200
-
processing, 73(1)1--46, 73(1)61--79, 74(2)121--162, 74(2)183--197,
76(1)93--114, 76(1)115--142, 81(2)237--256, 89(1)179--206,
90(1)185--198, 91(2)285--313, 93(1)75--89, 95(1)1--42,
95(1)169--185, 96(1)3--33, 96(1)217--248, 102(2)253--281,
104(2)299--312, 108(2)371--384, 116(1)33--57, 116(1)59--94,
116(1)95--116, 116(1)117--149, 116(1)151--194, 116(1)195--226,
119(2)355--361, 120(2)197--213, 128(1)127--157, 128(1)159--177,
128(1)211--239, 129(2)293--307, 129(2)397--406, 130(1)101--123,
133(2)267--306, 133(2)421--442, 134(2)287--309, 134(2)365--385
-
processor, 71(2)177--191, 71(2)193--208, 71(2)209--226, 71(2)227--239,
71(2)z--z, 73(1)61--79, 73(2)231--248, 80(1)105--115, 80(2)303--318,
81(2)237--256, 81(2)311--316, 90(2)271--308, 104(2)285--298,
104(2)299--312, 106(2)243--264, 116(2)421--429, 118(1)3--20,
120(2)215--227, 122(1)165--200, 123(2)427--428, 125(1)3--16,
128(1)99--125, 130(1)17--47, 130(1)49--72, 134(2)493--528
-
processor-time, 106(2)361--371
-
Procopiuc, Octavian, 134(2)365--385
-
Procopiuc, Octavian, see Tiplea, Ferucio Laurentiu
-
Prodinger, H., 100(1)243--251
-
Prodinger, Helmut, 106(2)395--400, 123(2)291--314
-
Prodinger, Helmut, see Flajolet, Philippe,
see Kirschenhofer, Peter
-
Prodinger:1992:HAA, 100(1)243--251
-
producer-consumer, 135(2)377--404
-
product, 74(2)121--162, 74(2)163--181, 76(2)251--260, 76(2)261--271,
79(1)137--150, 79(1)163--177, 79(1)257--261, 79(2)359--363,
80(1)35--51, 83(2)261--273, 86(2)143--203, 87(2)229--249,
94(2)161--174, 96(2)405--410, 98(1)99--114, 98(1)115--133,
104(2)161--183, 106(2)361--371, 108(1)151--171, 111(1)89--101,
111(1)145--189, 111(1)211--252, 116(1)33--57, 119(1)103--125,
119(1)z--z, 124(2)195--219, 125(1)149--165, 131(2)449--461,
131(2)475--477, 136(1)3--20
-
product, I-, 119(1)103--125
-
product, x-, 76(2)261--271
-
product-form, 125(1)61--90
-
production, 81(2)269--288, 81(2)305--310, 123(1)55--60
-
productive, 129(2)309--321
-
products, 0/-, 87(2)229--249
-
products, 1/-, 80(1)35--51
-
Professor, 106(2)395--400
-
profinite, 70(2)233--250
-
program, M-, 107(1)31--61
-
program, while-, 118(1)67--79
-
programmable, 110(1)53--78
-
programmation, 71(2)227--239, 72(2)z--z
-
programmingC4220, 135(1)139--153
-
projection, 71(3)347--380, 76(1)53--91, 77(3)291--308, 79(1)227--239,
88(1)139--150, 118(2)193--229
-
projections, embedding-, 123(1)31--53
-
projective, 117(1)227--241
-
PROLOG, 71(1)155--174, 71(2)193--208, 72(2)265--288, 75(1)15--43,
82(2)373--388, 104(1)109--128, 119(1)23--38, 119(1)63--102,
124(2)297--328, 136(1)277--289
-
Prolog, 71(1)155--174, 71(2)193--208, 71(2)z--z, 75(1)15--43,
75(1)139--156, 75(1)z--z, 82(2)373--388, 85(2)333--351, 86(1)35--79,
104(1)109--128, 119(1)23--38, 119(1)63--102, 119(1)z--z,
124(2)297--328, 136(1)277--289
-
PROLOG-like, 75(1)157--215
-
promise, 115(2)277--290
-
pronouncements, 83(2)313--322
-
proof-theoretic, 113(2)371--375, 135(1)67--110
-
proof-theory, 86(1)93--106
-
proof-tree, 118(2)99--166
-
proofs-as-processes, 135(1)11--65
-
propagation, 80(2)303--318, 84(2)281--292, 96(1)249--283,
105(2)275--299
-
proper, 134(1)189--208
-
propositional, 85(2)213--229, 87(1)189--202, 90(1)185--198,
90(1)235--251, 91(2)181--203, 93(1)159--167, 102(1)207--214,
114(2)231--245, 116(2)405--413, 118(1)67--79, 118(2)315--315,
119(1)223--232, 119(1)z--z, 120(1)157--168, 129(1)95--121,
129(1)167--186, 131(1)197--218
-
propositions, 83(2)169--188, 135(1)5--9
-
ProPre, 135(2)319--343
-
protection, 91(1)23--55
-
protocol, 76(2)223--242, 84(1)23--52, 95(1)169--185, 108(2)291--310,
125(1)17--43, 128(1)63--74, 128(1)127--157, 129(1)1--38,
132(1)291--317, 134(2)545--557
-
Prouhet--Thue--Morse, 94(2)161--174
-
provability, 80(2)125--151, 105(1)57--84, 123(2)341--349
-
provability, k-, 87(1)25--41
-
provable, 99(1)157--176
-
provable, equivalence-, 113(2)211--230
-
prove, 90(2)369--390
-
prover, 104(1)109--128, 119(1)173--185, 134(2)545--557
-
prover, multi-, 134(2)545--557
-
proving, 71(1)29--45, 72(2)265--288, 74(3)253--271, 75(3)263--287,
80(2)125--151, 81(2)223--235, 83(1)97--130, 83(2)169--188,
85(2)231--251, 85(2)305--331, 85(2)333--351, 85(2)353--357,
87(1)221--228, 88(1)15--32, 90(1)61--79, 91(2)265--284,
93(1)159--167, 93(2)321--325, 94(2)335--356, 95(2)187--205,
96(1)157--174, 101(2)161--176, 101(2)337--359, 103(1)25--38,
103(2)283--309, 103(2)395--408, 104(1)29--51, 104(1)109--128,
105(1)129--140, 105(1)141--166, 106(1)21--60, 106(1)87--117,
107(2)209--252, 110(2)249--339, 113(1)55--73, 115(1)63--75,
118(2)193--229, 119(1)127--143, 119(1)z--z, 120(1)1--44,
120(1)69--81, 120(1)123--155, 120(1)157--168, 124(2)195--219,
124(2)297--328, 126(2)143--182, 127(2)199--228, 128(1)127--157,
130(2)239--319, 133(2)205--265, 133(2)307--340, 134(2)403--413,
134(2)545--557, 135(1)5--9, 135(1)111--137, 135(2)319--343,
135(2)345--359
-
proving, theorem-, 87(1)221--228
-
Pruhs, Kirk, 125(2)345--353
-
Pruhs, Kirk, see Bafna, Vineet
-
Pruhs, Kirk R., 130(1)125--138
-
Pruhs, Kirk R., see Kalyanasundaram, Bala
-
prunning, 120(2)279--291
-
pseudo-random, 136(2)487--506
-
pseudo-variety, 134(1)189--208
-
pseudodifferential, 79(1)111--135
-
pseudonormal, 85(2)333--351
-
pseudorandom, 107(1)95--120
-
PSPACE, 93(2)265--277, 97(2)199--215, 100(1)1--44, 100(1)45--66,
123(2)183--197, 126(2)183--235, 132(1)319--336
-
PSPACE-complete, 80(1)77--104, 84(1)127--150, 88(1)99--116,
97(2)199--215, 110(1)197--214, 110(1)215--245, 112(2)371--382,
123(2)329--340, 131(2)243--269, 134(1)225--251
-
PSPACE-hard, 81(1)137--145, 129(1)95--121
-
PSPACE-hardness, 135(1)139--153
-
pspace-random, 107(1)95--120
-
P//sub, 114(2)231--245
-
P/T, 102(1)165--183
-
P/T-nets, 96(1)175--215
-
PTIME, 82(2)341--372, 100(1)45--66, 116(1)117--149
-
public, 106(2)373--383
-
public-coin, 113(1)55--73
-
public-key, 88(1)83--98
-
Pudlak, P., 74(3)313--323
-
Pudlak, P., see Babai, L.
-
Pudlák, Pavel, 116(2)415--419
-
Pudlak:1993:SNB, 116(2)415--419
-
Puissances, 99(2)327--z
-
pullback, 107(2)169--207, 129(1)187--192
-
pumping, 85(2)253--281, 127(1)123--147
-
pumping, block-, 87(2)315--327
-
pure, 78(1)245--259, 82(2)373--388, 103(2)395--408, 135(1)111--137,
135(1)z--z
-
purely, 94(2)161--174, 131(2)271--294
-
Purushothaman, S., 118(2)231--262
-
Purushothaman, S., see Draghicescu, M.
-
pushdown, 79(1)137--150, 88(1)117--125, 97(2)245--262, 98(1)27--39,
98(2)347--356, 99(2)301--315, 106(1)61--86, 106(2)283--308,
119(2)233--245, 127(1)69--98
-
pushdown, reset-, 97(2)245--262
-
pushout, double-, 109(1)181--224
-
pushout, single-, 109(1)123--143, 109(1)181--224
-
pushout-complements, 77(3)267--289
-
PVG, 110(1)197--214
-
pyramid, 136(2)387--417