Index file section P for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
P
-
P, 250(1)31--53, 296(2)253--267, 296(2)295--326, 299(1)495--508,
301(1)201--215, 312(2)379--399, 320(2)229--246
-
P, conformon-, 312(2)295--319
-
P--NP, 314(1)281--285
-
P-complete, 127(1)181--186, 234(1)325--326
-
P-immune, 302(1)457--466
-
P-selective, 155(2)447--457
-
PA-matching, 262(1)117--131
-
PA-processes, 274(1)89--115
-
Pabon, Mario, Valencia-, 297(1)119--143
-
PAC, 230(1)1--37, 288(2)255--275, 299(1)37--63
-
Pacheco, A., 308(1)393--427
-
Pacheco, A., see Mateus, P.
-
Pachter, Lior, 303(2)409--416
-
Pachter, Lior, see Lam, Fumei
-
Pacini, Giuliano, 238(1)221--246
-
Pacini:2000:LCS, 238(1)221--246
-
package, 231(1)5--15
-
packet, 243(1)289--305
-
packing, 236(1)179--191, 289(2)939--952, 297(1)355--366, 297(1)367--384,
321(1)103--123, 321(1)125--148
-
Padawitz, Peter, 243(1)93--165
-
Padawitz:2000:STS, 243(1)93--165
-
Padró, Carles, 320(2)269--291, see Blundo, Carlo
-
Paepe, Willem E. de, 295(1)279--294, 352(1)347--348
-
Paepe, Willem E. de, see Krumke, Sven O.
-
page, 268(1)43--66, 268(1)107--117, 324(2)219--251
-
paging, 234(1)203--218, 268(1)119--131
-
Pagli, Linda, 282(2)221--222, 304(1)341--364
-
Pagli, Linda, see Crescenzi, Pilu,
see Lodi, Elena
-
pair, 236(1)133--178, 295(1)323--339, 306(1)391--405, 319(1)307--331,
326(1)409--418
-
pair-sharing, 277(1)3--46
-
Paired-domination, 320(2)485--494
-
pairing, 257(1)51--77, 321(1)59--72
-
pairing, set-, 322(1)147--173
-
pairs, all-, 312(1)47--74
-
pairwise, 326(1)155--185
-
Paiva, Valeria de, 315(1)83--107
-
Paiva, Valeria de, see Schalk, Andrea
-
Pak, Igor, 303(2)303--331, 319(1)3--27
-
Pak, Igor, see Korn, Michael
-
Pak:2003:TIN, 303(2)303--331
-
Palamidessi, Catuscia, 294(3)411--437
-
Palamidessi, Catuscia, see McDowell, Raymond
-
Palindrome, 292(1)9--31, 302(1)475--480
-
palindromes, 302(1)167--178
-
Pallo, Jean, 233(1)217--231
-
Pallo, Jean, see Germain, Christian
-
Palmigiano, Alessandra, 327(1)175--195
-
Palmigiano:2004:CVP, 327(1)175--195
-
Palopoli, Luigi, 314(1)217--249
-
Palopoli, Luigi, see Angiulli, Fabrizio
-
Paluch, Katarzyna E., 303(2)517--537
-
Paluch, Katarzyna E., see Lorys, Krzysztof
-
Pan, 315(2)469--510
-
Pan, Victor Y., 315(2)307--308, 315(2)581--592
-
Pan, Victor Y., see Emiris, Ioannis Z.
-
Pan:2004:IIS, 315(2)581--592
-
Panangaden, Prakash, 238(1)31--80, 266(1)543--567, 318(3)323--354
-
Panangaden, Prakash, see Desharnais, Josée,
see Pucella, Riccardo
-
Panangaden:2000:GIP, 238(1)31--80
-
pancyclic, 297(1)399--424
-
Panholzer, Alois, 302(1)45--91
-
Panholzer:2003:AMQ, 302(1)45--91
-
Panigrahy, Rina, 324(2)201--218
-
Panigrahy, Rina, see Feder, Tomás
-
Panina, Ekaterina M., 325(1)141--167
-
Panina, Ekaterina M., see Regev, Aviv
-
Panizza, S., 284(1)109--142
-
Panizza, S., see Helmbold, D. P.
-
Papadakis, Nikos, 290(1)1--57
-
Papadakis, Nikos, see Mavronicolas, Marios
-
Papadimitriou, Christos, 289(1)69--83
-
Papadimitriou, Christos, see Dantsin, Evgeny
-
Papadimitriou, Christos H., 255(1)687--696
-
Papadimitriou, Christos H., see Blondel, Vincent D.
-
Papazian, Christophe, 319(1)367--384
-
Papazian, Christophe, see Nichitiu, Codrin
-
paper, 279(1)3--27, 315(1)1--2, 315(2)405--417, 315(2)469--510
-
Pappas, George J., 318(3)297--322
-
Pappas, George J., see Alur, Rajeev
-
paracategories, 309(1)125--156, 311(1)71--103
-
paradigm, 263(1)99--111
-
parallel, 127(1)181--186, 233(1)297--308, 245(2)151--173,
246(1)131--150, 246(1)239--252, 247(1)39--81, 255(1)163--191,
255(1)511--538, 255(1)555--568, 258(1)233--267, 259(1)217--231,
261(1)119--156, 262(1)415--435, 266(1)631--652, 266(1)975--985,
268(1)67--90, 270(1)309--324, 276(1)205--219, 281(1)251--289,
289(1)277--295, 289(1)313--334, 292(3)639--652, 299(1)231--271,
301(1)119--142, 304(1)185--200, 306(1)319--338, 310(1)527--537,
311(1)325--388, 311(1)463--478, 320(2)199--212, 324(1)107--131
-
parallel, Series-, 237(1)347--380
-
parallel, series-, 304(1)237--247
-
parallèle, 281(1)251--289
-
parallelism, 246(1)227--238, 308(1)367--392, 328(1)53--75
-
parallelizing, 268(2)199--219
-
parameter, 295(1)85--106, 326(1)57--67
-
parameter, multi-, 297(1)183--198
-
parameterised, 300(1)259--300
-
parameterized, 256(1)113--144, 289(2)997--1008
-
parametric, 242(1)403--475, 260(1)139--163, 298(2)317--324,
328(1)187--201
-
Parametrisation, 242(1)403--475
-
Parametrization, 315(2)627--650
-
Parametrized, 308(1)429--447
-
Parc, Philippe Le, 267(1)141--155
-
Parc, Philippe Le, see L'Her, Dominique
-
Pardo, Alberto, 260(1)165--207
-
Pardo, L. M., 259(1)577--596
-
Pardo, L. M., see Aldaz, M.
-
Pardo, Luis Miguel, 315(2)593--625
-
Pardo:2001:FRP, 260(1)165--207
-
Pardo:2004:DTS, 315(2)593--625
-
Paredaens, J., 290(1)669--693
-
Paredaens, J., see Calders, T.
-
Pareto, 310(1)135--146
-
Parga, Manuel Vazquez de, 299(1)775--783
-
Parga, Manuel Vazquez de, see García, Pedro
-
Parikh, 255(1)667--677, 310(1)233--246
-
Paris', Kirby-, 300(1)365--378
-
parity, 230(1)131--147, 259(1)613--622, 295(1)153--169, 310(1)365--378
-
parity-declustered, 325(3)391--407
-
Park, Heejin, 262(1)415--435
-
Park, Jihun, 320(2)465--483
-
Park, Jihun, see Hunziker, Markus
-
Park, Jung-Heum, 244(1)35--62
-
Park, Kunsoo, 262(1)415--435, 262(1)557--568, 302(1)223--238,
302(1)401--416, 304(1)87--101
-
Park, Kunsoo, see Kim, Dong Kyue,
see Na, Joong Chae, \see{Park, Heejin,
see Sim, Jeong Seop
-
Park:2000:RCT, 244(1)35--62
-
Park:2001:PAR, 262(1)415--435
-
parking, 270(1)895--911
-
parsable, 304(1)185--200
-
parsers, 242(1)59--69, 313(1)73--91
-
parsimonious, 319(1)455--482
-
parsing, 254(1)317--335, 267(1)49--59, 267(1)61--82, 267(1)131--140,
290(1)531--544, 293(2)365--389, 302(1)365--399, 328(1)171--186
-
Part, 235(1)59--70, 294(3)489--524, 301(1)79--101
-
part, Three-, 259(1)639--661
-
partial, 230(1)131--147, 236(1)179--191, 240(2)407--427, 246(1)131--150,
248(1)99--145, 266(1)513--541, 268(1)3--16, 270(1)223--259,
270(1)401--419, 273(1)225--248, 280(1)3--34, 281(1)291--309,
284(2)207--240, 286(1)33--63, 286(2)293--322, 289(1)137--163,
289(1)297--312, 294(1)61--102, 303(1)7--34, 303(1)187--213,
305(1)409--432, 309(1)125--156, 311(1)199--220, 314(1)189--216,
315(1)135--149, 325(3)467--478, 329(1)177--202
-
partial-edge, 237(1)57--79
-
partially, 312(2)401--431, 321(1)41--57
-
particle, 325(2)285--316
-
partition, 234(1)59--84, 259(1)639--661, 263(1)59--74, 276(1)33--50,
289(1)783--800, 307(3)515--529
-
partitionable, 238(1)31--80, 291(1)103--131
-
partitioning, 231(1)75--87, 263(1)255--261, 265(1)79--108,
282(2)353--380, 284(1)181--196, 313(1)133--144
-
partitioning, domain-, 321(2)371--382
-
partitioning, vertex-, 299(1)719--734
-
Pasanen, Tomi, 237(1)159--181
-
Pasanen, Tomi, see Geffert, Viliam
-
Pascal, 325(2)171--214
-
Paschos, Vangelis Th, 270(1)561--590
-
Paschos, Vangelis Th., see Murat, Cécile
-
Pasechnik, Dimitrii V., 263(1)31--35
-
Pasechnik, Dimitrii V., see Cara, Philippe
-
Pasechnik, Dmitrii V., 263(1)37--46
-
Pasechnik:2001:CHB, 263(1)37--46
-
pass, one-, 308(1)239--257
-
passing, message-, 290(1)221--239
-
passing, value-, 238(1)313--345
-
passport, 282(2)303--318
-
Past, 313(1)57--71
-
patch, 305(1)77--84
-
Paterson, M. S., 249(2)325--342
-
Paterson, M. S., see Ravindran, S.
-
Paterson, Mike, 301(1)451--462
-
Paterson, Mike, see Iwama, Kazuo
-
path, 234(1)85--107, 237(1)381--406, 242(1)143--168, 255(1)33--50,
255(1)345--361, 259(1)129--143, 262(1)215--227, 263(1)255--261,
264(1)65--90, 270(1)421--440, 281(1)37--80, 289(1)355--399,
289(2)897--917, 291(1)3--28, 293(1)219--236, 293(3)535--556,
296(1)167--177, 296(3)453--471, 297(1)83--102, 299(1)585--602,
307(2)327--335, 312(1)47--74, 312(2)189--201, 312(2)267--280,
315(2)371--404, 318(3)297--322, 319(1)385--409, 326(1)155--185
-
path, permutation-, 297(1)119--143
-
path, shortest-, 289(1)85--104
-
pathways, 325(1)111--140
-
Patón, Alfonso, Rodríguez-, 296(2)295--326
-
pattern, 237(1)239--262, 237(1)455--463, 241(1)191--209, 242(1)125--142,
255(1)51--62, 261(1)119--156, 284(1)3--24, 287(1)239--249,
288(2)237--254, 290(1)59--78, 292(2)465--479, 298(1)71--87,
298(1)253--272, 299(1)65--79, 299(1)387--412, 299(1)509--521,
312(2)223--249, 314(1)173--187, 323(1)71--127
-
pattern-matching, 238(1)439--464, 313(1)105--117
-
Pattinson, Dirk, 309(1)177--193
-
Pattinson:2003:CML, 309(1)177--193
-
Paul, Christophe, 234(1)59--84, 263(1)99--111
-
Paul, Christophe, see Damiand, Guillaume,
see Habib, Michel
-
P{\u{a}}un, G., 296(2)253--267, see Besozzi, D.
-
P{\u{a}}un, George, 264(1)1--2,
see Freivalds, R{\={u}}si{\c{n}}{\v{s}}
-
P{\u{a}}un, Gheorghe, 231(2)275--296, 262(1)117--131, 270(1)779--796,
287(1)3--38, 287(1)73--100, 296(2)295--326, 299(1)785--794,
301(1)201--215, 312(2)143--188, 324(1)61--85,
see Amos, Martyn,
see Csuhaj-Varjú, Erzsébet,
see Ferretti, Claudio,
see Freund, Rudolf,
see Kobayashi, Satoshi,
see Martín-Vide, Carlos
-
Paun:2000:DCB, 231(2)275--296
-
Paun:2002:GMC, 287(1)73--100
-
Paun:2004:PMD, 324(1)61--85
-
pavages, 259(1)245--269, 281(1)311--324
-
Pavan, A., 234(1)273--286
-
Pavan:2000:CDP, 234(1)273--286
-
Pavlovi, D., 280(1)105--122
-
Pavlovi:2002:CFC, 280(1)105--122
-
PAXOS, 243(1)35--91
-
Payne, Tom, 307(3)455--455
-
Payne, Tom, see Díaz, Josep
-
payoff, 310(1)365--378
-
Pazos, Juan, 296(2)295--326
-
Pazos, Juan, see Martín-Vide, Carlos
-
PC, 237(1)135--148, 296(1)99--116, 299(1)785--794
-
PCF, 266(1)341--364, 266(1)543--567
-
PCP, 255(1)193--204
-
peak, 299(1)211--229
-
Peano, 257(1)79--84
-
pebbling, 233(1)247--261
-
Pedone, Fernando, 291(1)79--101
-
Pedone:2002:OAB, 291(1)79--101
-
Pedrotti, Alberto, 282(2)285--302
-
Pedrotti:2002:PST, 282(2)285--302
-
peer, 326(1)363--382
-
peg, 313(3)417--425
-
peg, multi-, 237(1)407--421
-
Peg-solitaire, 321(2)383--394
-
Peirce, 275(1)561--574
-
Péladeau, Pierre, 245(1)135--148, see Maciel, Alexis
-
Pelc, Andrzej, 243(1)289--305, 270(1)71--109, 287(2)449--471,
326(1)343--362
-
Pelc, Andrzej, see Dessmark, Anders,
see Diks, Krzysztof,
see Kirousis, Lefteris M.
-
Pelc:2002:SGE, 270(1)71--109
-
Peleg, David, 250(1)179--200, 282(2)231--257, 287(2)473--499,
291(1)3--28
-
Peleg, David, see Bar-Ilan, Judit,
see Bermond, Jean-Claude,
see Drori, Limor
-
Peleg:2002:LMC, 282(2)231--257
-
Pellegrini, Marco, 287(2)501--514
-
Pellegrini, Marco, see Finocchiaro, Daniele V.
-
Peltier, Nicolas, 323(1)267--320
-
Peltier:2004:FOT, 323(1)267--320
-
Penaud, Jean-Guy, 233(1)201--215, 255(1)345--361
-
Penaud, Jean-Guy, see Lungo, Alberto Del
-
Penaud:2001:CSH, 255(1)345--361
-
Peng, Sheng-Lung, 240(2)429--446, 301(1)381--397
-
Peng, Sheng-Lung, see Lu, Chin Lung
-
Peng, Shou-Li, 306(1)123--137
-
Peng, Shou-Li, see Zhang, Liang
-
Peng:2000:ENS, 240(2)429--446
-
PER, 316(1)215--224
-
Peralta, René, 235(1)43--57, see Boyar, Joan
-
perceptron, 299(1)65--79
-
Pereira, Fernando, 231(1)17--32
-
Pereira, Fernando, see Mohri, Mehryar
-
Perennes, Stephan, 233(1)165--189
-
Perennes, Stephan, see Bermond, Jean-Claude
-
Perennes, Stéphane, 291(1)3--28,
see Bermond, Jean-Claude
-
Pérez-Díaz, Sonia, 315(2)627--650
-
Perez-Diaz:2004:PAA, 315(2)627--650
-
perfect, 235(2)309--324, 235(2)339--356, 244(1)167--188, 294(3)473--488,
299(1)179--210, 303(2)333--351, 307(2)303--317
-
perfectly, 321(2)171--194
-
perform, 240(2)319--335
-
performance, 274(1)43--87, 279(1)3--27, 287(1)167--185, 289(1)629--647,
290(1)117--160, 326(1)399--408
-
performed, 315(2)469--510
-
Pergola, E., 270(1)643--657, 307(2)327--335
-
Pergola, E., see Ferrari, L.
-
Pergola, Elisa, 255(1)345--361, 281(1)351--367
-
Pergola, Elisa, see Ferrari, Luca,
see Penaud, Jean-Guy
-
Pergola:2002:AAF, 270(1)643--657
-
perhaps, 249(2)343--355
-
period, 262(1)269--284, 262(1)557--568, 304(1)443--447, 314(1)189--216,
315(2)419--452, 326(1)229--240
-
periodic, 245(2)175--202, 283(1)171--182, 289(1)573--590, 304(1)1--33,
310(1)117--134
-
periodic, Quasi-, 319(1)127--143
-
periodicity, 262(1)269--284, 295(1)107--121, 313(3)417--425,
313(3)463--472, 319(1)229--240
-
periodicity, almost-, 231(2)205--215
-
periodicity, arithmetic-, 313(3)463--472
-
Perkovi{\'c}, Ljubomir, 320(2)213--228,
see Berthiaume, A. André
-
permit, 279(1)3--27
-
permitting, 270(1)959--967
-
permutation, 243(1)185--197, 244(1)257--261, 259(1)597--611,
263(1)139--143, 270(1)111--124, 281(1)235--249, 306(1)85--100,
306(1)139--154, 307(1)173--178, 307(2)415--431, 321(2)271--281
-
permutation-path, 297(1)119--143
-
Peron, Adriano, 233(1)1--18, 290(1)465--498
-
Peron, Adriano, see Maggiolo-Schettini, Andrea,
see Monti, Angelo
-
perpetual, 266(1)737--772
-
Persiano, Pino, 266(1)887--934, 270(1)361--399, 289(1)355--399
-
Persiano, Pino, see Auletta, Vincenzo,
see Caragiannis, Ioannis
-
perspective, 265(1)199--225, 289(1)649--703, 323(1)235--266
-
PERT, 292(1)145--164
-
pessimal, 297(1)103--117
-
Pessoa, Artur Alves, 287(2)571--584, 306(1)339--351
-
Pessoa, Artur Alves, see Laber, Eduardo Sany,
see Milidiú, Ruy Luiz
-
Peter, Manfred, 301(1)285--312
-
Peter:2003:ADE, 301(1)285--312
-
Peters, Thomas J., 305(1)3--15
-
Peters, Thomas J., see Amenta, Nina
-
Peth{\H{o}}, Attila, 270(1)921--933, see Akiyama, Shigeki
-
Petit, Antoine, 321(2)291--345
-
Petit, Antoine, see Bouyer, Patricia
-
Petitot, M., 273(1)271--282
-
Petitot, M., see Bigotte, M.
-
Petkovi{\'c}, Tatjana, 324(1)87--105
-
Petkovic:2004:UAS, 324(1)87--105
-
Petkov{\v{s}}ek, Marko, 307(2)257--276,
see Bousquet-Mélou, Mireille
-
Petre, Ion, 289(1)705--725, 292(1)199--219
-
Petre, Ion, see Ehrenfeucht, Andrzej,
see Karhumäki, Juhani
-
Petreschi, Rossella, 285(1)1
-
Petreschi, Rossella, see Bongiovanni, Giancarlo
-
Petri, 243(1)1--34, 243(1)409--447, 256(1)3--21, 256(1)23--30,
258(1)573--598, 275(1)127--177, 308(1)145--197, 323(1)129--189
-
Petri-net-based, 328(3)245--269
-
Pettie, Seth, 312(1)47--74
-
Pettie:2004:NAA, 312(1)47--74
-
Pévédic, Brigitte Le, 267(1)121--129,
see Maurel, Denis
-
Peyrière, Jacques, 329(1)251--269
-
Peyriere:2004:FCM, 329(1)251--269
-
PEZ, 306(1)69--84
-
Pfenning, Frank, 232(1)133--163, 266(1)1--57, 290(2)1175--1199
-
Pfenning, Frank, see Cervesato, Iliano,
see Colby, Christopher,
see Schürmann, Carsten
-
Pham, 315(2)593--625
-
Phan, Ha Duong, 262(1)525--556, 270(1)827--841, 322(2)383--407
-
Phan, Ha Duong, see Goles, Eric,
see Goles, Éric,
see Latapy, Matthieu
-
phase, 249(2)243--263, 265(1)3--67, 265(1)199--225, 265(1)265--283,
294(3)525--549, 302(1)417--430, 318(3)409--433
-
phenomena, 265(1)147--157, 287(2)359--385
-
Philipose, Matthai, 248(1)147--199
-
Philipose, Matthai, see Grant, Brian
-
philosophical, 317(1)251--267
-
phylogeny, 244(1)167--188
-
physicist, 265(1)79--108
-
pi, 308(1)55--130
-
pi-calculus, 258(1)131--168, 311(1)121--163
-
pi-congruences, 269(1)83--134
-
Piazza, C., 325(1)45--67
-
Piazza, C., see Antoniotti, M.
-
Piazza, Carla, 311(1)221--256
-
Piazza, Carla, see Dovier, Agostino
-
Pichler, Reinhard, 290(1)1021--1056
-
Pichler:2002:EVI, 290(1)1021--1056
-
Picouleau, C., 255(1)437--447
-
Picouleau:2001:RDT, 255(1)437--447
-
picture, 233(1)51--74, 237(1)183--195, 246(1)1--51, 270(1)1--70,
270(1)969--976, 301(1)313--320, 303(2)353--374
-
piece, 270(1)525--560
-
piecewise, 255(1)687--696, 263(1)263--274
-
Pietracaprina, Andrea, 270(1)309--324
-
Pietracaprina, Andrea, see Herley, Kieran T.
-
Pietro, Pierluigi San, 270(1)463--491, 299(1)413--438
-
Pietro, Pierluigi San, see Cherubini, Alessandra,
see Dang, Zhe
-
pigeonhole, 295(1)27--39, 303(1)233--243
-
Pighizzini, Giovanni, 286(1)117--138, 295(1)189--203
-
Pighizzini, Giovanni, see Choffrut, Christian,
see Geffert, Viliam
-
Pijls, Wim, 252(1)197--215
-
Pijls:2001:GTA, 252(1)197--215
-
piles, 262(1)525--556
-
Pin, Jean-Eric, 292(1)317--342, 293(1)1--2
-
Pin, Jean-Eric, see Gaubert, Stephane
-
Pin, Jean-Éric, 312(2)433--461,
see Gómez, Antonio Cano
-
Pin:2003:ATC, 292(1)317--342
-
Pinna, G. M., 323(1)129--189
-
Pinna, G. M., see Baldan, P.
-
Pinotti, M. Cristina, 250(1)235--245
-
Pinotti, M. Cristina, see Brodal, Gerth St{\o}ting
-
Pintér, Márta, 284(1)181--196
-
Pinter:2002:RCE, 284(1)181--196
-
Pinzani, R., 270(1)643--657
-
Pinzani, R., see Pergola, E.
-
Pinzani, Renzo, 255(1)345--361, 281(1)351--367
-
Pinzani, Renzo, see Ferrari, Luca,
see Penaud, Jean-Guy
-
pipeline, 306(1)339--351
-
pipelined, 279(1)3--27
-
pipelined, non-, 279(1)3--27
-
pirates, 273(1)295--304
-
Pirillo, Giuseppe, 255(1)363--376, 255(1)539--553, 276(1)281--313
-
Pirillo, Giuseppe, see Droubay, Xavier,
see Justin, Jacques
-
Pistore, Marco, 269(1)47--82
-
Pistore, Marco, see Corradini, Flavio
-
Pita, Isabel, 285(2)407--439
-
Pita:2002:MSO, 285(2)407--439
-
Piterman, Nir, 295(1)295--321
-
Piterman:2003:BA, 295(1)295--321
-
Pitts, Andrew M., 323(1)473--497
-
Pitts, Andrew M., see Urban, Christian
-
Pixton, Dennis, 234(1)135--166
-
Pixton:2000:SAF, 234(1)135--166
-
place, 289(1)1--49
-
place, in-, 237(1)159--181, 302(1)191--210
-
placement, 243(1)269--288, 258(1)555--571
-
placing, 285(1)89--99
-
plan, 259(1)245--269, 281(1)251--289
-
planar, 233(1)201--215, 237(1)1--32, 243(1)243--268, 255(1)659--665,
263(1)345--354, 281(1)251--289, 288(2)217--235, 292(3)679--695,
307(2)221--239, 307(2)337--363, 310(1)355--363, 321(1)25--40
-
planarity, 320(2)331--344
-
Plandowski, Wojciech, 245(2)151--173, 292(1)237--243
-
Plandowski, Wojciech, see Chlebus, Bogdan S.,
see Karhumäki, Juhani
-
plane, 235(1)145--162, 259(1)99--128, 283(1)151--170, 283(1)183--201,
289(1)335--354, 296(2)327--364, 303(2)333--351, 303(2)353--374,
303(2)417--430, 307(2)337--363, 319(1)145--176, 319(1)203--227,
319(1)367--384, 319(1)455--482
-
planning, 252(1)45--82, 263(1)235--245
-
play, 313(3)315--324
-
played, 304(1)387--399, 304(1)401--419
-
player, Three-, 233(1)263--278
-
playing, 252(1)105--119, 282(2)285--302
-
PLC-automata, 253(1)61--93
-
Pless, Robert, 242(1)237--245
-
Pless, Robert, see Khuller, Samir
-
Plotkin, Serge A., 233(1)297--308
-
Plotkin, Serge A., see Feder, Tomás
-
Plotkin, Tatjana, 242(1)1--27
-
Plotkin, Tatjana, see Kraus, Sarit
-
Pluhár, András, 270(1)865--875
-
Pluhar:2002:ARG, 270(1)865--875
-
plumber, 313(3)473--484
-
plus, 239(1)41--95, 315(2)405--417
-
Plus, Max-, 293(1)189--217
-
plus, max-, 293(1)141--167, 293(1)169--188, 327(3)349--373
-
plus, Post-, 255(1)85--105
-
Pnueli, A., 256(1)93--112
-
Pnueli, A., see Kesten, Y.
-
Pochuev, Denis, 235(1)43--57
-
Pochuev, Denis, see Boyar, Joan
-
Podolskiy, Viktor, 310(1)147--158
-
Podolskiy, Viktor, see Leung, Hing
-
poems, 292(2)497--524
-
Poensgen, Diana, 295(1)279--294, 352(1)347--348
-
Poensgen, Diana, see Krumke, Sven O.
-
poetic, 292(2)497--524
-
Poibeau, T., 267(1)131--140
-
Poibeau:2001:PNL, 267(1)131--140
-
point, 233(1)33--50, 235(1)145--162, 235(1)163--170, 238(1)483--488,
242(1)29--40, 259(1)183--197, 262(1)83--99, 263(1)17--29,
270(1)659--675, 272(1)315--339, 285(2)155--185, 287(2)501--514,
288(1)129--152, 291(2)159--182, 291(2)183--201, 295(1)341--370,
296(1)15--25, 296(1)75--87, 303(2)491--516, 305(1)347--408,
307(1)47--75, 307(2)385--401, 315(2)405--417, 321(2)415--421
-
point, floating-, 291(2)135--141
-
point-based, 310(1)479--488
-
point-free, 305(1)85--109
-
point-set, 305(1)473--489
-
Polarized, 290(1)161--188
-
Policriti, A., 325(1)45--67
-
Policriti, A., see Antoniotti, M.
-
Policriti, Alberto, 311(1)221--256, 322(1)147--173
-
Policriti, Alberto, see Dovier, Agostino,
see Formisano, Andrea
-
policy, 324(2)161--182
-
Poll, Erik, 291(3)329--349
-
Poll, Erik, see Jacobs, Bart
-
Pollett, C., 318(1)105--119
-
Pollett, C., see Danner, N.
-
polyatomic, 233(1)91--106, 259(1)81--98
-
polygon, 235(2)271--282, 237(1)213--238, 263(1)17--29, 263(1)113--121,
276(1)417--424, 289(2)879--895, 289(2)919--937, 307(2)385--401,
322(2)409--422
-
polyhedron, 235(2)267--270
-
Polymorphic, 278(1)111--140
-
polymorphism, 290(1)407--428
-
Polynat, 316(1)215--224
-
polynomial, 233(1)309--317, 234(1)301--308, 236(1)179--191,
237(1)105--122, 250(1)83--99, 259(1)577--596, 262(1)37--68,
262(1)241--256, 270(1)677--700, 276(1)1--15, 277(1)105--117,
279(1)29--49, 279(1)51--64, 283(1)223--242, 295(1)205--222,
296(1)15--25, 296(1)75--87, 297(1)3--23, 299(1)735--741,
300(1)235--258, 306(1)1--18, 306(1)543--551, 307(2)365--384,
315(2)335--369, 315(2)525--555, 315(2)651--669, 318(1)163--180,
320(2)465--483, 329(1)203--221
-
polynomial, almost-, 285(1)55--71
-
polynomial, Hyper-, 262(1)241--256
-
polynomial-query, 292(2)377--385
-
polynomial-time, 155(2)447--457, 246(1)265--278, 262(1)161--189,
268(2)179--198, 289(1)503--516, 298(1)179--206, 302(1)489--495,
318(1)3--27, 377(1)282--283
-
polynomially, 322(1)17--39
-
polynomials, Chebyshev-, 230(1)49--73
-
polyominoes, 307(2)319--325, 307(2)433--453, 319(1)333--356
-
polytope, 296(1)47--58
-
Pomello, Lucia, 290(1)637--668
-
Pomello, Lucia, see Bernardinello, Luca
-
pomsets, 247(1)1--38, 281(1)369--421, 299(1)347--386
-
Ponse, Alban, 269(1)203--229, 309(1)313--355
-
Ponse, Alban, see Bergstra, Jan A.
-
Ponty, J.-L., 231(1)89--101
-
Ponty:2000:ENF, 231(1)89--101
-
Poon, Chung Keung, 237(1)327--345, 296(3)487--510
-
Poon:2000:SLB, 237(1)327--345
-
Poon:2003:DOR, 296(3)487--510
-
Poorten, Alf van der, 233(1)309--317
-
Poorten, Alf van der, see Karpinski, Marek
-
Popov, V. Y., 304(1)443--447
-
Popov:2003:APP, 304(1)443--447
-
population, 310(1)181--231, 320(1)123--134
-
Porrot, Sylvain, 271(1)37--46
-
Porrot, Sylvain, see Durand, Bruno
-
Porst, H.-E., 311(1)257--283
-
Porst, H.-E., see Adámek, J.
-
Porter, Timothy, 323(1)235--266
-
Porter:2004:ISK, 323(1)235--266
-
Poset-valued, 315(1)83--107
-
posets, 235(2)225--237, 316(1)89--103, 316(1)225--258
-
position, 267(1)17--34, 299(1)151--178
-
positional, 230(1)207--219
-
positive, 241(1)191--209, 241(1)211--234, 289(1)861--869,
298(1)179--206, 303(1)171--185, 312(2)433--461, 315(2)469--510,
326(1)241--260, 327(1)175--195, 377(1)282--283
-
Positivstellensatz, 259(1)613--622
-
Positselsky, Semen Ye, 271(1)15--35
-
Positselsky, Semen Ye., see Muchnik, Andrej A.
-
possible, 279(1)3--27, 315(1)257--305
-
possibly, 322(1)85--136
-
Post, 231(2)157--170, 231(2)193--203, 276(1)183--204
-
Post-plus, 255(1)85--105
-
potential, 276(1)17--32, 279(1)3--27
-
Poulakidas, A. S., 240(2)447--469
-
Poulakidas:2000:ICF, 240(2)447--469
-
Poulalhon, Dominique, 307(2)385--401
-
Poulalhon:2003:BTP, 307(2)385--401
-
Powell, Olivier, 320(2)229--246
-
Powell:2004:NMP, 320(2)229--246
-
power, 237(1)135--148, 243(1)289--305, 244(1)117--134, 246(1)279--284,
255(1)363--376, 262(1)1--24, 263(1)305--310, 266(1)59--79,
266(1)543--567, 269(1)469--498, 288(2)277--307, 293(1)55--82,
293(2)243--259, 295(1)65--83, 295(1)371--386, 296(3)379--404,
297(1)25--36, 298(2)365--383, 300(1)411--475, 301(1)187--200,
306(1)101--112, 307(3)473--492, 308(1)1--53, 309(1)157--176,
314(3)445--449, 317(1)61--69, 319(1)441--446, 322(3)477--515,
323(1)321--350, 324(1)61--85
-
Power, John, 260(1)87--117, 278(1)303--321, 278(1)323--333,
280(1)137--162, 327(1)135--154
-
Power, John, see Johnstone, Peter,
see Lenisa, Marina
-
power, omega-, 259(1)533--548
-
power-free, 273(1)119--142
-
Power:2002:CMC, 280(1)137--162
-
Power:2002:FOD, 278(1)323--333
-
Power:2002:PCC, 278(1)303--321
-
powerdomain, 312(1)99--119, 328(3)221--244
-
powerlocale, 316(1)297--321
-
powerset, 254(1)363--377
-
PRA-provable, 257(1)185--239
-
practical, 250(1)125--141, 269(1)163--201, 292(2)465--479,
315(2)469--510
-
practice, 325(1)45--67
-
pragmatic, 291(1)79--101
-
PRAM, 255(1)555--568
-
Prangenberg, D., 233(1)91--106
-
Prangenberg, D., see Gardner, R. J.
-
Prasetya, I. S. W. B., 290(2)1201--1222
-
Prasetya:2002:FFT, 290(2)1201--1222
-
Pratt, V., 280(1)105--122
-
Pratt, V., see Pavlovi, D.
-
Pratt, Vaughan, 294(3)439--471
-
Pratt:2003:CSS, 294(3)439--471
-
pre-determinization, 328(1)3--18
-
precedence, 290(3)1883--1895, 292(3)639--652
-
Precise, 293(3)557--577, 311(1)325--388
-
precisely, 305(1)221--235
-
precision, 296(1)15--25, 315(2)469--510
-
preconditioners, 315(2)557--579
-
precongruence, 243(1)391--408, 254(1)35--61
-
predicative, 250(1)83--99
-
predictable, 315(2)405--417
-
Predicting, 261(1)179--209, 288(2)217--235
-
prediction, 267(1)121--129, 287(1)209--217
-
predictive, 268(2)323--349, 271(1)181--200
-
predictors, 279(1)3--27
-
preemptive, 262(1)437--458, 302(1)239--256
-
Preface, 249(2)241--241, 253(1)1--1, 256(1)1--2, 263(1)1--1, 268(1)1--1,
272(1)1--2, 273(1)1--3, 281(1)1, 283(1)1, 285(2)119--120, 286(1)1,
286(2)151, 287(1)1--2, 287(2)355--357, 288(2)195--196, 291(1)1,
291(2)133--134, 291(3)219--221, 292(2)343--344, 294(1)1--1,
294(3)333--333, 296(1)1--2, 297(1)1--1, 298(2)273--273,
298(3)385--386, 307(1)1--1, 307(2)219--220, 312(1)1--2,
313(3)313--313, 315(2)307--308, 316(1)1--2, 320(1)1--2, 321(1)1--3,
322(3)423--426, 325(1)1--2, 325(2)169--169, 325(3)345--346,
327(1)1--2
-
prefix, 262(1)101--115, 289(1)755--782, 313(2)295--312
-
prefixed, 295(1)341--370
-
Preis, R., 320(2)155--174
-
Preis, R., see Bezrukov, S.
-
Premonoidal, 278(1)303--321
-
preorder, 239(1)97--139, 243(1)391--408, 273(1)225--248, 282(1)33--51
-
Preparata, Franco P., 255(1)423--436
-
Preparata, Franco P., see Fischer, Paul F.
-
preprocessing, substring-, 290(1)59--78
-
Presburger, 299(1)413--438, 313(1)17--29
-
Prescott, David M., 292(1)199--219
-
Prescott, David M., see Ehrenfeucht, Andrzej
-
presence, 240(2)319--335, 289(1)573--590, 298(3)557--581,
313(3)377--392
-
present, 315(2)469--510
-
presentation, 259(1)199--216, 260(1)27--55, 284(2)539--555,
311(1)257--283, 315(2)469--510
-
presented, 275(1)427--462
-
présentés, 250(1)265--332
-
Presenting, 316(1)225--258
-
preservation, 283(1)109--150, 328(3)245--269
-
preserve, 327(3)301--317
-
preserving, 212(1)261--303, 242(1)477--498, 266(1)997--998,
304(1)315--339
-
preserving, breaking-, 313(3)427--446
-
presheaf, 294(1)151--181, 300(1)47--89
-
Presorting, 242(1)29--40
-
Presser, Gero, 305(1)43--76
-
Presser, Gero, see Brattka, Vasco
-
Priami, C., 325(1)111--140
-
Priami, C., see Curti, M.
-
Priami, Corrado, 275(1)259--282, 283(2)271--304, 325(1)1--2
-
Priami, Corrado, see Bodei, Chiara,
see Degano, Pierpaolo
-
Priami:2004:P, 325(1)1--2
-
Prieur, Christophe, 250(1)71--82, 276(1)445--447, 292(1)45--63,
327(3)349--373
-
Prieur, Christophe, see Béal, Marie-Pierre,
see Klimann, Ines
-
Prieur:2001:HDC, 250(1)71--82
-
Prieur:2002:NHD, 276(1)445--447
-
primal, 323(1)267--320
-
primality, 297(1)25--36, 322(1)203--219
-
prime, 257(1)185--239, 259(1)341--357, 295(1)27--39, 303(1)53--62
-
primitive, 266(1)1--57, 266(1)159--193, 283(2)271--304, 300(1)477--504,
301(1)1--30, 301(1)439--450, 306(1)139--154, 307(1)47--75,
322(1)221--230
-
primitive-recursion, 318(1)181--196
-
principal, 247(1)277--290
-
Principality, 311(1)1--70
-
principle, 231(1)17--32, 266(1)773--818, 295(1)27--39, 303(1)233--243,
311(1)285--323, 322(1)5--16
-
printing, 328(1)39--51
-
prior, 292(2)431--446
-
priori, 270(1)561--590
-
priority, 202(1)1--54, 254(1)691--694, 262(1)133--144, 301(1)119--142
-
Prisco, Roberto, De, 243(1)35--91
-
Prisner, Erich, 233(1)287--295
-
Prisner, Erich, see Goles, Eric
-
Private, 306(1)69--84, 322(3)427--476
-
probabilistic, 230(1)149--166, 233(1)191--199, 261(1)91--117,
264(1)155--167, 266(1)513--541, 268(2)275--322, 270(1)561--590,
270(1)739--760, 275(1)481--519, 282(1)33--51, 282(1)191--219,
287(1)59--71, 289(2)963--976, 290(1)355--406, 292(1)65--84,
304(1)59--86, 311(1)71--103, 312(1)99--119, 312(2)189--201,
320(2)449--464, 327(1)3--22, 328(3)221--244
-
probability, 202(1)1--54, 247(1)191--212, 254(1)691--694,
259(1)323--339, 261(1)57--79, 282(1)101--150, 293(3)507--534,
295(1)3--25, 299(1)37--63, 315(2)525--555
-
problem, MUTEX-, 275(1)589--631
-
Probst, Dieter, 254(1)677--681
-
Probst:2001:HNJ, 254(1)677--681
-
procedure, 231(1)89--101, 254(1)63--94, 266(1)489--512, 290(1)291--353,
292(1)45--63, 295(1)85--106, 300(1)301--329, 315(2)335--369
-
process, 202(1)1--54, 238(1)161--181, 238(1)313--345, 238(1)389--437,
239(1)97--139, 243(1)1--34, 244(1)135--165, 254(1)1--33,
254(1)691--694, 256(1)113--144, 258(1)393--407, 258(1)409--433,
266(1)605--630, 266(1)631--652, 266(1)693--735, 266(1)839--852,
266(1)935--950, 269(1)203--229, 274(1)3--41, 274(1)43--87,
274(1)231--276, 275(1)481--519, 278(1)195--221, 281(1)31--36,
281(1)369--421, 282(1)5--32, 282(1)33--51, 283(2)271--304,
290(1)117--160, 290(1)241--264, 290(1)355--406, 290(1)695--740,
297(1)241--260, 304(1)157--183, 317(1)93--104, 318(3)323--354
-
processes, PA-, 274(1)89--115
-
processing, 258(1)99--129, 281(1)499--536
-
processor, 292(3)639--652, 310(1)527--537
-
Prodinger, Helmut, 289(1)51--67, 297(1)261--270, 304(1)59--86,
307(2)319--325, 319(1)307--331
-
Prodinger, Helmut, see Deutsch, Emeric,
see Grabner, P. J. Peter J.,
see Grabner, Peter J., \see{Louchard, Guy
-
Prodon, Alain, 263(1)9--16
-
Prodon, Alain, see Fukuda, Komei
-
producing, 315(2)405--417
-
product, 245(1)103--113, 292(1)317--342, 294(1)103--149
-
product, cube-, 245(1)103--113
-
product-based, 315(2)469--510
-
productions, 237(1)423--427
-
profile, 315(2)453--468
-
program, 238(1)131--159, 238(1)347--362, 241(1)211--234, 245(1)135--148,
248(1)201--210, 248(1)243--287, 253(1)119--152, 254(1)259--271,
254(1)273--296, 254(1)543--556, 255(1)449--481, 260(1)165--207,
264(1)127--137, 266(1)59--79, 266(1)441--461, 266(1)489--512,
266(1)513--541, 267(1)141--155, 268(2)179--198, 269(1)135--162,
271(1)131--143, 275(1)283--310, 277(1)185--217, 281(1)109--130,
282(1)151--190, 282(1)191--219, 284(1)143--160, 290(1)831--862,
293(3)557--577, 298(3)557--581, 305(1)187--219, 308(1)199--226,
308(1)429--447, 311(1)325--388, 311(1)479--525, 315(1)61--81,
318(1)181--196, 323(1)49--70
-
programmable, 279(1)3--27
-
programmed, 296(2)225--251
-
programming, 47(2)149--158, 127(1)181--186, 236(1)1--1, 241(1)3--23,
248(1)211--242, 254(1)663--676, 258(1)1--98, 258(1)233--267,
259(1)217--231, 261(1)179--209, 269(1)363--417, 278(1)25--51,
278(1)223--255, 281(1)207--217, 285(2)187--243, 290(1)499--529,
300(1)91--160, 311(1)527--527, 315(1)1--2, 318(1)139--161,
325(1)3--24
-
Proietti, Guido, 296(1)167--177, 326(1)137--153
-
Proietti, Guido, see Böckenhauer, Hans-Joachim,
see Nardelli, Enrico
-
projections, 255(1)437--447
-
Prolog, 241(1)211--234
-
proof, 232(1)121--132, 232(1)133--163, 232(1)165--186, 232(1)187--229,
232(1)231--272, 234(1)287--300, 236(1)35--132, 243(1)477--487,
254(1)317--335, 258(1)169--208, 258(1)269--297, 259(1)81--98,
259(1)613--622, 263(1)355--377, 266(1)365--405, 272(1)177--195,
272(1)293--314, 275(1)575--587, 275(1)675--698, 281(1)471--498,
281(1)555--608, 282(1)53--99, 288(1)45--83, 288(1)181--193,
290(1)1107--1113, 292(3)575--588, 294(3)335--351, 300(1)365--378,
303(1)83--102, 303(1)187--213, 306(1)269--289, 307(2)277--302,
308(1)227--237, 310(1)365--378, 323(1)49--70
-
proof-nets, 290(1)161--188, 294(3)379--409, 294(3)473--488
-
proof-number, 313(3)511--525
-
Proof-search, 232(1)5--53
-
Proof-term, 266(1)407--440
-
proof-theoretic, 300(1)365--378, 329(1)159--176
-
propagating, 299(1)289--306
-
propagation, 243(1)269--288
-
property, 233(1)51--74, 235(1)89--107, 237(1)347--380, 239(2)277--308,
242(1)477--498, 243(1)339--361, 250(1)101--124, 258(1)169--208,
262(1)117--131, 262(1)669--697, 268(2)367--393, 273(1)197--224,
276(1)355--375, 283(1)243--268, 284(2)241--257, 284(2)499--518,
289(1)425--456, 289(2)919--937, 289(2)997--1008, 290(1)499--529,
290(1)637--668, 290(1)863--936, 291(3)285--327, 292(1)33--43,
293(1)55--82, 293(1)83--113, 294(3)489--524, 299(1)663--685,
301(1)79--101, 301(1)313--320, 302(1)457--466, 303(1)215--231,
303(2)491--516, 304(1)365--385, 306(1)19--38, 307(3)515--529,
314(1)251--279, 319(1)103--126, 322(1)69--84, 325(2)249--271,
326(1)1--28
-
propositional, 243(1)185--197, 288(1)181--193, 289(1)591--627
-
Propp, James, 233(1)263--278, 303(2)267--301
-
Propp:2000:TPI, 233(1)263--278
-
Propp:2003:GDS, 303(2)267--301
-
Proskurowski, Andrzej, 236(1)179--191
-
Proskurowski, Andrzej, see Dessmark, Anders
-
protein, 303(1)35--51, 322(2)297--312
-
protocol, 258(1)555--571, 283(2)419--450, 290(1)1057--1106,
291(3)223--283, 299(1)451--475, 300(1)379--409, 321(1)73--94,
328(1)19--37
-
Prouhet, 307(1)179--197
-
provability, 232(1)273--298
-
provable, PRA-, 257(1)185--239
-
provably, 290(2)1175--1199
-
proved, 328(3)355--361
-
proven, 315(2)405--417
-
prover, 282(1)53--99
-
proving, 266(1)81--112, 267(1)141--155
-
Prügel-Bennett, Adam, 320(1)135--153
-
Prugel-Bennett:2004:WGA, 320(1)135--153
-
Pruhs, Kirk, 324(2)325--335
-
Pruhs, Kirk, see Becchetti, Luca
-
Pruhs, Kirk R., 233(1)319--325
-
Pruhs, Kirk R., see Kalyanasundaram, Bala
-
Pruim, Randall, 262(1)241--256
-
Pruim, Randall, see Fenner, Stephen
-
pruning, 252(1)177--196, 261(1)179--209, 288(2)217--235
-
Przymusinski, Teodor C., 258(1)523--553
-
Przymusinski, Teodor C., see Brass, Stefan
-
pseudo-code, 315(2)469--510
-
Pseudo-minimal, 231(1)129--139
-
pseudoknotted, 320(1)35--50
-
pseudorandom, 273(1)249--261, 306(1)139--154
-
pseudorandomness, 255(1)205--221, 276(1)449--459
-
PSPACE, 292(3)575--588
-
PSPACE-complete, 242(1)247--281, 270(1)895--911, 289(1)829--843
-
PTAS, 304(1)237--247
-
Public, 289(1)401--423
-
public-key, 255(1)401--422, 287(2)535--561
-
Publications, 292(1)3--7
-
Pucci, Geppino, 270(1)309--324
-
Pucci, Geppino, see Herley, Kieran T.
-
Pucella, Riccardo, 266(1)543--567, 327(1)23--44
-
Pucella, Riccardo, see Chen, Hubie
-
Pucella:2001:EPF, 266(1)543--567
-
Pudlák, Pavel, 235(1)89--107, 295(1)323--339,
see Codenotti, Bruno
-
Pudlak:2003:RSD, 295(1)323--339
-
Pugliese, Rosario, 238(1)389--437, 240(1)215--254, 266(1)237--248
-
Pugliese, Rosario, see Boreale, Michele,
see Nicola, Rocco De
-
Puitg, François, 234(1)1--57
-
Puitg:2000:FMH, 234(1)1--57
-
pullback, 316(1)225--258
-
Pulleyblank, William R., 287(2)563--570
-
Pulleyblank, William R., see Gaillard, Arlette
-
Pultr, Ale, 295(1)1--1
-
Pultr, Ale, see Sgall, Ji{\v{r}}{\'\i}
-
pumping, 270(1)959--967
-
pure, 266(1)773--818, 269(1)317--361, 322(3)477--515
-
purported, 315(2)405--417
-
purpose, 259(1)455--473, 259(1)679--688, 315(2)469--510
-
pushdown, 256(1)3--21, 259(1)475--492, 302(1)93--121, 313(1)57--71
-
PVS, 291(2)203--218
-
Pym, David, 232(1)299--333
-
Pym, David, see Ritter, Eike
-
Pym, David J., 232(1)5--53, 315(1)257--305
-
Pym, David J., see Galmiche, Didier
-
Pym:2004:PWR, 315(1)257--305