Index file section P for stoc1970.bib
Last update: Tue Sep 5 02:25:20 MDT 2023
Return to index directory
P
-
packet, 0(0)89--98
-
Pager, David, 0(0)172--181
-
Pager:1973:LTA, 0(0)172--181
-
pair, 0(0)173--183
-
palindrome, 0(0)161--173
-
Pan, V. Ya, 0(0)162--172
-
Pan:1978:CCC, 0(0)162--172
-
Papadimitriou, Christos H., 0(0)1--9
-
Papadimitriou:1976:SCR, 0(0)1--9
-
paper, 0(0)iv--246, 0(0)iv--277, 0(0)iv--346, 0(0)iv--347, 0(0)vii--368,
0(0)v--230, 0(0)v--263, 0(0)v--265, 0(0)v--266, 0(0)v--314
-
parallel, 0(0)1--12, 0(0)12--22, 0(0)55--57, 0(0)58--64, 0(0)64--74,
0(0)65--72, 0(0)73--86, 0(0)89--94, 0(0)101--115, 0(0)121--125,
0(0)132--137, 0(0)193--195, 0(0)224--230, 0(0)231--236,
0(0)242--247, 0(0)248--255, 0(0)268--277, 0(0)323--333
-
parallelism, 0(0)105--113, 0(0)114--118
-
parameter, 0(0)150--161
-
Parameter-passing, 0(0)306--311
-
Parameterization, 0(0)119--132
-
parenthesis-free, 0(0)50--62
-
parser, 0(0)81--91, 0(0)172--181, 0(0)185--205, 0(0)251--263
-
Part, 0(0)1--12
-
partial, 0(0)258--266, 0(0)303--309
-
parts, 0(0)38--48
-
passing, Parameter-, 0(0)306--311
-
patent, 0(0)193--197
-
Paterson, M. S., 0(0)181--186
-
Paterson, Michael, 0(0)290--296
-
Paterson, Michael, see Book, Ronald
-
Paterson, Michael S., 0(0)37--44
-
Paterson, Michael S., see Fischer, Michael J.
-
Paterson:1976:LU, 0(0)181--186
-
path, 0(0)11--17, 0(0)13--26, 0(0)70--72
-
pattern, 0(0)125--136, 0(0)130--141, 0(0)206--216, 0(0)216--229
-
Paul, W. J., 0(0)218--222
-
Paul, Wolfgang J., 0(0)27--36, 0(0)149--160
-
Paul:1975:LBC, 0(0)27--36
-
Paul:1976:SBG, 0(0)149--160
-
Paul:1977:TH, 0(0)218--222
-
PDA, 0(0)20--28
-
Peano, 0(0)176--188
-
pebbling, 0(0)237--248
-
Pennsylvania, 0(0)iv--246
-
perfect-information, 0(0)41--49
-
period, 0(0)74--80
-
permutation, 0(0)268--277
-
Perrault, C. Raymond, 0(0)126--136
-
Perrault:1975:ITT, 0(0)126--136
-
Perrot, J-F., 0(0)217--220
-
Perrot:1970:RBF, 0(0)217--220
-
person, two-, 0(0)41--49
-
Peterson, G. L., 0(0)224--230
-
Peterson, Gary L., 0(0)91--97
-
Peterson:1977:ESC, 0(0)91--97
-
Peterson:1979:TST, 0(0)224--230
-
Petri, 0(0)50--54
-
picture, 0(0)206--216
-
Pippenger, Nicholas, 0(0)204--210
-
Pippenger:1976:RMB, 0(0)204--210
-
Plaisted, David A., 0(0)44--51
-
Plaisted:1972:FSC, 0(0)44--51
-
planar, 0(0)172--184, 0(0)231--235
-
Plass, Michael F., 0(0)49--60
-
Plass, Michael F., see Guibas, Leo J.
-
point, 0(0)231--235
-
polygon, 0(0)38--48
-
polynomial, 0(0)1--5, 0(0)20--28, 0(0)23--29, 0(0)33--39, 0(0)40--46,
0(0)66--71, 0(0)88--93, 0(0)96--109, 0(0)135--141, 0(0)145--152,
0(0)162--172, 0(0)174--180, 0(0)186--194, 0(0)193--195,
0(0)237--248, 0(0)278--287, 0(0)338--345, 0(0)342--347
-
polynomial-time, 0(0)110--121
-
Polynominal, 0(0)122--129
-
power, 0(0)1--11, 0(0)80--83, 0(0)119--132, 0(0)122--134, 0(0)141--148,
0(0)167--175, 0(0)196--199
-
powerful, 0(0)189--196
-
Prabhala, Bhaskaram, 0(0)132--142
-
Prabhala:1977:CIS, 0(0)132--142
-
practical, 0(0)326--337
-
Pratt, Terrence, 0(0)167--176
-
Pratt, V. R., 0(0)261--268, 0(0)326--337
-
Pratt, V. R., see Harel, D.
-
Pratt, Vaughan, 0(0)119--124
-
Pratt, Vaughan, see Blum, Manuel
-
Pratt, Vaughan R., 0(0)80--83, 0(0)122--134, 0(0)268--277
-
Pratt:1973:CPD, 0(0)268--277
-
Pratt:1974:CPV, 0(0)122--134
-
Pratt:1974:PNT, 0(0)80--83
-
Pratt:1975:FMA, 0(0)167--176
-
Pratt:1978:PDM, 0(0)326--337
-
precedence, 0(0)73--80
-
preconditioning, super-, 0(0)174--180
-
Predecessor, 0(0)81--87
-
predicate, 0(0)180--183
-
prefix, 0(0)217--220
-
Preliminary, 0(0)1--9, 0(0)23--26, 0(0)27--37, 0(0)31--36, 0(0)37--40,
0(0)37--44, 0(0)50--54, 0(0)51--58, 0(0)61--76, 0(0)67--73,
0(0)83--97, 0(0)101--111, 0(0)108--117, 0(0)135--148, 0(0)136--148,
0(0)149--160, 0(0)167--175, 0(0)172--184, 0(0)183--186,
0(0)195--207, 0(0)196--203, 0(0)204--210, 0(0)209--213,
0(0)227--232, 0(0)228--238, 0(0)231--236, 0(0)236--243,
0(0)246--252, 0(0)258--266, 0(0)261--268, 0(0)309--318,
0(0)326--337, 0(0)342--347, 0(0)346--351
-
Preparata, F. P., 0(0)231--235
-
Preparata, F. P., see Lee, D. T.
-
Presburger, 0(0)34--37, 0(0)320--325
-
presented, 0(0)iv--246, 0(0)iv--277, 0(0)iv--346, 0(0)iv--347,
0(0)vii--368, 0(0)164--177, 0(0)v--230, 0(0)v--263,
0(0)v--265, 0(0)v--266, 0(0)v--314
-
primality, 0(0)234--239
-
primitive, 0(0)230--241, 0(0)251--257
-
principal, 0(0)20--28
-
priority, 0(0)42--48
-
probabilistic, 0(0)30--41, 0(0)91--95, 0(0)198--205, 0(0)240--244,
0(0)338--342
-
problem, 0(0)1--9, 0(0)1--17, 0(0)10--21, 0(0)10--22, 0(0)11--17,
0(0)13--18, 0(0)23--29, 0(0)38--49, 0(0)40--46, 0(0)40--50,
0(0)41--49, 0(0)47--63, 0(0)50--54, 0(0)54--65, 0(0)55--57,
0(0)61--76, 0(0)62--66, 0(0)62--69, 0(0)66--71, 0(0)67--73,
0(0)86--88, 0(0)91--97, 0(0)126--134, 0(0)135--140, 0(0)142--152,
0(0)145--152, 0(0)182--195, 0(0)193--197, 0(0)205--215,
0(0)214--223, 0(0)216--226, 0(0)218--223, 0(0)231--236,
0(0)237--248, 0(0)240--245, 0(0)253--264, 0(0)265--274
-
problem, reachability-, 0(0)303--309
-
procedure, 0(0)151--158, 0(0)206--218, 0(0)227--232
-
process, 0(0)92--100, 0(0)168--176, 0(0)214--223
-
processing, 0(0)206--216, 0(0)231--236, 0(0)v--263
-
processors, 0(0)81--91
-
product, 0(0)149--160
-
program, 0(0)1--9, 0(0)1--12, 0(0)1--17, 0(0)52--64, 0(0)65--72,
0(0)73--86, 0(0)75--85, 0(0)107--116, 0(0)136--148, 0(0)142--152,
0(0)150--161, 0(0)167--176, 0(0)183--186, 0(0)194--206,
0(0)222--237, 0(0)240--252, 0(0)242--247, 0(0)248--255,
0(0)249--260, 0(0)261--268, 0(0)286--294
-
program-proving, 0(0)59--66
-
programming, 0(0)iv--246, 0(0)iv--277, 0(0)iv--346, 0(0)iv--347,
0(0)98--105, 0(0)98--106, 0(0)176--188, 0(0)193--197, 0(0)214--223,
0(0)224--239, 0(0)228--238, 0(0)269--285, 0(0)v--230, 0(0)v--263,
0(0)v--265, 0(0)v--266, 0(0)v--314
-
proof, 0(0)6--11, 0(0)83--97, 0(0)109--116, 0(0)135--148, 0(0)223--227,
0(0)246--252
-
propagation, 0(0)50--58
-
property, 0(0)31--36, 0(0)50--58, 0(0)84--90, 0(0)196--204, 0(0)255--265
-
propositional, 0(0)83--97, 0(0)135--148, 0(0)246--252, 0(0)286--294,
0(0)326--337
-
prover, 0(0)169--179
-
proving, 0(0)107--116, 0(0)180--183, 0(0)249--260
-
proving, program-, 0(0)59--66
-
proving, theorem-, 0(0)151--158
-
pruning, 0(0)296--313
-
Prusker, F., 0(0)216--229
-
Prusker, F., see Hyafil, L.
-
Puneli, Amir, 0(0)249--260
-
Puneli, Amir, see Harel, David
-
pushdown, 0(0)27--32, 0(0)141--148, 0(0)208--217