Index file section P for lncs1993.bib
Last update: Sat Jan 22 02:09:38 MST 2022
Return to index directory
P
-
P, 664(0)391--z
-
p, 718(0)479--z
-
P-adic, 734(0)72--z
-
P-Continuation, 748(0)108--z
-
Paakki, J., 724(0)165--z
-
Paakki, J., see Boye, J.
-
Pablo, E., De, 682(0)330--z
-
PAC, 659(0)89--z, 743(0)208--z, 743(0)220--z, 743(0)229--z, 743(0)252--z,
744(0)37--44
-
Pacheco, M., 686(0)482--z
-
Pacheco:1993:RAS, 686(0)482--z
-
Pachl, J., 725(0)264--z
-
Pachl, J., see Syrotiuk, V. R.
-
Pacholski, L., 677(0)43--z
-
Pacholski, L., see Charatonik, W.
-
Pacholski, Leszek, 656(0)429--z, 713(0)63--z
-
Pacholski:1993:ITD, 656(0)429--z
-
Pacholski:1993:UIP, 713(0)63--z
-
Package, 719(0)770--z
-
Packaging, 706(0)206--z, 706(0)213--z
-
Packet, 709(0)14--z, 726(0)309--z, 729(0)560--z
-
Packet-Switched, 712(0)3--z
-
packing, 665(0)317--z, 726(0)224--z
-
PACLIB, 722(0)288--z, 734(0)204--z
-
P/Aczkowski, P., 711(0)598--z
-
PAczkowski:1993:INI, 711(0)598--z
-
Padawitz, Peter, 656(0)175--z
-
Padawitz:1993:ITG, 656(0)175--z
-
Padget, Julian, 748(0)287--z, 748(0)408--z
-
Padget, Julian, see Ito, Takayasu
-
Padget:1993:AIC, 748(0)287--z
-
Padgham, L., 689(0)132--z
-
Padgham:1993:CCN, 689(0)132--z
-
Padua, D., 757(0)64--z
-
Padua, D., see Peterson, P.
-
Paetau, Michael, 733(0)364--z
-
Paetau:1993:SAR, 733(0)364--z
-
Page, 730(0)247--z, 762(0)406--415, 762(0)436--445
-
Pagello, E., 728(0)290--z
-
Pagello, E., see Badaloni, S.
-
Pagels, Michael, 712(0)289--z
-
Pagels, Michael, see Druschel, Peter
-
Pages, A., 686(0)494--z
-
Pages, A., see Lagunas, M. A.
-
Paging, 726(0)1--z, 762(0)416--425
-
Pagli, Linda, 678(0)166--z
-
Pagli, Linda, see Luccio, Fabrizio
-
Pagnucco, M., 699(0)238--z
-
Pagnucco:1993:IRC, 699(0)238--z
-
PAGODE, 714(0)410--z
-
Pailhes, L., Massip-, 719(0)486--z
-
PaiLisp, 748(0)108--z, 748(0)155--z
-
Pailles, J. C., 718(0)263--z
-
Pailles:1993:NPE, 718(0)263--z
-
pair, 665(0)270--z, 700(0)88--z, 700(0)645--z, 719(0)533--z, 739(0)51--z,
739(0)489--z
-
Pairash, Critical-, 656(0)328--z
-
Pairs, All-, 709(0)1--z, 709(0)442--z
-
Paiva, V., de, 664(0)75--z
-
Paiva, Valeria, De, 702(0)61--z
-
Pajdla, T., 719(0)412--z
-
Pajdla:1993:SDR, 719(0)412--z
-
Palagi, P., 686(0)370--z
-
Palagi, P., see Beaudot, W.
-
Palaniappan, Murugappan, 707(0)502--527
-
Palaniappan, Murugappan, see Johnson, Richard
-
Palanque, P. A., 685(0)569--z
-
Palanque:1993:DUD, 685(0)569--z
-
Palazzi, L., 709(0)530--z
-
Palazzi:1993:CRR, 709(0)530--z
-
Palenichka, R. M., 719(0)732--z
-
Palenichka:1993:MBA, 719(0)732--z
-
Palmer, R. P., 686(0)702--z
-
Palmer:1993:AIC, 686(0)702--z
-
Palopoli, L., 689(0)235--z
-
Palopoli, L., see Leone, N.
-
Palopoli, Luigi, 701(0)60--z
-
Palopoli:1993:MEU, 701(0)60--z
-
Palsberg, J., 761(0)326--z
-
Palsberg, J., see Cheng, A.
-
Palsberg, Jens, 707(0)247--z, 707(0)528--z
-
Palsberg, Jens, see Agesen, Ole,
see Banahan, Mike
-
Pan, X., 687(0)339--z
-
Pan:1993:ACP, 687(0)339--z
-
Panangaden, Prakash, 715(0)368--z
-
Panangaden, Prakash, see Cubric, Marija
-
Pancake, 678(0)218--z
-
Pancreatic, 686(0)37--z
-
PANDA, 707(0)361--z
-
Pandu Rangan, C., 762(0)506--514
-
Pandu Rangan, C., see Chang, G. J.
-
Pandya, P. K., 761(0)358--z
-
Pandya, P. K., see Kumar, K. N.
-
Panel, 658(0)194--99999999, 658(0)194--z, 707(0)528--z
-
Panitz, Sven Eric, 698(0)265--z
-
Panitz:1993:DRC, 698(0)265--z
-
Pantaleon-Prieto, C. J., 686(0)525--z
-
Pantaleon-Prieto:1993:NTS, 686(0)525--z
-
Panzieri, F., 729(0)435--z
-
Panzieri:1993:RTS, 729(0)435--z
-
Paola, R., Di, 687(0)401--z
-
Papadias, Dimitris, 716(0)234--z
-
Papadias:1993:SRS, 716(0)234--z
-
Papadimitriou, C. H., 762(0)399--405
-
Papadimitriou, C. H., see Kavvadias, D.
-
Papadimitriou, S., 753(0)21--z
-
Papadimitriou, S., see Kameas, A.
-
PAPER, 760(0)1--z, 760(0)184--z, 760(0)328--339
-
paper, 686(0)1--z, 686(0)351--z, 686(0)405--z, 686(0)494--z, 706(0)60--z,
706(0)229--z, 712(0)314--z, 712(0)336--z, 712(0)347--z,
712(0)369--z, 712(0)393--z, 737(0)107--z, 741(0)174--178,
748(0)1--z
-
Papini, O., 747(0)296--z
-
Papini:1993:MAR, 747(0)296--z
-
paradigm, 659(0)89--z, 678(0)166--z, 682(0)256--z, 705(0)211--z,
706(0)3--z, 717(0)68--z, 745(0)337--z, 748(0)362--z, 753(0)29--z
-
Paradox, 706(0)116--z
-
Paragon, 734(0)233--z
-
Parallel, Control-, 757(0)311--z
-
Parallel, Data-, 757(0)326--z
-
Parallel, OR-, 748(0)42--z
-
Parallel, Or-, 727(0)170--z
-
Parallel, Series-, 709(0)151--z
-
Parallelisation, 707(0)384--z
-
Parallelism, 732(0)118--z, 732(0)203--z, 732(0)234--z, 734(0)151--z,
757(0)145--z, 759(0)229--z, 759(0)277--z
-
parallelization, 709(0)289--z, 715(0)398--z, 734(0)166--z, 734(0)182--z,
757(0)208--z
-
Parallelizing, 757(0)49--z, 757(0)369--z, 757(0)538--z
-
Parameter, 735(0)67--z
-
parameter, Fixed-, 665(0)374--z
-
Parameterisation, 719(0)523--z
-
Parameterization, 719(0)183--z
-
Parameterized, 674(0)301--z, 687(0)48--z, 722(0)81--94, 735(0)67--z
-
parameters, 719(0)395--z, 724(0)124--z
-
parametric, 664(0)361--z, 700(0)558--z
-
Paramodulation, 698(0)122--z
-
Pardo, J. M., 686(0)651--z
-
Pardo, J. M., see Cabello, D.
-
Paredaens, Jan, 742(0)339--z
-
Paredaens, Jan, see Gemis, Marc
-
Parigot, D., 714(0)123--z
-
Parigot, D., see Jourdan, M.
-
Parigot, M., 711(0)608--z
-
Parigot, Michel, 713(0)263--z
-
Parigot:1993:CPP, 713(0)263--z
-
Parigot:1993:CTR, 711(0)608--z
-
Paris, Cecile, 723(0)220--z
-
Paris:1993:EIS, 723(0)220--z
-
Parisi, D., 745(0)20--z
-
Parisi-Presicce, F., 655(0)222--z, 657(0)248--z, 711(0)618--z
-
Parisi-Presicce, F., see Ehrig, H.
-
Parisi-Presicce:1993:HUA, 711(0)618--z
-
Parisi-Presicce:1993:SVD, 657(0)248--z
-
Parisi:1993:NNL, 745(0)20--z
-
Park, E. K., 752(0)115--z
-
Park, E. K., see Song, Il-Yeol
-
Parnas, D. L., 736(0)452--z
-
Parnas, D. L., see Engel, M.
-
Parnas, David Lorge, 656(0)343--z
-
Parnas, David Lorge, see Yabo, Wang
-
Parnassas, G. P., 720(0)593--z
-
Parnassas, G. P., see Mekras, N. D.
-
Parodi, G., 719(0)805--z
-
Parodi, G., see di Gesu, V.
-
Parsing, 698(0)98--z, 714(0)108--z, 735(0)423--z
-
Parsons, S., 747(0)304--z
-
Parsons:1993:IUH, 747(0)304--z
-
Part, 680(0)3--z, 685(0)352--z, 687(0)132--z, 733(0)255--z, 747(0)129--z
-
partial, 656(0)424--z, 657(0)225--z, 664(0)29--z, 685(0)184--198,
700(0)582--z, 700(0)621--z, 702(0)167--z, 709(0)397--z,
709(0)610--z, 726(0)409--z, 728(0)254--z, 739(0)277--z,
743(0)183--z, 757(0)497--z
-
Partial-order, 715(0)233--z
-
Partially, 665(0)237--z, 671(0)156--z, 676(0)1--z, 686(0)137--z,
760(0)253--z
-
Partially-Bent, 740(0)280--291
-
Participants, 748(0)419--z
-
Participatory, 723(0)360--z
-
Partition-Based, 730(0)301--z
-
partitioning, 709(0)452--z, 728(0)202--z, 748(0)88--z, 757(0)82--z
-
Partsch, Helmut, 755(0)1--z, 755(0)183--224
-
Partsch, Helmut, see Möller, Bernhard
-
Partsch:1993:FPS, 755(0)183--224
-
party, 718(0)133--z, 725(0)279--z
-
party, -, 725(0)279--z
-
Party, Multi-, 712(0)143--z
-
party, multi-, 718(0)252--z
-
Pash, 665(0)28--z
-
Pasquale, Joseph C., 712(0)197--z
-
Pasquale:1993:MMC, 712(0)197--z
-
Passing, 731(0)192--z, 735(0)67--z, 748(0)94--z
-
passing, message-, 715(0)202--z
-
passing, value-, 715(0)217--z
-
Passive, 717(0)466--z
-
Pataricza, A., 732(0)31--z
-
Pataricza, A., see Dal Cin, M.
-
Patarin, Jacques, 658(0)256--z
-
Patarin:1993:HCP, 658(0)256--z
-
Patches, 687(0)149--z
-
Patching, 705(0)61--z
-
Patel, Sameer, 712(0)370--z
-
Patel, U. K., 753(0)163--z
-
Patel:1993:NNM, 712(0)370--z
-
Patel:1993:TDV, 753(0)163--z
-
Paterson, M., 726(0)306--z
-
Paterson:1993:EA, 726(0)306--z
-
path, 656(0)168--z, 665(0)90--z, 665(0)282--z, 669(0)3--20,
669(0)157--180, 708(0)3--z, 709(0)421--z, 709(0)442--z,
710(0)342--z, 711(0)751--z, 716(0)434--z, 726(0)13--z, 726(0)200--z,
726(0)357--z, 726(0)384--z, 760(0)267--z, 762(0)98--107,
762(0)343--352, 762(0)416--425
-
Path, Shortest-, 709(0)518--z
-
Pathwidth, 700(0)114--z
-
Patinel, J., 686(0)575--z
-
Patinel:1993:HMH, 686(0)575--z
-
Paton, M., 686(0)185--z
-
Paton, M., see Merelo, J. J.
-
Paton, Norman W., 696(0)176--z
-
Paton, Norman W., see Fernandes, Alvaro A. A.
-
pattern, 659(0)118--z, 682(0)351--z, 686(0)137--z, 686(0)340--z,
686(0)513--z, 686(0)575--z, 686(0)738--z, 687(0)459--z,
687(0)507--z, 700(0)301--z, 705(0)174--z, 707(0)406--431,
709(0)200--z, 709(0)337--z, 710(0)121--z, 710(0)418--z,
718(0)517--z, 719(0)74--z, 719(0)317--z, 719(0)548--z, 719(0)578--z,
724(0)141--z, 732(0)234--z, 742(0)339--z, 743(0)87--z, 744(0)1--18,
744(0)87--100, 745(0)41--z, 745(0)142--z
-
Pattern-Matching, 734(0)166--z
-
Patterson, W., 720(0)146--z
-
Patterson, W., see Abdelguerfi, M.
-
Paugam-Moisy, H., 682(0)361--z
-
Paugam-Moisy, H., see Amghar, S.
-
Paul, Santanu, 752(0)16--z
-
Paul, Santanu, see Bach, Jeffrey R.
-
Paul, W. J., 734(0)166--z
-
Paul, W. J., see Kebler, C. W.
-
Paul, Wolfgang J., 678(0)48--z
-
Paul, Wolfgang J., see Formella, Arno
-
Paulin-Mohring, Chr, 664(0)328--z
-
Paulin-Mohring:1993:IDS, 664(0)328--z
-
Paulisch, Frances Newbery, 704(0)1--z
-
Paulisch:1993:DEG, 704(0)1--z
-
Paulson, K., 687(0)244--z
-
Paulson:1993:FNL, 687(0)244--z
-
Paulus, D. W. R., 719(0)669--z
-
Paulus:1993:OOV, 719(0)669--z
-
Pauwels, H. W. J. Borst, 733(0)439--z
-
Pauwels:1993:ICE, 733(0)439--z
-
Pavlides, G., 753(0)21--z
-
Pavlides, G., see Kameas, A.
-
Pawlowski, M., 732(0)246--z
-
Pawlowski:1993:PSL, 732(0)246--z
-
Pazienza, M. T., 699(0)162--z
-
Pazienza, M. T., see Basili, R.
-
PCF, 664(0)230--z
-
PCTE, 720(0)681--z
-
PCTE-Based, 742(0)408--z
-
PDEs, 732(0)276--z
-
pebbling, 711(0)671--z
-
Pecchiari, P., 728(0)1--z
-
Pecchiari, P., see di Manzo, M.
-
Pedersen, Torben Pryds, 658(0)366--99999999, 658(0)366--z,
658(0)390--z, 740(0)15--30, 740(0)15--z, 740(0)89--105
-
Pedersen, Torben Pryds, see Chaum, David,
see Heijst, Eugène van,
see Heyst, Eugène van
-
Pederson, Eric, 716(0)294--z
-
Pederson:1993:GMS, 716(0)294--z
-
Pedrajas, N. Garcia, 682(0)351--z
-
Pedrajas, N. Garcia, see Martinez, C. Hervas
-
Pedreschi, D., 760(0)49--z
-
Pedreschi, D., see Corciulo, L.
-
Peiper, U. M., 719(0)775--z
-
Peiper, U. M., see Dobrusin, Y.
-
PEIRCE, 754(0)219--z
-
Peirce, 699(0)381--z, 699(0)401--z
-
Peladeau, P., 665(0)555--z
-
Peladeau, P., see Beaudry, M.
-
Pelaez, J. Ropero, 686(0)49--z
-
Pelaez:1993:NNM, 686(0)49--z
-
Pelayo, F. J., 686(0)297--z, 686(0)432--z, 686(0)542--z
-
Pelayo, F. J., see Fernandez-Rodriguez, J. J.,
see Martin-Smith, P., \see{Ortega, J.
-
Pelc, A., 700(0)388--z
-
Pelc, A., see Chlebus, B. S.
-
Peleg, S., 719(0)371--z
-
Peleg, S., see Irani, M.
-
Pelillo, M., 686(0)278--z, 728(0)230--z
-
Pelillo:1993:ELR, 728(0)230--z
-
Pelillo:1993:MPL, 686(0)278--z
-
Pellegrini, C., 719(0)627--z
-
Pellegrini, C., see Vargas, J. R.
-
Pellegrini, M., 709(0)541--z
-
Pellegrini:1993:RHS, 709(0)541--z
-
Pemberton, Lyn, 733(0)419--z
-
Pemberton, St, 753(0)68--z
-
Pemberton, St., see Boeve, E.
-
Pemberton:1993:OBD, 733(0)419--z
-
Pen-Based, 719(0)586--z
-
Penczek, W., 665(0)452--z
-
Penczek:1993:ATL, 665(0)452--z
-
Penedo, M. G., 686(0)651--z, 686(0)657--z
-
Penedo, M. G., see Cabello, D.,
see Mosquera, A.
-
Peng, Gao, 716(0)434--z
-
Peng, Gao, see Zhan, Cixiang
-
Peng, S.-L., 709(0)222--z
-
Peng, S.-L., see Chang, M.-S.
-
Penguin, 730(0)215--z
-
Penz, Franz, 733(0)25--z
-
Penz:1993:OFO, 733(0)25--z
-
People, 733(0)413--z
-
Peppard, L. E., 740(0)260--279
-
Peppard, L. E., see Sivabalan, M.
-
Pepper, P., 735(0)217--z
-
Pepper, Peter, 755(0)225--262
-
Pepper:1993:FDM, 735(0)217--z
-
Pepper:1993:PDA, 755(0)225--262
-
per, 711(0)222--z, 739(0)489--z
-
Per-Process, 757(0)175--z
-
Peralta, René, 740(0)324--332
-
Peralta:1993:QSD, 740(0)324--332
-
Perceiving, 745(0)241--z
-
perception, 682(0)209--z, 708(0)163--z, 719(0)800--z, 745(0)263--z,
746(0)xiv--210
-
Perceptive, 745(0)337--z
-
Perceptrons, 686(0)550--z
-
Perceptual, 708(0)183--z, 744(0)356--369, 745(0)161--z, 745(0)276--z
-
Pereira, L. M., 660(0)1--z
-
Pereira, Luis M., 749(0)58--z
-
Pereira, Luis Moniz, 727(0)183--z
-
Pereira:1993:DDA, 749(0)58--z
-
Pereira:1993:DDC, 727(0)183--z
-
Pereira:1993:STP, 660(0)1--z
-
Perez, J.-C., 686(0)334--z
-
Perez-Neira, A., 686(0)494--z
-
Perez-Neira, A., see Lagunas, M. A.
-
Perez-Vicente, C., 686(0)638--z
-
Perez-Vicente, C., see Lisa, F.
-
Perez:1993:CDL, 686(0)334--z
-
perfect, 658(0)341--99999999, 658(0)341--z, 718(0)15--z, 724(0)112--z,
739(0)225--z, 739(0)321--z, 740(0)196--214, 747(0)49--z,
762(0)506--514
-
Perfectly-Secure, 740(0)471--486
-
Performability, 729(0)587--z
-
Performance, 672(0)1--z, 678(0)119--z, 685(0)629--z, 686(0)459--z,
686(0)694--z, 687(0)525--z, 689(0)375--z, 705(0)211--z, 712(0)81--z,
719(0)1--z, 719(0)170--z, 720(0)253--z, 720(0)265--z, 720(0)289--z,
729(0)53--z, 729(0)81--z, 729(0)121--z, 729(0)291--z, 729(0)394--z,
729(0)463--z, 729(0)509--z, 729(0)537--z, 730(0)115--z, 731(0)47--z,
731(0)63--z, 732(0)80--z, 733(0)329--z, 734(0)114--114,
734(0)233--z, 748(0)42--z, 759(0)87--103, 759(0)277--z
-
Performance, High-, 705(0)52--z, 734(0)1--z
-
Peric, M., 732(0)292--z
-
Peric:1993:NSC, 732(0)292--z
-
period, 739(0)277--z
-
periodic, 700(0)496--z, 711(0)751--z
-
Perishable, 720(0)583--z
-
Perkowski, Marek A., 705(0)78--z
-
Perkowski, Marek A., see Li-Fei, Wu
-
permanent, 725(0)174--z
-
permutation, 657(0)1--z, 658(0)92--z, 658(0)239--z, 658(0)256--z,
658(0)267--z, 700(0)114--z, 709(0)200--z, 718(0)397--z,
718(0)422--z, 739(0)73--z, 739(0)97--z, 739(0)194--z, 739(0)210--z,
740(0)442--460, 762(0)157--166, 762(0)167--175
-
Permuted, 705(0)78--z, 726(0)248--z, 740(0)305--311
-
Perner, P., 719(0)738--z
-
Perner:1993:AKB, 719(0)738--z
-
Pernici, B., 685(0)397--z
-
Pernici, B., see Edelweiss, N.
-
Perpetual, 762(0)259--266
-
Perrin, Crochemore-, 726(0)61--z
-
Perrin, O., 685(0)93--z
-
Perrin:1993:TMP, 685(0)93--z
-
Perron, Laurent, 707(0)142--z
-
Perron, Laurent, see Caseau, Yves
-
Perry, D. E., 717(0)48--z
-
Perry:1993:SFE, 717(0)48--z
-
Persistence, 709(0)289--z
-
Persistent, 685(0)93--z, 686(0)376--z, 742(0)315--z, 748(0)300--z,
759(0)313--z
-
Personal, 723(0)256--z
-
Personen, 733(0)411--z
-
perspective, 682(0)219--z, 685(0)586--z, 707(0)458--z, 718(0)367--z,
733(0)447--z, 753(0)1--z, 753(0)181--z
-
Perspective, Multi-, 717(0)84--z
-
Perticaroli, V., 711(0)453--z
-
Perticaroli, V., see Fantechi, A.
-
Pesin, L., 753(0)348--z
-
Pesin, L., see Brusilovsky, P.
-
Petermann, Uwe, 713(0)277--z
-
Petermann:1993:CPC, 713(0)277--z
-
Petersen, H., 665(0)206--z
-
Petersen, H., see Jantzen, M.
-
Peterson, L., 759(0)65--z
-
Peterson, L., see Sheu, P. C.-Y.
-
Peterson, Larry L., 712(0)289--z
-
Peterson, Larry L., see Druschel, Peter
-
Peterson, P., 757(0)64--z
-
Peterson:1993:DDA, 757(0)64--z
-
Petieau, A. M., Spilski-, 682(0)248--z
-
Petit, A., 711(0)332--z
-
Petit, A., see Cerin, C.
-
Petit, M., 685(0)252--z
-
Petit, M., see Dubois, E.
-
Petit, Michaël, 707(0)458--z, see Dubois, Eric
-
Petkov, N., 686(0)68--z
-
Petkov:1993:BMA, 686(0)68--z
-
Petri, 657(0)293--z, 665(0)120--z, 665(0)130--z, 674(0)26--z,
674(0)71--z, 674(0)91--z, 674(0)126--z, 674(0)148--z, 674(0)169--z,
674(0)210--z, 674(0)267--z, 674(0)325--z, 674(0)406--z,
685(0)569--z, 700(0)570--z, 710(0)309--z, 711(0)442--z,
715(0)462--z, 718(0)275--z
-
Petri-Nets, 720(0)233--z
-
Petrou, M., 719(0)309--z
-
Petrou, M., see Georgis, N.
-
Petrovic, Otto, 733(0)441--z
-
Petrovic, Slobodan V., 658(0)472--z
-
Petrovic, Slobodan V., see Golic, Jovan Dj.
-
Petrovic:1993:EFU, 733(0)441--z
-
Petrucci, Kerry, 733(0)391--z
-
Petrucci, Kerry, see Canfield, Kip
-
Pettorossi, Alberto, 755(0)263--304
-
Pettorossi:1993:RSP, 755(0)263--304
-
Peyre, J. F., 674(0)51--z
-
Peyre, J. F., see Couvreur, J. M.
-
Pfalzgraf, J., 737(0)116--z
-
Pfalzgraf:1993:MMR, 737(0)116--z
-
Pfeiffer, M., 685(0)221--z
-
Pfeiffer, M., see Breu, M.
-
Pfister, Cuno, 705(0)152--z
-
Pfister, Cuno, see Heeb, Beat
-
Pfitzmann, Birgit, 658(0)153--z, 740(0)15--30, 740(0)15--z
-
Pfitzmann, Birgit, see Heijst, Eugène van
-
Pfitzmann:1993:APS, 658(0)153--z
-
PFL, 696(0)238--z
-
Phan Luong, V., 760(0)296--z
-
Phan Luong, V., see Laurent, D.
-
Phase, 671(0)100--z, 741(0)227--234, 751(0)1--z
-
Phase, Two-, 735(0)335--z
-
Philbin, James, 748(0)380--z
-
Philbin:1993:CPM, 748(0)380--z
-
Philip, 711(0)185--z
-
Philosophies, 706(0)111--z
-
Phoneme, Text-to-, 727(0)361--z
-
Photometric, 719(0)444--z, 719(0)523--z
-
Photon, 687(0)339--z
-
Physical, 726(0)157--z, 730(0)19--z, 730(0)51--z, 737(0)20--z,
741(0)244--256, 762(0)369--378
-
Physically, 687(0)17--z, 708(0)239--z
-
physics, 686(0)426--z, 686(0)454--z, 737(0)277--z
-
Physiological, 687(0)422--z
-
pi--calculus, 715(0)524--z
-
pi-Calculus, 660(0)242--z, 710(0)87--z
-
pi-calculus, 715(0)7--z, 715(0)112--z, 715(0)127--z, 715(0)158--z
-
pi-calculus, lambda-, 664(0)139--z
-
pi-Refinements, 679(0)60--z
-
Piatko, C. D., 709(0)95--z
-
Piatko, C. D., see Arkin, E. M.
-
Pichler, Ralf, 733(0)433--z
-
Pichler, Ralf, see Hofkirchner, Wolfgang
-
picture, 719(0)766--z
-
Pidcock, M., 687(0)244--z
-
Pidcock, M., see Paulson, K.
-
piece, 733(0)437--z
-
Piecewise, 686(0)272--z
-
Pieprzyk, J., 718(0)83--104, 718(0)156--z
-
Pieprzyk, J., see Charnes, C., \see{Zheng, Y.
-
Pieprzyk, Josef, 739(0)36--z, 739(0)97--z, 739(0)124--z, 739(0)194--z,
739(0)225--z, 739(0)237--z, 756(0)xiii--194
-
Pieprzyk, Josef, see Brown, Lawrence,
see Kwan, Matthew, \see{Sadeghiyan, Babak,
see Yuliang, Zheng
-
Pieprzyk, Józef P., 658(0)267--z,
see Sadeghiyan, Babak
-
Pieprzyk:1993:DHA, 756(0)xiii--194
-
Pieprzyk:1993:OPR, 739(0)225--z
-
Pierce, B. C., 664(0)346--z
-
Pierce, T. G., 734(0)26--z
-
Pierce, T. G., see Hoover, W. G.
-
Pierce:1993:ITB, 664(0)346--z
-
Pietracaprina, A., 665(0)110--z
-
Pietracaprina:1993:SWC, 665(0)110--z
-
Pietrowcew, A., 719(0)105--z
-
Pietrowcew, A., see Skarbek, W.
-
Pignistic, 747(0)364--z
-
Pigozzi, D., 711(0)629--z
-
Pigozzi:1993:RTL, 711(0)629--z
-
Pilgrim, 731(0)120--z, 731(0)162--z
-
Pimentel, J. R., 686(0)694--z
-
Pimentel:1993:LPE, 686(0)694--z
-
Pin, J.-E., 761(0)306--z
-
Pin, J.-E., see Antoine, C.
-
Pingali, K., 757(0)391--z
-
Pingali, K., see Li, W.
-
Pinlo, J. Sousa, 733(0)439--z
-
Pinlo, J. Sousa, see Pauwels, H. W. J. Borst
-
Pino, B., 686(0)432--z
-
Pino, B., see Ortega, J.
-
Pintado, Xavier, 742(0)43--z
-
Pintado:1993:GSS, 742(0)43--z
-
Pinter, S., 757(0)369--z
-
Pinter, S., see Lempel, O.
-
pipe, 711(0)252--z
-
Pipeline, 734(0)14--z, 734(0)105--z
-
Pipelining, 734(0)56--z
-
Piperno, A., 711(0)403--z
-
Piperno, A., see Dezani-Ciancaglini, M.
-
Piprani, C. B., 685(0)199--z
-
Piprani:1993:MMA, 685(0)199--z
-
Pirri, F., 728(0)41--z
-
Pirri:1993:CPI, 728(0)41--z
-
Pirrone, R., 728(0)71--z, 745(0)122--z
-
Pirrone, R., see Ardizzone, E.,
see Chella, A.
-
Pissinou, Niki, 752(0)86--z
-
Pissinou:1993:FTO, 752(0)86--z
-
Pitas, I., 719(0)387--z, 719(0)822--z
-
Pitas, I., see Kotropoulos, C.,
see Nikolaidis, N.
-
Pitrik, R., Motschnig-, 685(0)352--z
-
Pitts, 711(0)122--z
-
Pitts, A. M., 711(0)122--z
-
Pitts:1993:AMP, 711(0)122--z
-
Pivert, O., 689(0)209--z
-
Pivert, O., see Bosc, P.
-
Pizer, S. M., 687(0)112--z
-
Pizer, S. M., see Morse, B. S.
-
Pizzuti, C., 728(0)41--z
-
Pizzuti, C., see Pirri, F.
-
PL1, 747(0)33--z
-
Place, In-, 762(0)118--127
-
Placement, 705(0)88--z
-
plaintext, 658(0)81--z
-
Plaintext, Known-, 739(0)485--z
-
Plaisted, D. A., 689(0)19--z, 689(0)255--z
-
Plaisted, D. A., see Chadha, R., \see{Chu, H.
-
Plaisted, David, 656(0)257--z
-
Plaisted:1993:ITC, 656(0)257--z
-
plan, 671(0)187--z, 722(0)379--z, 728(0)290--z, 749(0)287--z,
754(0)322--z
-
Planar, 676(0)1--z, 700(0)88--z, 709(0)349--z, 709(0)409--z,
709(0)442--z, 726(0)145--z, 726(0)200--z, 726(0)212--z,
726(0)321--z, 726(0)357--z, 726(0)372--z, 726(0)384--z,
762(0)303--312, 762(0)333--342
-
Planar, 3-, 709(0)151--z
-
Planarity, 726(0)37--z, 726(0)212--z
-
plane, 689(0)415--z, 708(0)3--z, 709(0)1--z, 719(0)436--z, 726(0)192--z,
761(0)218--z, 762(0)98--107, 762(0)515--522
-
Plane-Sweep, 709(0)349--z
-
Planlite, 686(0)708--z
-
planning, 671(0)235--z, 686(0)708--z, 689(0)96--z, 689(0)385--z,
708(0)19--z, 708(0)38--z, 708(0)51--z, 708(0)69--z, 708(0)84--z,
716(0)284--z, 719(0)543--z, 720(0)583--z, 720(0)593--z,
727(0)311--z, 728(0)278--z, 743(0)183--z, 754(0)312--z
-
Plaque, 687(0)438--z, 719(0)679--z
-
Plateau, G., 677(0)90--z
-
Plateau, G., see Bennaceur, H.
-
Platek, M., 711(0)527--z
-
Platek, M., see Jancar, P.
-
Platform, 712(0)223--z
-
Plausible, 682(0)256--z, 747(0)356--z, 754(0)137--z
-
Player, 712(0)376--z
-
Plaza, E., 689(0)96--z
-
Plaza, E., see Lopez, B.
-
Plaza, J. A., 737(0)237--z
-
Plaza:1993:GSC, 737(0)237--z
-
PLDs, 705(0)1--z
-
Plevyak, J., 757(0)160--z
-
Plevyak, J., see Chien, A.
-
Plihon, V., 717(0)100--z
-
Plihon, V., see Jarke, M.
-
Pliuskevicius, R., 711(0)640--z, 735(0)299--z
-
Pliuskevicius, Regimantas, 713(0)289--z
-
Pliuskevicius:1993:SCL, 711(0)640--z
-
Pliuskevicius:1993:SPL, 713(0)289--z
-
Pliuskevicius:1993:SRI, 735(0)299--z
-
Plo, F., 674(0)267--z
-
Plo, F., see Gouet, R.
-
Plotkin, G., 664(0)361--z
-
Plotkin, S., 709(0)119--z
-
Plotkin, S., see Azar, Y.
-
Plotkin:1993:LPP, 664(0)361--z
-
Plump, Detlef, 656(0)97--z
-
Plump:1993:CTR, 656(0)97--z
-
Plurality, 707(0)57--z
-
Plyzos, George C., 712(0)197--z
-
Plyzos, George C., see Pasquale, Joseph C.
-
Pnueli, A., 736(0)4--z, 736(0)60--z, 736(0)179--z
-
Pnueli, A., see Henzinger, T. A.,
see Kesten, Y., \see{Manna, Z.
-
Podelski, A., 660(0)100--z, 711(0)262--z
-
Podelski, A., see Ait-Kaci, H.,
see Beauquier, D.
-
Podelski, Andreas, 698(0)1--z
-
Podelski, Andreas, see Ait-Kaci, Hassan
-
Poechmueller, Peter, 705(0)96--z
-
Poechmueller:1993:HLS, 705(0)96--z
-
Poeck, Karsten, 671(0)210--z
-
Poeck, Ute, 723(0)103--z
-
Poeck, Ute, see Gappa, Karsten
-
Poeck:1993:ITS, 671(0)210--z
-
Poel, Mannes, 715(0)50--z
-
Poel, Mannes, see Fokkinga, Maarten
-
Poetzsch-Heffter, A., 714(0)137--z
-
Poetzsch-Heffter:1993:PLS, 714(0)137--z
-
Poggi, A., 728(0)154--z
-
Poggi, A., see Adorni, G.
-
Pohl, K., 685(0)275--z, 717(0)100--z
-
Pohl, K., see Jarke, M.
-
Pohl, Margit, 733(0)338--z
-
Pohl:1993:PUA, 733(0)338--z
-
Pohl:1993:TDR, 685(0)275--z
-
point, 709(0)95--z, 709(0)265--z, 709(0)373--z, 716(0)234--z,
719(0)245--z, 719(0)460--z, 719(0)528--z, 719(0)594--z,
726(0)133--z, 726(0)192--z, 740(0)260--279, 762(0)523--532
-
pointer, 675(0)1--z, 735(0)81--z, 755(0)123--160, 757(0)82--z
-
Pokorny, J., 720(0)48--z
-
Pokorny:1993:SRC, 720(0)48--z
-
Policriti, A., 722(0)192--z
-
Policriti, A., see Omodeo, E. G.
-
Policy, 748(0)380--z
-
Pollack, R., 664(0)289--z
-
Pollack, R., see McKinna, J.
-
Polling, 729(0)630--z
-
Polovina, Simon, 754(0)312--z
-
Polovina:1993:BAB, 754(0)312--z
-
poly, 665(0)28--z
-
poly-time, 664(0)274--z
-
polyadic, 715(0)524--z
-
Polychromatic, 719(0)538--z
-
Polychronopoulos, C., 757(0)538--z
-
Polychronopoulos, C., see Haghighat, M.
-
polygon, 665(0)282--z, 709(0)36--z, 709(0)48--z, 709(0)452--z,
709(0)601--z, 710(0)234--z, 726(0)397--z, 762(0)58--67,
762(0)323--332
-
Polygonal, 719(0)237--z, 762(0)515--522
-
Polyhedral, 709(0)210--z, 709(0)541--z, 719(0)237--z, 719(0)502--z
-
Polyhedron, 709(0)314--z
-
Polymorphic, 656(0)438--z, 724(0)267--z, 735(0)156--z
-
polymorphism, 664(0)346--z, 664(0)361--z
-
polynomial, 659(0)118--z, 665(0)595--z, 700(0)410--z, 713(0)223--z,
743(0)220--z, 754(0)239--z, 761(0)268--z, 762(0)31--37
-
Polynomial-Time, 658(0)297--z, 702(0)410--z, 743(0)63--z
-
Polynomially, 700(0)52--z, 762(0)221--229
-
polytope, 657(0)78--z, 709(0)246--z, 715(0)398--z
-
Polytransactions, 759(0)337--z
-
Polytrees, 747(0)180--z
-
Pommert, A., 687(0)168--z
-
Pommert, A., see Schubert, R.
-
Poncelet, P., 685(0)1--z
-
Poncelet:1993:CSU, 685(0)1--z
-
Pontelli, E., 660(0)150--z, 714(0)275--z
-
Pontelli, E., see Dovier, A.
-
pool, 713(0)277--z
-
Popper, M., 720(0)424--z
-
Popper:1993:LLH, 720(0)424--z
-
Popperian, 744(0)173--186
-
Pordes, Ruth, 730(0)361--z
-
Pordes, Ruth, see Grossman, Robert
-
Porenta, G., 671(0)166--z
-
Porenta, G., see Prem, Erich
-
Porisini, A., Coen-, 717(0)483--z
-
Portability, 678(0)185--z
-
portable, 658(0)208--z, 722(0)341--z
-
Porter, Adam A., 706(0)77--z
-
Porter:1993:RMS, 706(0)77--z
-
Portinale, L., 728(0)314--z
-
Portinale:1993:SOT, 728(0)314--z
-
Porto, A., 660(0)216--z
-
Porto, Antonio, 727(0)77--z
-
Porto, Antonio, see David, Gabriel
-
Porto:1993:ASC, 660(0)216--z
-
Portuguese, 727(0)361--z
-
Portz, M., 718(0)397--z
-
Portz:1993:GDB, 718(0)397--z
-
Posegga, J., 689(0)39--z
-
Posegga, Joachim, 671(0)67--z
-
Posegga:1993:CPS, 689(0)39--z
-
Posegga:1993:TFO, 671(0)67--z
-
Poset, 710(0)266--z, 761(0)436--z
-
Position, 706(0)60--z, 706(0)229--z
-
Positive, 674(0)51--z, 743(0)135--z, 753(0)210--z
-
Positiveash, 656(0)198--z, 656(0)213--z
-
Possession, 739(0)331--z
-
Possibilistic, 682(0)3--z, 689(0)316--z, 747(0)17--z, 747(0)33--z,
747(0)151--z
-
Possibilities, 679(0)60--z
-
Post, 711(0)174--z, 711(0)767--z
-
poster, 716(0)478--z
-
Postman, 726(0)133--z
-
Potthoff, A., 710(0)396--z
-
Potthoff:1993:RTL, 710(0)396--z
-
Pottier, L., 677(0)197--z
-
Pottier, L., see Kounalis, E.
-
Poulin, D., 720(0)502--z
-
Poulin:1993:CC, 720(0)502--z
-
Poutre, J. A., La, 726(0)212--z
-
power, 657(0)333--z, 665(0)386--z, 700(0)215--z, 700(0)410--z,
700(0)496--z, 700(0)507--z, 709(0)163--z, 711(0)311--z,
718(0)105--121, 737(0)195--z, 739(0)346--z, 762(0)240--249
-
Power-Series, 729(0)53--z
-
powerdomain, 711(0)650--z
-
Pozo, F., del, 686(0)536--z
-
practical, 658(0)437--z, 675(0)1--z, 678(0)146--z, 686(0)131--z,
687(0)401--z, 709(0)610--z, 715(0)37--z, 717(0)127--z, 718(0)27--z,
718(0)67--z, 718(0)122--z, 718(0)244--z, 724(0)15--z, 724(0)111--z,
734(0)115--z, 740(0)31--53, 740(0)292--304, 747(0)65--z,
749(0)117--z, 753(0)327--z, 755(0)62--88
-
practice, 678(0)176--z, 685(0)293--z, 706(0)116--z, 730(0)301--z,
761(0)317--z
-
Prade, H., 682(0)3--z, 747(0)17--z
-
Prade, H., see Benferhat, S., \see{Dubois, D.
-
Pragmatic, 671(0)247--z, 717(0)301--z, 749(0)1--z
-
Prakash, N., 720(0)655--z
-
Prakash, N., see Rolland, C.
-
PRAM, 678(0)11--z, 711(0)557--z
-
PRAM, CREW-, 726(0)109--z
-
Pramanik, Sakti, 730(0)361--z
-
Pramanik, Sakti, see Grossman, Robert
-
PRAMs, 709(0)163--z
-
Prasad, K. V. S., 715(0)173--z
-
Prasad:1993:PB, 715(0)173--z
-
Pratt, 711(0)142--z
-
Pratt, Ian, 716(0)77--z
-
Pratt:1993:MS, 716(0)77--z
-
Pre-Formal, 671(0)100--z
-
Precedence, 719(0)468--z
-
Precise, 665(0)650--z
-
Precision, 675(0)1--z
-
Precomputation, 658(0)200--207
-
preconditions, 659(0)184--z, 669(0)137--156
-
Predecessors, 709(0)483--z
-
Predefined, 656(0)67--z
-
predicate, 659(0)184--z, 669(0)21--44, 679(0)60--z, 698(0)253--z,
702(0)327--z, 707(0)268--z, 710(0)462--z, 711(0)301--z, 713(0)1--z,
713(0)71--z, 715(0)477--z, 743(0)183--z, 761(0)193--z
-
Predicateash, 674(0)301--z
-
Predicative, 735(0)8--z
-
Predict, 720(0)122--z
-
Prediction, 686(0)531--z, 686(0)611--z, 686(0)720--z, 743(0)240--z
-
Predictionash, 719(0)175--z
-
Predictive, 712(0)349--z
-
Predictor, 719(0)118--z
-
Preemption, 698(0)333--z, 761(0)72--z
-
Preferences, 682(0)13--z
-
Preferential, 689(0)642--z, 747(0)9--z, 747(0)326--z
-
Preferred, 659(0)284--z
-
Prefix, 678(0)218--z
-
Preilowski, W., 657(0)78--z
-
Preilowski:1993:PTN, 657(0)78--z
-
preimages, 718(0)435--z
-
Preis, B., 665(0)317--z
-
Preis, B., see Kucera, L.
-
Preliminary, 660(0)242--z, 679(0)93--z, 689(0)162--z, 698(0)19--z,
712(0)185--z, 727(0)281--z, 740(0)183--195, 745(0)337--z,
759(0)229--z
-
Prem, Erich, 671(0)166--z
-
Prem:1993:CSM, 671(0)166--z
-
Preneel, B., 718(0)105--121, 718(0)535--538, 741(0)20--32,
741(0)87--131, 741(0)162--173
-
Preneel, B., see Vandewalle, J.
-
Preneel:1993:ATH, 718(0)535--538
-
Preneel:1993:IAH, 741(0)87--131
-
Preneel:1993:PMD, 718(0)105--121
-
Preneel:1993:SCT, 741(0)162--173
-
preorders, 711(0)20--z
-
Preparata, F. P., 665(0)110--z
-
Preparata, F. P., see Pietracaprina, A.
-
Preparata, Franco P., 678(0)47--z
-
Preparata:1993:FPC, 678(0)47--z
-
preprocessing, 658(0)341--99999999, 658(0)341--z, 719(0)732--z
-
Prerequisites, 716(0)322--z
-
Presburger, 713(0)187--z
-
presence, 711(0)272--z, 725(0)204--z
-
Presentation, 712(0)130--z, 753(0)125--z, 753(0)334--z
-
Presented, 739(0)477--480
-
Presenting, 699(0)381--z
-
preserved, 715(0)353--z
-
preserving, 715(0)353--z
-
Presicce, F., Parisi-, 655(0)222--z, 657(0)248--z, 711(0)618--z
-
Pressure, 686(0)536--z, 720(0)396--z
-
Preston, Philip, 723(0)277--z
-
Preston, Philip, see Compton, Paul
-
Preston, Richard, 733(0)249--z
-
Preston, Richard, see Quinn, Clark N.
-
Presynaptic, 686(0)30--z
-
Prevelakis, V., 685(0)586--z
-
Prevelakis:1993:PSD, 685(0)586--z
-
Preventative, 717(0)251--z
-
Priami, C., 700(0)558--z
-
Priami, C., see Inverardi, P.
-
Prices, 686(0)714--z
-
Pricing, 740(0)139--147
-
Prieto, A., 686(0)185--z, 686(0)297--z, 686(0)432--z, 686(0)542--z
-
Prieto, A., see Fernandez-Rodriguez, J. J.,
see Martin-Smith, P., \see{Merelo, J. J.,
see Ortega, J.
-
Prieto, C. J., Pantaleon-, 686(0)525--z
-
Primal-Dual, 700(0)64--z
-
Primality, 718(0)539--z
-
Primary, 733(0)129--z
-
prime, 657(0)212--z, 658(0)194--99999999, 698(0)277--z, 718(0)413--z,
728(0)41--z, 739(0)440--z, 740(0)358--370
-
Primitive, 675(0)1--z, 710(0)194--z, 719(0)317--z, 743(0)135--z,
745(0)161--z
-
Primitivity, 711(0)174--z
-
Principal, 715(0)524--z
-
principle, 696(0)220--z, 698(0)265--z, 713(0)289--z, 719(0)543--z,
747(0)41--z
-
Printed, 719(0)599--z
-
Prints, Foot-, 762(0)353--362
-
Prior, 687(0)307--z
-
Prioritization, 748(0)12--z
-
priority, 709(0)302--z, 715(0)417--z, 725(0)1--z, 748(0)42--z
-
Prisco, R., De, 709(0)553--z
-
Privacy, 718(0)252--z, 739(0)493--z
-
Privara, I., 710(0)418--z
-
Privara, I., see Ruzicka, P.
-
Private-Key, 739(0)288--z
-
Private-Memory, 757(0)563--z
-
probabilistic, 657(0)236--z, 658(0)472--z, 659(0)89--z, 659(0)323--z,
665(0)323--z, 665(0)576--z, 682(0)43--z, 689(0)622--z, 700(0)241--z,
720(0)337--z, 727(0)362--z, 728(0)208--z, 739(0)412--z,
743(0)208--z, 744(0)410--423, 747(0)41--z, 747(0)57--z, 747(0)97--z,
747(0)160--z, 747(0)227--z, 747(0)290--z, 762(0)267--276
-
probabilistic, non-, 665(0)566--z
-
probability, 689(0)306--z, 700(0)253--z, 702(0)425--z, 718(0)492--z,
747(0)274--z, 747(0)332--z, 747(0)364--z
-
Probable, 740(0)358--370
-
probe, 665(0)662--z, 709(0)95--z
-
Probing, 709(0)72--z
-
problem, 657(0)1--z, 657(0)27--z, 657(0)60--z, 665(0)48--z, 665(0)110--z,
665(0)120--z, 665(0)294--z, 665(0)317--z, 665(0)515--z,
671(0)210--z, 677(0)57--z, 677(0)197--z, 679(0)17--z, 686(0)230--z,
686(0)620--z, 689(0)350--z, 689(0)508--z, 689(0)612--z,
699(0)205--z, 700(0)40--z, 700(0)52--z, 700(0)76--z, 700(0)88--z,
700(0)150--z, 702(0)43--z, 702(0)115--z, 702(0)248--z, 702(0)327--z,
706(0)23--z, 706(0)173--z, 708(0)139--z, 709(0)72--z, 709(0)175--z,
709(0)222--z, 709(0)265--z, 709(0)277--z, 709(0)325--z,
709(0)349--z, 709(0)361--z, 709(0)610--z, 709(0)622--z,
710(0)121--z, 710(0)171--z, 710(0)204--z, 710(0)375--z,
710(0)418--z, 711(0)84--z, 711(0)174--z, 711(0)211--z, 712(0)32--z,
713(0)63--z, 713(0)152--z, 718(0)469--z, 719(0)309--z, 723(0)45--z,
725(0)204--z, 726(0)109--z, 726(0)133--z, 726(0)145--z,
726(0)321--z, 726(0)357--z, 727(0)1--z, 727(0)258--z, 728(0)302--z,
733(0)338--z, 733(0)441--z, 737(0)65--z, 737(0)188--z, 742(0)27--z,
743(0)171--z, 745(0)2--z, 747(0)97--z, 747(0)282--z, 755(0)183--224,
757(0)97--111, 760(0)67--z, 761(0)218--z, 761(0)238--z,
761(0)248--z, 761(0)419--z, 762(0)38--47, 762(0)48--57,
762(0)78--87, 762(0)88--97, 762(0)185--190, 762(0)363--368,
762(0)389--398, 762(0)416--425, 762(0)436--445, 762(0)476--485,
762(0)515--522, 762(0)533--542
-
Problem-Oriented, 722(0)374--z
-
Problem-Solving, 723(0)159--z, 723(0)340--z
-
Procedural, 685(0)22--z, 753(0)196--z
-
procedure, 656(0)328--z, 658(0)124--z, 660(0)24--z, 675(0)1--z,
677(0)23--z, 679(0)17--z, 679(0)130--z, 679(0)151--z, 682(0)101--z,
698(0)122--z, 711(0)714--z, 713(0)83--z, 722(0)192--z, 727(0)358--z,
744(0)73--86, 757(0)248--263, 761(0)173--z
-
process, 655(0)236--z, 659(0)298--z, 665(0)1--z, 671(0)144--z,
672(0)1--z, 674(0)406--z, 682(0)73--z, 682(0)275--z, 682(0)284--z,
685(0)521--z, 685(0)629--z, 686(0)688--z, 689(0)385--z,
700(0)593--z, 706(0)23--z, 706(0)27--z, 706(0)67--z, 706(0)73--z,
706(0)77--z, 706(0)111--z, 710(0)152--z, 710(0)309--z, 711(0)252--z,
711(0)321--z, 711(0)372--z, 711(0)453--z, 711(0)703--z, 715(0)22--z,
715(0)37--z, 715(0)143--z, 715(0)202--z, 715(0)308--z, 715(0)384--z,
715(0)493--z, 715(0)539--z, 716(0)1--z, 716(0)158--z, 717(0)100--z,
717(0)197--z, 717(0)434--z, 717(0)451--z, 717(0)466--z,
719(0)113--z, 720(0)627--z, 720(0)655--z, 722(0)66--z, 724(0)112--z,
725(0)84--z, 727(0)213--z, 728(0)230--z, 729(0)121--z, 729(0)359--z,
733(0)437--z, 735(0)190--z, 743(0)171--z, 745(0)322--z,
753(0)141--z, 754(0)171--z, 759(0)359--z, 761(0)373--z
-
Process, Per-, 757(0)175--z
-
processing, 662(0)vi--143, 671(0)221--z, 686(0)230--z, 686(0)370--z,
686(0)702--z, 689(0)142--z, 689(0)186--z, 689(0)198--z,
712(0)164--z, 719(0)343--z, 719(0)614--z, 719(0)698--z,
719(0)716--z, 719(0)721--z, 719(0)759--z, 719(0)770--z,
719(0)780--z, 720(0)122--z, 720(0)349--z, 729(0)651--z,
730(0)247--z, 737(0)214--z, 740(0)139--147, 743(0)25--z,
746(0)xiv--210, 748(0)268--z, 751(0)1--z, 757(0)482--496,
759(0)127--z, 759(0)229--z
-
Processor, 678(0)48--z, 686(0)432--z, 686(0)494--z, 734(0)56--z,
748(0)359--z
-
prod, 655(0)254--z
-
Producing, 753(0)281--z
-
product, 665(0)294--z, 686(0)726--z, 700(0)430--z, 700(0)469--z,
706(0)107--z, 710(0)352--z, 757(0)264--z, 762(0)147--156
-
Production, 720(0)583--z, 720(0)593--z, 720(0)605--z, 728(0)254--z,
754(0)127--z
-
Production-Rule, 747(0)33--z
-
Professionals, 733(0)353--z, 753(0)210--z
-
Profile, 706(0)13--z, 757(0)31--z
-
Programmable, 678(0)119--z, 705(0)11--z, 705(0)78--z, 705(0)106--z,
705(0)124--z
-
Programmable, Field-, 705(0)26--z
-
Programme, 741(0)227--234
-
Programmer, 678(0)11--z, 731(0)63--z
-
programming, 657(0)277--z, 660(0)1--z, 660(0)45--z, 660(0)100--z,
660(0)150--z, 660(0)187--z, 660(0)205--z, 660(0)216--z,
660(0)265--z, 660(0)282--z, 660(0)339--z, 660(0)359--z, 669(0)3--20,
669(0)21--44, 669(0)45--66, 669(0)67--106, 669(0)107--136,
669(0)137--156, 669(0)157--180, 671(0)166--z, 685(0)416--z,
686(0)261--z, 686(0)351--z, 689(0)362--z, 689(0)435--z,
689(0)496--z, 698(0)170--z, 698(0)348--z, 700(0)682--z,
701(0)176--z, 702(0)216--z, 702(0)274--z, 707(0)4--z, 707(0)220--z,
707(0)361--z, 711(0)537--z, 713(0)61--z, 713(0)63--z, 713(0)337--z,
714(0)44--z, 714(0)137--z, 714(0)201--z, 714(0)220--z, 715(0)173--z,
717(0)1--z, 717(0)466--z, 723(0)379--z, 725(0)294--z, 727(0)213--z,
728(0)132--z, 731(0)192--z, 731(0)229--z, 734(0)114--114,
734(0)115--z, 734(0)219--z, 735(0)8--z, 737(0)262--z, 742(0)1--z,
742(0)95--z, 742(0)279--z, 747(0)17--z, 747(0)213--z, 749(0)241--z,
753(0)181--z, 755(0)43--61, 757(0)124--z, 757(0)311--z,
757(0)326--z, 761(0)294--z, 762(0)466--475
-
Programming, Meta-, 714(0)44--z
-
Progress, 720(0)529--z, 733(0)329--z, 737(0)107--z
-
Proietti, Maurizio, 755(0)263--304
-
Proietti, Maurizio, see Pettorossi, Alberto
-
Project, 701(0)252--z, 706(0)216--z, 722(0)374--z, 730(0)265--z,
733(0)249--z, 748(0)338--z
-
Project, Mega-, 685(0)199--z
-
Projecting, 728(0)84--z
-
Projection, 686(0)328--z, 708(0)217--z, 754(0)239--z
-
projective, 676(0)1--z, 728(0)41--z
-
Projectivity, 686(0)513--z
-
Prolog, 660(0)319--z, 660(0)359--z, 698(0)28--z, 698(0)134--z,
698(0)309--z, 711(0)1--z, 713(0)1--z, 714(0)75--z, 714(0)92--z,
714(0)291--z, 714(0)365--z, 724(0)1--z, 724(0)15--z, 727(0)170--z,
743(0)135--z, 748(0)42--z
-
Promises, 734(0)114--114
-
proof, 656(0)175--z, 656(0)430--z, 658(0)341--99999999, 658(0)341--z,
660(0)24--z, 660(0)265--z, 664(0)13--z, 664(0)91--z, 664(0)179--z,
665(0)525--z, 679(0)151--z, 689(0)39--z, 689(0)142--z, 698(0)64--z,
698(0)348--z, 702(0)14--z, 702(0)29--z, 710(0)204--z, 711(0)547--z,
713(0)71--z, 713(0)159--z, 713(0)190--z, 713(0)263--z, 715(0)202--z,
717(0)483--z, 722(0)229--z, 722(0)379--z, 728(0)11--z, 732(0)133--z,
739(0)352--z, 739(0)368--z, 739(0)397--z, 740(0)215--227,
740(0)228--245, 740(0)390--420, 747(0)349--z, 761(0)284--z
-
Propagation, 727(0)360--z
-
property, 656(0)272--z, 656(0)429--z, 657(0)225--z, 664(0)328--z,
665(0)365--z, 665(0)484--z, 679(0)60--z, 685(0)521--z, 702(0)43--z,
702(0)425--z, 710(0)31--z, 710(0)266--z, 711(0)122--z, 711(0)433--z,
711(0)660--z, 713(0)243--z, 715(0)353--z, 724(0)206--z, 728(0)35--z,
729(0)21--z, 735(0)57--z, 735(0)181--z, 735(0)239--z, 735(0)377--z,
739(0)412--z, 744(0)187--196, 747(0)341--z, 759(0)45--z,
762(0)11--20
-
Propose, 720(0)448--z
-
Proposed, 739(0)481--z, 740(0)76--88
-
Proposition, 719(0)157--z
-
Propositional, 698(0)241--z, 747(0)296--z
-
ProSet-Linda, 734(0)135--z
-
Proskurowski, A., 709(0)610--z
-
Proskurowski, A., see Telle, J. A.
-
PROSPECTRA, 680(0)3--z
-
Prosthesis, 707(0)1--z
-
protection, 718(0)15--z, 718(0)185--z
-
Protein, 719(0)627--z, 743(0)240--z
-
Proth, J. M., 674(0)281--z
-
Proth, J. M., see Laftit, S.
-
protocol, 658(0)153--z, 658(0)285--z, 658(0)307--z, 658(0)378--z,
658(0)461--z, 712(0)370--z, 718(0)219--z, 718(0)252--z,
718(0)263--z, 718(0)275--z, 718(0)296--z, 725(0)26--z, 729(0)81--z,
739(0)312--z, 739(0)412--z, 739(0)450--z, 740(0)246--259,
740(0)461--470, 741(0)50--70, 759(0)277--z
-
Prototype, 701(0)211--z, 701(0)252--z, 705(0)192--z, 720(0)396--z,
731(0)104--z, 757(0)482--496
-
Prototype-Based, 742(0)128--z
-
prototyping, 685(0)165--z, 705(0)96--z, 705(0)134--z, 714(0)137--z,
734(0)135--z, 753(0)163--z, 759(0)105--z
-
provability, 728(0)35--z
-
Provable, 735(0)349--z, 740(0)566--574
-
provably, 658(0)307--z, 740(0)1--14, 740(0)31--53
-
Provan, G., 747(0)282--z
-
Provan, G., see Ngair, T.-H.
-
Provaznik, I., 719(0)657--z
-
Provaznik, I., see Jan, J.
-
proven, 718(0)27--z
-
Provence, 717(0)451--z
-
prover, 660(0)1--z, 698(0)194--z, 699(0)381--z, 722(0)229--z,
722(0)272--z
-
Prover, 2-, 740(0)215--227
-
Prover, One-, 739(0)352--z
-
Provide, 719(0)183--z, 720(0)541--z
-
Providing, 729(0)560--z
-
Province, 733(0)443--z
-
Proving, 656(0)226--z, 656(0)257--z, 656(0)302--z, 656(0)357--z,
658(0)356--z, 671(0)55--z, 677(0)90--z, 679(0)60--z, 689(0)19--z,
689(0)476--z, 702(0)115--z, 714(0)346--z, 722(0)2--z, 727(0)242--z,
728(0)1--z, 761(0)114--z, 761(0)151--z
-
Proving-by-Example, 744(0)73--86
-
Provision, 733(0)437--z
-
Proximity, 719(0)291--z, 761(0)218--z
-
Proxy, 760(0)1--z
-
Prudence, 743(0)159--z
-
Pruhs, K. R., 700(0)102--z, 709(0)119--z
-
Pruhs, K. R., see Azar, Y.,
see Kalyanasundaram, B.
-
Prumper, Jochen, 733(0)255--z
-
Prumper:1993:SEB, 733(0)255--z
-
Pruning, 686(0)278--z, 698(0)52--z
-
Przytycka, T., 725(0)249--z
-
Przytycka, T., see Higham, L.
-
Pseudonyms, 739(0)493--z
-
pseudorandom, 658(0)239--z, 658(0)256--z, 658(0)267--z, 718(0)385--z,
739(0)194--z, 739(0)210--z
-
PSPACE-Complete, 700(0)76--z
-
Psychobiological, 686(0)78--z
-
Psychology, 716(0)312--z, 723(0)256--z, 745(0)2--z
-
PTIME, NDB-, 760(0)49--z
-
Public, 733(0)435--z, 740(0)421--432, 740(0)461--470, 741(0)33--49
-
Public-Key, 658(0)163--z, 740(0)113--138
-
public-key, 658(0)458--z, 718(0)469--z
-
Pucci, G., 726(0)49--z
-
Pucci, G., see Bhatt, S. N.
-
Pucci, Geppino, 678(0)166--z
-
Pucci, Geppino, see Luccio, Fabrizio
-
Pudlak, R., 710(0)106--z
-
Pudlak:1993:CCS, 710(0)106--z
-
Puget, J.-F., 689(0)350--z
-
Puget:1993:SSC, 689(0)350--z
-
Puhlmann, H., 711(0)650--z
-
Puhlmann:1993:SPD, 711(0)650--z
-
Puigjaner, R., 685(0)629--z
-
Puigjaner:1993:EPP, 685(0)629--z
-
Pujari, A. K., 761(0)411--z
-
Pujari:1993:EAS, 761(0)411--z
-
Puliti, P., 745(0)181--z, 745(0)263--z
-
Puliti, P., see Dragoni, A. F.,
see Giretti, A.
-
Pumping, 710(0)342--z
-
Pun, T., 719(0)468--z, 745(0)322--z
-
Pun, T., see Bost, J.-M., \see{Milanese, R.
-
Puntonet, C. G., 686(0)432--z
-
Puntonet, C. G., see Ortega, J.
-
Puppo, Enrico, 716(0)113--z
-
Puppo, Enrico, see de Floriani, Leila
-
Pure, 664(0)289--z, 679(0)93--z, 709(0)14--z
-
Purgathofer, Peter, 733(0)338--z, 733(0)433--z, 733(0)445--z
-
Purgathofer, Peter, see Hofkirchner, Wolfgang,
see Pohl, Margit
-
Purgathofer:1993:CGS, 733(0)445--z
-
purpose, 722(0)379--z, 724(0)15--z, 739(0)237--z
-
Purpose, Multi-, 739(0)397--z
-
pushdown, 665(0)354--z
-
pushout, 657(0)248--z
-
puzzle, 719(0)299--z
-
PVM, 731(0)39--46, 734(0)194--203
-
Pyatkin, V. P., 719(0)793--z
-
Pyatkin, V. P., see Alekseev, A. S.
-
Pyramid, 719(0)31--z, 719(0)49--z, 719(0)267--z
-
Pyramidal, 727(0)362--z