Index file section P for sigact.bib
Last update: Fri Nov 4 02:17:43 MDT 2022
Return to index directory
P
-
P, 0(0)xi--504, 0(0)xxix--184, 6(1)30--31, 7(1)18--20, 8(4)13--24, 9(2)25--29,
17(2)44--51, 18(1)54--67, 19(2)51--54, 24(1)60, 24(2)10--14,
26(1)2--13, 31(4)39--51, 32(1)21--31, 32(4)9--17, 34(4)26--31,
35(2)13--14, 35(3)94--97, 36(4)14--17, 40(2)27--30, 40(3)60--76,
41(1)28--30, 41(2)14--17, 41(2)37--40, 41(4)25--29, 43(2)53--77,
43(4)52--54, 44(0)xi--275, 44(1)10--11, 44(3)28--31, 44(3)35--37,
49(2)18--28, 49(2)29--31, 49(2)32--32, 49(3)51--61, 50(1)28--34,
50(1)35--37, 50(1)38--59, 50(2)29--30, 50(4)57--76, 51(1)9--11,
52(1)12--15, 52(2)7--9, 3000(0)x--147
-
p, 1(3)7--8, 6(1)32--35
-
{P, NP}-, 24(2)10--14
-
P-set, 3-, 31(2)22--33
-
p-th, 23(2)72--75
-
P-versus-NP, 0(0)xxix--184, 33(1)32--45
-
P-vs-NP, 33(2)34--47
-
P.O, 9(2)17--24
-
P.S, 30(2)22--30
-
PA95, 28(1)7
-
Paar, 45(3)10--12
-
PAC, 48(2)41--67
-
PACELC, 49(1)72--72, 49(1)73--81
-
Pach, 38(4)16--18, 38(4)31--34
-
Pach, Janos, 24(1)57
-
Pach, János, 0(0)xii--499, see Brass, Peter
-
Pach:1993:EPG, 24(1)57
-
packet, 41(1)100--128, 52(2)71--71, 52(2)72--84
-
packet-radio, 33(2)60--73
-
packing, 24(1)59, 28(2)20--23, 39(3)16--18, 46(2)105--112, 74(0)xi--132
-
packing, bin-, 33(2)14--16
-
Padawitz, P., 11(2)25--29
-
Padawitz, P., see Ehrig, H.
-
Padberg, 35(4)15--18
-
Padberg, Manfred W., 0(0)ix--449, 12(0)xx--501
-
Padberg, Manfred W., see Alevras, Dimitris
-
Padberg:2010:LOE, 12(0)xx--501, 35(4)15--18
-
page, 0(0)xx--195, 5(2)21--23, 24(3)31--33, 24(3)34--37, 25(2)25,
25(4)12--14, 31(3)24--26, 32(1)111--114, 33(1)32--45, 35(3)13--17,
35(4)15--18, 36(3)82--84, 38(1)9--13, 38(2)11--16, 38(2)16--20,
38(2)20--22, 38(3)34--38, 38(3)100--105, 39(2)84--91, 40(4)23--35,
41(0)x--141, 41(2)11--14, 41(2)14--17, 41(2)17--19, 41(2)19--22,
41(2)26--28, 41(2)28--33, 41(2)33--36, 41(2)36--37, 41(2)43--46,
41(2)47--50, 41(2)50--51, 41(3)18--25, 41(3)29--30, 41(3)34--36,
41(3)36--38, 41(3)39--44, 41(3)46--50, 42(1)36--37, 46(2)25--27,
49(2)4--6, 49(3)6--8, 49(4)11--12, 49(4)60--63, 50(1)38--59,
52(1)87--93
-
page, 1-, 27(3)6--12, 27(4)3--7
-
page, 140-, 41(0)x--141
-
page, 36-, 0(0)xii--372
-
page-turner, 28(2)2--13
-
paged, 15(2)45--52
-
Pager, 2(7)9--10
-
Pager, David, 2(7)9--10
-
Pager:1970:SOP, 2(7)9--10
-
paging, 40(4)98, 40(4)98--123
-
Pagli, Linda, 23(2)72--75
-
Pagli, Linda, see Luccio, Fabrizio
-
paid, 47(2)66--86
-
paint, 35(3)42--45
-
painted, 35(3)42--45
-
paintings, 0(0)xx--195
-
pair, 0(0)ix--593, 8(3)24--25, 9(3)25--27, 28(2)14--19, 28(2)70--79,
34(2)58--60, 43(2)108--123, 43(4)90--97, 45(3)82--104, 49(3)63--73
-
pairs, NP-, 45(4)59--75
-
Pairs, NP-, 45(4)59--75
-
pairwise, 43(3)67--84, 44(2)80--87, 47(4)44--47, 49(3)35--47
-
Pajak, Dominik, 42(4)92--95
-
Pajak, Dominik, see Kosowski, Adrian
-
Pál, Martin, 39(2)10--28, see Aggarwal, Gagan
-
Palano, Beatrice, 52(3)38--59
-
Palano, Beatrice, see Mereghetti, Carlo
-
Palash, 44(4)29--31
-
palindrome, 7(4)26--30
-
Palopoli, Luigi, 21(4)69--72
-
Palopoli:1990:NPU, 21(4)69--72
-
Panagiota, 33(1)46--53
-
Panangaden, Prakesh, 24(3)34--37
-
Panangaden:1993:BRB, 24(3)34--37
-
Panario, 46(4)17--18
-
pancake, 35(1)80--84
-
Pancakes, 35(1)80--84
-
Panconesi, 41(1)28--30
-
Panconesi, Alessandro, 0(0)xiv--196
-
Panconesi, Alessandro, see Dubhashi, Devdatt
-
pandemic, 51(2)36--37, 51(3)59--61, 51(4)82--84, 52(3)69--72
-
pandemic|, 51(4)47--47
-
Pandurangan, Gopal, 39(3)77--95, 47(1)69--98
-
Pandurangan, Gopal, see Augustine, John,
see Denchev, Vasil S.
-
panel, 36(1)21--24
-
panel,, 22(3)38--40
-
Pang, 50(3)12--23
-
Pankaj, 23(1)35--36
-
Panos, 49(1)16--19, 49(2)4--6
-
Papadatos, 41(2)26--28
-
Papadatos, Alecos, 0(0)347
-
Papadatos, Alecos, see Doxiadis, Apostolos
-
Papadimitriou, 33(1)32--45, 40(2)23--25, 41(2)26--28
-
Papadimitriou, Christos H., 0(0)347, 0(0)x--320, 26(3)13--30,
27(3)6--12, 28(3)65--74, 29(3)62--78
-
Papadimitriou, Christos H., see Aho, Alfred V.,
see Dasgupta, Sanjoy,
see Doxiadis, Apostolos,
see Lewis, Harry R.
-
Papadimitriou:1995:DMA, 26(3)13--30
-
Papadimitriou:1996:FCC, 27(3)6--12
-
Papamichail, Dimitris, 42(3)29--32, 43(1)35--37, 44(3)20--24,
44(4)38--41
-
Papamichail:2011:BRB, 42(3)29--32
-
Papamichail:2012:BRB, 43(1)35--37
-
Papamichail:2013:RBB, 44(3)20--24
-
Papamichail:2013:RIC, 44(4)38--41
-
Papanikolaou, 36(3)51--66
-
Papanikolaou, Nick, 41(3)51--55, 43(2)29--32
-
Papanikolaou, Nikolaos, 36(2)8--13, 36(3)5--9
-
Papanikolaou:2005:BRBa, 36(2)8--13
-
Papanikolaou:2005:BRBb, 36(3)5--9
-
Papanikolaou:2010:BRB, 41(3)51--55
-
Papanikolaou:2012:RBT, 43(2)29--32
-
Paper, Influential-, 31(4)52--61
-
paper, nine-, 29(3)10--22
-
papers:o, 33(2)48--51
-
par, 32(1)111--114, 36(2)14--19
-
paradigm, 24(3)38--43, 25(4)22--87, 26(4)51--59, 28(2)40--52,
31(2)22--33, 34(1)101--108, 37(1)66--81, 37(3)59--66, 37(3)67--92,
38(3)56--75, 39(1)59--61, 40(1)14--17, 40(2)25--27, 40(4)98--123,
49(1)55--65, 49(3)62--62, 99(0)xxii--759
-
paradigmatic, 24(1)57
-
paradox, 0(0)xiv--218, 3(9)11--12, 5(0)xx--159, 39(1)22--24, 40(3)32--37,
41(4)30--32
-
parallel, 0(0)viii--273, 0(0)xi--378, 0(0)xii--190, 0(0)xiii--544,
0(0)xv--423, 0(0)xv--510, 0(0)xvii--831, 0(0)xix--372,
0(0)xxiii--502, 0(0)xxix--962, 4(14)116--120, 8(3)14--20,
8(4)24--27, 10(2)42--47, 15(3)36--44, 18(1)54--67, 18(2)47--47,
18(2)57--63, 18(4)54--61, 21(3)z--z, 22(3)20--23, 22(4)63--63,
23(0)x--267, 23(2)72--75, 23(3)31--32, 24(1)57--58,
24(1)58, 24(1)59, 24(1)61--67, 24(4)16--21, 24(4)82--89,
28(2)2--13, 28(3)21--29, 29(3)104--111, 31(3)37--42, 33(1)32--45,
33(4)12--14, 34(2)3--5, 35(3)46--57, 35(4)5--11, 37(2)17--22,
39(1)62--72, 39(2)82--83, 43(2)11--14, 44(1)50--69, 46(2)41--64,
48(1)102--109, 49(3)78--79, 51(3)10--13
-
parallel, axis-, 44(2)80--87, 45(4)76--82, 50(3)75--90
-
parallel, series-, 24(1)58, 24(1)60
-
parallel-random-access, 22(4)63--63
-
parallel-rewriting, 6(4)19--20
-
parallelism, 37(3)27--32, 50(1)60--60, 50(1)61--64
-
parameter, 15(1)61--66, 28(4)24--27, 31(4)13--15, 35(3)25--41,
46(1)63--76, 49(3)35--47
-
Parameter, Fixed-, 38(3)34--38, 49(3)34--34, 49(3)35--47
-
parameter, fixed-, 39(1)33--46
-
parameter, xed-, 49(3)35--47
-
parameterized, 0(0)xv--533, 25(3)122--123, 31(4)13--15, 38(1)31--45,
46(1)23--26, 46(3)57--71, 47(2)52--52, 47(2)53--64, 51(4)11--14
-
parameterizing, 46(3)57--71
-
Parberry, 35(4)117--117
-
Parberry, I., 18(1)54--67, 20(4)31--37, 20(4)92--99
-
Parberry, Ian, 19(2)42--47, 21(1)21, 21(2)21, 25(4)96--102,
26(1)99--101, 26(2)50--56, 27(4)62--65, 29(2)50--57, 31(1)1,
31(1)77--86, 31(4)118--120, 33(4)14--15
-
Parberry:1986:PSS, 18(1)54--67
-
Parberry:1988:HPP, 19(2)42--47
-
Parberry:1989:GNR, 20(4)92--99
-
Parberry:1989:JRC, 20(4)31--37
-
Parberry:1990:JRCa, 21(1)21
-
Parberry:1990:JRCb, 21(2)21
-
Parberry:1994:FRT, 25(4)96--102
-
Parberry:1995:PA, 26(2)50--56
-
Parberry:1995:SW, 26(1)99--101
-
Parberry:1996:PE, 27(4)62--65
-
Parberry:1998:EYW, 29(2)50--57
-
Parberry:2000:EL, 31(1)1
-
Parberry:2000:HPP, 31(1)77--86
-
Parberry:2000:RIM, 31(4)118--120
-
Parberry:2002:TCS, 33(4)14--15
-
Pardalos:1998:NDC, 31(2)5--9, 40(0)xiii--461
-
Paredaens, Jan, 29(3)23--26
-
Paredaens:1998:DTC, 29(3)23--26
-
Pareto, 35(4)23--37
-
Parikh, Rohit, 22(3)49--50
-
Parikh:1991:TFL, 22(3)49--50
-
Paris, 20(4)50--53, 50(2)9--11, 52(4)78--79
-
Paris-Harrington, 50(2)9--11
-
Parisi-Presicce, Francesco, 15(2)32--44
-
Parisi-Presicce, Francesco, see Guessarian, Irène
-
parity, 28(2)24--31
-
park, 22(4)63--63, 35(2)13--14, 35(3)69--71, 36(2)25--42, 41(2)37--40
-
Park, David, 6(4)32--32
-
Park, David, see Constable, Robert
-
Parkes, Alan, 0(0)x, 0(0)xi--351
-
Parkes:2002:ILM, 0(0)xi--351, 35(2)13--14
-
Parkes:2008:CIL, 0(0)x, 41(2)37--40
-
parliament, 34(2)42--57
-
Parrish, Andy, 42(3)16--20
-
Parrish:2011:BRB, 42(3)16--20
-
parsing, 2(7)9--10
-
part, 0(0)xi--504, 0(0)xii--226, 0(0)xiii--239, 0(0)xiii--263,
0(0)xiv--223, 0(0)xiv--465, 0(0)xx--195, 0(0)xxviii--855,
2(4)12--18, 4(14)83--96, 4A_0_xv_883, 15(1)40--44, 20(1)156--183,
22(1)65, 22(2)51--56, 22(4)63--63, 23(3)107--117, 24(4)2--13,
25(1)22--30, 26(0)xx--372, 27(3)6--12, 27(4)3--7, 28(4)24--27,
31(4)39--51, 32(1)12--16, 32(4)24--33, 33(1)46--53, 34(2)61--68,
34(4)38--52, 35(1)22--35, 35(3)69--71, 35(3)102--108, 35(4)118--118,
36(1)15--20, 37(3)67--92, 37(4)13--21, 37(4)58--84, 38(4)40--45,
39(1)59--61, 39(2)82--83, 39(3)28--30, 41(4)61--64, 44(3)56--68,
46(2)89--95, 47(0)xiii--257, 47(1)99--110, 47(2)40--51, 47(4)44--47,
49(1)73--81, 49(2)14--17, 49(3)14--19, 51(2)11--14, 51(3)63--81,
52(3)6--10, 52(3)37--37, 114(0)xiv--732
-
part, 2-, 27(4)3--7, 32(4)24--33
-
Parter, Merav, 45(4)94--99
-
Parter:2014:DR, 45(4)94--99
-
Partha, 34(2)42--57
-
partial, 0(0)xii--616, 0(0)385, 1(3)7--8, 4(14)58--65, 4(14)97--103,
24(1)58, 27(1)2--13, 32(1)12--16, 32(2)45--63, 32(4)9--17,
32(4)24--33, 33(1)32--45, 33(2)34--47, 34(1)32--46, 37(1)47--65,
38(3)56--75, 40(3)39--41, 42(2)43--46
-
partially, 0(0)xii--616, 27(4)3--7, 31(2)69, 33(2)51--59, 59(0)xi--256
-
participant, 41(4)65--72, 49(2)58--76, 49(4)83--88
-
participated, 38(1)70--71
-
particular, 4(14)74--82, 4(14)83--96, 4(14)104--109, 4(14)203--207,
15(1)40--44, 16(4)56--59, 24(1)58, 24(1)59, 24(3)117--119,
26(3)2--12, 30(2)14--16, 30(2)43--46, 32(1)8--12, 32(1)12--16,
32(4)9--17, 33(2)34--47, 34(2)42--57, 35(4)58--71, 37(3)19--26,
38(2)56--74, 38(4)54--63, 38(4)65--66, 39(2)10--28, 39(3)41--57,
40(3)60--76, 42(1)59--80, 42(1)97--131, 43(4)70--89, 45(4)76--82,
46(4)32--49, 46(4)69--78, 47(1)42--67, 49(2)33--56, 49(2)58--76,
49(3)14--19, 49(3)51--61, 50(1)35--37, 50(2)29--30, 50(3)34--34,
51(4)73--74
-
particularly, 4(14)208--211, 29(4)20--27, 33(3)50--70, 36(2)25--42,
40(4)98--123, 49(3)9--13, 50(3)51--51, 51(4)11--14
-
partition, 31(4)15--18, 33(2)51--59, 43(2)78--83, 47(4)44--47,
49(1)73--81, 106(0)xvi--812
-
Partition-Tolerance, 49(1)73--81
-
Partition-Tolerant, 33(2)48--51
-
partition-tolerant, 33(2)51--59
-
partitioned, 49(1)73--81
-
partitioning, 30(2)61--61, 43(2)78--83
-
partitioning, un-, 30(2)61--61
-
partly, 15(1)56--60, 27(3)13--24, 30(2)33--42
-
partners, 49(3)51--61
-
partnership, 39(3)77--95
-
parts:o, 32(4)34--58
-
parttime, 34(2)42--57
-
party, 37(3)67--92, 38(4)65--66, 41(1)75--98, 44(2)88--88, 44(2)92--112,
52(3)11--13
-
party, multi-, 44(2)92--112
-
Party, Two-, 0(0)xiii--263, 43(1)21--23
-
party, two-, 44(2)92--112
-
Pasanen, T., 31(1)75--76
-
Pasanen, T., see Järvinen, J.
-
Pasanen, Tomi, 30(2)61--61
-
Pasanen:1999:PDT, 30(2)61--61
-
PASCAL, 15(2)76--76
-
Pascal, 28(2)24--31
-
PASCAL-like, 15(2)76--76
-
pass, 6(1)25--29, 21(1)21, 21(2)21, 34(2)42--57, 52(1)41--46
-
Pass, R., 52(1)47--69
-
Pass, Rafael, 44(1)50--69
-
Pass, Rafael, see Chung, Kai-Min
-
Pass:2021:GCA, 52(1)47--69
-
passed, 4(14)104--109, 35(3)46--57, 46(2)65--77, 49(4)60--63,
50(1)79--79
-
passing, 49(2)58--76, 50(1)79--79, 52(1)41--46
-
passing, continuation-, 30(2)33--42
-
passing, message-, 34(1)47--67, 34(2)42--57, 48(3)60--67,
49(2)57--57
-
passionate, 0(0)347
-
passively, 38(2)56--74
-
password, 38(3)55--55, 38(3)56--75
-
past, 5(2)21--23, 26(3)2--12, 27(3)55--59, 28(3)75--93, 29(3)10--22,
30(1)17--27, 33(2)34--47, 35(4)72--83, 36(2)14--19, 36(3)24--38,
37(1)66--81, 38(4)16--18, 39(2)91--110, 40(2)50--66, 41(1)100--128,
42(4)54--76, 43(2)85--107, 44(2)47--79, 44(2)126--142, 49(2)29--31,
50(2)12--14, 51(2)58--58, 52(1)9--11
-
pasting, 4(14)83--96
-
Patashnik, Oren, 0(0)xiii--625, 20(z)z--z
-
Patashnik, Oren, see Graham, Ronald L.
-
Paterson, M., 2(4)3--7, 5(2)17--20
-
Paterson, M., see Bauer, M., \see{Fischer, M.
-
Paterson, Michael S., 4(14)74--82
-
Paterson:1972:DPC, 4(14)74--82
-
path, 0(0)xvi--205, 0(0)347, 19(2)48--50, 28(2)81--87, 29(4)98--110,
30(2)31--32, 33(2)14--16, 50(1)65--78
-
pathogenic, 41(4)61--64
-
patience, 38(3)100--105
-
patients, 35(3)13--17
-
P{\u{a}}trascu, 44(1)110--114
-
Patrice, 24(1)58
-
Patricia, 0(0)ix--212, 41(2)47--50
-
Patrick, 34(2)15--19, 44(1)38--40
-
patrol, 45(2)68--72
-
patrolling, 45(2)68--72
-
pattern, 0(0)xxii--351, 0(0)300, 0(0)352, 17(2)52--63, 25(3)114--121,
35(3)13--17, 37(1)33--46, 38(2)56--74, 40(2)50--66, 41(1)21--24,
43(3)48--50, 43(3)54--55, 376(0)352
-
Paturi, 31(4)39--51, 32(1)21--31, 32(4)24--33, 33(1)32--45, 33(2)34--47
-
Paul, 27(4)62--65, 28(3)37--40, 37(2)17--22, 37(3)19--26, 38(2)75--86,
40(3)48--50, 42(2)34--37, 42(3)20--22, 43(4)49--51
-
Paul, Jean-, 35(1)12--16
-
Paul, Jerome L., 0(0)xxix--962
-
Paul, Jerome L., see Berman, Kenneth A.
-
Pavan, 49(3)51--61
-
paved, 0(0)xiv--223
-
Pavel, 44(3)20--24, 52(2)71--71
-
Pavicic, 40(4)10--14
-
Paxons, 34(2)42--57
-
Paxos, 32(4)34--58, 34(1)47--67, 34(2)42--57
-
pay, 46(3)57--71, 51(4)11--14
-
paying, 36(4)70--71, 49(2)10--13
-
Paz, A., 2(4)8--11
-
Paz, Ami, 44(4)91--97
-
Paz:1970:EWR, 2(4)8--11
-
Paz:2013:BWR, 44(4)91--97
-
PCP, 24(4)2--13, 36(2)25--42, 39(3)41--57, 40(2)50--66, 43(1)62--81,
44(2)47--79, 50(3)24--24, 50(3)25--33
-
PCPs, 36(2)25--42, 39(3)41--57, 42(1)59--80, 43(1)62--81
-
pdf, 52(2)18--23
-
PDL, 32(4)9--17
-
PDP-10, 4(14)121--127
-
Pea, 0(0)xiv--218, 41(4)30--32
-
peacefully, 50(1)79--79
-
peaks, 35(3)69--71
-
Peano, 50(2)9--11
-
Pearls, 0(0)x--270, 43(1)33--34
-
Pearson, 39(2)32--35
-
Pearsonash, 40(1)47--50, 40(2)23--25
-
Peck, Michael, 35(1)80--84
-
Peck, Michael, see Frost, Christopher
-
peculiar, 22(3)38--40
-
pedagogic, 21(4)73--77
-
Pedagogical, 38(2)56--74
-
pedagogy, 49(4)7--10
-
peek, 36(2)25--42
-
peeper, 22(4)50--59
-
peer, 22(3)38--40, 39(2)91--110
-
peer, peer-to-, 39(2)82--83
-
peer-to-peer, 39(2)82--83
-
peg, 35(1)80--84
-
Peiffer, 44(4)27--28
-
Peleg, David, 41(2)74--84, 44(2)89--91
-
Peleg, David, see Lotker, Zvi
-
Peleg:2013:PID, 44(2)89--91
-
Pelzl, 45(3)10--12
-
Pemantle, 45(3)32--33
-
Pemmaraju, Sriram V., 35(4)23--37
-
Pemmaraju, Sriram V., see Codenotti, Bruno
-
Penczek, 38(3)76--76
-
Penczek, Wojciech, 38(3)77--99
-
Penczek, Wojciech, see Lomuscio, Alessio
-
pending, 30(2)33--42
-
Penrose, 49(3)35--47
-
people, 4(14)208--211, 5(2)24--25, 20(3)60--63, 22(3)38--40, 24(4)82--89,
27(1)2--13, 27(3)6--12, 27(3)13--24, 28(2)40--52, 28(3)94--99,
32(4)9--17, 32(4)34--58, 33(2)34--47, 35(3)46--57, 35(4)117--117,
36(1)53--70, 37(3)17--19, 45(2)36--39, 49(2)14--17, 49(3)14--19,
50(1)28--34, 50(1)35--37, 50(1)38--59, 50(2)6--8, 50(3)51--51,
51(4)85--88, 52(4)15--17
-
per, 2(4)19--19, 5(2)17--20, 20(4)26--29, 21(1)14, 28(3)30, 29(1)13--14,
29(2)27--28, 29(3)53--54, 29(4)15--16, 30(1)12--13, 30(2)17--18,
30(3)19--21, 31(2)12--13, 31(3)27--28, 32(2)20--21, 33(2)21--23,
36(3)24--38
-
Peralta, 49(3)63--73
-
perceived, 38(2)56--74
-
percentages, 50(1)38--59
-
perception, 30(1)30--32, 34(1)101--108
-
perched, 49(4)66--82
-
perfect, 0(0)148, 26(4)19--21, 27(3)6--12, 27(4)3--7, 28(1)2,
31(3)37--42, 31(4)39--51, 35(1)74--79, 39(2)51--81, 48(1)102--109,
52(1)16--24
-
Perfect, Near-, 49(2)18--28
-
perform, 15(2)77--77, 30(2)61--61, 37(3)97--104, 38(1)31--45,
46(3)57--71
-
performance, 15(2)45--52, 31(4)13--15, 33(1)32--45, 33(2)14--16,
36(3)67--81, 40(4)98, 46(2)89--95, 46(3)57--71, 48(1)91--100,
50(3)35--50, 52(3)60--60, 52(3)61--68
-
performed, 4(14)150--169, 15(2)77--77, 30(2)61--61, 32(2)45--63
-
performing, 24(1)60, 37(3)59--66
-
perhaps, 8(3)14--20, 22(4)63--63, 33(2)34--47, 35(3)42--45, 36(2)14--19,
36(2)25--42, 38(4)65--66, 44(3)42--55, 49(3)48--50, 49(3)51--61,
49(3)63--73
-
period, 0(0)xiv--223, 0(0)xx--195, 34(2)42--57, 49(2)10--13
-
periodic, 7(1)21--25, 25(1)90--96
-
periodically, 15(2)78--78
-
perks, 49(3)6--8
-
Perl, 0(0)xvii--334, 0(0)352, 36(4)9--12, 43(3)48--50
-
Perlis, 28(2)24--31
-
permanent, 38(1)53--61
-
permission, 5(2)21--23
-
Permissioned, 50(4)46--47
-
permissive, 43(2)108--123
-
permit, 4(14)104--109, 4(14)208--211, 43(2)108--123
-
permutation, 14(3)31--35, 32(1)53--55, 39(4)21--25, 43(3)54--55,
49(3)9--13, 106(0)xvi--812, 376(0)352
-
Perrin, D., 20(4)50--53
-
Perrin, D., see Guessarian, I.
-
persepctive, 37(1)82--98
-
persistence, 48(2)7--11, 51(1)105--117
-
persistent, 59(0)xi--256
-
person, 5(2)24--25, 35(3)46--57, 35(3)69--71
-
personal, 32(4)9--17, 33(2)60--73, 35(3)46--57, 47(2)66--86, 51(3)32--54
-
perspective, 0(0)xiv--223, 0(0)xiv--478, 0(0)xxiv--606, 27(3)25--49,
28(2)24--31, 28(3)100--102, 35(1)74--79, 35(3)46--57, 37(1)21--25,
39(3)35--39, 39(3)77--95, 39(3)96--121, 41(4)15--21, 41(4)65--72,
42(3)54--76, 45(1)34--37, 48(4)7--12, 49(3)9--13, 50(2)61--61,
51(1)57--57, 52(1)70--70, 52(4)74--75, 52(4)76--77, 52(4)78--79,
196(0)xii--340
-
pertaining, 46(3)57--71
-
perturbations, 34(1)101--108
-
perturbed, 4(14)66--73
-
pervasive, 31(4)13--15, 36(1)53--70
-
Pessimal, 16(3)49--53
-
pessimistic, 46(3)57--71
-
Pessimization, 18(3)37--37
-
Peter, 0(0)xx--313, 24(2)24--25, 34(3)13--15, 35(4)5--11, 37(2)22--27,
41(1)19--20, 41(4)30--32, 42(4)26--29, 44(1)21--24, 44(1)40--42,
45(1)20--23
-
Petersburg, 50(4)48--55
-
Petersburg, Saint-, 50(4)48--55
-
Petersen, H., 25(3)102--105
-
Petersen:1994:TWO, 25(3)102--105
-
Peterson, 34(3)94--103, 41(3)29--30, 45(4)36--38
-
Peterson, Ivars, 0(0)x--170
-
Peterson:2002:MTS, 0(0)x--170, 41(3)29--30
-
Petkovi\'c, 42(3)36--39
-
Petkovi{\'c}, Miodrag, 0(0)xviii--325
-
Petkovic:2009:FPG, 0(0)xviii--325, 42(3)36--39
-
Petkov{\v{s}}ek, 31(4)18--24
-
Petkov{\v{s}}ek, Marko, 0(0)xii--212
-
Petkovsek:1996:AB, 0(0)xii--212, 31(4)18--24
-
Petr, 37(3)19--26, 45(3)34--36
-
Petreschi, 46(4)14--16
-
Petri, 0(0)vi--113, 0(0)xi--378, 24(3)31--33, 26(0)z, 28(2)70--79,
29(4)98--110, 33(2)10--14
-
Petride, Sabina, 35(2)4--12
-
Petride:2004:BRB, 35(2)4--12
-
Pettie, Seth, 46(3)57--71
-
Pettie, Seth, see Bender, Michael A.
-
Petzold, 41(2)22--26
-
Petzold, Charles, 0(0)xii--372
-
Petzold:2008:ATG, 0(0)xii--372, 41(2)22--26
-
Pevzner, 44(3)20--24
-
Pevzner, Pavel, 28(3)65--74
-
Pevzner, Pavel, see Aho, Alfred V.
-
Pfaffians, 39(2)51--81
-
PH, 29(3)10--22
-
Ph.D, 0(0)viii--273, 28(4)16--19, 30(2)61--61, 33(2)34--47, 38(4)64--64
-
PhD, 34(0)xviii--349, 38(1)70--71, 42(2)37--41
-
phenomena, 49(2)10--13, 60(0)x--390
-
phenomenon, 17(2)52--63, 44(2)47--79, 47(1)42--67
-
Philip, 39(1)24--27
-
Philipp, 48(3)60--67
-
Philippe, 41(2)11--14
-
philosopher, 0(0)347, 38(2)75--86
-
philosophical, 5(2)21--23, 38(2)75--86
-
philosophy, 0(0)xii--174, 0(0)xiii--477, 0(0)xiii--517, 0(0)xxi--575,
0(0)xxii--280, 0(0)xxxii--346, 41(2)28--33, 53(1)13--24,
88(0)xiii--423
-
phisher, 38(3)56--75
-
phishing, 38(3)56--75
-
phishing/spoofing, 38(3)56--75
-
Phong, 45(4)24--31
-
photos, 49(4)11--12
-
phrase, 3(9)10--10, 24(4)2--13, 28(2)24--31
-
Phuong, 44(2)14--17
-
phylogenetic, 45(3)26--28, 47(1)12--15
-
physical, 0(0)xxi--368, 22(3)63--65, 28(2)24--31, 29(4)20--27,
36(1)30--52, 38(2)56--74, 41(2)74--84, 46(2)89--95, 48(0)xiii--375,
50(3)6--11
-
physical, cyber-, 48(2)87--94
-
physicists, 0(0)ix--593
-
physics, 0(0)xiv--482, 31(4)15--18, 36(1)21--24, 36(1)30--52,
38(4)16--18, 38(4)25--30, 49(2)10--13, 49(2)33--56, 49(3)6--8,
50(1)14--16, 52(3)38--59, 52(4)3--5
-
pi, 0(0)xiii--129, 37(3)19--26, 52(4)31--54
-
\pi, 36(2)8--13
-
Pi-calculus, 0(0)xii--161, 0(0)xii--580
-
Pichler, Reinhard, 52(3)69--72
-
Pichler:2021:DTC, 52(3)69--72
-
pick, 15(1)23--27, 15(2)76--76, 50(3)25--33, 51(3)63--81
-
picking, 0(0)xiii--228, 32(1)8--12, 52(2)10--17
-
picnic, 36(2)25--42
-
picture, 36(2)14--19, 38(3)106--129, 44(1)89--105, 48(3)83--86,
53(1)58--58
-
Picture, Proof-by-, 39(3)22--26
-
piece, 24(1)57, 28(2)40--52, 38(4)16--18, 40(4)98, 50(2)31--60,
52(2)91--91
-
Pied, 0(0)x--266, 42(1)16--22
-
Pierce, 36(1)15--20, 37(4)29--34
-
Pierce, Benjamin C., 0(0)xxi--623
-
Pierce:2002:TPL, 0(0)xxi--623, 36(1)15--20, 37(4)29--34
-
piercing, 35(3)69--71
-
Pierluigi, 37(3)36--54
-
Pierre, 23(4)77--80, 32(4)34--58, 33(1)32--45, 37(2)57--57
-
Pierrehumbert, 27(0)viii--174
-
pigeon, 8(4)28--32
-
Pighizzini, Giovanni, 46(3)37--55
-
Pighizzini:2015:GCO, 46(3)37--55
-
Pike, Scott M., 38(2)56--74
-
Pike, Scott M., see Sivilotti, Paolo A. G.
-
piling, 30(2)22--30
-
pillars, 35(4)23--37
-
piloted, 38(2)56--74
-
Pilu, 37(3)36--54
-
Pincock, Christopher, 41(2)28--33
-
Pincock:2010:BRB, 41(2)28--33
-
Ping, 42(3)23--28, 47(4)18--21
-
pioneered, 48(2)68--85, 52(4)76--77
-
pioneering, 34(0)xviii--349, 35(3)46--57, 42(2)37--41
-
pioneers, 34(0)xviii--349
-
pipe, 49(4)13--16
-
pipelining, 22(4)63--63
-
Pipher, 41(4)47--50
-
Pipher, Jill Catherine, 666(0)xv--523
-
Pipher, Jill Catherine, see Hoffstein, Jeffrey
-
Pippenger, 29(4)5--10
-
Pippenger, Nicholas, 0(0)ix--251
-
Pippenger:1997:TC, 0(0)ix--251, 29(4)5--10
-
PIT, 46(4)32--49
-
Pitassi, T., 27(4)3--7
-
Pitassi, T., see Allender, E.
-
Pitassi, Toniann, 41(3)59--85
-
Pitassi, Toniann, see Chattopadhyay, Arkadev
-
Pittenger, 34(3)16--18, 38(1)14--17
-
Pittenger, Arthur O., 19(0)xii--138
-
Pittenger:2000:IQC, 19(0)xii--138, 34(3)16--18, 38(1)14--17
-
pj, 43(4)123--129
-
PKIs, 41(1)75--98
-
place, 0(0)xiv--223, 15(2)77--77, 24(4)45--48, 29(4)98--110, 32(1)3--5,
32(1)8--12, 33(2)10--14, 35(3)25--41, 36(2)14--19, 36(2)63--76,
37(4)56--57, 39(1)77--79, 39(3)77--95, 40(4)82--86, 42(4)54--76,
43(4)116--122, 45(3)75--81, 48(1)91--100, 49(2)10--13, 49(3)14--19,
49(3)74--77, 49(4)55--57, 49(4)89--95, 50(1)61--64, 50(4)46--47,
50(4)48--55, 50(4)93--94, 51(3)59--61, 51(4)82--84
-
place, 1-, 20(4)87--91
-
place, In-, 30(2)61--61
-
place, in-, 30(2)61--61
-
placed, 0(0)xvi--205
-
placements, 43(2)108--123
-
plagiarism, 8(3)21--24
-
plain, 8(3)21--24, 36(2)25--42
-
plan, 48(2)87--94, 52(2)85--90
-
planar, 0(0)xvi--205, 0(0)xvii--277, 5(3)19--25, 9(2)25--29, 10(3)38--48,
19(2)51--54, 20(4)83--86, 23(1)35--36, 24(1)57, 24(1)57--58,
24(1)58--24(1)60, 39(1)73--76, 39(2)51--81, 39(3)58--62,
49(2)18--28
-
planarity, 24(1)58
-
plane, 0(0)xiii--318, 10(3)38--48, 20(4)83--86, 22(4)50--59, 24(1)57--58,
24(1)58, 24(1)59, 25(1)31--33, 26(4)19--21, 31(3)47--49,
31(4)10--12, 35(3)42--45, 35(3)102--108, 35(4)118--118, 37(2)47--49,
38(4)16--18, 39(3)40, 39(3)40--40, 40(2)33--35, 43(2)78--83,
43(4)90--97, 44(2)80--87, 47(2)34--39, 49(3)35--47, 51(4)15--17
-
planets, 0(0)xiii--228
-
planned, 51(3)59--61
-
planned, long-, 30(2)22--30
-
planning, 0(0)xi--504, 40(0)xiii--461
-
Plans, 52(2)72--84
-
planting, 29(2)50--57
-
platforms, 33(2)60--73, 33(3)50--70, 37(3)59--66
-
Plato, 41(0)x--141
-
platonic, 2(0)xi--234
-
plausible, 43(4)70--89
-
play, 0(0)xii--131, 0(0)xiv--223, 24(4)45--48, 33(1)32--45, 39(3)28--30,
43(3)88--110, 44(1)42--45, 48(3)68--82, 48(4)57--74, 49(3)14--19
-
playability, 15(2)58--62
-
played, 33(1)32--45, 35(3)46--57, 51(3)14--19
-
player, 2-, 45(3)82--104
-
player, one-, 35(1)80--84
-
players, 0(0)xiv--223, 45(3)82--104, 49(4)11--12
-
playful, 49(3)51--61
-
playing, 25(3)106--113, 34(4)38--52, 35(1)22--35, 36(1)15--20,
36(1)21--24, 45(3)82--104, 49(3)14--19, 51(3)14--19
-
PL/CV, 0(0)x--389
-
pleasant, 35(2)36--59
-
please, 20(1)60--61, 27(1)2--13, 27(2)20--29, 33(1)32--45, 39(3)96--121,
47(4)22--32, 48(1)46--53, 48(2)21--33, 48(3)20--31, 49(2)4--6,
49(2)32--32, 49(3)23--33, 49(4)17--27, 49(4)36--45, 50(1)17--27,
50(2)15--27, 50(4)14--25, 51(1)15--26, 51(2)15--26, 51(2)36--37,
51(3)20--30, 51(4)18--29, 52(1)25--35, 52(2)24--35, 52(3)14--24,
52(4)18--30, 53(1)25--35
-
pleasing, 45(3)105--111
-
pleasure, 31(4)15--18, 36(4)111--114
-
Pless, 43(1)9--14
-
Pless, Vera, 0(0)xvi--199
-
Pless, Vera, see Beissinger, Janet
-
plethora, 33(2)60--73
-
Plotkin, 32(1)12--16
-
Plotkin:2000:PLI, 0(0)xiv--722, 32(1)12--16
-
Plugs, 33(2)34--47
-
Plummer, 43(3)38--40
-
Plummer, M. D., 0(0)xxxiii--547, 121(0)xxxiii--544
-
Plummer, M. D., see Lovász, László
-
plus, 35(4)11--14, 42(1)97--131, 49(4)11--12
-
plus, min-, 18(4)54--61
-
P=?NP, 33(2)34--47, 50(1)38--59
-
P=NP, 0(0)xiii--239, 37(3)97--104, 46(2)21--22, 50(4)4--6, 50(4)7--8
-
Pnueli, 24(4)34--36
-
Pnueli, Amir, 0(0)xiv--427
-
Pnueli, Amir, see Manna, Zohar
-
PODC, 31(4)52--61, 32(4)34--58, 33(2)16--18, 33(2)48--51, 34(4)53--56,
35(3)46--57, 38(4)54--63, 39(4)55--59, 40(4)71--74, 41(4)100--105,
42(4)83--86, 43(4)104--111, 43(4)116--122, 44(4)83--86, 45(4)89--93,
46(2)89--95, 46(4)94--102, 47(4)35--38, 48(4)91--93, 49(4)58--59,
49(4)60--63, 49(4)83--88, 50(3)35--50, 50(4)33--45, 51(4)75--81,
52(4)74--75, 52(4)76--77, 52(4)78--79
-
PODC'01, 32(4)34--58
-
PODC1, 49(4)58--59
-
PODC/DISC, 37(2)50--56
-
PODS, 27(4)8--10, 31(3)43--46, 36(3)39--40, 37(4)56--57, 39(1)77--79,
39(3)63--65, 40(4)62--63, 41(3)86--87, 43(3)85--86, 44(3)69--71,
45(4)83--85, 46(4)79--81, 47(3)67--68, 48(4)75--77, 49(4)55--57,
50(4)93--94, 51(3)59--61, 52(3)69--72
-
PODs, 29(3)23--26
-
PODS'95, 26(4)16--18
-
PODS'97, 28(3)17--20
-
Poetry, 22(2)50
-
point, 2(4)12--18, 4(14)66--73, 6(1)32--35, 8(3)24--25, 15(1)50--55,
15(2)78--78, 19(2)51--54, 21(2)64, 22(4)50--59, 25(1)31--33,
25(3)24--27, 26(4)19--21, 26(4)51--59, 27(4)3--7, 28(2)20--23,
28(2)81--87, 28(3)65--74, 28(4)2--15, 30(1)17--27, 30(2)14--16,
30(2)33--42, 31(4)13--15, 32(1)111--114, 33(2)60--73, 33(3)50--70,
35(2)71--73, 35(3)42--45, 35(3)94--97, 35(3)102--108, 36(1)132--138,
36(2)14--19, 37(2)57--57, 37(4)47--55, 38(4)16--18, 39(1)73--76,
39(2)91--110, 41(1)75--98, 43(4)90--97, 43(4)123--129, 44(2)47--79,
45(2)68--72, 45(4)76--82, 46(3)57--71, 46(4)84--87, 47(4)44--47,
48(1)102--109, 48(2)87--94, 49(3)35--47, 49(4)46--54, 50(1)35--37,
50(2)12--14, 50(3)75--90, 51(1)12--14, 51(4)15--17, 51(4)73--74
-
point, point-to-, 51(1)58--104
-
point-location, 24(1)60
-
point-sets, 43(2)78--83
-
point-to-point, 51(1)58--104
-
pointed, 8(3)21--24, 23(4)77--80, 33(1)58--60
-
pointer, 26(2)88--95, 27(1)2--13, 51(1)118--119
-
pointing, 15(2)76--76, 28(4)2--15
-
pointwise, 51(4)48--72
-
poker, 15(1)23--27
-
Polak, 44(2)31--35
-
Policriti, 34(3)4--11
-
Policriti, Alberto, 0(0)xviii--409
-
Policriti, Alberto, see Cantone, Domenico
-
policy, 0(0)xvi--383, 14(4)38--57, 41(1)100--128
-
polishing, 50(1)35--37
-
political, 0(0)vii--214, 0(0)xii--244, 0(0)xvi--383, 0(0)xvii--472,
38(3)14--16, 38(3)17--20, 41(1)38--41
-
politics, 0(0)ix--342, 0(0)xvii--472, 0(0)392, 39(4)30--32
-
poll, 33(2)34--47, 43(2)53--77, 49(2)29--31, 49(2)32--32, 50(1)28--34,
50(1)35--37, 50(1)38--59, 50(2)29--30
-
Pollack, 42(2)34--37
-
Pollack, Paul, 0(0)xv--303
-
Pollack:2009:ABD, 0(0)xv--303, 42(2)34--37
-
polling, 33(1)32--45
-
Polya, 32(1)8--12, 44(2)10--12
-
Pólya, 0(0)290, 42(2)27--33
-
polygon, 34(2)58--60, 38(2)51--55, 38(4)16--18, 39(1)73--76, 39(3)58--62,
43(1)82--85
-
polygonal, 24(1)59, 31(3)47--49
-
Polyhedra, 0(0)xiii--472
-
polyhedral, 38(3)106--129, 39(3)16--18, 46(3)17--20
-
polyhedron, 30(2)31--32, 31(4)62--73, 34(1)101--108, 38(2)51--55
-
polyline, 24(1)60
-
polylog, 38(3)34--38, 38(4)40--45
-
polylogarithmic, 38(4)40--45
-
POLYLOGSPACE, 18(1)54--67
-
PolyLog/SubExp, 22(1)65
-
polymorphism, 29(4)39--50, 32(1)12--16
-
Polynomia, 43(2)15--20
-
polynomial, 0(0)xxix--184, 0(0)148, 5(2)17--20, 5(3)19--25, 6(1)12--18,
6(1)19--24, 7(3)32--34, 10(1)18--21, 15(1)61--66, 17(2)44--51,
18(1)54--67, 18(4)54--61, 22(1)65, 24(1)58, 24(1)59, 25(1)87--89,
25(3)106--113, 27(1)89--90, 28(2)40--52, 29(3)10--22, 31(2)22--33,
31(4)15--18, 32(4)24--33, 33(1)32--45, 33(1)90--94, 33(2)14--16,
33(2)34--47, 35(1)80--84, 35(3)94--97, 36(2)25--42, 37(1)14--15,
38(3)106--129, 39(3)41--57, 40(1)14--17, 40(1)27--44, 41(2)57--72,
42(3)54--76, 42(4)54--76, 44(4)53--72, 45(1)48--65, 46(4)32--49,
46(4)50--68, 46(4)69--78, 48(2)68--85, 49(1)55--65, 51(4)48--72,
53(1)36--57, 88(0)xiii--423, 99(0)xxii--759, 3000(0)x--147
-
polynomial-time, 8(1)33--37, 13(1)30--34, 23(3)107--117, 30(1)17--27,
33(1)32--45, 34(1)101--108, 35(3)94--97, 37(1)47--65, 38(1)31--45,
38(4)65--66, 46(4)69--78, 49(3)48--50
-
polynomially, 15(1)20--22, 31(3)37--42
-
Polytechnic, 52(2)91--91
-
Polytechnique, 38(4)64--64
-
POMC, 32(4)34--58
-
POMC'01, 32(4)34--58
-
Poopings, 22(1)65
-
poor, 36(2)14--19, 49(3)14--19
-
poorly, 22(3)38--40, 36(2)14--19
-
Pop, Mihai, 43(2)11--14
-
Pop:2012:RBA, 43(2)11--14
-
POPL, 17(4)50--51, 30(1)28--29
-
popped, 33(1)32--45
-
Poppins, 22(1)65
-
popular, 0(0)xiv--223, 0(0)xviii--325, 0(0)xxvii--380, 21(1)21,
21(2)21, 22(1)65, 33(3)50--70, 34(3)94--103, 36(2)8--13,
46(1)15--19, 49(2)10--13, 49(2)57--57, 49(3)63--73
-
popularity, 36(4)47--69, 50(1)38--59, 52(1)70--70
-
popularly, 20(4)17--23
-
population, 37(4)13--21, 49(3)62--62, 49(3)63--73
-
Porreca, Antonio E., 43(3)22--24
-
Porreca:2012:RBA, 43(3)22--24
-
port, 41(1)100--128
-
portion, 5(2)24--25
-
Portland, 51(3)59--61
-
Porto, António G., 12(3)90--95
-
Porto:1980:AS, 12(3)90--95
-
portray, 37(3)17--19
-
Portugal, 43(4)116--122, 48(2)12--15
-
Pöschel, 134(0)xviii--759
-
pose, 6(1)25--29, 40(2)68--80
-
posed, 0(0)xvi--205, 0(0)xvi--383, 26(4)5--15, 32(1)8--12, 43(1)82--85,
46(2)65--77
-
poset, 24(1)58
-
posing, 28(3)94--99
-
position, 18(3)61--64, 25(3)24--27, 38(1)70--71, 39(1)48--58,
39(1)73--76, 50(1)65--78, 50(3)34--34, 51(4)15--17
-
positive, 0(0)xxix--184, 26(2)78--87, 28(4)90--93, 33(1)90--94,
38(1)53--61
-
possess, 40(3)60--76, 51(4)6--10
-
possessed, 34(1)101--108
-
possessing, 49(3)35--47
-
possibility, 4(14)97--103, 31(2)22--33, 34(1)32--46, 35(4)111--116,
48(3)83--86, 49(2)7--9
-
possible, 0(0)ix--212, 0(0)xiii--228, 0(0)xviii--370, 2(4)12--18,
2(4)19--19, 2(7)9--10, 4(14)27--50, 4(14)66--73, 4(14)74--82,
4(14)150--169, 6(1)12--18, 8(3)14--20, 14(4)38--57, 15(1)61--66,
15(2)76--76, 18(1)54--67, 24(1)59, 27(3)13--24, 28(2)14--19,
28(2)40--52, 31(4)10--12, 32(1)115--117, 33(2)108--118, 34(2)42--57,
36(3)107--112, 36(4)103--108, 37(1)33--46, 37(2)47--49, 37(3)59--66,
37(3)97--104, 39(3)41--57, 41(2)47--50, 43(2)78--83, 43(2)108--123,
43(4)123--129, 45(2)68--72, 45(3)82--104, 46(3)37--55, 47(2)34--39,
47(3)93--129, 49(2)77--94, 49(3)6--8, 49(3)9--13, 49(3)63--73,
50(1)61--64
-
possibly, 0(0)x--273, 32(1)111--114, 37(3)19--26, 44(2)92--112,
49(2)58--76
-
Post, 28(2)24--31, 34(4)38--52
-
post-1980, 36(2)14--19
-
post-computation, 15(1)40--44
-
post-election, 32(1)21--31
-
postage, 33(1)90--94
-
postdoctoral, 38(1)70--71
-
poster, 41(4)65--72, 48(3)83--86
-
posthumously, 33(2)34--47
-
Postow, Brian, 29(1)5--8, 30(1)9--11
-
Postow:1998:BRB, 29(1)5--8
-
Postow:1999:BRB, 30(1)9--11
-
Postscript, 6(2)15--16
-
postulates, 36(1)122--131
-
pot, 35(3)69--71
-
potential, 21(1)21, 21(2)21, 22(4)63--63, 28(2)24--31, 28(4)24--27,
33(2)60--73, 37(3)67--92, 38(3)100--105, 40(2)50--66, 41(1)75--98,
41(4)109--115, 48(3)83--86, 49(3)6--8, 49(3)51--61, 50(2)61--61
-
potential-based, 31(3)86--95
-
potentially, 26(1)2--13, 38(4)65--66, 39(3)77--95
-
Pottmann, 36(3)13--17
-
Pottmann, Helmut, 0(0)ix--563
-
Pottmann:2001:CLG, 0(0)ix--563, 36(3)13--17
-
Pottmann:2009:CLG, 0(0)ix--563, 36(3)13--17
-
Poulain, Christophe, 40(2)94--95
-
Poulain, Christophe, see Barga, Roger
-
power, 0(0)xvii--608, 4(14)27--50, 4(14)104--109, 21(3)9--18, 24(4)2--13,
27(2)30--37, 28(4)90--93, 29(2)50--57, 32(2)32--43, 33(2)60--73,
35(3)25--41, 36(1)53--70, 36(2)63--76, 37(1)47--65, 38(4)40--45,
39(3)77--95, 43(2)127--136, 46(2)41--64, 46(2)89--95, 46(3)57--71,
46(4)14--16, 46(4)32--49, 49(2)10--13, 49(3)6--8, 49(3)14--19,
49(3)20--22, 49(3)63--73, 49(4)7--10
-
power-down, 36(2)63--76
-
powerful, 4(14)27--50, 22(3)38--40, 25(4)22--87, 29(3)10--22,
31(2)22--33, 32(1)12--16, 34(1)47--67, 34(2)42--57, 38(2)35--50,
38(2)56--74, 42(4)54--76, 46(2)41--64, 46(3)37--55, 50(2)12--14
-
powerfully, 49(3)48--50
-
PP, 38(4)65--66
-
pp, 21(1)21, 21(2)21, 23(1)35--36, 25(2)86--89, 49(2)14--17
-
ppCPL, 38(4)65--66
-
P/poly, 36(2)25--42
-
practical, 0(0)ix--593, 0(0)xvii--669, 4(14)27--50, 4(14)74--82,
4(14)208--211, 6(1)12--18, 14(3)36--53, 14(4)58--69, 17(3)35--44,
21(3)9--18, 24(3)31--33, 24(4)82--89, 26(0)z, 31(4)13--15,
31(4)15--18, 33(2)14--16, 34(1)101--108, 37(4)56--57, 39(1)77--79,
39(3)77--95, 39(4)37--52, 40(1)20--22, 40(2)68--80, 41(4)65--72,
42(3)80--101, 43(2)108--123, 44(3)73--77, 48(1)18--22, 48(2)87--94,
49(3)6--8, 49(3)9--13, 51(1)9--11, 52(3)60--60, 7611(0)xvi--450
-
practicality, 49(3)6--8
-
practically, 30(2)33--42, 31(4)13--15, 33(2)10--14
-
practice, 0(0)xi--473, 0(0)339, 0(0)434, 0(0)593, 4(14)74--82,
26(2)21--25, 28(3)65--74, 30(2)61--61, 32(1)12--16, 34(1)101--108,
34(4)22--25, 36(1)122--131, 36(2)63--76, 39(4)37--52, 40(3)77--77,
40(3)78--85, 40(4)82--86, 40(4)98--123, 41(4)109--115, 43(4)25--29,
43(4)70--89, 43(4)116--122, 44(2)92--112, 46(3)57--71, 49(1)73--81,
49(1)81--90, 50(4)48--55, 51(4)82--84, 52(1)9--11, 52(3)37--37,
52(3)38--59
-
practice.3, 28(3)65--74
-
practicing, 12(3)36--44, 28(2)24--31
-
practised, 50(1)65--78
-
practitioner, 28(3)65--74, 31(4)10--12, 31(4)13--15, 41(4)65--72,
45(3)10--12, 49(4)11--12
-
pragmatics, 32(4)9--17
-
Prague, 35(3)102--108
-
PRAM, 22(4)63--63
-
Pratt, 32(4)9--17
-
Pratt, Knuth-Morris-, 29(3)59--61
-
prBPP, 49(2)18--28
-
pre, 15(1)40--44
-
pre-1940, 34(0)xviii--349, 42(2)37--41
-
pre-1980s, 36(2)14--19
-
pre-shared, 39(3)77--95
-
preceding, 30(2)43--46, 31(4)39--51
-
precise, 2(4)12--18, 21(2)64, 30(2)61--61, 36(2)14--19, 39(2)91--110,
52(4)15--17
-
precisely, 4(14)15--26, 32(1)111--114, 32(2)32--43, 34(2)42--57,
37(1)33--46
-
precision, 4(14)27--50, 15(2)77--77
-
preclude, 4(14)110--115
-
precondition, weakest-, 32(4)9--17
-
precursors, 49(2)10--13
-
predated, 39(1)62--72
-
predecessor, 20(4)87--91
-
predetermined, 15(2)77--77
-
predicate, 4(14)83--96, 24(4)36--38, 26(1)2--13, 33(0)223, 38(4)65--66,
49(3)63--73
-
Predicate-Transformation, 27(0)xii--223
-
predict, 50(3)35--50
-
predictability, 37(1)66--81
-
prediction, 0(0)xiv--324, 33(2)34--47, 51(2)38--57
-
preface, 0(0)viii--273, 0(0)xii--174, 0(0)xii--580, 0(0)xiii--363,
0(0)xiv--220, 0(0)xiv--223, 0(0)xiv--324, 0(0)xiv--1197,
0(0)xv--548, 0(0)xvi--571, 0(0)xvii--831, 0(0)xx--678, 0(0)xx--742,
0(0)148, 0(0)x--408, 18(0)xvi--221
-
preferable, 32(1)111--114
-
prefetch, 22(4)63--63
-
prefix, 5(4)11--14, 6(1)25--29, 15(2)76--76, 18(4)54--61
-
prehistory, 30(2)33--42
-
preliminary, 0(0)xxix--184, 6(3)15--22, 14(3)30--30, 16(2)36--49,
19(1)54--63, 32(2)45--63, 33(3)50--70, 35(4)18--19, 44(1)89--105,
196(0)xii--340
-
premier, 27(3)13--24, 39(2)84--91, 51(4)85--88
-
Prentice, 34(2)3--5, 40(1)47--50
-
Prentice-Hall, 31(3)19--22, 40(2)23--25
-
preorder, 24(2)88--93
-
preparation, 35(3)102--108
-
prepare, 28(3)65--74, 37(2)57--57
-
prepared, 14(4)38--57, 32(4)24--33
-
preparing, 6(1)12--18, 41(0)x--141
-
preprints, 50(3)35--50
-
preprocessing, 38(1)31--45, 51(4)11--14
-
prerequisite, 32(1)8--12, 42(3)80--101
-
prescribes, 28(2)24--31
-
presence, 4(14)1--6, 34(2)42--57, 45(3)82--104, 52(1)71--80
-
present, 0(0)ix--593, 0(0)xii--372, 0(0)xiv--223, 0(0)xvi--205,
4(14)27--50, 4(14)58--65, 4(14)83--96, 4(14)97--103, 4(14)208--211,
6(3)23--32, 14(3)36--53, 14(4)58--69, 19(2)42--47, 21(3)9--18,
22(1)65, 22(3)38--40, 24(1)57, 24(1)60, 24(1)61--67, 25(2)86--89,
26(3)2--12, 28(3)65--74, 28(4)24--27, 29(3)104--111, 30(1)17--27,
30(2)61--61, 30(3)25--34, 30(3)65--74, 30(4)85--90, 31(1)77--86,
31(2)22--33, 31(3)86--95, 31(4)13--15, 32(1)74--78, 32(1)111--114,
32(2)45--63, 32(3)40--52, 33(2)16--18, 33(3)110--112, 34(1)32--46,
34(1)47--67, 34(1)101--108, 35(3)46--57, 35(3)102--108, 36(1)53--70,
36(1)86--99, 36(2)14--19, 37(1)47--65, 37(1)66--81, 38(1)31--45,
38(2)35--50, 38(3)56--75, 38(4)40--45, 38(4)54--63, 39(1)33--46,
39(2)111--124, 39(3)67--76, 40(3)53--59, 40(4)98--123, 42(3)80--101,
43(2)85--107, 43(2)108--123, 43(4)116--122, 44(2)92--112,
44(3)42--55, 45(3)47--52, 46(1)40--61, 46(3)37--55, 46(4)50--68,
47(2)34--39, 47(3)93--129, 48(3)83--86, 49(1)73--81, 49(2)57--57,
49(3)20--22, 49(3)51--61, 49(4)7--10, 50(2)31--60, 51(2)6--8,
51(2)27--35, 52(2)4--6, 52(2)85--90, 52(4)6--10, 134(0)xviii--759
-
present-day, 0(0)xii--372
-
presentation, 0(0)xvi--205, 20(4)50--53, 31(4)10--12, 31(4)13--15,
32(1)8--12, 33(2)14--16, 35(3)69--71, 36(1)86--99, 39(3)35--39,
41(4)65--72, 44(1)80--88, 48(3)83--86, 49(3)9--13, 50(1)60--60
-
presentations--as, 5(2)24--25
-
presented, 0(0)xiv--465, 0(0)xvi--205, 0(0)xx--254, 2(4)19--19,
4(14)74--82, 4(14)97--103, 5(2)21--23, 6(1)30--31, 6(1)32--35,
15(2)76--76, 16(4)48--52, 17(3)35--44, 18(4)54--61, 20(3)60--63,
21(2)64, 22(4)63--63, 24(1)58, 24(1)58--59, 24(1)59, 25(1)90--96,
29(3)27--32, 31(4)52--61, 32(3)63--72, 34(2)42--57, 35(3)102--108,
35(4)118--118, 36(1)71--85, 37(2)57--57, 44(1)89--105,
48(1)102--109, 48(3)83--86, 49(3)9--13, 49(3)51--61, 49(3)62--62,
49(4)58--59, 7611(0)xvi--450
-
presenters, 50(1)61--64
-
presenting, 4(14)97--103, 4(14)121--127, 21(4)73--77, 28(4)24--27,
31(4)10--12, 44(1)89--105, 48(3)83--86, 49(4)7--10, 49(4)11--12,
50(4)56--56
-
preservation, 14(3)23--29
-
preserve, 34(1)47--67, 43(2)85--107
-
preserved, 4(14)97--103, 41(4)109--115
-
preserving, 4(14)97--103, 6(2)16--17, 6(3)22--22, 14(3)23--29
-
preserving, dependency-, 14(3)23--29
-
preserving, regularity-, 2(4)3--7
-
Presicce, Francesco, Parisi-, 15(2)32--44
-
president, 34(2)42--57
-
presidential, 32(1)21--31, 41(2)50--51
-
Press, 0(0)cii--2198, 9(2)17--24, 9(4)13--14, 11(2)7--9, 21(3)z--z,
23(1)35--36, 23(3)30, 24(1)26--27, 24(1)28--29, 24(2)24--25,
24(2)25--26, 24(3)34--37, 24(4)36--38, 29(1)5--8, 29(3)10--22,
29(3)43--46, 29(4)5--10, 29(4)10--14, 30(1)6--8, 30(3)8--13,
31(3)24--26, 32(2)15--19, 34(2)15--19, 34(4)22--25, 34(4)26--31,
35(1)12--16, 35(3)8--12, 35(3)13--17, 36(1)15--20, 36(1)21--24,
36(2)14--19, 36(4)9--12, 36(4)17--20, 37(1)12--13, 37(1)26--27,
37(1)27--28, 37(2)12--17, 37(3)19--26, 37(4)29--34, 38(1)17--23,
38(2)16--20, 38(3)17--20, 38(3)20--22, 38(3)22--27, 38(4)19--23,
38(4)23--24, 39(1)24--27, 39(2)42--44, 40(1)14--17, 40(1)18--20,
40(2)13--17, 40(2)30--32, 40(2)33--35, 40(4)14--17, 41(1)19--20,
41(1)24--27, 41(1)28--30, 41(1)34--37, 41(1)38--41, 41(1)41--43,
41(2)11--14, 41(2)14--17, 41(2)19--22, 41(2)40--43, 41(2)43--46,
41(3)26--28, 41(3)30--33, 41(3)39--44, 41(3)46--50, 41(3)51--55,
41(4)15--21, 41(4)21--24, 41(4)50--54, 49(2)14--17, 50(1)14--16
-
pressing, 25(3)49--52
-
pressure, 37(1)66--81
-
prestigious, 43(4)116--122
-
presupposed, 15(1)50--55
-
pretty, 26(2)21--25, 43(4)70--89
-
prevent, 28(2)24--31, 37(3)67--92, 38(3)56--75
-
prevented, 34(2)42--57
-
previewed, 36(3)84--93
-
previewer, 51(3)55--58
-
previous, 15(2)77--77, 15(3)36--44, 15(4)59--59, 16(1)59--59, 24(1)60,
27(1)2--13, 27(3)13--24, 27(4)3--7, 30(2)61--61, 33(2)14--16,
33(3)50--70, 34(1)32--46, 37(4)58--84, 39(2)82--83, 40(4)98,
41(4)65--72, 42(1)97--131, 49(4)55--57, 50(2)29--30
-
previously, 24(1)57, 32(3)63--72, 33(2)14--16, 36(2)14--19
-
price, 35(4)23--37, 35(4)58--71, 50(1)14--16
-
priced, 49(2)14--17
-
Priestley, 38(1)17--23
-
Priestley, H. A. (Hilary A.), 0(0)viii--248, 0(0)xii--298,
see Davey, B. A.
-
Primal, 45(4)105--119
-
primal-dual, 24(1)59, 38(3)100--105
-
primality, 10(2)58--59, 37(1)14--15, 43(2)33--35, 47(2)6--9, 50(1)9--13,
3000(0)x--147
-
primarily, 3(9)10--10, 4(14)66--73, 4(14)208--211, 24(2)18--21,
28(3)94--99, 37(4)22--26, 39(2)84--91, 52(4)15--17
-
primary, 15(1)61--66, 33(2)10--14, 36(2)14--19, 38(4)65--66, 40(3)53--59,
49(4)11--12
-
prime, 8(3)14--20, 15(1)50--55, 38(4)40--45, 44(2)92--112, 50(1)9--13,
3000(0)x--147
-
prime-time, not-ready-for-, 25(2)5--10
-
primer, 23(3)107--117, 48(3)37--59
-
primitive, 0(0)xiv--478, 4(14)97--103, 4(14)104--109, 10(2)42--47,
20(4)87--91, 23(4)77--80, 28(4)24--27, 36(2)14--19, 39(2)51--81,
43(2)108--123, 49(3)62--62
-
princess, 35(2)74--78
-
Princeton, 0(0)xii--372, 0(0)xx--1034, 37(3)19--26, 40(2)30--32,
41(1)41--43, 41(3)46--50
-
principal, 20(4)17--23
-
principle, 0(0)xi--193, 0(0)xiv--310, 0(0)xiv--396, 0(0)xv--287,
0(0)xvi--205, 0(0)xvi--367, 0(0)xix--688, 8(4)28--32, 18(2)48--51,
22(3)63--65, 28(2)24--31, 28(3)65--74, 31(4)52--61, 32(1)8--12,
32(4)34--58, 33(2)16--18, 34(1)47--67, 34(2)42--57, 36(1)53--70,
36(4)14--17, 37(4)56--57, 38(4)16--18, 38(4)19--23, 39(1)77--79,
39(2)82--83, 39(2)84--91, 39(3)35--39, 41(1)75--98, 43(4)116--122,
44(4)81--82, 47(1)21--24, 47(4)44--47, 49(1)73--81, 49(2)10--13,
49(4)7--10, 49(4)55--57, 49(4)83--88, 50(1)9--13, 50(3)91--95,
50(4)33--45, 50(4)93--94, 51(3)59--61, 52(3)69--72
-
print, 21(0)xvii--627
-
printed, 38(4)54--63
-
Prinz, Jacob, 50(2)31--60
-
Prinz, Jacob, see Gasarch, William
-
prior, 39(4)37--52, 49(1)73--81, 49(4)58--59
-
priority, 0(0)xiv--223, 59(0)xi--256
-
Pritchard, David, 41(3)30--33
-
Pritchard:2010:BRB, 41(3)30--33
-
privacy, 0(0)ix--342, 0(0)xiv--465, 0(0)xvii--472, 30(1)6--8, 36(2)8--13,
39(4)30--32, 45(1)16--19
-
private, 0(0)xiv--465
-
prize, 0(0)xiii--228, 35(3)46--57, 36(4)111--114, 41(1)58--62,
43(4)116--122, 44(2)88--88, 44(2)89--91, 44(4)81--82, 45(1)7--8,
49(3)78--79, 49(4)58--59, 49(4)60--63, 49(4)64--65, 52(4)78--79
-
prize, http://www.podc.org/dijkstra/2018-dijkstra-,
49(4)58--59
-
Prize-winning, 0(0)x--265
-
PRNs, 33(2)60--73
-
probabilism, 28(2)14--19
-
probabilistic, 0(0)0--0, 2(4)8--11, 2(4)19--19, 2(6)9--14, 17(0)xv--182,
17(1)40--59, 26(3)1--12, 26(3)2--12, 30(2)12--14, 34(4)32--34,
38(3)20--22, 38(3)22--27, 38(4)65--66, 39(2)111--124, 39(3)35--39,
44(0)xv--196, 49(3)6--8, 49(3)20--22, 49(3)63--73
-
probabilistically, 24(4)2--13, 42(1)59--80, 50(3)25--33
-
Probabilitic, 38(3)14--16
-
probability, 0(0)xiv--196, 0(0)0--0, 0(0)290, 0(0)x--428, 2(4)19--19,
15(4)59--59, 16(1)59--59, 27(1)89--90, 31(3)22--24, 36(3)107--112,
37(1)33--46, 38(3)14--16, 38(3)20--22, 38(3)22--27, 39(2)111--124,
39(3)41--57, 40(3)32--37, 40(4)98--123, 41(0)ix--220, 42(3)42--45,
43(1)62--81, 44(0)xv--196, 45(3)82--104, 49(3)6--8, 49(3)20--22,
49(4)11--12, 50(3)25--33, 50(3)35--50, 134(0)xviii--759, 376(0)352
-
probably, 27(3)6--12, 27(4)3--7, 37(2)57--57, 40(4)98, 44(3)38--39,
48(2)41--67, 49(3)63--73, 50(1)9--13, 50(3)35--50, 51(2)6--8,
51(2)27--35, 51(3)5--6, 52(2)18--23
-
probe, 6(1)30--31
-
problem, open-, 29(3)27--32
-
problem-oriented, 0(0)xvi--205
-
problem-solving, 32(1)8--12, 34(1)101--108
-
problem., 0(0)xiii--228
-
problematic, 38(3)56--75
-
problèmes, 0(0)106, 9(4)13--14
-
Probst, 43(2)38--40
-
Procaccia, 48(4)13--17
-
procedure, 0(0)xv--366, 0(0)xviii--409, 4(14)74--82, 4(14)104--109,
5(2)17--20, 15(2)76--76, 24(1)57, 26(2)78--87, 28(2)24--31,
28(4)20--23, 34(2)42--57, 34(3)4--11, 36(1)86--99, 42(1)32--35
-
proceed, 40(4)98--123
-
proceedings, 0(0)xiv--396, 6(3)15--22, 25(4)12--14, 29(3)10--22,
31(2)5--9, 35(3)46--57, 39(2)84--91, 50(3)35--50, 376(0)352,
7611(0)xvi--450
-
process, 0(0)viii--273, 0(0)xii--190, 0(0)xii--372, 0(0)xii--580,
0(0)xiv--324, 0(0)xiv--478, 0(0)xx--742, 0(0)x--408, 4(14)15--26,
4(14)66--73, 4(14)97--103, 8(3)14--20, 10(2)42--47, 23(0)x--267,
24(2)25--26, 30(2)43--46, 30(3)19--21, 31(4)10--12, 32(1)8--12,
32(1)12--16, 32(1)74--78, 33(2)10--14, 34(1)17--24, 34(2)8--15,
34(2)42--57, 34(3)94--103, 35(1)74--79, 35(2)36--59, 37(1)33--46,
38(2)56--74, 38(3)56--75, 38(4)64--64, 38(4)65--66, 40(3)53--59,
41(1)63--73, 43(2)36--38, 43(2)108--123, 43(3)88--110, 52(1)71--80,
52(1)81--86, 52(4)74--75, 52(4)76--77
-
process, 2-, 34(3)94--103
-
processing, 0(0)viii--273, 0(0)viii--529, 0(0)ix--563, 0(0)xi--346,
0(0)xi--378, 0(0)xii--190, 0(0)xii--212, 0(0)xii--317, 0(0)xii--365,
0(0)xii--367, 0(0)xii--386, 0(0)xii--451, 0(0)xii--596,
0(0)xiii--172, 0(0)xiii--472, 0(0)xiii--544, 0(0)xiv--207,
0(0)xiv--396, 0(0)xv--414, 0(0)xv--423, 0(0)xv--510, 0(0)xvi--453,
0(0)xvi--517, 0(0)xvii--277, 0(0)xvii--334, 0(0)xvii--580,
0(0)xvii--831, 0(0)xviii--534, 0(0)xx--313, 0(0)xx--483, 0(0)106,
0(0)255, 5(0)xii--585, 10(0)xiv--74, 10(2)39--41, 11(0)xi--179,
23(0)xiii--151, 23(0)x--267, 31(4)13--15, 33(4)12--14,
36(1)122--131, 38(0)xv--202, 39(3)67--76, 39(3)77--95,
43(4)123--129, 44(2)119--124, 49(4)58--59, 51(1)105--117,
138(0)xx--545, 138(0)xxi--534, 138(0)xxii--534
-
processor, Time-memory-, 15(1)18--19
-
processor-efficient, 18(4)54--61
-
processors, 0(0)xiii--228, 18(1)54--67, 18(4)54--61, 28(2)24--31,
39(1)48--58, 51(3)10--13
-
prodding, 32(1)8--12
-
produce, 4(14)66--73, 4(14)116--120, 15(4)59--59, 16(1)59--59,
19(2)55--57, 24(1)60, 28(2)70--79, 33(2)10--14, 37(4)115--126,
49(1)73--81
-
produced, 5(2)21--23, 10(2)58--59, 35(1)74--79, 35(3)46--57
-
producing, 4(14)208--211, 24(1)57, 41(4)109--115
-
product, 8(3)24--25, 24(1)57, 30(2)14--16, 31(4)10--12, 46(2)41--64,
50(3)52--74
-
product-growth, 43(3)67--84
-
production, 15(2)78--78, 50(2)29--30
-
profession-oriented, industry-and-, 5(2)24--25
-
professional, 0(0)xx--254, 33(2)16--18, 49(4)13--16
-
professor, 0(0)xx--195, 0(0)x--310, 15(2)58--62, 37(3)27--32,
40(3)32--37, 49(4)60--63, 51(1)12--14
-
profit, not-for-, 49(2)14--17
-
profound, 37(4)22--26, 49(4)64--65
-
profoundly, 37(4)22--26, 52(1)87--93
-
prognostications, 33(2)34--47
-
programmable, 48(2)86--86, 48(2)87--94
-
programmation, 0(0)viii--217, 0(0)xix--432, 20(4)50--53
-
programmer, 0(0)xii--372, 0(0)255, 39(2)84--91, 40(2)18--22,
43(2)108--123
-
Programmierung, 0(0)ix--272, 0(0)xxxv--626
-
programming:, 4(14)208--211
-
progress, 0(0)xvi--205, 3(12)14--24, 5(2)24--25, 15(2)58--62,
20(4)17--23, 21(2)4, 21(2)64, 22(3)38--40, 23(1)44--46,
25(4)22--87, 28(2)2--13, 30(2)22--30, 31(4)39--51, 34(2)42--57,
35(3)58--66, 35(4)40--57, 36(4)24--35, 40(2)50--66, 40(3)53--59,
40(4)46--61, 40(4)98--123, 42(1)59--80, 42(4)54--76, 43(4)57--59,
43(4)116--122, 44(4)53--72, 45(1)48--65, 46(2)41--64, 46(4)32--49
-
progressed, 40(4)98--123
-
progression, 29(3)10--22
-
progression:1, 29(3)10--22
-
progressively, 51(3)7--9
-
project, 0(0)xii--372, 4(14)208--211, 14(4)38--57, 25(3)49--52,
32(1)12--16, 32(4)24--33, 35(4)117--117, 37(4)47--55, 43(4)116--122,
44(3)73--77, 44(4)31--34, 44(4)53--72, 45(3)75--81, 51(1)118--119,
53(1)36--57
-
projection, 20(4)87--91, 37(4)41--43, 43(1)62--81, 65(0)ix--105
-
projective, 45(1)34--37
-
prolific, 52(3)38--59
-
prolog, 9(2)25--29
-
prologue, 0(0)xiii--239
-
Prömel, 48(4)18--21
-
prominence, 37(4)22--26
-
prominent, 32(1)12--16, 40(4)98, 134(0)xviii--759
-
prominently, 0(0)xvi--205
-
promise, 32(1)111--114, 40(2)50--66, 45(4)59--75, 51(4)6--10
-
promised, 27(4)3--7
-
promising, 4(14)97--103, 28(3)75--93, 38(1)31--45, 39(3)77--95,
41(4)109--115
-
promote, 0(0)xvi--205, 39(3)35--39, 41(4)65--72
-
prompted, 37(2)57--57
-
prone, 49(2)58--76
-
pronounced, 28(2)24--31
-
Proof-by-Picture, 39(3)22--26
-
proof-checker, 4(14)1--6
-
proofreading, 50(1)35--37
-
proofs-is, 49(4)11--12
-
propagation, 33(3)110--112
-
propel, 22(3)38--40
-
proper, 16(4)56--59, 26(2)78--87, 49(2)58--76
-
properly, 10(1)30--30, 17(2)44--51, 37(4)22--26
-
property, 0(0)vi--113, 0(0)xii--190, 0(0)xix--688, 2(0)xii--313,
4(14)1--6, 4(14)15--26, 4(14)27--50, 4(14)74--82, 4(14)97--103,
4(14)203--207, 5(4)15--16, 5(z)15--16, 6(1)12--18, 6(1)19--24,
6(1)30--31, 7(1)21--25, 8(4)11--12, 15(2)78--78, 15(3)45--71,
15(4)59--59, 16(1)59--59, 16(4)56--59, 24(1)27--28, 24(1)58,
24(1)61--67, 24(4)90--91, 26(1)2--13, 28(2)24--31, 28(4)20--23,
29(3)33--42, 29(3)104--111, 30(2)12--14, 30(4)25--40, 32(1)8--12,
32(4)9--17, 33(2)10--14, 33(2)51--59, 34(1)47--67, 34(1)101--108,
34(2)8--15, 34(3)94--103, 35(3)8--12, 35(3)94--97, 35(4)23--37,
36(1)86--99, 37(2)57--57, 39(3)28--30, 40(2)50--66, 41(1)100--128,
41(2)74--84, 42(1)59--80, 43(2)85--107, 43(3)67--84, 44(2)80--87,
44(4)53--72, 46(2)89--95, 49(2)7--9, 49(2)58--76, 49(3)35--47,
49(4)58--59, 51(4)4--5, 51(4)6--10
-
property-based, 38(4)65--66
-
proponents, 31(4)13--15
-
proposal, 6(1)12--18, 14(3)36--53, 14(4)58--69, 26(4)51--59, 27(3)13--24,
30(4)91--95, 36(1)30--52, 39(3)77--95
-
propose, 8(3)14--20, 14(4)38--57, 17(1)60--64, 26(4)51--59, 28(3)65--74,
34(2)42--57, 35(4)40--57, 38(1)53--61, 40(4)98, 41(1)75--98,
50(3)6--11
-
proposed, 4(14)51--57, 4(14)208--211, 11(2)25--29, 14(3)31--35,
16(4)56--59, 19(2)51--54, 21(3)9--18, 22(4)63--63, 24(1)68--74,
24(4)45--48, 28(2)70--79, 29(3)104--111, 29(4)98--110, 33(2)60--73,
34(3)94--103, 35(1)74--79, 38(3)56--75, 39(2)51--81, 43(3)60--64,
46(3)37--55
-
propositional, 0(0)xiii--350, 0(0)xiii--456, 5(2)17--20, 6(3)15--22,
28(4)20--23, 32(4)9--17, 35(4)5--11, 38(4)65--66, 45(4)59--75,
47(2)66--86, 53(1)59--82, 134(0)xviii--759
-
Propositions, 11(2)30--35
-
Propp, 31(3)22--24
-
pros, 32(1)8--12, 36(3)67--81, 40(4)98, 44(1)89--105
-
prose, 29(4)20--27
-
prosecution, 0(0)xii--372
-
Proskurowski, Andrzej, 21(2)39
-
Proskurowski:1990:RGG, 21(2)39
-
prospective, 49(3)63--73
-
prospects, 52(4)6--10
-
protected, 28(2)24--31
-
protein, 36(1)30--52
-
protein-coding, 41(4)61--64
-
proteomics, 44(4)38--41
-
protest, 34(2)42--57
-
protocol, 0(0)xiii--263, 15(1)23--27, 15(1)34--39, 21(1)7, 22(1)5--12,
28(2)24--31, 33(2)60--73, 34(2)42--57, 34(4)26--31, 37(3)67--92,
37(4)58--84, 38(3)56--75, 38(4)64--64, 38(4)65--66, 41(1)47--50,
41(2)74--84, 43(1)21--23, 43(2)85--107, 44(2)92--112, 45(3)82--104,
46(2)41--64, 48(1)54--54, 48(1)55--90, 49(3)62--62, 49(3)63--73,
50(2)31--60, 4752(0)xvi--367
-
prototype, 20(4)78--80
-
proud, 49(4)66--82
-
provability, 38(4)64--64, 38(4)65--66
-
provable, 3(9)11--12, 50(2)9--11
-
provably, 0(0)xi--504, 18(2)48--51, 28(3)94--99, 36(2)25--42
-
provably-secure, 36(2)14--19
-
prove, 0(0)ix--309, 0(0)xiii--228, 4(14)7--14, 4(14)66--73, 15(1)23--27,
15(2)32--44, 17(2)44--51, 19(2)51--54, 22(1)65, 23(3)100--106,
24(2)88--93, 26(4)5--15, 28(4)24--27, 30(2)12--14, 31(2)22--33,
32(1)111--114, 32(2)45--63, 33(1)90--94, 33(2)51--59, 33(2)108--118,
33(3)110--112, 35(3)69--71, 36(2)25--42, 36(4)109--110, 39(4)37--52,
40(1)18--20, 40(2)50--66, 43(3)67--84, 45(1)48--65, 45(3)47--52,
51(3)55--58
-
proved, 4(14)1--6, 15(1)23--27, 19(2)51--54, 33(1)32--45, 35(3)102--108,
35(4)23--37, 38(2)35--50, 49(3)51--61, 49(3)63--73, 49(4)58--59,
50(4)7--8
-
proven, 8(4)13--24, 26(2)96--104, 32(1)111--114, 32(4)24--33,
36(2)43--44, 40(4)98--123, 44(2)92--112, 50(2)12--14
-
prover, 28(4)16--19, 35(3)98--101, 38(4)65--66
-
prover, multi-, 24(4)2--13
-
provide, 0(0)xxiii--502, 0(0)xxix--184, 4(14)66--73, 4(14)97--103,
4(14)208--211, 10(2)58--59, 15(2)76--76, 18(1)54--67, 19(2)51--54,
21(1)21, 21(2)21, 21(3)9--18, 26(2)78--87, 26(4)51--59,
28(3)65--74, 28(3)94--99, 28(4)20--23, 29(2)50--57, 31(4)10--12,
32(1)12--16, 33(2)16--18, 33(2)34--47, 33(2)108--118, 33(3)50--70,
35(4)18--19, 37(1)33--46, 38(3)56--75, 38(3)106--106, 38(4)65--66,
39(1)80--87, 39(3)35--39, 41(1)100--128, 41(2)57--72, 44(1)89--105,
44(2)47--79, 44(3)73--77, 45(3)82--104, 46(2)41--64, 46(2)89--95,
46(3)57--71, 48(3)83--86, 49(2)58--76, 49(3)14--19, 49(3)62--62,
49(4)7--10, 49(4)13--16, 50(2)61--61, 50(2)62--79, 50(3)34--34,
50(3)52--74, 51(1)38--56, 51(1)57--57, 51(2)58--58, 51(3)62--62,
52(1)70--70, 52(2)91--91, 52(3)60--60, 52(4)11--14
-
provided, 4(14)74--82, 4(14)110--115, 4(14)208--211, 11(2)25--29,
15(2)78--78, 24(1)61--67, 28(4)20--23, 33(2)14--16, 34(1)101--108,
35(2)36--59, 38(2)75--86, 39(3)77--95, 43(2)108--123, 48(2)87--94,
50(1)60--60, 52(4)31--54, 134(0)xviii--759
-
Providence, 40(2)35--37
-
provider, 41(3)105--111
-
providing, 0(0)xvi--205, 26(2)96--104, 32(1)12--16, 33(2)16--18,
35(4)15--18, 35(4)23--37, 37(3)93--96, 38(3)56--75, 38(3)106--129,
40(2)81--86, 44(2)47--79, 44(2)92--112
-
proving, 0(0)vi--113, 0(0)xi--504, 0(0)x--320, 4(14)7--14, 4(14)15--26,
4(14)27--50, 4(14)51--57, 4(14)74--82, 4(14)170--190, 6(0)xii--405,
11(0)vi--175, 11(1)18--18, 21(4)73--77, 26(4)5--15, 28(3)94--99,
28(4)16--19, 32(1)12--16, 32(4)9--17, 33(2)10--14, 38(0)xv--202,
43(3)67--84, 46(1)63--76, 46(2)41--64, 49(1)55--65, 49(1)72--72,
49(1)73--81, 49(2)18--28, 49(3)51--61, 52(4)56--73, 56(0)xiv--202
-
proviso, 49(2)10--13
-
prP, 49(2)18--28
-
PRS, 50(3)52--74
-
Pruhs, Kirk, 29(1)32--35, 36(2)63--76, 42(2)83--97
-
Pruhs, Kirk, see Im, Sungjin,
see Irani, Sandy
-
Pruhs:1998:HDD, 29(1)32--35
-
Pruim, 31(2)2--5
-
Pruim, Randall, 31(1)4
-
Pruim, Randall J., 0(0)x--320
-
Pruim, Randall J., see Schöning, Uwe
-
Pruim:2000:BRB, 31(1)4
-
Pruning, 29(1)32--35
-
pseudo, 39(3)28--30
-
pseudo-code, 52(2)85--90
-
pseudo-triangulations, 33(1)58--60
-
Pseudocode, 0(0)xix--688
-
pseudorandom, 38(3)39--54, 40(1)27--44, 49(2)18--28, 49(3)78--79
-
pseudorandomness, 17(0)xv--182, 22(0)viii--411, 34(4)32--34,
38(3)34--38, 38(3)39--54, 39(3)35--39, 40(2)50--66, 41(3)44--45
-
PSPACE, 26(2)4--13, 31(2)22--33
-
psst, 50(1)35--37, 51(2)36--37
-
psycholinguistics, 5(0)xii--585
-
psychology, 0(0)xii--317, 0(0)xiii--228
-
PTAPE, 17(2)44--51
-
Pub, 23(3)31--32
-
/pub/chess/texts, 24(4)82--89
-
public, 0(0)xii--291, 0(0)xviii--268, 0(0)xix--432, 14(4)38--57,
15(1)45--49, 15(1)50--55, 15(1)61--66, 18(2)48--51, 18(4)51--53,
33(1)61--66, 35(3)102--108, 36(2)14--19, 38(1)9--13, 43(2)33--35,
47(1)16--20, 49(2)10--13, 50(1)65--78
-
Public-Key, 0(0)xii--291, 36(2)14--19, 41(1)75--98
-
public-key, 0(0)xx--254
-
publication, 0(0)106, 4(14)110--115, 21(1)21, 21(2)21, 34(3)94--103,
35(4)11--14, 35(4)118--118, 49(2)10--13, 49(2)14--17, 52(4)76--77
-
publicly, 30(3)65--74
-
publique, 0(0)xix--432
-
publish, 20(4)26--29, 21(1)14, 27(3)13--24, 28(3)30, 29(1)13--14,
29(2)27--28, 29(3)53--54, 29(4)15--16, 30(1)12--13, 30(2)17--18,
30(3)19--21, 31(2)12--13, 31(3)27--28, 32(2)20--21, 33(2)21--23,
47(4)22--32, 48(2)21--33, 48(3)20--31, 49(3)23--33, 49(4)17--27,
50(1)17--27, 50(2)15--27, 50(4)7--8, 50(4)14--25, 51(1)15--26,
51(2)15--26, 51(3)20--30, 51(4)18--29, 52(1)25--35, 52(2)24--35,
52(3)14--24, 52(4)18--30, 53(1)25--35
-
published, 6(3)15--22, 21(1)21, 21(2)21, 21(2)64, 21(3)z--z,
26(2)96--104, 27(3)13--24, 28(4)16--19, 32(3)63--72, 34(4)53--56,
35(4)11--14, 35(4)23--37, 36(2)14--19, 36(2)77--88, 37(2)57--57,
38(4)16--18, 40(2)25--27, 40(4)35--36, 41(2)11--14, 41(2)14--17,
41(2)19--22, 41(2)26--28, 41(2)33--36, 41(2)47--50, 41(2)50--51,
41(3)18--25, 41(3)26--28, 41(3)29--30, 41(4)15--21, 41(4)30--32,
42(1)36--37, 49(2)14--17, 50(1)14--16
-
publisher, 12(3)14--16, 38(1)24--27, 38(3)27--30, 39(4)27--30,
41(1)38--41, 41(1)51--53, 41(2)22--26, 41(2)40--43, 41(4)42--44,
41(4)44--47, 49(2)14--17
-
publishing, 0(0)viii--312, 0(0)xv--287, 9(1)16--18, 10(2)39--41,
11(1)18--18, 36(4)111--114, 38(4)16--18, 38(4)23--24, 52(4)78--79
-
Pucella, Riccardo, 31(4)24--26, 32(1)12--16, 32(4)9--17, 34(1)6--17,
34(4)26--31, 35(4)58--71, 35(4)72--83, 36(1)71--85, 36(1)86--99,
36(2)63--76, 36(2)77--88, 36(3)17--19, 36(3)41--50, 36(3)51--66,
36(4)47--69, 37(2)50--56, 37(2)57--57, 37(3)67--92, 38(2)75--86,
38(3)76--76, 38(4)64--64, 41(1)74--74
-
Pucella:2000:BRB, 31(4)24--26
-
Pucella:2001:BRBa, 32(1)12--16
-
Pucella:2001:BRBb, 32(4)9--17
-
Pucella:2003:BRB, 34(1)6--17
-
Pucella:2003:JRB, 34(4)26--31
-
Pucella:2004:CMC, 35(4)58--71
-
Pucella:2004:SC, 35(4)72--83
-
Pucella:2005:APP, 36(2)63--76
-
Pucella:2005:ASN, 36(3)41--50
-
Pucella:2005:BRB, 36(3)17--19
-
Pucella:2005:FIT, 36(1)86--99
-
Pucella:2005:LVE, 36(2)77--88
-
Pucella:2005:SNLa, 36(3)51--66
-
Pucella:2005:SNLb, 36(4)47--69
-
Pucella:2005:TDP, 36(1)71--85
-
Pucella:2006:ASN, 37(2)50--56
-
Pucella:2006:SCC, 37(3)67--92
-
Pucella:2006:SNL, 37(2)57--57
-
Pucella:2007:ALB, 38(2)75--86
-
Pucella:2007:Ia, 38(3)76--76
-
Pucella:2007:Ib, 38(4)64--64
-
Pucella:2010:SNL, 41(1)74--74
-
Pudlák, Pavel, 37(4)13--21
-
Pudlak:2006:GCA, 37(4)13--21
-
Pugh, William, 27(2)88--96
-
Pugh, William, see Gasarch, William
-
pull, 38(3)100--105
-
Pullum, 28(1)2
-
Pulse, 30(1)30--32
-
pumping, 10(2)48--49, 14(1)36--37, 24(2)87
-
pure, 32(1)111--114, 35(3)102--108, 35(4)23--37
-
purely, 30(2)14--16, 50(1)9--13, 51(1)105--117
-
purpose, 4(14)27--50, 4(14)208--211, 15(1)23--27, 21(4)73--77,
21(4)78--81, 27(3)13--24, 28(3)65--74, 28(3)75--93, 30(2)12--14,
30(2)33--42, 39(2)91--110, 39(3)77--95, 44(3)42--55, 47(1)16--20,
49(2)33--56, 49(3)14--19, 51(3)10--13
-
pursuing, 33(2)16--18
-
pursuit, 0(0)xiii--228, 43(3)51--53, 45(1)11--15
-
Purushothaman, S., 24(1)26--27
-
Purushothaman:1993:BRB, 24(1)26--27
-
pushdown, 30(3)19--21, 45(2)47--67, 46(3)37--55, 50(1)65--78
-
put, 8(3)21--24, 22(3)38--40, 32(1)74--78, 33(1)32--45, 37(1)47--65,
37(1)66--81, 44(2)92--112, 49(2)33--56, 49(4)64--65
-
putting, 2(4)12--18, 51(4)11--14
-
Puxang, K., 28(4)16--19
-
Puxang:1997:BRB, 28(4)16--19
-
puzzle, 0(0)ix--237, 0(0)xiii--228, 0(0)xviii--325, 35(1)80--84,
35(4)18--19, 42(3)36--39, 42(3)45--49, 44(4)47--48, 52(1)41--46,
52(1)47--69
-
Puzzler, 0(0)x--266, 42(1)16--22
-
PWS, 29(2)17--20
-
pyramid, 44(1)89--105
-
Pyster, Arthur, 8(1)38--40
-
Pyster:1976:LCD, 8(1)38--40
-
Pythagoras, 46(2)13--15
-
Python, 0(0)xiii--568, 41(1)13--15
-
PZ83, 33(1)32--45