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