Index file section P for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
P
-
P, 35(1)109--114, 46(2)197--217, 47(2)131--147
-
p, 64(3)271--280
-
P, EXPTIM-, 38(2)157--165
-
P-complete, 43(1)43--58, 51(1)53--80
-
p-generic, 51(1)177--204
-
p/-hard, 47(1)85--93
-
p-immunity, 51(1)177--204
-
P-optimal, 40(2)195--210
-
p-parity, 39(2)319--325
-
P-RAM, 59(3)297--307
-
P., see Kapur, D.
-
packet, 48(1)75--94, 53(2)281--293
-
Paige, R., 40(1)67--84
-
Paige:1985:LTS, 40(1)67--84
-
pair, 35(2)179--189, 39(2)337--342, 41(2)223--230, 51(1)27--52,
60(3)285--296, 66(2)117--136, 67(2)203--260, 68(2)155--173
-
pairing, 44(3)307--331, 55(2)265--289
-
Palamidessi, C., 69(3)289--318
-
Palamidessi, C., see Falaschi, M.
-
palindrome, 56(3)253--275
-
Palis, M. A., 39(2)89--106, 41(2)231--246, 44(1)111--121, 57(1)47--86,
68(1)19--36
-
Palis, M. A., see Chang, J. H.,
see Ibarra, O. H.
-
palutators, 56(3)253--275
-
Pan, V., 54(1)65--85
-
Pan:1987:CPM, 54(1)65--85
-
Papadimitriou, C. H., 47(2)205--218
-
Papadimitriou, C. H., see Kirousis, L. M.
-
paper, 62(0)3--233
-
paraconsistent, 68(2)135--154
-
paradigm, 39(2)135--153
-
Parallel, Digital-, 58(1)249--261, 58(1)347--359,
59(3)277--286, 59(3)297--307, 61(2)121--136, 61(2)199--224,
64(2)159--173, 64(2)191--201, 64(3)271--280, 66(0)117--232,
66(2)117--136
-
parallel, k-, 45(1)87--119, 62(3)267--287
-
parallel, series-, 47(1)1--14
-
parallel-routing, 64(1)83--96
-
parallelisation, 56(1)17--36
-
parallelism, 37(3)245--267, 37(3)305--336, 45(1)1--61, 57(2)161--184,
58(1)3--16, 64(2)159--173
-
parallelism, OR-, 59(1)133--155
-
parameter, 42(3)251--368, 51(1)205--214, 55(1)47--85
-
parameter-reduced, 55(1)47--85
-
Parameter-reduction, 55(1)47--85
-
parameterized, 50(3)323--349, 51(1)205--214
-
parametrization, 63(2)113--139
-
paramodulation, 35(2)129--164
-
Parberry, I., 43(1)43--58, 51(1)239--247
-
Parberry, I., see Goldschlager, L. M.
-
Parberry:1987:TRS, 51(1)239--247
-
Parchmann, R., 47(2)219--223, 49(1)23--42
-
Parchmann:1986:SEI, 47(2)219--223
-
Parchmann:1987:GDM, 49(1)23--42
-
Pardubska, Dana, 67(1)111--113
-
Pardubska:1989:NMM, 67(1)111--113
-
parenthesized, well-, 47(3)335--343
-
Parigot, M., 39(2)155--169
-
Parigot:1985:LAP, 39(2)155--169
-
parity, 47(1)85--93
-
parity, p-, 39(2)319--325
-
Parker, D. Stott, 62(1)39--65
-
Parker, D. Stott, see Atzeni, Paolo
-
Parrow, J., 68(2)175--202
-
Parrow:1989:SCE, 68(2)175--202
-
parsing, 47(3)315--321, 52(1)91--143, 53(2)295--306, 59(3)297--307
-
part, 58(1)17--56, 63(3)275--294, 68(1)49--56
-
partial, 36(1)127--137, 37(3)269--304, 39(1)47--68, 39(2)189--206,
40(1)31--55, 40(2)323--328, 43(2)149--167, 45(1)1--61,
48(2)229--255, 53(1)3--24, 55(1)87--136, 57(1)3--45, 59(1)133--155,
60(1)1--82, 60(3)341--381, 61(2)199--224, 62(3)251--266,
63(1)43--61, 63(2)113--139, 63(2)141--156, 64(1)67--81,
64(3)281--304, 65(2)221--242, 66(3)289--297, 67(1)19--35,
67(1)129--139, 67(2)283--301, 68(1)37--47, 68(3)343--346,
69(2)117--242
-
partial-match, 62(3)251--266
-
partiality, 67(1)129--139
-
partially, 35(2)179--189, 41(1)109--112, 46(2)159--174, 48(2)183--199,
48(2)329--337, 49(2)145--169, 52(1)59--75, 57(2)239--249,
58(1)201--208, 64(3)281--304, 66(2)117--136, 67(1)19--35
-
partially-ordered, 45(3)293--351
-
partially-specified, 39(2)309--317
-
partition, 40(1)67--84, 41(2)141--167, 49(2)239--265
-
partitioning, 49(2)239--265, 49(2)z--z, 54(1)3--28
-
party, 58(1)231--248
-
party, two-, 39(2)319--325, 40(2)101--130
-
Pascal, 56(1)3--15
-
Pascal-like, 56(1)3--15, 56(1)59--133
-
Pascal-like, Wirth-, 56(1)3--15
-
passing, 51(1)205--214
-
passing, binding-, 62(1)187--220
-
Passy, Solomon, 61(2)259--277
-
Passy, Solomon, see Gargov, George
-
Pasztor, A., 43(2)251--263
-
Pasztor:1986:SIC, 43(2)251--263
-
path, 36(1)27--58, 37(1)77--121, 40(2)257--274, 40(2)323--328,
43(2)213--238, 48(2)273--281, 57(1)131--145, 57(1)153--159,
58(1)103--128, 68(1)1--17, 68(2)155--173
-
Patricia, 58(1)143--154, 68(1)1--17
-
pattern, 38(2)249--267, 43(1)31--41, 43(2)239--249, 47(1)61--69,
48(2)145--152, 52(3)177--191, 60(3)231--254, 62(3)267--287,
63(1)1--17, 66(1)99--104, 68(2)155--173
-
Patterson, Sardinas-, 38(1)123--132
-
Paul, E., 44(2)127--153
-
Paul:1986:SEP, 44(2)127--153
-
P{\u{a}}un, G., 41(1)1--17
-
Paun:1985:VRC, 41(1)1--17
-
PDL, 61(2)259--277
-
pdl, 61(2)259--277
-
pebble, 44(1)111--121, 47(2)205--218, 58(1)209--229
-
pebble, 1-, 53(2)307--317
-
pebble, 2-, 53(2)307--317
-
pebbling, 47(2)205--218
-
Pecuchet, J.-P., 35(1)115--122, 47(1)95--98
-
Pecuchet, Jean-Pierre, 58(1)231--248
-
Pecuchet:1985:TWF, 35(1)115--122
-
Pecuchet:1986:CBA, 47(1)95--98
-
Pecuchet:1988:ESP, 58(1)231--248
-
Pelc, A., 47(1)61--69, 66(1)105--111
-
Pelc, Andrzej, 63(2)185--202
-
Pelc:1986:LPS, 47(1)61--69
-
Pelc:1989:SKE, 63(2)185--202
-
Pelc:1989:WAC, 66(1)105--111
-
Peleg, D., 38(2)307--322, 53(2)281--293, 55(1)1--45
-
Peleg, D., see Harel, D.
-
Peleg:1987:CPS, 55(1)1--45
-
Peleg:1987:GPR, 53(2)281--293
-
Pelin, A., 53(1)125--150
-
Pelin:1987:BEC, 53(1)125--150
-
Pelz, E., 39(2)155--169, 41(2)247--269
-
Pelz, E., see Parigot, M.
-
Pelz:1985:CTP, 41(2)247--269
-
Penczek, Wojciech, 64(3)281--304
-
Penczek, Wojciech, see Mazurkiewicz, Antoni
-
Perez, Ramon, Pino, 67(1)129--139
-
perfect, 59(3)297--307, 61(2)121--136
-
performance, 52(3)269--280, 64(2)175--189
-
Performance, Digital-, 64(2)175--189, 64(2)203--219
-
period, 38(2)167--192
-
periodic, 38(2)167--192, 44(1)107--110, 46(1)83--89, 48(1)101--108,
51(3)255--264
-
periodicity, 46(1)83--89
-
permutation, 36(2)265--289, 38(1)83--98, 41(2)247--269, 54(2)181--198,
56(2)211--222, 64(2)135--157, 64(2)191--201, 65(2)221--242
-
Perrin, 54(2)165--179
-
Perrin, D., 65(2)171--188
-
Perrin, D., see Hansel, G.
-
Perron--Frobenius, 65(2)243--248
-
persistence, 58(1)155--174
-
person, two-, 67(1)5--18
-
PERT, 61(2)175--198
-
Peterson-Stickel, 67(2)173--201
-
Petri, 39(2)107--121, 39(2)155--169, 40(2)149--162, 41(2)185--213,
43(1)99--105, 44(3)275--305, 45(3)261--292, 55(1)87--136,
60(1)1--82, 64(1)25--38, 64(1)67--81, 64(3)305--329
-
Petri-net, coloured-, 35(2)191--214
-
Pettorossi, A., 53(1)151--167
-
Pettorossi:1987:DEP, 53(1)151--167
-
Petuaud, Catherine, 67(1)121--128
-
Petuaud:1989:ETS, 67(1)121--128
-
Peyton Jones, S., 56(1)17--36
-
Peyton Jones, S., see Hankin, C.
-
Phase, Two-, 58(1)3--16
-
phases, two-, 58(1)3--16
-
PHCF, 47(2)131--147
-
Phillips, I., 50(3)241--284
-
Phillips:1987:RT, 50(3)241--284
-
philosophers, 36(1)27--58, 38(1)1--16
-
picture, 36(2)173--202, 43(1)31--41, 48(2)145--152, 52(3)177--191,
68(3)239--252
-
piecewise, 35(1)17--42, 58(1)231--248, 65(2)243--248, 65(2)z--z
-
piecewise-linear, 65(2)243--248
-
Pierre, L., 47(3)335--343, 57(2)185--204
-
Pierre, L., see Deleage, J.-L.
-
Pierre:1988:RIC, 57(2)185--204
-
pigeonhole, 39(2)297--308, 62(3)311--317
-
Pin, J.-E., 35(2)271--293
-
Pin:1985:AMR, 35(2)271--293
-
Pino Perez, Ramon, 67(1)129--139
-
PinoPerez:1989:DRE, 67(1)129--139
-
Piotrow, M., 54(2)331--339
-
Piotrow, M., see Liskiewicz, M.
-
Piperno, A., 66(1)27--43
-
Piperno:1989:APC, 66(1)27--43
-
PIPID, 64(2)191--201
-
pipid, 64(2)191--201
-
Pippenger, N. J., 36(2)239--250
-
Pippenger, N. J., see Fagin, R.
-
Place/Transition, 64(1)25--38
-
place/transition, 41(2)185--213, 45(3)261--292
-
plaintext, 48(2)283--296, 66(1)45--53
-
Plaisted, D. A., 35(2)245--260
-
Plaisted:1985:CDP, 35(2)245--260
-
planar, 53(2)267--279, 54(1)129--137, 58(1)209--229, 61(1)33--47,
68(2)155--173
-
planarity, 47(3)277--298
-
plane, 49(2)239--265, 61(2)175--198, 66(2)157--180, 68(3)239--252
-
Plotkin, 36(1)127--137
-
P=?NP, 51(3)265--280
-
point, 36(2)333--339, 39(1)15--25, 39(1)z--z, 44(1)107--110, 45(1)1--61,
49(2)239--265, 49(2)z--z, 57(1)87--95, 61(2)289--297, 63(3)275--294,
63(3)303--331, 65(2)189--196, 68(3)303--317, 68(3)347--348
-
point, fixed-, 45(2)193--260, 45(3)293--351, 64(3)221--269,
65(2)143--148, 68(2)203--220, 68(3)303--317
-
points, fixed-, 44(3)259--274
-
policy, 46(1)13--45
-
poly, 52(3)251--267
-
poly-time, 54(2)325--329
-
polycategory, 57(2)205--224
-
polygon, 53(2)345--352, 59(3)297--307
-
polylogarithmic, 54(1)65--85
-
polymorphic, 59(1)85--114, 60(3)297--340
-
polymorphism, 59(1)85--114, 68(3)221--237
-
polynomial-size, 36(2)239--250, 62(3)319--325, 68(3)267--276
-
Polynomial-Time, 61(2)307--316
-
polynomial-time, 47(2)131--147, 47(3)263--276, 51(3)265--280,
52(1)77--89, 56(3)289--301, 61(2)307--316, 68(3)267--276,
68(3)319--332
-
polynomially, 35(2)295--312, 39(2)207--224, 39(2)225--237,
51(3)255--264, 52(3)251--267
-
Polynomials, Techniques-, 58(1)17--56, 64(1)15--23,
67(1)111--113
-
polynominal-time, 51(1)53--80
-
pomsets, 61(2)199--224
-
POOL, 60(2)109--176
-
Poorten, A. J., van der, 65(2)213--220
-
poset, 40(2)301--314, 48(1)95--100, 59(1)25--84
-
positive, 41(1)19--32
-
possible, 41(1)113--120, 65(2)143--148
-
post, 53(1)3--24, 55(2)183--263
-
post-conditions, 53(1)3--24
-
potential, 58(1)347--359
-
Poulsen, E. T., 44(3)333--339
-
Poulsen:1986:ECA, 44(3)333--339
-
power, 36(1)1--19, 36(1)127--137, 39(2)267--280, 40(1)13--30,
41(1)51--59, 41(1)109--112, 44(1)1--16, 44(1)111--121,
46(2)285--303, 47(1)15--26, 50(3)285--321, 53(2)187--200,
54(2)331--339, 56(1)135--154, 57(1)147--152, 57(2)225--238,
60(1)83--108, 62(3)289--310, 62(3)319--325, 65(1)35--83,
65(2)131--141, 67(2)143--172, 69(1)1--53
-
power, omega-, 53(2)187--200
-
power-free, 38(1)117--122
-
powerdomain, 36(1)127--137, 57(2)251--282
-
Powerset, 61(2)283--287
-
practice, 59(0)3--209
-
PRAM, 47(3)277--298, 61(1)33--47, 68(3)343--346
-
PRAM, CREW-, 61(2)121--136
-
PRAMs, 48(1)53--73
-
prams, 58(1)379--397
-
Pratt, Knuth-Morris-, 57(1)131--145
-
pre, 53(1)3--24
-
precise, 69(2)117--242
-
precisely, 38(1)133--136
-
precondition, 53(1)3--24, 59(3)211--234
-
predicate, 36(1)71--87, 46(2)239--259, 53(1)3--24, 57(1)3--45,
63(3)253--274, 64(1)25--38, 65(1)35--83
-
predicate/transition, 41(2)185--213
-
prefix, 35(2)295--312, 56(3)339--344
-
prefix-free, 66(3)247--254
-
premises, 51(1)1--26
-
preorder, 37(2)151--181, 37(3)305--336, 63(1)19--41
-
preparator, 59(3)211--234
-
preperfect, 44(2)237--245
-
preprocessing, 48(2)283--296
-
Presburger, 56(3)289--301
-
presentation, 35(2)227--243, 42(2)123--249, 46(2)319--327, 51(1)1--26
-
presented, 62(0)3--233, 66(1)55--63
-
preservation, 43(2)293--313
-
preserving, entropy-, 57(1)113--129
-
prex, 64(1)25--38
-
Priese, L., 39(2)107--121, 54(2)139--163
-
Priese:1985:FDM, 39(2)107--121
-
Priese:1987:IRT, 54(2)139--163
-
primality, 41(1)81--93
-
prime, 41(1)81--93, 52(1)77--89, 66(1)113--114
-
primitive, 38(2)167--192, 42(2)123--249, 52(1)77--89, 60(3)255--283,
64(1)97--105
-
principal, 47(3)299--313, 52(3)177--191, 54(2)341--343, 57(1)147--152,
59(1)181--209
-
principle, 39(2)297--308, 51(1)129--176, 54(1)29--51, 62(3)311--317,
64(3)221--269, 65(1)85--119
-
priorities, 67(2)283--301
-
prisoner, 67(1)5--18
-
probabilistic, 38(1)69--82, 40(1)57--66, 41(2)325--330, 49(2)267--282,
52(3)269--280, 53(1)67--97, 53(1)z--z, 54(1)65--85, 57(0)3--159,
57(1)87--95, 58(1)129--142, 58(1)263--324, 62(3)251--266,
66(3)333--340
-
probability, 41(2)325--330, 49(2)267--282, 53(1)67--97, 53(1)99--124,
57(1)87--95, 62(3)251--266, 63(2)185--202, 64(2)203--219,
65(0)123--270, 65(2)149--152, 65(2)171--188, 65(2)z--z, 67(1)5--18,
68(1)1--17
-
PROBLEM, 63(3)253--274
-
procedure, 35(2)129--164, 36(2)251--264, 41(1)113--120, 42(3)251--368,
44(2)127--153, 44(2)237--245, 47(1)61--69, 48(2)229--255,
49(2)217--237, 53(1)25--65, 53(1)z--z, 57(1)131--145, 58(1)155--174,
59(1)115--131, 59(1)133--155, 60(1)83--108, 66(2)117--136,
67(2)173--201, 69(1)1--53
-
process, 36(1)21--25, 37(1)77--121, 38(1)69--82, 38(2)307--322,
39(1)47--68, 39(1)z--z, 39(2)281--295, 40(2)149--162, 40(2)329--337,
43(2)277--291, 44(3)275--305, 45(2)193--260, 46(2)285--303,
47(2)159--168, 49(2)121--143, 49(2)185--215, 49(2)z--z,
50(3)241--284, 51(3)281--299, 53(1)99--124, 53(1)z--z,
54(2)277--298, 58(1)249--261, 59(1)25--84, 59(3)235--257,
60(2)109--176, 61(1)93--102, 63(3)275--294, 64(1)67--81,
64(2)175--189, 66(0)117--232, 66(2)117--136, 67(2)303--332,
68(1)37--47, 68(2)203--220, 69(1)69--115
-
process, regular-, 45(2)193--260
-
process-constructing, 49(2)185--215
-
processing, 35(2)191--214, 36(2)173--202, 37(2)183--216, 37(3)245--267,
37(3)305--336, 39(1)47--68, 39(2)107--121, 43(1)31--41, 43(1)43--58,
43(2)213--238, 43(2)277--291, 48(2)145--152, 49(2)145--169,
49(2)171--184, 49(2)267--282, 50(3)241--284, 51(1)239--247,
52(1)155--163, 52(3)193--203, 53(2)281--293, 54(1)53--64,
55(2)291--348, 57(0)3--159, 57(1)131--145, 58(1)143--154,
58(1)183--199, 58(1)249--261, 58(1)347--359, 59(3)259--276,
59(3)277--286, 59(3)297--307, 61(2)121--136, 61(2)199--224,
62(1)67--104, 62(1)123--185, 62(3)251--266, 63(1)91--111,
64(1)83--96, 64(1)125--132, 64(2)135--157, 64(2)159--173,
64(2)175--189, 64(2)191--201, 64(3)271--280, 65(2)249--263,
66(0)117--232, 66(2)117--136, 66(2)181--203, 68(3)343--346,
69(1)1--53
-
Processing--Data, 58(0)3--397, 58(1)57--68, 60(3)297--340, 62(0)3--233,
62(1)3--38, 66(0)117--232
-
processor, 37(2)183--216, 52(3)193--203, 53(2)169--185, 54(1)65--85,
56(1)3--15, 56(1)17--36, 56(1)59--133, 63(3)253--274, 64(1)125--132
-
Prodinger, H., 68(1)1--17
-
Prodinger, H., see Kirschenhofer, P.
-
Prodinger, Helmut, 58(1)143--154
-
Prodinger, Helmut, see Kirschenhofer, Peter
-
Producible, 65(2)143--148
-
product, 38(2)223--247, 46(1)91--99, 47(1)1--14, 48(1)1--8,
48(2)183--199, 50(2)103--135, 52(1)59--75, 53(2)243--255,
58(1)17--56, 61(1)17--24, 64(2)203--219, 64(3)221--269,
65(2)189--196, 65(2)z--z
-
product, 0/-, 47(1)1--14, 61(1)17--24
-
product, R-, 47(1)1--14
-
productibility, 65(2)143--148
-
productions, 49(1)23--42
-
program-verifying, 50(3)285--321
-
Programming, Metatheory-, 58(1)263--324, 59(1)3--23,
59(1)133--155, 59(1)157--180, 61(2)225--258, 61(2)259--277,
67(1)129--139
-
Programming--Algorithms, 58(0)3--397, 58(1)3--16, 58(1)103--128,
58(1)143--154, 58(1)183--199, 59(1)115--131, 59(3)297--307,
60(3)255--283, 60(3)341--381, 62(0)3--233, 62(1)67--104,
62(1)105--122, 62(1)123--185, 63(2)157--184, 63(3)295--302,
64(1)39--53, 64(1)83--96, 64(1)107--118, 64(3)343--350, 65(1)1--33,
66(2)157--180, 66(2)181--203, 67(1)65--73
-
Programming--Theory, 59(0)3--209, 59(1)25--84, 62(3)289--310,
62(3)319--325, 63(1)19--41, 63(2)113--139, 63(3)253--274,
63(3)303--331, 64(3)271--280, 64(3)305--329, 64(3)331--342
-
programs, -, 39(2)135--153
-
programs, While-, 40(2)211--235
-
programs, while-, 39(2)189--206, 40(2)211--235
-
progressive, 47(2)205--218, 58(1)209--229
-
projection, 39(2)239--265, 48(2)297--328, 62(1)67--104, 64(3)343--350,
65(3)291--342
-
projective, 64(1)83--96
-
PROLOG, 48(2)229--255, 54(1)3--28
-
Prolog, 59(1)133--155
-
proof, 35(2)345--348, 36(2)251--264, 39(1)27--45, 39(1)47--68, 39(1)z--z,
41(1)121--123, 42(2)123--249, 43(1)91--98, 43(2)345--350,
44(2)127--153, 44(3)333--339, 46(2)261--284, 46(2)305--312,
48(2)229--255, 50(3)241--284, 52(3)239--249, 52(3)281--306,
54(2)199--214, 57(2)161--184, 57(2)317--325, 59(3)317--325,
61(2)225--258, 62(3)311--317, 63(1)91--111, 65(1)1--33, 65(1)35--83,
65(2)149--152, 66(1)87--97, 67(1)87--97, 67(2)203--260,
68(2)123--134, 68(3)267--276, 68(3)333--342, 69(1)69--115,
69(3)243--287
-
proof-theoretic, 39(1)27--45, 39(1)z--z
-
propagation, 43(2)149--167, 46(1)13--45
-
Proper, 61(2)103--119
-
property, 35(1)109--114, 35(2)295--312, 35(2)337--344, 36(2)217--229,
36(2)291--308, 37(1)77--121, 37(3)305--336, 38(1)35--53, 39(1)3--13,
39(1)z--z, 39(2)123--133, 39(2)189--206, 39(2)281--295,
39(2)337--342, 40(2)163--174, 40(2)211--235, 40(2)257--274,
41(2)215--222, 43(2)277--291, 43(2)315--335, 44(1)51--68,
44(2)127--153, 46(1)83--89, 46(2)141--158, 46(2)175--195,
46(2)313--318, 48(1)53--73, 48(1)75--94, 49(1)1--12, 49(1)23--42,
49(1)43--79, 51(3)281--299, 52(1)15--36, 52(1)165--171,
52(3)205--237, 53(1)99--124, 56(1)3--15, 57(1)87--95, 57(2)225--238,
61(2)103--119, 61(2)199--224, 61(2)259--277, 61(2)283--287,
62(1)123--185, 62(3)267--287, 63(1)43--61, 63(3)303--331,
63(3)333--348, 64(1)83--96, 64(2)191--201, 64(3)281--304,
65(2)197--212, 65(2)221--242, 65(2)z--z, 67(1)121--128, 68(1)1--17,
68(2)123--134, 68(3)333--342
-
proposition, 65(2)149--152
-
propositional, 36(1)71--87, 38(2)343--347, 39(2)297--308, 49(2)217--237,
55(1)1--45, 59(1)115--131, 61(2)259--277, 62(3)311--317,
66(1)87--97, 68(1)113--119, 68(2)123--134
-
Proskurowski, A., 68(2)155--173
-
Proskurowski, A., see Lingas, A.
-
Protasi, Marco, 64(1)119--124
-
Protasi:1989:NAO, 64(1)119--124
-
protocol, 39(2)319--325, 40(2)101--130, 54(1)53--64, 57(1)97--111,
68(2)175--202
-
prove, 67(2)203--260
-
prover, 35(2)129--164
-
proving, 35(2)129--164, 35(2)215--225, 37(2)151--181, 37(2)183--216,
43(2)123--147, 43(2)277--291, 44(2)127--153, 53(1)125--150,
54(1)3--28, 54(1)29--51, 54(2)249--265, 56(1)135--154,
56(3)277--288, 59(1)133--155, 59(3)287--296, 67(2)173--201,
67(2)203--260, 69(3)243--287
-
pseudo, 47(1)15--26
-
pseudo-c, 66(3)323--331
-
pseudocomplements, 43(2)201--211
-
pseudorandom, 48(1)9--33
-
PSPACE, 47(2)131--147
-
PSPACE-complete, 36(2)265--289, 58(1)263--324
-
PSPACE-hard, 35(1)1--15
-
PSPACEash, 52(3)251--267
-
PSPACE/poly, 52(3)251--267
-
PT-nets, 64(1)25--38
-
PTIME, 58(1)263--324, 64(3)305--329
-
public-key, 40(2)101--130, 48(2)283--296, 66(1)45--53
-
pump, 56(3)321--338
-
pumping, 36(1)89--97, 40(1)13--30, 45(1)87--119, 46(1)53--66,
56(3)321--338, 57(2)303--316, 62(3)267--287
-
pure, 65(3)291--342
-
purely, 51(3)301--308
-
purpose, general-, 51(1)221--227
-
push-down, 48(2)201--228
-
pushdown, 37(1)51--75, 37(2)123--150, 39(2)89--106, 39(2)267--280,
40(2)163--174, 41(2)223--230, 42(3)251--368, 44(1)111--121,
48(2)153--181, 58(1)69--80, 61(2)149--174, 64(1)39--53, 67(1)75--85
-
pushout, 52(1)37--58