Index file section P for lncs1991.bib

Last update: Sun Jun 12 02:46:39 2016

Return to index directory

P

P, 560(0)261--z
{P}-complete, 510(0)556--z
{P}-semiflows, 483(0)79--z
Paakki, J., 528(0)243--z
Paakki:1991:PSI, 528(0)243--z
Paass, G., 521(0)76--z, 548(0)267--z
Paass:1991:PDRa, 521(0)76--z
Paass:1991:PDRb, 548(0)267--z
Pachowicz, P., 542(0)286--z
Pachowicz, P., see Bala, J.
Package, CAD-, 550(0)101--z
Packages, 499(0)338--z
Packet, 546(0)380--z
packing, 496(0)160--z
Paderni, M., 549(0)238--z
Paderni, M., see Giordana, A.
Paech, B., 520(0)377--z
Paech:1991:ETL, 520(0)377--z
pair, 497(0)471--z, 534(0)266--z, 557(0)364--z
Pairing, 510(0)291--z
Pais, John, 515(0)155--z
Pais, John, see Jackson, Peter
Pak, E. V., 504(0)385--z
Pak, E. V., see Zamulin, A. V.
Pakzad, S. H., 505(0)321--z
Pakzad, S. H., see Hurson, A. R.
Pal, Sudebkumar Prasant, 560(0)369--z
Pal, Sudebkumar Prasant, see Ghosh, Subir Kumar
Palamidessi, C., 506(0)238--z, 527(0)111--z, 527(0)127--z
Palamidessi, C., see de Boer, F. S., see Haridi, S.
Palotti, R., 499(0)384--z
Palotti, R., see Colombini, C.
Palsberg, Jens, 512(0)325--z
Palsberg:1991:WTS, 512(0)325--z
Pam, 575(0)136--z
Pan, V., 510(0)520--z
Pan, V., see Bini, D.
Panayirci, E., 539(0)434--z
Panayirci, E., see Ucan, O. N.
Pancake, 497(0)360--z
Pandora, 569(0)83--z
PANEL, 567(0)383--z
Panel, 525(0)471--z, 532(0)41--z, 536(0)127--z, 550(0)465--z
Pantazis, D., 498(0)307--z
Pantazis, D., see McBrien, P.
Pantziou, G. E., 510(0)327--z
Pantziou, G. E., see Djidjev, H. N.
Paoli, F., De, 550(0)266--z
Papadimitriou, C. H., 557(0)1--z
Papadimitriou, Christos H., 560(0)360--z
Papadimitriou:1991:DMI, 557(0)1--z
Papadimitriou:1991:DSC, 560(0)360--z
Papahristos, S., 498(0)461--z
Papahristos:1991:FCE, 498(0)461--z
paper, 514(0)2--z, 516(0)26--z, 516(0)64--z, 516(0)162--z, 516(0)206--z
PAPETRI, 531(0)13--z
Papini, O., 548(0)272--z
Papini:1991:RPC, 548(0)272--z
paraconsistent, 535(0)214--z
paradigm, 496(0)124--z, 504(0)1--z, 506(0)59--z, 507(0)385--z, 509(0)167--z, 527(0)111--z, 546(0)112--z, 555(0)15--z, 567(0)383--z
Paradise, 504(0)17--z
Paradox, 537(0)268--z
parallel, 496(0)145--z, 496(0)160--z, 496(0)165--z, 496(0)198--z, 496(0)226--z, 496(0)231--z, 496(0)242--z, 496(0)363--z, 496(0)381--z, 497(0)33--z, 497(0)197--z, 497(0)300--z, 497(0)323--z, 497(0)360--z, 497(0)372--z, 497(0)415--z, 497(0)443--z, 497(0)455--z, 497(0)462--z, 497(0)484--z, 497(0)520--z, 499(0)110--z, 503(0)3--z, 503(0)44--z, 503(0)99--z, 503(0)112--z, 503(0)149--z, 503(0)242--z, 503(0)294--z, 503(0)345--z, 503(0)424--z, 505(0)1--z, 505(0)6--z, 505(0)83--z, 505(0)270--z, 505(0)288--z, 505(0)338--z, 505(0)406--z, 506(0)75--z, 506(0)166--z, 506(0)313--z, 506(0)349--z, 506(0)454--z, 506(0)471--z, 507(0)125--z, 507(0)132--z, 507(0)147--z, 507(0)185--z, 507(0)220--z, 507(0)412--z, 508(0)341--z, 510(0)363--z, 510(0)405--z, 510(0)417--z, 510(0)520--z, 516(0)354--z, 519(0)92--z, 522(0)100--z, 523(0)50--z, 523(0)102--z, 523(0)538--z, 523(0)569--z, 527(0)1--z, 527(0)298--z, 527(0)510--z, 528(0)99--z, 529(0)61--z, 542(0)500--z, 545(0)234--z, 557(0)229--z, 557(0)375--z, 557(0)385--z, 560(0)319--z, 565(0)1--z, 565(0)398--z, 565(0)407--z, 569(0)1--z, 569(0)54--z
Parallel, OR-, 506(0)421--z, 506(0)439--z
parallel, Or-, 569(0)39--z, 569(0)146--z, 569(0)185--z
Parallel, Series-, 557(0)316--z
Parallel-Choice, 529(0)297--z
Parallelism, 496(0)150--z, 503(0)169--z, 569(0)173--z, 576(0)367--z
Parallelism, OR-, 506(0)403--z
parallelism, Or-, 569(0)132--z
Parallelizing, 567(0)318--z
Parallellism, And-, 567(0)191--z
Parallellism, OR-, 528(0)87--z
Parameswaran, N., 497(0)733--z
Parameswaran, N., see Sundararajan, V.
Parameter, 507(0)185--z, 507(0)220--z, 514(0)222--z, 539(0)19--z
Parameterisation, 534(0)274--z
Parametric, 508(0)249--z, 519(0)299--z
Parametricity, 523(0)313--z, 526(0)495--z
Paramodulation, 516(0)181--z
Paramonov, A. V., 547(0)482--z
Paramonov, A. V., see Gabidulin, E. M.
Paratesi, Guido Galli, de, 512(0)148--166
Parberry, I., 505(0)252--z
Parberry:1991:CCO, 505(0)252--z
Paredaens, J., 566(0)108--z
Paredaens:1991:GLD, 566(0)108--z
Paredis, J., 496(0)410--z
Paredis:1991:EDS, 496(0)410--z
Parente, D., 529(0)210--z
Parente, D., see Fachini, E.
Parentheses, 497(0)443--z
Parigot, Didier, 545(0)485--z
Parigot, Didier, see Jourdan, Martin
Paris, N., 505(0)83--z
Paris, N., see Hoogvorst, P.
Parisi-Presicce, F., 532(0)269--z, 532(0)292--z, 534(0)74--z
Parisi-Presicce, F., see Ehrig, H.
Parity, 537(0)582--z
Park, James K., 560(0)347--z
Park, James K., see Mansour, Yishay
Parker, Ken R., 531(0)126--z
Parker, Ken R., see Lai, Richard
Parkin, G. I., 551(0)526--z
Parkin:1991:SMS, 551(0)526--z
Parks, Dee, 507(0)322--z
Parks:1991:OCR, 507(0)322--z
Parlog, 528(0)171--z, 567(0)191--z
Parrow, J., 527(0)45--z
Parrow, J., see Milner, R.
PARSAC-2, 508(0)341--z, 539(0)206--z
Parser, 546(0)74--z
parsing, 529(0)146--z, 541(0)1--z, 541(0)76--z, 545(0)187--z, 546(0)63--z, 549(0)271--z, 549(0)291--z
Parsing, Chart-, 546(0)51--z
Parsons, S., 548(0)86--z
Parsons:1991:AP, 548(0)86--z
Part, 508(0)180--z, 533(0)156--z, 567(0)191--z, 575(0)365--z
Part-Whole, 512(0)288--z
partial, 497(0)231--z, 520(0)74--z, 520(0)387--z, 523(0)145--z, 523(0)165--z, 530(0)140--z, 531(0)176--z, 532(0)490--z, 539(0)434--z, 542(0)142--z, 548(0)171--z, 551(0)511--z, 575(0)332--z
Partial-Order, 531(0)146--z, 575(0)322--z
Partially, 510(0)242--z, 548(0)211--z
Participants, 576(0)24--z
partition, 514(0)106--z, 521(0)165--z, 529(0)220--z, 560(0)288--z, 565(0)335--z
Partitioning, 496(0)75--z, 496(0)165--z, 497(0)300--z, 519(0)379--z, 557(0)94--z
Partitioning, Bi-, 507(0)313--z
Partsch, H. A., 544(0)35--z
Partsch:1991:ACS, 544(0)35--z
party, 473(0)266--z, 547(0)522--z
Party, Two-, 576(0)44--z
Pascal, 526(0)447--z
Paschos, V. Th., 557(0)190--z, 560(0)278--z
Paschos, V. Th., see Benkouar, A.
Paschos:1991:TAS, 560(0)278--z
Pase, Bill, 551(0)389--z
Pase, Bill, see Craigen, Dan
Pash, 483(0)79--z, 483(0)113--z
Pasqualini, E., 511(0)154--z
Pasqualini, E., see Lemoine, D.
Passing, 519(0)129--z
Passing, Message-, 503(0)99--z, 507(0)357--z
Past, 504(0)1--z, 534(0)297--z, 550(0)1--z, 555(0)320--z, 563(0)72--z
Patarin, J., 514(0)193--z
Patarin, Jacques, 547(0)39--53, 576(0)301--213
Patarin, Jacques, see Camion, Paul
Patarin:1991:NRP, 576(0)301--213
Patarin:1991:PPB, 514(0)193--z
Patel, Suresh, 503(0)124--z
Patel:1991:PEJ, 503(0)124--z
Paterson, M. S., 519(0)65--z
Paterson, M. S., see Diaz, J.
Paterson, Ross, 523(0)124--z
Paterson, Ross, see Meijer, Erik
path, 496(0)381--z, 497(0)44--z, 497(0)169--z, 497(0)471--z, 508(0)180--z, 510(0)314--z, 510(0)327--z, 511(0)256--z, 519(0)189--z, 519(0)320--z, 519(0)331--z, 529(0)136--z, 531(0)76--z, 542(0)570--z, 553(0)309--z, 557(0)151--z, 557(0)336--z, 560(0)369--z, 566(0)312--z
path, Single-, 520(0)202--z
Path-Width, Proper-, 557(0)61--z
pathological, 511(0)444--z
pathology, 542(0)62--z
Pathwidth, 510(0)544--z
patient-image, 511(0)132--z
Patkar, Sachin B., 560(0)288--z
Patkar:1991:FAP, 560(0)288--z
Patney, R. K., 497(0)312--z
Patney, R. K., see Mittal, R.
Paton, R. C., 496(0)363--z
Paton:1991:TNM, 496(0)363--z
pattern, 510(0)739--z, 520(0)151--z, 520(0)267--z, 534(0)362--z, 542(0)338--z, 543(0)161--z, 543(0)178--z, 544(0)35--z
Paul, W. J., 528(0)195--z
Paul, W. J., see Kebler, C. W.
Paun, Gh., 535(0)48--z
Paun:1991:FGC, 535(0)48--z
Pavlovic, D., 530(0)173--z
Pavlovic:1991:CP, 530(0)173--z
Payment, 576(0)338--z
Paz, A., 532(0)610--z
Paz:1991:TGS, 532(0)610--z
Pazienza, M. T., 549(0)250--z
Pazienza, M. T., see Basili, R.
PC, 507(0)426--z
PCF, 510(0)35--z
PCPL, 567(0)405--z
PCTE, 509(0)69--z
Pearman, A. D., 521(0)510--z
Pearman:1991:FMT, 521(0)510--z
Pedersen, J. S., 551(0)645--z
Pedersen, J. S., see Chalmers, D. L.
Pedersen, P., 539(0)304--z, 539(0)318--z
Pedersen, Torben Pryds, 537(0)189--z, 547(0)221--z, 547(0)522--z, 576(0)129--140
Pedersen, Torben Pryds, see Boyar, Joan
Pedersen:1991:CMS, 539(0)304--z
Pedersen:1991:DPA, 547(0)221--z
Pedersen:1991:MST, 539(0)318--z
Pedersen:1991:NII, 576(0)129--140
Pedersen:1991:TCT, 547(0)522--z
Pedreschi, D., 566(0)129--z
Pedreschi, D., see Giannotti, F.
Pedreschi, Dino, 526(0)265--z
Pedreschi, Dino, see Apt, Krzysztof R.
Pedrycz, W., 548(0)161--z
Pedrycz, W., see Di Nola, A.
Peelman, P., 566(0)108--z
Peelman, P., see Paredaens, J.
Peizhong, L., 508(0)86--z
Peizhong:1991:FCG, 508(0)86--z
Peleg, D., 510(0)139--z, 519(0)343--z
Peleg, D., see Bar-Ilan, J., see Ben-Asher, Y.
Pelizzari, C. A., 511(0)132--z
Pelizzari:1991:IDP, 511(0)132--z
Pellegrini, M., 519(0)20--z
Pellegrini:1991:RSI, 519(0)20--z
Pena, R., 506(0)75--z
Pena, R., see Alonso, L. M.
Penjam, J., 502(0)65--z
Penjam, J., see Meriste, M.
Penny, David A., 551(0)11--z
Penny:1991:FSM, 551(0)11--z
Pensini, M. P., 565(0)157--z
Pensini:1991:FTS, 565(0)157--z
Pepper, P., 544(0)101--z
Pepper:1991:LPD, 544(0)101--z
Per, 519(0)42--z
Peralta, René, 473(0)11--z, see Davida, George I.
Percept, 542(0)236--z
Pereira, L. Moniz, 541(0)105--z, 541(0)237--z
Pereira, L. Moniz, see Calejo, M.
Pereira:1991:ESM, 541(0)105--z
Perelson, A. S., 496(0)320--z
Perelson, A. S., see Forrest, S.
Perez, R. Pino, 520(0)387--z
Perez:1991:EPC, 520(0)387--z
Perfect, 537(0)242--z, 547(0)378--z, 560(0)212--223
performance, 496(0)274--z, 497(0)276--z, 497(0)535--z, 499(0)147--z, 503(0)124--z, 503(0)259--z, 507(0)70--z, 507(0)132--z, 507(0)154--z, 507(0)385--z, 525(0)257--z, 525(0)277--z, 542(0)286--z, 550(0)189--z, 553(0)37--z, 555(0)124--z, 563(0)279--z, 569(0)104--z, 569(0)132--z
Performance, High-, 563(0)40--z
Periodic, 505(0)166--z, 508(0)36--z, 547(0)114--z
Periodically, 547(0)168--z
Perl, Yehoshua, 507(0)170--z
Perl:1991:CLA, 507(0)170--z
Perlis, D., 542(0)560--z, 542(0)589--z
Perlis, D., see Miller, M. J., \see{Nirkhe, M.
permutation, 473(0)140--z, 497(0)418--z, 497(0)628--z, 507(0)199--z, 510(0)405--z, 514(0)193--z, 529(0)190--z, 547(0)368--z, 557(0)2--z, 559-0-xii, 576(0)301--213
Permuted, 473(0)196--z
Pernici, B., 498(0)50--z
Pernici, B., see Fugini, M.
Perplexed, 575(0)322--z
Perret, M., 514(0)158--z, 539(0)333--z
Perret:1991:BSG, 539(0)333--z
Perret:1991:MCS, 514(0)158--z
Perrot, Jean-François, 512(0)288--z, see Wolinski, Francis
Persiano, Giuseppe, 473(0)46--z
Persiano, Giuseppe, see Santis, Alfredo De
persistence, 542(0)540--z, 548(0)182--z
Persistent, 512(0)77--z, 519(0)449--z, 523(0)569--z, 566(0)332--z, 566(0)453--z
Personal, 550(0)472--z, 555(0)243--z
perspectives, 549(0)218--z
Pertinence, 548(0)190--z
Pesch, E., 496(0)109--z
Pesch, E., see Ulder, N. L. J.
PET, 511(0)105--z
Petermann, U., 535(0)156--z
Petermann:1991:BET, 535(0)156--z
Peters, T. M., 511(0)65--z
Peters, T. M., see Henri, C. J.
Petersson, O., 529(0)329--z
Petersson, O., see Levcopoulos, C.
Petersson, Ola, 557(0)263--z
Petersson, Ola, see Moffat, Alistair
Petit, A., 510(0)254--z, 520(0)131--z
Petit, A., see Diekert, V., \see{Gastin, P.
Petri, 483(0)1--z, 483(0)47--z, 483(0)64--z, 483(0)186--z, 483(0)287--z, 483(0)313--z, 483(0)342--z, 499(0)125--z, 504(0)440--z, 506(0)110--z, 520(0)202--z, 524(0)29--z, 524(0)227--z, 524(0)296--z, 524(0)317--z, 527(0)172--z, 531(0)13--z, 531(0)96--z, 551(0)204--z, 575(0)103--z
{Petri}-net-based, 483(0)471--z
Petrin, P., 549(0)157--z
Petrin, P., see Bagnasco, C.
Petrucci, L., 524(0)93--z, 575(0)169--z
Petrucci, L., see Dimitrovici, C., see Finkel, A.
Petrucci, Laure, 531(0)13--z
Petrucci, Laure, see Berthelot, G.
Pettorossi, A., 528(0)347--z
Pettorossi, A., see Proietti, M.
Petukhin, V., 567(0)420--z
Petukhin, V., see Mantsivoda, A.
Pfalzgraf, J., 535(0)170--z
Pfalzgraf:1991:LFP, 535(0)170--z
Pfeffer, Patrick, 512(0)219--z
Pfeffer, Patrick, see Medeiros, Claudia Bauzer
Pfeiffer, Phil, 526(0)365--z
Pfeiffer:1991:ADB, 526(0)365--z
Pfitzmann, Birgit, 473(0)441--z, 576(0)338--z, 576(0)470--z
Pfitzmann, Birgit, see Bleumer, Gerrit, see Chaum, David
Pfitzmann:1991:HBR, 576(0)338--z
Ph., 564-0-viii
Phase, Three-, 507(0)336--z
Phenomena, 546(0)609--z
phenomenon, 535(0)99--z
Phoa, W., 530(0)219--z
Phoa, Wesley, 526(0)88--z
Phoa:1991:TMD, 526(0)88--z
Phoa:1991:TRS, 530(0)219--z
Phoneme, 507(0)65--z
photon, 511(0)45--z
Phrase, 546(0)200--z
Physical, 497(0)657--z
Physically-Based, 532(0)363--z
physics, 536(0)1--z, 565(0)364--z
pi-Calculus, 526(0)532--z
Piastra, M., 549(0)271--z
Piastra:1991:ECF, 549(0)271--z
Pictorial, 525(0)401--z
picture, 532(0)157--z
piecewise, 507(0)105--z, 507(0)300--z, 511(0)94--z
Pieprzyk, Józef P., 473(0)140--z, 547(0)431--445, 547(0)472--z, 547(0)542--z, see Sadeghiyan, Babak
Pieprzyk:1991:HCP, 473(0)140--z
Pieprzyk:1991:PAE, 547(0)542--z
Pieprzyk:1991:RAS, 547(0)472--z
Piera, N., 521(0)165--z
Piera, N., see Aguilar-Martin, J.
Pierantonio, A., 550(0)364--z
Pierantonio, A., see Presicce, F. Parisi
Pierce, Keith, 536(0)219--z
Pierce:1991:TSD, 536(0)219--z
Pietro, Pierluigi, San, 512(0)39--z
Pighizzini, G., 529(0)157--z
Pighizzini, G., see Bruschi, D.
Pilot, 499(0)362--z
Pin, Jean-Eric, 560(0)141--z
Pin, Jean-Eric, see Le Saec, Bertrand
Pinci, V. O., 524(0)227--z
Pinci:1991:ISD, 524(0)227--z
Pinkas, Benny, 537(0)421--z
Pinkas, Benny, see McInnes, James L.
Pinkowski, Ben, 507(0)51--z
Pinkowski:1991:TBA, 507(0)51--z
Pinto, P., de, 549(0)420--z
Pinzani, R., 529(0)126--z
Pinzani, R., see Barcucci, E.
Pipelined, Fully-, 497(0)421--z
Piquer, J. M., 505(0)150--z
Piquer:1991:IRC, 505(0)150--z
Piramuthu, S., 496(0)264--z
Piramuthu:1991:FCB, 496(0)264--z
Pirlein, Thomas, 546(0)703--z
Pirlein, Thomas, see von Luck, Kai
Pirotte, A., 504(0)251--z
Pirotte:1991:CGI, 504(0)251--z
Pirrone, R., 549(0)302--z
Pirrone, R., see Ardizzone, E.
Pitcairn, F. S., 536(0)75--z
Pitcairn, F. S., see Kelly, R. D.
Pitt, D., 571(0)529--z
Pitt, D., see Murphy, D.
Pivert, O., 521(0)431--z
Pivert, O., see Bosc, P.
Pixley, Carl, 531(0)54--z
Pixley:1991:ICT, 531(0)54--z
Pizer, S. M., 511(0)285--z, 511(0)474--z
Pizer, S. M., see Cromartie, R., see Lin, W. J.
Place, In-, 519(0)473--z, 529(0)329--z, 560(0)266--z
Placed, 506(0)92--z
Placement, 532(0)144--z, 539(0)368--z
places, 524(0)277--z
Plaice, J. A., 571(0)363--z
Plaice:1991:RGR, 571(0)363--z
Plaintext, 576(0)172--z
Plaintext, Known-, 473(0)318--z
Plan, 496(0)80--z, 566(0)43--z
Planar, 510(0)327--z, 510(0)339--z, 519(0)54--z, 519(0)286--z, 529(0)220--z, 553(0)141--z, 557(0)137--z, 557(0)336--z, 560(0)319--z
Plandowski, W., 529(0)370--z
Plandowski:1991:EAT, 529(0)370--z
plane, 519(0)437--z, 533(0)174--z, 553(0)27--z, 553(0)103--z
Planned, 555(0)298--z
Planner, 522(0)1--z, 522(0)27--z
planning, 496(0)381--z, 497(0)669--z, 498(0)356--z, 521(0)510--z, 522(0)13--z, 522(0)39--z, 522(0)64--z, 541(0)195--z, 541(0)210--z, 542(0)226--z, 542(0)589--z, 553(0)227--z, 566(0)524--z
plans, 522(0)53--z, 522(0)100--z, 522(0)112--z, 541(0)165--z, 542(0)358--z
Plant, 532(0)127--z, 532(0)564--z
Plasmeijer, M. J., 506(0)202--z, 516(0)354--z
Plasmeijer, M. J., see Nocker, E. G. J. M. H., see van Eekelen, M. C. J. D.
Plasmeijer, Rinus, 523(0)592--z
Plasmeijer, Rinus, see Smetsers, Sjaak
Plat, Nico, 551(0)81--z, 551(0)677--z
Plat:1991:CSA, 551(0)81--z
Plat:1991:DVS, 551(0)677--z
plate, Thin-, 511(0)326--z
Platform, 503(0)169--z
plausible, 521(0)279--z, 549(0)470--z
player, multi-, 542(0)62--z
Plaza, J. A., 542(0)600--z
Plaza:1991:CPL, 542(0)600--z
Pletat, Udo, 546(0)357--z, 546(0)402--z
Pletat, Udo, see Bollinger, Toni
Pletat:1991:KRL, 546(0)357--z
PLEXUS, 532(0)68--z
Pliuskevicius, R., 502(0)504--z
Pliuskevicius:1991:IFC, 502(0)504--z
Plotkin, G., 576(0)1--z
Plotkin, G., see Abadi, M.
Plotkin, Gordon, 526(0)1--z
Plotkin:1991:STC, 526(0)1--z
Plump, D., 532(0)622--z
Plump, Detlef, 516(0)307--z
Plump:1991:GRT, 532(0)622--z
Plump:1991:ITR, 516(0)307--z
Plunnecke, H., 524(0)317--z
Plunnecke:1991:BPN, 524(0)317--z
Plurality, 546(0)342--z
Plus, 516(0)287--z
Pnueli, A., 520(0)28--z, 526(0)244--z, 571(0)591--z
Pnueli, A., see Kesten, Y., \see{Manna, Z.
Pnueli:1991:WSS, 526(0)244--z
Poblete, P. V., 519(0)1--z
Poblete, P. V., see Cunto, W.
Pocket, 500(0)3--z
Pocock, John N., 509(0)53--z
Pocock:1991:VRO, 509(0)53--z
Podelski, A., 528(0)255--z
Podelski, A., see Ait-Kaci, H.
Podnieks, K., 502(0)111--z
Podnieks, K., see Freivalds, R.
Poel, M., 527(0)298--z
Poel, M., see Janssen, W.
Poetzsch-Heffter, A., 528(0)63--z
Poetzsch-Heffter:1991:LBS, 528(0)63--z
Poigne, A., 520(0)397--z
Poigne:1991:OMO, 520(0)397--z
point, 519(0)153--z, 519(0)202--z, 522(0)27--z, 538(0)1--z, 542(0)246--z, 546(0)464--z, 553(0)1--z, 553(0)103--z, 557(0)176--z, 557(0)364--z
Point, Fixed-, 516(0)383--z
Point-Counterpoint, 499(0)326--z
Point-Set, 557(0)137--z
pointer, 520(0)426--z
Poitrenaud, S., 521(0)548--z
Poitrenaud, S., see Cerf, M.
Poker, 473(0)374--z
Pokropek, A., Todd-, 511(0)165--z
Poli, A., 539(0)340--z
Poli:1991:ACG, 539(0)340--z
Policy, 498(0)307--z, 563(0)25--z
Polish, 544(0)79--z
Politano, J.-L., 514(0)385--z
Politano:1991:MRS, 514(0)385--z
Polka, 528(0)171--z
Pollard, S. B., 549(0)312--z
Pollard, S. B., see Burbello, F.
polycontextural, 535(0)170--z
polygon, 497(0)102--z, 510(0)661--z, 519(0)202--z, 519(0)249--z, 519(0)367--z, 519(0)412--z, 539(0)368--z, 553(0)203--z, 557(0)151--z, 557(0)176--z, 560(0)369--z
Polygonal, 553(0)249--z
Polyhedra, 553(0)113--z, 555(0)290--z
Polyhedron, 497(0)169--z
Polymorphic, 512(0)21--z, 523(0)367--z, 526(0)18--z
Polymorphism, 516(0)436--z, 523(0)379--z, 526(0)495--z, 530(0)219--z
polynomial, 508(0)222--z, 508(0)260--z, 508(0)280--z, 510(0)520--z, 526(0)447--z, 529(0)121--z, 532(0)538--z, 539(0)171--z, 539(0)195--z, 539(0)269--z, 539(0)352--z, 539(0)414--z, 557(0)104--z
Polynomial-Time, 539(0)218--z, 543(0)178--z
Polyphase, Pseudo-, 508(0)106--z
polytope, 519(0)214--z, 553(0)71--z
Pomello, L., 483(0)436--z
Pomello:1991:STP, 483(0)436--z
POMP, 505(0)83--z
POMSET, 575(0)343--z
Pomsets, 527(0)188--z
Ponse, A., 527(0)235--z
Ponse, A., see Groote, J. F.
Pontet, T., 548(0)277--z
Pontet:1991:CBA, 548(0)277--z
POOL-X, 503(0)193--z, 503(0)309--z
Pooley, R., 498(0)284--z
Pooley, R., see Hillston, J.
POOMA, 503(0)365--z, 503(0)396--z
Poon, C. K., 557(0)241--z
Poon, C. K., see Chan, M. Y.
Poor, 560(0)109--z
Population, 496(0)38--z, 496(0)150--z, 496(0)198--z, 565(0)398--z, 565(0)407--z
Porisini, A., Coen-, 550(0)266--z
Porrill, J., 549(0)312--z
Porrill, J., see Burbello, F.
Port, 557(0)43--z
Portable, 503(0)193--z
Portinale, L., 542(0)72--z
Portinale:1991:GHD, 542(0)72--z
Porto, A., 541(0)135--z, 541(0)180--z, 567(0)171--z
Porto, A., see David, G., \see{Ribeiro, C.
Portz, Michael, 547(0)302--z
Portz:1991:UIN, 547(0)302--z
Posegga, J., 541(0)195--z
Posegga, J., see Decker, M.
Posit-and-Prove, 551(0)63--z
Position, 546(0)621--z, 546(0)632--z, 553(0)27--z
Positive, 533(0)289--z, 557(0)104--z
Possibilistic, 515(0)87--z, 521(0)250--z, 521(0)260--z, 521(0)317--z, 535(0)112--z, 548(0)53--z
possibility, 535(0)11--z, 548(0)58--z, 548(0)176--z
Post, 525(0)183--z, 553(0)1--z
Postcondition, 551(0)428--z
Potential, 473(0)465--z, 525(0)183--z
Pottier, B., 505(0)69--z
Pottier, B., see Filloque, J. M.
Pottier, L., 520(0)287--z
Pottier, L., see Kounalis, E.
Potts, C., 550(0)495--z
Potts:1991:EAT, 550(0)495--z
power, 497(0)185--z, 508(0)197--z, 510(0)139--z, 510(0)204--z, 510(0)697--z, 520(0)426--z, 526(0)290--z, 532(0)328--z, 547(0)96--z
Powerful, 507(0)192--z
PPP, 498(0)194--z
Prabhu, G. M., 507(0)154--z
Prabhu, G. M., see Rover, Diane T.
Prabhu, Gurpur, 507(0)412--z
Prabhu, Gurpur, see Vogel, Gretchen
Practical, 497(0)47--z, 497(0)372--z, 502(0)360--z, 529(0)68--z, 537(0)576--z, 537(0)576--z--1, 547(0)266--z, 576(0)351--z, 576(0)445--z
practice, 550(0)472--z, 551(0)545--z, 555(0)192--z
Prade, H., 521(0)250--z, 548(0)33--z, 548(0)53--z
Prade, H., see Amarger, S., \see{Dubois, D.
Prade, Henri, 515(0)87--z
Prade, Henri, see Dubois, Didier
pragmatic, 521(0)370--z, 542(0)1--z
PRAM, 557(0)375--z
PRAMs, 505(0)304--z, 560(0)307--z
Pranevitchius, H., 502(0)433--z
Pranevitchius:1991:AAS, 502(0)433--z
Prasad, S., 497(0)443--z
Prasad, S., see Das, S. K.
Pratt, 544(0)35--z
Pre-and, 551(0)428--z
Pre-Scheduling, 563(0)102--z
Precautions, 473(0)465--z
Precedence, 510(0)417--z, 528(0)183--z
Precision, 521(0)548--z
Preclassification, 553(0)57--z
Precondition, 575(0)125--z
predicate, 520(0)277--z, 526(0)38--z, 528(0)287--z, 530(0)173--z, 531(0)116--z, 548(0)254--z, 549(0)440--z
Predicting, 497(0)642--z, 507(0)392--z, 550(0)308--z
prediction, 535(0)99--z
Predictions, 553(0)309--z
Preece, J., 555(0)256--z
Preece:1991:SUT, 555(0)256--z
Preemption, 571(0)87--z, 571(0)107--z
Preface, 551-0-v-z, 552-0-v-z
Preference, 521(0)154--z
Preferential, 548(0)344--z
preferred, 535(0)84--z
Prefix, 507(0)179--z
Prehn, Soren, 509(0)178--z
Prehn, Soren, see Bjorner, Dines
Preliminary, 498(0)375--z, 511(0)81--z, 537(0)366--z--1, 548(0)146--z, 548(0)190--z
Premises, 510(0)481--z
Preneel, Bart, 473(0)161--z, 547(0)141--z, 547(0)547--z
Preneel:1991:BFS, 547(0)141--z
Preneel:1991:PCB, 473(0)161--z
Preneel:1991:RIP, 547(0)547--z
preorder, 483(0)436--z, 526(0)152--z, 530(0)53--z, 575(0)181--z
Preprocessing, 496(0)284--z, 510(0)739--z, 547(0)71--z
Presburger, 533(0)95--z
presence, 514(0)337--z, 516(0)448--z, 516(0)454--z, 537(0)77--z, 539(0)434--z
Present, 534(0)297--z
Presentation, 550(0)465--z, 551(0)670--z, 553(0)37--z, 567(0)141--z
Presenting, 510(0)279--z
preservation, 524(0)277--z
Preserve, 496(0)75--z
preserved, 516(0)262--z
preserving, 483(0)1--z, 507(0)300--z, 510(0)495--z
Preserving, Truth-, 527(0)361--z
Presicce, F. Parisi, 550(0)364--z
Presicce, F., Parisi-, 532(0)269--z, 532(0)292--z, 534(0)74--z
Presicce:1991:AVI, 550(0)364--z
PRESS, 548(0)232--z
Presupposition, 546(0)259--z
Pribbenow, Simone, 546(0)609--z
Pribbenow:1991:PL, 546(0)609--z
Priese, L., 527(0)455--z
Priese, L., see Nolte, D.
Primality, 473(0)110--z, 547(0)512--z
Prime, 473(0)72--z, 537(0)616--618, 537(0)625--z, 547(0)328--z
Primitive, 504(0)311--z, 508(0)379--z, 539(0)352--z, 539(0)446--z, 547(0)547--z
Principal, 504(0)385--z, 526(0)633--z, 560(0)288--z
principle, 496(0)405--z, 542(0)152--z, 547(0)527--z, 568(0)1--z
Prinetto, P., 531(0)86--z
Prinetto, P., see Camurati, Paolo
prior, 511(0)81--z, 511(0)121--z
Priorities, 532(0)549--z, 575(0)147--z
prioritized, 535(0)112--z, 571(0)493--z
PRISMA, 503(0)169--z, 503(0)181--z, 503(0)229--z
PRISMAash, 503(0)424--z
prisoner, 496(0)388--z
Private, 537(0)421--z
PRIZ, 502(0)1--z
probabilistic, 502(0)565--z, 508(0)222--z, 510(0)115--z, 510(0)174--z, 519(0)481--z, 521(0)76--z, 529(0)287--z, 542(0)162--z, 547(0)542--z, 548(0)146--z, 548(0)182--z, 548(0)232--z, 548(0)262--z, 548(0)267--z, 548(0)292--z, 548(0)318--z, 548(0)333--z, 560(0)261--z, 575(0)310--z
probability, 496(0)23--z, 510(0)163--z, 514(0)6--z, 521(0)41--z, 529(0)350--z, 548(0)33--z, 548(0)48--z
probe, 511(0)8--z
Probert, R. L., 497(0)24--z
Probert:1991:CSC, 497(0)24--z
problem, 496(0)55--z, 496(0)70--z, 496(0)98--z, 496(0)109--z, 496(0)129--z, 496(0)188--z, 496(0)343--z, 496(0)363--z, 496(0)430--z, 496(0)445--z, 497(0)44--z, 497(0)66--z, 497(0)323--z, 497(0)421--z, 497(0)455--z, 497(0)471--z, 497(0)599--z, 507(0)111--z, 508(0)11--z, 510(0)314--z, 510(0)556--z, 510(0)629--z, 510(0)719--z, 510(0)751--z, 511(0)326--z, 514(0)42--z, 515(0)1--z, 519(0)65--z, 519(0)80--z, 519(0)105--z, 519(0)165--z, 519(0)189--z, 519(0)240--z, 519(0)286--z, 519(0)355--z, 519(0)392--z, 519(0)449--z, 520(0)211--z, 520(0)259--z, 520(0)287--z, 520(0)318--z, 520(0)337--z, 520(0)415--z, 521(0)260--z, 521(0)298--z, 521(0)469--z, 522(0)64--z, 529(0)45--z, 529(0)68--z, 529(0)86--z, 529(0)210--z, 529(0)258--z, 529(0)415--z, 530(0)94--z, 531(0)1--z, 531(0)146--z, 531(0)243--z, 533(0)95--z, 535(0)112--z, 537(0)169--z, 538(0)1--z, 543(0)208--z, 547(0)337--z, 550(0)512--z, 553(0)1--z, 553(0)217--z, 554(0)1--z, 555(0)298--z, 555(0)306--z, 557(0)22--z, 557(0)190--z, 557(0)364--z, 557(0)375--z, 560(0)10--z, 560(0)242--z, 563(0)63--z, 565(0)137--z, 565(0)157--z, 569(0)39--z, 575(0)399--z
Problem, Mapping-, 496(0)170--z
Problems, NP-, 533(0)318--z
Probst, D. K., 575(0)322--z
Probst, David K., 531(0)146--z
Probst:1991:POM, 575(0)322--z
Probst:1991:UPO, 531(0)146--z
Procedural, 567(0)383--z
Procedure, 497(0)415--z, 497(0)571--z, 507(0)227--z, 510(0)279--z, 515(0)34--z, 516(0)206--z, 521(0)548--z, 528(0)383--z, 531(0)333--z, 533(0)248--z
process, 496(0)373--z, 498(0)319--z, 498(0)356--z, 499(0)168--z, 499(0)212--z, 499(0)394--z, 506(0)1--z, 506(0)92--z, 506(0)277--z, 507(0)385--z, 509(0)258--z, 509(0)271--z, 510(0)506--z, 520(0)121--z, 524(0)253--z, 526(0)152--z, 527(0)18--z, 527(0)20--z, 527(0)45--z, 527(0)96--z, 527(0)203--z, 527(0)235--z, 527(0)332--z, 527(0)376--z, 527(0)424--z, 527(0)470--z, 527(0)480--z, 527(0)495--z, 528(0)407--z, 530(0)282--z, 531(0)272--z, 531(0)353--z, 536(0)167--z, 541(0)222--z, 542(0)193--z, 550(0)189--z, 550(0)497--z, 550(0)499--z, 550(0)512--z, 551(0)9--z, 555(0)54--z, 560(0)89--z, 571(0)149--z, 571(0)451--z, 571(0)473--z, 571(0)493--z, 575(0)2--z, 575(0)136--z, 575(0)244--z, 575(0)266--z, 575(0)288--z, 575(0)310--z, 575(0)376--z, 575(0)432--z, 575(0)443--z, 575(0)454--z
processing, 496(0)145--z, 497(0)264--z, 497(0)496--z, 497(0)687--z, 498(0)98--z, 503(0)112--z, 503(0)259--z, 506(0)471--z, 507(0)406--z, 507(0)412--z, 511(0)444--z, 521(0)469--z, 521(0)548--z, 525(0)237--z, 525(0)257--z, 529(0)405--z, 535(0)220--z, 542(0)610--z, 546(0)112--z, 546(0)243--z, 546(0)598--z, 555(0)172--z, 567(0)1--z, 567(0)214--z, 567(0)271--z, 567(0)336--z, 567(0)405--z
Processor, 496(0)242--z, 497(0)418--z, 505(0)69--z, 505(0)101--z, 505(0)119--z, 505(0)338--z, 506(0)184--z, 510(0)417--z, 529(0)240--z, 560(0)336--z, 571(0)21--z
Processor, Single-, 510(0)751--z
produced, 542(0)286--z
product, 531(0)263--z
production, 496(0)80--z, 497(0)33--z, 506(0)471--z, 524(0)188--z, 550(0)468--z, 565(0)219--z
Productivity, 550(0)480--z
Professional, 498(0)1--z, 536(0)114--z
Profile, 473(0)174--z
profiles, 542(0)102--z
PROFIT, 528(0)243--z
Program, 506(0)128--z, 507(0)154--z, 510(0)93--z, 510(0)163--z, 510(0)303--z, 512(0)59--z, 526(0)459--z, 526(0)615--z, 526(0)701--z, 528(0)27--z, 528(0)323--z, 531(0)312--z, 531(0)322--z, 536(0)75--z, 544(0)19--z, 544(0)79--z, 544(0)101--z, 544(0)193--z, 545(0)401--z, 550(0)308--z, 560(0)1--z, 560(0)25--z, 571(0)375--z
Programmable, 505(0)69--z
PROgrammed, 532(0)67--z
Programmed, 532(0)582--z
programming, 496(0)117--z, 496(0)124--z, 497(0)2--z, 497(0)207--z, 497(0)415--z, 497(0)421--z, 497(0)699--z, 502(0)1--z, 502(0)529--z, 503(0)3--z, 504(0)59--z, 504(0)124--z, 504(0)228--z, 504(0)311--z, 504(0)385--z, 504(0)403--z, 506(0)220--z, 506(0)313--z, 506(0)421--z, 506(0)454--z, 510(0)20--z, 510(0)60--z, 512(0)231--z, 512(0)307--z, 516(0)287--z, 516(0)454--z, 523(0)124--z, 526(0)290--z, 526(0)311--z, 526(0)420--z, 526(0)532--z, 526(0)548--z, 528(0)75--z, 528(0)183--z, 528(0)243--z, 528(0)287--z, 528(0)395--z, 528(0)419--z, 528(0)425--z, 529(0)121--z, 532(0)84--z, 532(0)221--z, 539(0)130--z, 542(0)409--z, 542(0)450--z, 542(0)510--z, 543(0)1--z, 544(0)193--z, 545(0)358--z, 549(0)420--z, 550(0)364--z, 550(0)396--z, 551(0)11--z, 551(0)658--z, 553(0)187--z, 555(0)132--z, 557(0)199--z, 562(0)1--z, 564-0-viii, 567(0)309--z, 567(0)336--z, 567(0)366--z, 567(0)399--z, 567(0)425--z, 569(0)173--z, 575(0)92--z
Programming-by-Example, 526(0)387--z
programs, 497(0)300--z, 497(0)709--z, 502(0)478--z, 505(0)1--z, 505(0)406--z, 510(0)1--z, 510(0)303--z, 514(0)227--z, 516(0)92--z, 516(0)181--z, 520(0)337--z, 523(0)73--z, 526(0)265--z, 526(0)365--z, 526(0)447--z, 526(0)513--z, 527(0)61--z, 527(0)510--z, 528(0)207--z, 528(0)219--z, 528(0)347--z, 528(0)383--z, 529(0)47--z, 530(0)140--z, 533(0)80--z, 535(0)220--z, 542(0)142--z, 542(0)459--z, 542(0)490--z, 542(0)600--z, 542(0)610--z, 543(0)13--z, 543(0)38--z, 543(0)208--z, 544(0)125--z, 545(0)330--z, 550(0)229--z, 555(0)388--z, 560(0)109--z, 566(0)85--z, 566(0)208--z, 566(0)244--z, 567(0)179--z, 567(0)279--z, 569(0)1--z, 569(0)146--z, 571(0)1--z
PROGRESS, 532(0)641--z
Progress, 507(0)378--z
PROGRESS-Editor, 532(0)67--z
progressing, 520(0)346--z
Proietti, M., 528(0)347--z
Proietti:1991:UDF, 528(0)347--z
Proix, C., 498(0)31--z
Proix, C., see Cauvet, C.
Project, 499(0)168--z, 499(0)260--z, 504(0)422--z, 504(0)428--z, 504(0)437--z, 504(0)441--z, 505(0)25--z, 507(0)419--z, 526(0)311--z, 532(0)66--z, 536(0)3--4, 536(0)5--z, 536(0)25--z, 536(0)33--z, 536(0)181--z, 550(0)424--z, 551(0)588--z, 553(0)171--z
Projection, 523(0)259--z, 560(0)242--z
projections, 511(0)501--z
projective, 508(0)322--z, 564-0-viii
Proliferation, 548(0)318--z
PROLOG, 533(0)110--z, 567(0)405--z
Prolog, 506(0)238--z, 506(0)439--z, 516(0)287--z, 526(0)265--z, 528(0)135--z, 528(0)147--z, 528(0)159--z, 528(0)359--z, 533(0)31--z, 533(0)67--z, 567(0)17--z, 567(0)32--z, 567(0)318--z, 567(0)422--z, 569(0)39--z, 569(0)54--z, 569(0)159--z
Prolog, NU-, 528(0)15--z
Pronk, Kees, 551(0)81--z, 551(0)677--z
Pronk, Kees, see Plat, Nico
proof, 473(0)1--z, 502(0)478--z, 514(0)21--z, 516(0)51--z, 516(0)194--z, 523(0)313--z, 526(0)53--z, 529(0)307--z, 530(0)106--z, 530(0)121--z, 530(0)164--z, 531(0)292--z, 533(0)156--z, 533(0)174--z, 533(0)248--z, 533(0)261--z, 535(0)2--z, 535(0)33--z, 537(0)326--z, 537(0)339--z, 537(0)353--z, 537(0)378--z, 537(0)456--z, 547(0)81--z, 547(0)96--z, 551(0)356--z, 560(0)141--z, 575(0)70--z, 575(0)158--z, 575(0)233--z, 575(0)288--z, 576(0)225--231, 576(0)433--z
Proof, Bi-, 547(0)243--z
Proof-Theoretic, 497(0)699--z
Propagating, 521(0)50--z
Propagation, 473(0)161--z, 507(0)105--z, 547(0)141--z, 548(0)42--z, 566(0)503--z
Propagation, Back-, 496(0)264--z, 496(0)269--z
proper, 542(0)306--z
Proper-Path-Width, 557(0)61--z
property, 473(0)124--z, 473(0)204--z, 497(0)395--z, 497(0)510--z, 507(0)343--z, 508(0)106--z, 508(0)113--z, 510(0)455--z, 524(0)29--z, 524(0)93--z, 525(0)225--z, 526(0)475--z, 526(0)495--z, 529(0)210--z, 531(0)23--z, 531(0)224--z, 531(0)233--z, 532(0)38--z, 537(0)285--302, 541(0)135--z, 546(0)632--z, 548(0)238--z, 575(0)37--z, 575(0)332--z, 575(0)354--z, 575(0)421--z, 575(0)443--z, 576(0)279--287
property-flow, 542(0)256--z
proposal, 473(0)389--z, 549(0)127--z
Proposed, 547(0)39--53
propositional, 535(0)141--z, 541(0)264--z, 542(0)316--z, 542(0)600--z, 548(0)272--z, 548(0)287--z, 565(0)304--z
Propositions, 548(0)125--z
pros, 542(0)560--z
Proskurowski, A., 532(0)70--z
Proskurowski, A., see Arnborg, S.
Proskurowski, Andrzej, 533(0)1--z
Proskurowski, Andrzej, see Arnborg, Stefan
PROSPECTRA, 551(0)668--z, 552(0)363--z
Prosthesis, 563(0)262--z
Protasov, A., 504(0)441--z
Protasov, A., see Zubenko, V.
Protean, 531(0)126--z
Protected, 537(0)177--z, 575(0)103--z
Protecting, 473(0)31--z
protection, 473(0)474--z, 514(0)87--z, 514(0)227--z, 563(0)184--z
Protection, Unequal-Error-, 539(0)259--z
protocol, 473(0)11--z, 473(0)98--z, 473(0)266--z, 473(0)374--z, 483(0)287--z, 497(0)24--z, 502(0)433--z, 507(0)220--z, 507(0)234--z, 507(0)343--z, 531(0)96--z, 531(0)126--z, 531(0)302--z, 534(0)11--z, 537(0)49--z, 547(0)399--z, 560(0)360--z, 571(0)193--z, 571(0)217--z, 571(0)307--z, 576(0)24--z, 576(0)44--z, 576(0)213--224, 576(0)420--z
Protocol, Multi-, 563(0)56--z
PROTOS-L, 567(0)402--z
prototyping, 545(0)401--z, 548(0)86--z, 550(0)189--z, 551(0)189--z, 551(0)681--z
Provable, 537(0)378--z
Provably, 473(0)16--z, 507(0)329--z, 510(0)303--z, 576(0)338--z
Provably-Secure, 473(0)361--z, 473(0)412--z
Prove, 575(0)277--z
Prove, Posit-and-, 551(0)63--z
Proved, 473(0)441--z
Prover, 528(0)421--z, 533(0)261--z, 547(0)221--z, 576(0)225--231
Prover, Many-, 537(0)366--z, 537(0)366--z--1
prover, two-, 576(0)213--224
Provide, 536(0)245--z
Providing, 566(0)332--z, 567(0)214--z
proving, 473(0)110--z, 524(0)29--z, 526(0)265--z, 526(0)459--z, 535(0)2--z, 557(0)116--z, 575(0)277--z
Proving-by-Example, 526(0)387--z
Prunet, Vincent, 509(0)167--z
Prunet, Vincent, see Clement, Dominique
Pruning, 541(0)76--z
Prusinkiewicz, P., 532(0)363--z
Prusinkiewicz, P., see Fracchia, F. D.
Przymusinski, T. C., 566(0)85--z
Przymusinski:1991:SDL, 566(0)85--z
Pseudo, 473(0)344--z, 547(0)186--z
Pseudo-Homogenity, 539(0)65--z
Pseudo-Polyphase, 508(0)106--z
Pseudo-random, 576(0)300--z
Pseudoprimes, 547(0)512--z
pseudorandom, 473(0)140--z, 514(0)193--z, 547(0)431--445, 576(0)301--213
PSF, 575(0)158--z
Public, 473(0)374--z, 537(0)502--z, 537(0)502--z--1, 537(0)576--z--1, 547(0)316--z, 547(0)490--z, 547(0)517--z, 576(0)242--z, 576(0)445--z
Public-Key, 473(0)46--z, 473(0)313--z, 537(0)576--z, 547(0)68--z, 547(0)498--z, 576(0)204--z, 576(0)252--266
Public-Randomness, 473(0)46--z
Publicly, 537(0)353--z
Puccetti, A., 551(0)629--z
Puccetti:1991:ISD, 551(0)629--z
Pudlak, Pavel, 533(0)308--z
Pudlak:1991:RTB, 533(0)308--z
Puente, J. A., de la, 499(0)362--z
Pujol, J., 539(0)360--z
Pujol, J., see Rifa, J.
Pun, T., 549(0)415--z
Pun, T., see Milanese, R.
Punctuated, 496(0)134--z
Purely, 560(0)141--z
Puri, Anjali, 507(0)98--z
Puri, Anjali, see Ongwisesphaiboon, Vipa
Purpose, 503(0)99--z, 565(0)103--z, 565(0)183--z
Purushothaman, S., 531(0)243--z
Purushothaman, S., see Wuxu, Peng
Puschner, P., 550(0)166--z
Puschner, P., see Kopetz, H.
Pushdown, 529(0)380--z
Pushouts, 532(0)24--z, 532(0)98--z
Putting, 515(0)1--z
puzzle, 496(0)98--z