Index file section P for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
P
-
P, 21(1)105--111, 31(1)41--48, 34(1)17--32
-
P, NP-, 19(3)287--304
-
P-complete, 32(1)61--76
-
P-completeness, 32(3)279--295
-
p/-completeness, 33(2)305--326
-
P-optimal, 10(2)123--131
-
P-selective, 19(3)287--304
-
Pacini, G., 14(3)305--315
-
Pacini, G., see Callegarin, G.
-
packing, 15(3)279--289
-
Padawitz, P., 19(2)117--141, 20(3)209--263
-
Padawitz, P., see Ehrig, H.
-
Padawitz:1982:GGO, 19(2)117--141
-
pair, 31(1)41--48
-
Pair, C., 18(1)1--31, 33(2)139--174
-
Pair, C., see Broy, M.
-
Pair:1982:ADT, 18(1)1--31
-
paired, 22(3)253--264
-
Pan, V. Ya, 33(1)117--138
-
Pan:1984:TTA, 33(1)117--138
-
Papadimitriou, C. H., 19(2)161--187
-
Papadimitriou, C. H., see Lewis, H. R.
-
parallel, 10(2)133--155, 12(1)39--60, 21(1)105--111, 23(2)107--127,
24(1)53--71, 26(1)225--231, 27(1)217--224, 29(1)167--184,
30(1)91--131, 31(1)13--29, 31(1)83--100, 32(1)25--46, 32(1)157--172,
32(3)227--247, 34(1)33--82, 34(1)83--133, 34(1)135--156
-
parallel-design, 32(1)157--172
-
parallelism, 11(3)247--275, 18(1)1--31, 24(2)123--130
-
parameter, 27(1)167--196, 27(3)255--286, 28(1)45--81
-
parameterized, 27(3)255--286, 28(1)45--81
-
parametric, 27(1)167--196, 33(1)45--63, 33(1)z--z
-
Parchmann, R., 32(1)47--60
-
Parchmann, R., see Duske, J.
-
Paredaens, J., 19(2)143--160
-
Paredaens:1982:UFE, 19(2)143--160
-
parenthesis, 22(3)253--264, 31(1)1--11, 31(3)337--349
-
Parikh, 19(2)219--227, 32(1)47--60
-
Parikh, R., 14(1)113--118
-
Parikh, R., see Kozen, D.
-
Paris-Harrington, 32(1)173--183
-
Parisi-Presicce, F., 28(3)287--298
-
Parisi-Presicce:1984:IFA, 28(3)287--298
-
Park's, Hitchcock-, 15(2)159--179
-
parsers, 15(2)117--157
-
parsing, 12(3)265--290, 15(2)117--157, 16(2)149--175
-
partial, 12(1)19--37, 15(1)1--25, 15(2)159--179, 16(2)231--235,
17(2)151--161, 17(3)303--315, 18(2)149--171, 19(2)143--160,
21(3)315--340, 22(3)265--284, 22(3)317--330, 23(3)305--315,
26(1)105--120, 26(1)131--147, 29(3)251--275, 30(1)49--90,
32(1)1--24, 33(2)139--174, 34(1)33--82, 34(3)241--254
-
partially, 18(1)41--67, 21(3)315--340, 24(1)73--94
-
parts, 31(1)1--11
-
Pas, 30(1)49--90
-
PASCAL-like, 30(1)49--90
-
passing, 27(1)167--196, 27(3)255--286, 28(1)45--81
-
Pasztor, A., 17(2)151--161
-
Pasztor, A., see Lehmann, D.
-
Paterson, M., 16(3)321--328
-
Paterson, M., see Berman, F.
-
Paterson, M. S., 12(3)315--323
-
Paterson, M. S., see Munro, J. I.
-
path, 18(2)149--171, 26(1)25--52, 26(1)121--130, 32(1)185--199
-
path-expressions, 31(1)83--100
-
pattern, 10(2)111--121, 14(3)211--226, 23(1)37--48, 24(2)161--177,
24(2)179--194, 27(1)61--83, 33(1)85--94, 34(1)227--240
-
pattern, success-, 34(1)227--240
-
Paul, W., 28(1)1--12
-
Paul:1984:HVT, 28(1)1--12
-
Pawlak, Z., 29(1)27--39
-
Pawlak, Z., see Orlowska, E.
-
Paz, A., 15(3)251--277
-
Paz:1981:NDP, 15(3)251--277
-
PDDI, 32(1)157--172
-
PDL, 14(1)113--118
-
Peano, 16(2)199--210, 21(2)231--235, 22(3)265--284
-
pebble, 13(3)315--322, 19(1)69--84
-
perfect, 12(3)303--314
-
performance, 16(3)307--319, 23(2)107--127
-
perimeter, 34(1)169--206
-
periodic, 22(1)95--126, 27(3)311--332
-
periodicity, 23(1)83--89, 24(1)21--34
-
Perl, Y., 19(1)1--16
-
Perl:1982:CEL, 19(1)1--16
-
permissive, 32(1)157--172
-
permutation, 23(1)103--105
-
permuter, 17(3)333--341, 23(1)103--105
-
Perrin, D., 28(3)329--336, 33(2)331--334
-
Perrin:1984:CBC, 28(3)329--336
-
Perrin:1984:ORM, 33(2)331--334
-
person, two-, 22(1)71--93
-
Petri, 11(2)123--143, 13(1)85--108, 13(1)109--136, 14(3)317--336,
15(1)51--75, 21(3)315--340, 23(2)107--127, 23(3)243--272,
25(3)221--265, 25(3)311--341, 26(3)301--326, 27(1)85--108,
28(1)171--196, 30(3)241--318, 31(3)307--315, 32(1)173--183
-
Pfender, 32(1)1--24
-
PGCD, 11(2)207--220
-
phase, 13(1)61--83
-
Philosophers, 24(1)1--20
-
philosophy, 25(2)193--120
-
phrases, 27(3)297--310
-
physical, 24(2)123--130
-
picture, 23(1)37--48, 24(2)161--177
-
Pietrzykowski, T., 28(3)239--261
-
Pietrzykowski, T., see Cox, P. T.
-
Pin, 32(1)201--213
-
Pittl, J., 22(1)57--69
-
Pittl:1983:CRD, 22(1)57--69
-
Pittle, J., 16(2)149--175
-
Pittle:1981:LKG, 16(2)149--175
-
Plaisted, D. A., 31(1)125--138
-
Plaisted:1984:NNH, 31(1)125--138
-
planar, 12(3)303--314
-
plane, 23(1)37--48, 32(1)215--219
-
plane-polyhedron, 27(3)241--253
-
play, 29(1)49--73
-
Plotkin, 31(1)73--82
-
Plotkin, G., 13(1)85--108
-
Plotkin, G., see Nielsen, M.
-
Plotkin, Kahn-, 20(3)265--321
-
pluralism, 24(1)95--104
-
Pnueli, A., 13(1)45--60, 32(1)25--46, 33(1)65--84, 34(1)215--225
-
Pnueli, A., see Apt, K. R., \see{Cohen, S.,
see Francez, N.
-
Pnueli:1980:TSC, 13(1)45--60
-
point, 12(3)229--254, 16(2)211--221, 18(3)333--341, 24(1)73--94,
26(1)53--82, 29(1)167--184, 29(3)309--324, 32(1)185--199,
32(1)215--219
-
point, fixed-, 18(3)333--341, 20(2)95--207, 28(3)287--298
-
Polish, 16(1)5--24
-
polyhedra, 27(3)241--253
-
polyhedral, 27(3)241--253
-
polyhedron, plane-, 27(3)241--253
-
polyhedron, polyhedron-, 27(3)241--253
-
polyhedron-polyhedron, 27(3)241--253
-
polynomial, 10(1)1--18, 10(1)53--61, 10(2)111--121, 11(1)93--106,
11(3)321--330, 11(3)331--335, 11(3)337--339, 12(1)1--17,
12(2)161--173, 12(3)303--314, 13(3)271--293, 14(1)91--101,
14(3)289--303, 15(1)27--39, 15(1)77--110, 15(3)251--277,
15(3)279--289, 15(3)329--338, 16(2)223--229, 17(1)91--97,
17(2)163--191, 18(1)95--103, 19(1)17--28, 19(3)287--304,
21(1)99--103, 21(1)105--111, 21(2)179--212, 21(3)255--267,
22(1)195--208, 22(3)285--296, 22(3)317--330, 23(1)95--101,
24(3)291--300, 25(1)67--94, 26(1)25--52, 27(1)3--38, 27(1)127--165,
28(1)135--150, 31(1)101--123, 31(1)125--138, 31(3)227--261,
32(1)61--76, 32(3)279--295, 34(1)17--32, 34(1)207--213
-
polynomial-time, 12(2)161--173, 19(1)1--16, 21(1)1--25, 32(3)249--260,
34(1)207--213, 34(3)255--274
-
polynomially, 32(1)61--76
-
polyomino, 34(1)169--206
-
polytope, 11(1)1--18
-
Pos, 17(2)151--161
-
posets, 17(2)151--161
-
position, 17(1)1--27, 19(3)305--320, 28(3)299--314
-
Position-restricted, 17(1)1--27
-
positive, 14(3)211--226, 14(3)247--265, 19(1)17--28, 31(3)227--261,
33(2)331--334
-
possess, 17(3)303--315
-
Post, 21(2)119--144
-
postcondition, 22(3)265--284
-
potential, 18(1)41--67
-
Pottinger, 28(1)235--236
-
Potts, D. H., 29(3)277--284
-
Potts:1984:REJ, 29(3)277--284
-
power, 14(2)127--154, 14(3)305--315, 16(2)115--148, 18(2)115--148,
21(1)55--74, 22(1)95--126, 22(3)317--330, 23(3)231--242,
24(1)35--52, 24(1)95--104, 26(1)197--220, 27(1)197--209,
27(1)211--215, 27(1)225--231, 27(3)287--295, 28(1)111--133,
29(1)123--153, 32(3)227--247, 32(3)321--330, 32(3)339--340,
33(2)195--238, 33(2)261--278, 33(2)327--329
-
power-free, 23(1)69--82
-
powerdomains, 31(1)73--82
-
powerful, 12(3)303--314
-
precision, time-, 24(1)105--117
-
precondition, 29(3)231--250
-
predicate, 11(2)123--143, 13(3)239--270, 18(3)227--258, 21(3)255--267,
28(3)239--261, 30(3)319--341, 32(3)297--307
-
predicate/transition-nets, 13(1)109--136, 14(3)317--336
-
prefix, 11(3)337--339, 12(2)127--134, 15(2)117--157, 28(3)329--336,
30(3)319--341, 32(1)201--213
-
prenex, 11(2)123--143, 28(3)315--327
-
Preparata, F. P., 22(3)297--315
-
Preparata, F. P., see Apostolico, A.
-
preperfectness, 31(1)165--174
-
preprocessed, 27(3)241--253
-
Presburger, 13(3)295--314, 18(1)105--111
-
prescribed, 21(1)91--98
-
presentation, 11(2)167--180, 27(1)39--60, 32(3)249--260, 33(2)331--334,
34(1)17--32
-
preserving, 17(1)43--54
-
Presicce, F., Parisi-, 28(3)287--298
-
Price, J. K., 18(1)33--40
-
Price, J. K., see Goldstine, J.
-
Priese, L., 25(3)221--265
-
Priese:1983:AC, 25(3)221--265
-
primality, 12(1)97--108, 23(2)211--215
-
prime, 22(3)233--251, 23(2)211--215, 31(1)125--138
-
primitive, 24(1)1--20, 29(1)185--227, 30(1)91--131, 32(1)173--183,
33(2)327--329
-
principal, 11(2)207--220, 28(1)151--169, 32(1)47--60
-
principle, 17(2)113--149, 22(1)135--173, 34(1)3--15
-
priori, 22(1)71--93
-
priority, 23(1)11--36
-
probabilistic, 12(1)97--108, 12(2)161--173, 12(3)315--323,
12(3)333--338, 16(1)75--91, 24(1)105--117, 24(3)291--300,
28(1)111--133, 34(1)215--225
-
probability, 12(1)19--37, 12(1)97--108, 22(1)71--93, 23(2)211--215,
28(1)111--133
-
problem, firing-squad-synchronization-, 19(3)305--320
-
problem, star-height-, 13(2)231--237
-
problem-language, 19(3)337--341
-
procedure, 10(1)63--82, 11(1)71--77, 13(2)193--223, 13(3)239--270,
13(3)271--293, 20(1)3--32, 20(2)95--207, 23(2)187--210, 24(1)1--20,
24(3)301--312, 27(3)333--354, 30(1)49--90, 32(1)173--183,
32(3)297--307
-
process, 10(2)133--155, 10(2)187--220, 21(3)315--340, 24(1)1--20,
24(2)131--141, 26(1)105--120, 26(3)343--353, 28(1)171--196,
29(3)231--250, 30(1)91--131, 31(1)83--100, 32(1)25--46,
33(2)279--304, 34(1)83--133
-
processed, 18(1)41--67
-
processing, 12(1)39--60, 13(1)17--43, 13(1)61--83, 18(2)173--206,
23(1)37--48, 23(2)107--127, 24(1)1--20, 24(2)161--177,
24(3)221--237, 26(1)83--103, 29(1)167--184, 29(3)231--250,
32(1)25--46, 32(1)157--172, 32(3)227--247, 33(2)139--174,
34(1)33--82, 34(1)83--133, 34(1)135--156, 34(1)215--225
-
processing, real-number-, 32(3)309--319
-
processor, 12(1)1--17, 15(3)223--249, 16(2)149--175, 22(1)219--232,
32(1)157--172, 34(1)227--240
-
Prodinger, H., 10(1)107--108
-
Prodinger:1980:IDS, 10(1)107--108
-
producing, answer-, 24(1)73--94
-
product, 10(1)53--61, 13(2)137--150, 19(3)331--335, 21(2)213--224,
22(3)253--264, 23(1)95--101, 27(1)85--108, 28(1)135--150,
31(1)83--100, 34(3)315--335
-
production, 10(1)37--44, 14(3)227--246, 16(1)99--110, 17(1)43--54,
27(3)311--332, 33(1)13--43
-
program, 11(2)181--205, 12(1)1--17, 12(1)61--81, 13(1)3--15, 13(1)45--60,
13(2)175--192, 13(2)193--223, 13(3)239--270, 13(3)315--322,
15(1)1--25, 15(2)159--179, 15(3)223--249, 15(3)291--309,
16(2)149--175, 16(2)199--210, 16(2)223--229, 16(3)321--328,
17(1)55--73, 17(2)113--149, 17(2)163--191, 17(2)193--212,
17(3)235--257, 17(3)259--278, 18(1)41--67, 18(2)149--171,
18(3)301--323, 19(2)203--218, 20(1)3--32, 20(2)95--207,
21(2)179--212, 21(2)231--235, 21(3)341--349, 22(1)135--173,
23(2)187--210, 24(1)35--52, 24(2)131--141, 24(3)221--237,
25(1)1--66, 25(2)193--120, 26(1)121--130, 27(1)127--165,
27(1)225--231, 27(3)297--310, 28(1)83--109, 28(1)111--133,
29(1)185--227, 30(1)1--48, 30(1)49--90, 30(2)139--204,
30(3)241--318, 31(1)13--29, 31(1)175--209, 33(1)65--84,
34(1)227--240
-
programs, WHILE-, 16(1)43--60
-
programs, while-, 17(3)303--315, 18(3)301--323, 22(3)265--284,
28(1)215--221
-
progress, 33(1)117--138
-
projection, 32(3)331--337, 34(3)315--335
-
projective, 32(1)215--219
-
PROLOG, 34(1)227--240
-
proof, 11(3)341--z, 12(3)265--290, 14(1)113--118, 16(1)43--60,
17(2)193--212, 17(3)259--278, 17(3)279--301, 22(1)135--173,
22(3)265--284, 24(2)131--141, 24(3)337--347, 29(3)309--324,
30(1)1--48, 31(1)13--29, 34(1)17--32, 34(1)33--82, 34(1)83--133
-
propagating, 29(1)41--48
-
propagation, 34(3)289--313
-
proper, 16(1)61--73
-
property, 10(2)157--170, 12(2)127--134, 15(3)251--277, 16(2)223--229,
17(3)303--315, 18(2)115--148, 18(2)149--171, 18(2)207--220,
18(3)227--258, 21(2)119--144, 22(3)253--264, 23(1)49--68,
23(2)107--127, 24(1)21--34, 24(1)73--94, 24(3)279--289, 25(1)1--66,
25(2)95--169, 27(1)85--108, 27(3)333--354, 28(1)223--233,
31(1)1--11, 31(1)73--82, 31(1)125--138, 31(1)165--174,
32(3)279--295
-
Proposition, 18(2)173--206
-
propositional, 11(3)341--z, 14(1)113--118, 16(3)321--328, 21(2)179--212,
26(1)149--195, 27(1)127--165, 27(3)333--354, 28(1)235--236
-
protection, 26(1)83--103
-
proved, 24(3)291--300
-
proves, 16(2)223--229
-
proving, 12(1)61--81, 12(3)291--302, 15(3)223--249, 18(3)227--258,
24(2)131--141, 30(1)1--48, 32(3)297--307, 33(2)175--193,
34(1)17--32
-
Prtasi, M., 23(3)273--286
-
Prtasi, M., see Marchetti-Spaccamela, A.
-
Pruitt, J. W., 16(3)307--319
-
Pruitt, J. W., see Gupta, U. I.
-
PSPACE, 15(1)27--39, 15(1)41--50, 34(1)17--32
-
PT-nets, 18(2)149--171
-
pullback, 11(3)247--275
-
Pultr, A., 11(1)93--106
-
Pultr, A., see Kucera, L.
-
pure, 10(2)157--170, 14(3)267--288, 18(1)69--87, 26(1)233--241,
29(3)309--324
-
purpose, 32(1)157--172
-
purpose, general-, 32(1)157--172
-
push-out, 32(1)1--24
-
pushdown, 14(2)155--186, 17(3)333--341, 18(1)33--40, 21(1)39--53,
22(1)57--69, 23(1)103--105, 24(3)313--322, 31(3)317--335,
32(1)87--120, 34(1)157--168, 34(3)255--274