Last update: Wed Feb 5 04:57:35 MST 2014
Return to index directory
P
-
P, 1295(0)319--z
-
{P}-stable, 1196(0)565--z
-
P1363, 1189(0)117--z
-
{P4}-connected, 1197(0)17--z
-
P506, 1238(0)189--z
-
PA-Processes, 1281(0)547--z
-
Paakki, J., 1282(0)355--z
-
Paakki, J., see Granoe, K.
-
Paar, Christof, 1233(0)363--z, 1294(0)342--z
-
Paar, Christof, see Guajardo, Jorge
-
Paar, G., 1296(0)677--z
-
Paar, G., see Kolesnik, M.
-
Paar:1997:FAA, 1233(0)363--z
-
PAC, 1266(0)445--z
-
Pacheco, M. A., 1259(0)344--z
-
Pacheco, M. A., see Zebulum, R. S.
-
Paciorek, N., 1219(0)86--z
-
Paciorek, N., see Wong, D.
-
package, 1214(0)879--z, 1232(0)327--334, 1235(0)25--z, 1267(0)210--z
-
packet, 1242(0)523--z, 1276(0)11--z, 1282(0)338--z
-
packing, 1284(0)13--z
-
Padberg, J., 1243(0)181--z
-
Padberg, J., see Ehrig, H.
-
Paech, Barbara, 1241(0)344--z
-
Paech, Barbara, see Breu, Ruth
-
Pagenumber, 1190(0)11--z
-
pages, 1284(0)308--z
-
Pain, 1211(0)98--z
-
pair, 1230(0)537--z
-
Pairwise, 1272(0)416--z
-
Paker, Y., 1225(0)929--z
-
Paker, Y., see Altilar, D. T.
-
Palagyi, K., 1296(0)400--z
-
Palagyi:1997:PST, 1296(0)400--z
-
Palamidessi, C., 1282(0)256--z
-
Palamidessi, C., see Best, E.
-
Palao-Gostanza, Pedro, 1231(0)353--z
-
Palao-Gostanza, Pedro, see Gregorio-Rodriguez, C.
-
Palazzo, R., 1255(0)66--z
-
Palazzo, R., see Costa, S. R.
-
Palen, L., 1274(0)142--z
-
Palen, L., see Grudin, J.
-
Palencia Gutierrez, J. C., 1251(0)125--z
-
Palencia Gutierrez, J. C., see Gonzalez Harbour, M.
-
Pallets, 1272(0)440--z
-
Palliating, 1299(0)97--z
-
Pallud, M., 1277(0)201--z
-
Pallud, M., see Germain, C.
-
Palma, J. M. L. M., 1215(0)247--z
-
Palma, J. M. L. M., see Carvalho, L. M. R.
-
Palmer-Brown, D., 1280(0)337--z
-
Palmer-Brown, D., see Roadknight, C. M.
-
Palsberg, J., 1281(0)47--z
-
Palsberg, J., see Aiken, A.
-
Pan, Z., 1285(0)27--z
-
Pan-European, 1238(0)255--z
-
Pan:1997:AEA, 1285(0)27--z
-
Panacea, 1212(0)3--z
-
Pancreatic, 1240(0)146--153
-
Panel, 1270(0)126--z
-
Pankanti, S., 1206(0)103--z
-
Pankanti, S., see Hong, L.
-
Panne, S., 1292(0)351--z
-
Panne, S., see Eisinger, N.
-
Panzer-Steindel, B., 1225(0)975--z
-
Panzer-Steindel, B., see Calafiura, P.
-
Papadakis, N., 1279(0)340--z
-
Papadakis, N., see Mavronicolas, M.
-
Papadias, D., 1266(0)541--z
-
Papadias, D., see Karacapilidis, N.
-
Papadimitriou, C., 1272(0)472--z
-
Papadimitriou, C., see Chen, Z.-Z.
-
Papadopoulos, G. A., 1277(0)247--z, 1282(0)422--z
-
Papadopoulos:1997:CBC, 1282(0)422--z
-
Papadopoulos:1997:CDC, 1277(0)247--z
-
Papaefthymiou, M., 1291(0)277--z
-
Papaefthymiou, M., see Wang, F.
-
Papakostas, A., 1272(0)354--z
-
Papakostas:1997:ODH, 1272(0)354--z
-
Pape, C., 1289(0)219--z
-
Pape:1997:RTS, 1289(0)219--z
-
Paper, Proof-on-, 1249(0)412--z
-
Pappas, G., 1273(0)378--z
-
Pappas, G., see Tomlin, C.
-
Pappas, G. J., 1273(0)329--z
-
Pappas, N., 1242(0)491--z
-
Pappas, N., see Christodoulakis, S.
-
Pappas:1997:TCA, 1273(0)329--z
-
Parabolic, 1196(0)106--z, 1196(0)557--z
-
paradigm, 1219(0)39--z, 1233(0)163--z, 1240(0)841--z, 1240(0)892--z,
1257(0)505--z, 1277(0)396--z, 1297(0)141--z
-
parallel, axis-, 1284(0)430--z
-
Parallel, Data-, 1199(0)173--z, 1215(0)65--z
-
Parallel, Recursive-, 1277(0)45--z
-
Parallel, Series-, 1190(0)11--z
-
parallel, series-, 1232(0)230--240
-
Parallelash, 1225(0)860--z
-
Parallelisation, 1225(0)801--z
-
Parallelism, 1225(0)664--z, 1239(0)207--z, 1277(0)226--z
-
Parallelization, 1215(0)222--z, 1215(0)247--z, 1220-0-vi,
1225(0)175--z, 1225(0)752--z, 1225(0)811--z, 1225(0)898--z,
1225(0)970--z, 1239(0)41--z
-
Parallelized, 1239(0)285--z
-
Parallelizer, 1239(0)603--z
-
Parallelizing, 1225(0)781--z, 1239(0)300--z, 1277(0)83--z, 1298(0)46--z
-
parameter, 1223(0)133--z, 1240(0)546--z, 1252(0)164--z, 1285(0)97--z,
1289(0)103--z, 1296(0)559--z, 1296(0)637--z
-
Parameter-Induced, 1251(0)161--z
-
Parameterised, 1298(0)76--z
-
Parametric, 1205(0)263--z, 1239(0)231--z, 1240(0)1068--z, 1272(0)282--z,
1298(0)159--z
-
Parametric, Slope-, 1201(0)75--z
-
Parametrically, 1223(0)35--z
-
Paramodulation, 1289(0)1--z
-
Parasitic, 1240(0)217--z
-
Pardo, F., 1296(0)702--z
-
Pardo, F., see Boluda, J. A.
-
Parente, M., 1200(0)547--z, 1279(0)293--z
-
Parente, M., see Auletta, V.,
see La Torre, S.
-
Parise, A., 1190(0)76--z
-
Parise, A., see Di Battista, G.
-
Parisi-Presicce, F., 1197(0)101--z
-
Parisi-Presicce, F., see Ciotti, O.
-
Parity, 1200(0)201--z
-
Park, I., 1239(0)300--z
-
Park, I., see Eigenmann, R.
-
Parker, M., 1199(0)1--z
-
Parker, M., see Davis, A.
-
Parr, T. C., 1230(0)405--z
-
Parr, T. C., see Zwiggelaar, R.
-
Parsimony, 1276(0)124--z
-
Parsons, E. W., 1291(0)166--z
-
Parsons:1997:IMS, 1291(0)166--z
-
Part-of-Speech, 1297(0)93--z
-
partial, 1186(0)113--z, 1197(0)239--z, 1207(0)59--z, 1217(0)19--z,
1217(0)35--z, 1232(0)38--52, 1232(0)230--240, 1243(0)119--z,
1244(0)574--z, 1249(0)431--z, 1256(0)805--z, 1276(0)212--z,
1279(0)463--z, 1282(0)256--z, 1294(0)455--z, 1295(0)209--z,
1295(0)508--z, 1296(0)313--z
-
Partial-order, 1254(0)340--z
-
Partializing, 1214(0)478--z
-
Partially, 1211(0)296--z, 1256(0)682--z, 1277(0)1--z
-
Partially-Observable, 1295(0)129--z
-
Particle, 1225(0)961--z
-
particle, Quasi-, 1225(0)1022--z
-
partition, 1197(0)67--z, 1203(0)25--z, 1223(0)101--z, 1223(0)409--z,
1256(0)727--z
-
Partitioned, 1271(0)101--z, 1295(0)159--z
-
partitioning, 1197(0)44--z, 1239(0)350--z, 1250(0)289--z, 1256(0)616--z,
1262(0)178--z, 1267(0)13--z, 1271(0)69--z, 1276(0)304--z,
1276(0)515--z, 1285(0)81--z
-
Partly, 1271(0)123--z
-
Parwatikar, J., 1272(0)258--z
-
Parwatikar, J., see Goldman, S. A.
-
{Parzen}-Windows, 1280(0)479--z
-
Paschos, G., 1296(0)535--z
-
Paschos:1997:TEN, 1296(0)535--z
-
Pasquali, R., 1242(0)19--z
-
Pasquali, R., see Hussmann, H.
-
passing, Communication-, 1282(0)131--z
-
Passing, Message-, 1225(0)718--z, 1225(0)1026--z
-
Passing, Value-, 1281(0)250--z
-
Passive, 1296(0)718--z
-
Past, 1214(0)3--z
-
Pastaci, H., 1226(0)484--z
-
Pastaci, H., see Derdiyok, A.
-
Paterson, M., 1264(0)76--z
-
Paterson, M., see Fraenkel, A. S.
-
Paterson, R., 1292(0)111--z
-
Paterson:1997:TLF, 1292(0)111--z
-
path, 1197(0)151--z, 1200(0)33--z, 1232(0)142--156, 1255(0)114--129,
1256(0)408--z, 1256(0)505--z, 1256(0)527--z, 1256(0)805--z,
1257(0)521--z, 1272(0)234--z, 1272(0)248--z, 1272(0)368--z,
1272(0)416--z, 1277(0)7--z
-
Pathway, 1211(0)66--z
-
patient, 1205(0)327--z, 1280(0)287--z, 1296(0)106--z
-
Patient-Specific, 1230(0)429--z
-
Paton, N. W., 1250(0)33--z
-
Paton, N. W., see Diaz, O.
-
Patrick, M., 1212(0)317--z
-
Patrick, M., see Jacky, J.
-
pattern, 1214(0)818--z, 1240(0)634--z, 1240(0)1038--z, 1241(0)472--z,
1241(0)496--z, 1241(0)511--z, 1241(0)530--z, 1263(0)112--z,
1264(0)40--z, 1264(0)90--z, 1268(0)21--z, 1272(0)160--z,
1278(0)1--z, 1280(0)585--z, 1282(0)414--z, 1285(0)187--z,
1286(0)17--z, 1293(0)153--z, 1296(0)527--z
-
Pattern-Matching, 1279(0)245--z, 1298(0)273--z
-
Patti, V., 1216(0)132--z
-
Patti, V., see Baldoni, M.
-
Pattnaik, P., 1291(0)95--z
-
Pattnaik, P., see Jann, J.
-
Paulus, Sachar, 1294(0)385--z
-
Paulus, Sachar, see Buchmann, Johannes A.
-
Paun, G., 1278(0)210--z, 1295(0)388--z
-
Paun, G., see Martin-Vide, C.
-
Paun:1997:DRD, 1278(0)210--z
-
Pautet, L., 1251(0)46--z
-
Pautet, L., see Dupouy, B.
-
Pauw, T., De, 1240(0)743--z
-
Pauwels, E. J., 1296(0)17--z
-
Pauwels:1997:FUC, 1296(0)17--z
-
Pavisic, D., 1211(0)417--z
-
Pavisic, D., see Draye, J.-P.
-
Pavlou, G., 1238(0)263--z
-
Pavlou, G., see Griffin, D.
-
Pavlovic, D., 1290(0)147--z
-
Pavlovic:1997:SIC, 1290(0)147--z
-
Pawlowski, W., 1290(0)177--z
-
Pawlowski, W., see Mossakowski, T.
-
paxaconsistent, 1265(0)224--z
-
Pazienza, M. T., 1299(0)44--z
-
Pazienza, M. T., see Basili, R.
-
Pazy, O., 1251(0)149--z
-
Pazy, O., see Wellings, A. J.
-
PC, 1218(0)278--z, 1225(0)624--z, 1233(0)434--449
-
PCCG, 1257(0)617--z
-
PCF, 1210(0)82--z, 1210(0)214--z
-
Pebbles, 1279(0)400--z
-
Pecchiari, P., 1254(0)202--z
-
Pecchiari, P., see Cimatti, A.
-
Pedagogic, 1292(0)369--z
-
Pedersen, T. P., 1189(0)101--z
-
Pedersen, T. P., see Cramer, R.
-
Pedestrian, 1296(0)42--z
-
Pedicini, M., 1258(0)76--z
-
Pedicini, M., see Danos, V.
-
pedicle, 1205(0)531--z
-
Pednault, Edwin P. D., 1280(0)17--28
-
Pednault, Edwin P. D., see Apte, Chidanand
-
Peers-mcd, 1249(0)53--z
-
PEFPT, 1225(0)908--z
-
Peirce, 1257(0)12--z
-
Pekergin, N., 1245(0)193--z
-
Pekergin, N., see Fourneau, J.-M.
-
Pelc, A., 1197(0)141--z, 1284(0)118--z
-
Pelc, A., see Diks, K.
-
Pelechano, J., 1296(0)702--z
-
Pelechano, J., see Boluda, J. A.
-
Peled, D., 1217(0)19--z, 1243(0)119--z, 1275(0)231--z
-
Peled, D., see Bhat, G., \see{Emerson, E. A.
-
Peled:1997:VRS, 1275(0)231--z
-
Pelegrini, M., 1230(0)285--z
-
Pelegrini, M., see Benali, H.
-
Pellegrini, C., 1211(0)199--z, 1240(0)617--z
-
Pellegrini, C., see Bologna, G.
-
Pellerin, D., 1240(0)1085--z
-
Pellerin, D., see Croll, C.
-
Pellikaan, R., 1255(0)138--z
-
Pellikaan, R., see Hoeholdt, T.
-
Peltier, N., 1249(0)431--z
-
Peltier, N., see Defourneaux, G.
-
Pelz, E., 1248(0)117--z
-
Pelz, E., see Fraczak, W.
-
Peña, R., 1231(0)280--294, see Galán, L. A.
-
Penalties, 1276(0)264--z
-
Peñalver, L., 1215(0)365--z, see Fernandez, J. C.
-
Pendulum, 1273(0)57--z
-
PENELOPE, 1245(0)19--z
-
Peng, S.-L., 1276(0)284--z
-
Peng:1997:ENS, 1276(0)284--z
-
Penna, P., 1197(0)114--z
-
Penna, P., see Crescenzi, P.
-
Pensini, M. P., 1225(0)21--z
-
Pensini, M. P., see Falessi, R.
-
Pentium, 1267(0)242--259
-
Penzo, R., 1242(0)245--z
-
Penzo, R., see Antoniazzi, S.
-
PEP, 1217(0)65--z, 1254(0)440--z
-
Perceptual, 1240(0)1203--z
-
percutaneous, 1205(0)299--z, 1205(0)565--z
-
Perego, R., 1225(0)980--z
-
Perego, R., see Baraglia, R.
-
Pereira, L. M., 1216(0)110--z, 1265(0)224--z, 1265(0)353--z
-
Pereira, L. M., see Alferes, J. J.,
see Damasio, C. V.
-
Perennes, S., 1256(0)505--z
-
Perennes, S., see Gargano, L.
-
Perera, A. A. I., 1255(0)151--z
-
Perera, A. A. I., see Horadam, K. J.
-
Perera, S., 1266(0)255--z
-
Perera, S., see Watson, I.
-
Perez, M. J., Ibathez, 1196(0)414--z
-
Perez, J. L., 1215(0)168--z
-
Perez, J. L., see Aliaga, J. I.
-
Perez, P., 1206(0)27--z
-
Perez, P., see Kervrann, C.
-
Perez-Castellanos, M., 1240(0)217--z
-
Perez-Castellanos, M., see Gimenez, V.
-
Perform, 1276(0)72--z, 1295(0)108--z
-
performability, 1245(0)6--z, 1245(0)19--z
-
performance, 1200(0)165--z, 1206(0)377--z, 1215(0)1--z, 1215(0)24--34,
1225(0)21--z, 1225(0)41--z, 1225(0)117--z, 1225(0)200--z,
1225(0)263--z, 1225(0)293--z, 1225(0)360--z, 1225(0)624--z,
1225(0)772--z, 1225(0)781--z, 1225(0)840--z, 1225(0)1002--z,
1225(0)1022--z, 1225(0)1032--z, 1225(0)1035--z, 1240(0)607--z,
1245(0)83--z, 1245(0)108--z, 1245(0)155--z, 1250(0)187--z,
1263(0)395--z, 1271(0)54--z, 1271(0)116--z, 1274(0)43--z,
1276(0)101--z, 1277(0)168--z, 1277(0)262--z, 1280(0)313--z,
1291(0)277--z, 1296(0)369--z
-
Performance, High-, 1215(0)108--139
-
Performance-Enhanced, 1213(0)87--z
-
PERicardial, 1205(0)285--z
-
Perin, M., 1282(0)172--z
-
Perin, M., see Holzbacher, A. A.
-
Perlo-Freeman, S., 1232(0)217--227
-
Perlo-Freeman:1997:SCT, 1232(0)217--227
-
Permutable, 1255(0)341--z
-
permutation, 1203(0)264--z, 1276(0)232--z, 1277(0)7--z, 1296(0)66--z,
1296(0)74--z
-
Pernus, F., 1296(0)424--z
-
Pernus:1997:PMV, 1296(0)424--z
-
Perone, J., 1264(0)247--z
-
Perone, J., see Ben-Dor, A.
-
Perpetual, 1256(0)571--z
-
Perpetuality, 1298(0)240--z
-
Perrin, D., 1256(0)17--z, 1256(0)76--z
-
Perrin, D., see Bassino, F., \see{Carton, O.
-
Perrin, S., 1270(0)126--z
-
Perrin, S., see Charney, S.
-
Pershina, M. V., 1296(0)621--z
-
Pershina, M. V., see Chernov, V. M.
-
Persiano, P., 1256(0)493--z, 1256(0)716--z
-
Persiano, P., see De Santis, A.,
see Kaklamanis, C.
-
persistent, 1208(0)109--z, 1241(0)243--z
-
Person, 1206(0)85--z, 1206(0)291--z, 1206(0)301--z, 1206(0)311--z,
1206(0)353--z
-
Personal, 1274(0)166--z
-
personalities, 1195(0)43--z, 1261-0-x
-
Personalized, 1238(0)459--z
-
perspective, 1192(0)244--z, 1231(0)383--z, 1236(0)70--z, 1242(0)261--z,
1244(0)108--z, 1257(0)110--z, 1263(0)1--z, 1266(0)279--z,
1282(0)1--z
-
perspective, Multi-, 1250(0)117--z
-
Persuasion, 1286(0)120--z
-
PET, 1230(0)190--z, 1252(0)188--z
-
Peteira, L. M., 1216(0)1--z
-
Peteira, L. M., see Dix, J.
-
Petersen, H., 1279(0)400--z, 1295(0)448--z
-
Petersen, Leaf, 1241(0)104--z
-
Petersen, Leaf, see Bruce, Kim B.
-
Petersen:1997:EPS, 1279(0)400--z
-
Petersen:1997:HIS, 1295(0)448--z
-
Petit, A., 1200(0)583--z, 1295(0)418--z
-
Petit, A., see Diekert, V., \see{Meyer, R.
-
Petri, 1207(0)187--z, 1217(0)203--z, 1217(0)209--z, 1243(0)406--z,
1245(0)123--z, 1248(0)102--z, 1248(0)136--z, 1248(0)175--z,
1248(0)215--z, 1248(0)290--z, 1248(0)367--z, 1248(0)387--z,
1248(0)447--z, 1268(0)162--z, 1277(0)70--z, 1279(0)105--z,
1279(0)117--z, 1279(0)317--z, 1281(0)547--z
-
Petrou, M., 1296(0)613--z
-
Petrou, M., see Kovalev, V.
-
Petruschka, Y., 1284(0)378--z
-
Petruschka, Y., see Naor, S.
-
Pfeifer, G., 1265(0)363--z
-
Pfeifer, G., see Eiter, T.
-
Pfenning, F., 1210(0)147--z
-
Pfenning, F., see Despeyroux, J.
-
Pfitzmann, Birgit, 1233(0)88--z, 1233(0)480--z
-
Pfitzmann, Birgit, see Baric, Niko
-
Pfitzmann:1997:AF, 1233(0)88--z
-
pH, 1239(0)519--z
-
Pham, D., 1230(0)399--z
-
Pham, D., see Xu, C.
-
phantom, 1205(0)501--z, 1296(0)480--z
-
phase, 1201(0)301--z, 1205(0)193--z
-
Phase, Two-, 1196(0)38--z
-
Phase-Lag, 1196(0)565--z
-
Phase-Type, 1248(0)175--z
-
Phase-weighted, 1206(0)95--z
-
Phenomena, 1277(0)344--z, 1285(0)1--z
-
Phillips, C., 1264(0)130--z
-
Phillips, C., see Cryan, M.
-
phone, 1245(0)108--z
-
Phoneme, 1240(0)1136--z
-
Phonetic, 1297(0)37--z
-
Photos, 1206(0)161--z
-
Phrasal, 1263(0)343--z
-
Phylogenetic, 1240(0)932--z, 1264(0)130--z, 1276(0)274--z
-
Phylogeny, 1276(0)101--z
-
Physical, 1276(0)242--z
-
physics, 1225(0)975--z
-
Pi-Calculus, 1295(0)52--z
-
Picard, S., 1296(0)376--z
-
Picard, S., see Mohr, R.
-
Picaronny, C., 1295(0)149--z
-
Picaronny, C., see Bérard, B.
-
Piccardi, M., 1280(0)223--z
-
Piccardi:1997:ESL, 1280(0)223--z
-
Picco, G., 1219(0)13--z
-
Picco, G., see Baldi, M.
-
Picco, G. P., 1222(0)93--z
-
Picco, G. P., see Cugola, G.
-
picture, 1256(0)347--z, 1296(0)345--z, 1296(0)551--z
-
Piecewise, 1240(0)607--z, 1256(0)143--z
-
Pieprzyk, J., 1270(0)194--z
-
Pieprzyk, J., see Bakhtiari, S.
-
Pierce, B. C., 1281(0)415--z
-
Pierce, B. C., see Bruce, K. B.
-
piercing, 1284(0)430--z
-
Piernas, J., 1226(0)241--z
-
Piernas, J., see Gomez-Skarmeta, A. F.
-
PIERS, 1225(0)31--z
-
Pietra, B., 1254(0)202--z
-
Pietra, B., see Cimatti, A.
-
Pighizzini, G., 1295(0)199--z
-
Pighizzini, G., see Choffrut, C.
-
Pilot, 1242(0)609--z
-
Pingali, K., 1199(0)256--z
-
Pingali, K., see Chrisochoides, N.
-
Pinkas, Benny, 1294(0)322--z
-
Pinkas, Benny, see Naor, Moni
-
Pinna, G. M., 1243(0)151--z
-
Pinna, G. M., see Busi, N.
-
Pinotti, M. C., 1272(0)272--z, 1276(0)1--z
-
Pinotti, M. C., see Das, S. K.
-
Pipeline, 1239(0)154--z, 1277(0)189--z
-
Pipelining, 1277(0)121--z
-
Pires, Fernando, Moura-, 1280(0)325--z
-
Piskunov, S., 1277(0)371--z
-
Piskunov, S., see Markova, V.
-
Pitas, I., 1296(0)122--z, 1296(0)416--z
-
Pitas, I., see Bors, A. G.,
see Vavoulidis, C. P.
-
Pitfalls, 1249(0)116--z
-
Pitt, L., 1208(0)134--z
-
Pitt, L., see Helmbold, D.
-
PiZA, 1212(0)37--z
-
Pizer, S. M., 1230(0)127--z, 1230(0)176--z, 1230(0)537--z,
1252(0)176--z
-
Pizer, S. M., see Aylward, S.,
see Bullitt, E., \see{Fritsch, D.,
see Furst, J. D.
-
Pla, F., 1296(0)686--z
-
Pla, F., see Sanchiz, J. M.
-
placement, 1190(0)241--z, 1205(0)593--z, 1239(0)369--z, 1272(0)378--z
-
Plan, 1211(0)349--z, 1211(0)405--z, 1274(0)106--z
-
planar, 1190(0)11--z, 1190(0)155--z, 1197(0)151--z, 1197(0)181--z,
1203(0)122--z, 1284(0)64--z, 1284(0)186--z
-
Planarity, 1272(0)186--z, 1272(0)472--z
-
Plandowski, W., 1256(0)98--z, 1264(0)40--z, 1279(0)245--z
-
Plandowski, W., see Berman, P.,
see Karhumaeki, J.
-
plane, 1190(0)1--z, 1255(0)114--129, 1272(0)307--z, 1296(0)175--z,
1296(0)686--z
-
Planetary, 1296(0)677--z
-
Plankensteiner, P., 1206(0)301--z
-
Plankensteiner, P., see Dieckmann, U.
-
planning, 1195(0)43--z, 1205(0)315--z, 1205(0)619--z, 1205(0)705--z,
1211(0)343--z, 1224(0)57--z, 1266(0)531--z, 1272(0)3--z,
1296(0)424--z
-
Plant, 1226(0)478--z, 1226(0)593--z, 1240(0)1270--z, 1240(0)1298--z,
1278(0)11--z
-
Plastic, 1240(0)72--z
-
Platek, M., 1218(0)119--z
-
Platek, M., see Jancar, P.
-
platform, 1274(0)90--z, 1282(0)430--z
-
Platoon, 1201(0)154--z
-
Plausibility-Centred, 1250(0)47--z
-
Play, 1294(0)75--z
-
Plaza, E., 1224(0)33--z
-
Plaza, E., see Armengol, E.
-
PLC-Automata, 1231(0)111--z
-
Pless, R., 1203(0)37--z
-
Pless, R., see Khuller, S.
-
Plessis, J. P., Du, 1211(0)122--z
-
Plisko, V., 1289(0)233--z
-
Plisko:1997:TSL, 1289(0)233--z
-
Pliuskevicius, R., 1289(0)241--z
-
Pliuskevicius:1997:CDR, 1289(0)241--z
-
Ploeedereder, E., 1251(0)1--z, 1251(0)161--z
-
Ploeedereder, E., see Gellerich, W.,
see Holzmueller, B.
-
Plotkin, G. D., 1258(0)129--z
-
Plotkin, G. D., see Fiore, M. P.
-
Plougonven, B., 1240(0)1374--z
-
Plougonven, B., see De Tremiolles, G.
-
PLTL, 1234(0)419--z
-
Plug, 1294(0)75--z
-
Plump, D., 1295(0)458--z
-
Plump:1997:SOT, 1295(0)458--z
-
Plus, M., 1200(0)261--z
-
Plus, M., see Gaubert, S.
-
Pnueli, A., 1254(0)179--z, 1254(0)424--z
-
Pnueli, A., see Bozga, M., \see{Kesten, Y.
-
Poblil, A. P., Del, 1240(0)1344--z
-
Poedts, S., 1225(0)190--z
-
Poedts, S., see Keppens, R.
-
Poesl, J., 1296(0)440--z
-
Poesl:1997:SDO, 1296(0)440--z
-
Pogudin, Y., 1277(0)424--z
-
Pogudin:1997:SCC, 1277(0)424--z
-
point, 1204(0)17--z, 1240(0)217--z, 1240(0)284--z, 1272(0)31--z,
1272(0)224--z, 1272(0)392--z, 1276(0)42--z, 1276(0)470--z,
1279(0)179--z, 1296(0)66--z, 1296(0)74--z, 1296(0)82--z,
1296(0)416--z
-
Pointer-Linked, 1239(0)594--z
-
Pointers, 1199(0)115--z
-
Pol, J., Van de, 1295(0)249--z
-
Polacik, T., 1289(0)255--z
-
Polacik:1997:PQI, 1289(0)255--z
-
polar, 1205(0)33--z
-
Polar, Log-, 1296(0)702--z
-
Polarized, 1289(0)290--z
-
Polaron, 1196(0)1--z
-
policy, 1250(0)33--z, 1270(0)14--z, 1270(0)126--z, 1295(0)129--z
-
Political, 1291(0)117--z
-
Poll, E., 1281(0)439--z
-
Poll:1997:SFW, 1281(0)439--z
-
Pollefeys, M., 1296(0)175--z
-
Pollefeys:1997:SCA, 1296(0)175--z
-
Pollution, 1196(0)66--z
-
polygon, 1203(0)110--z, 1262(0)197--z, 1272(0)93--z, 1272(0)284--z,
1272(0)321--z
-
Polygon, Offset-, 1272(0)378--z
-
Polygon-Offset, 1272(0)200--z
-
Polygonal, 1272(0)17--z, 1276(0)32--z
-
Polymorphic, 1192(0)172--z, 1214(0)453--z, 1234(0)399--409,
1281(0)47--z
-
Polymorphism, 1192(0)260--z, 1217(0)112--z, 1281(0)20--z, 1281(0)107--z
-
polynomial, 1196(0)98--z, 1200(0)93--z, 1200(0)319--z, 1203(0)61--z,
1203(0)171--z, 1232(0)113--127, 1255(0)29--z, 1255(0)174--z,
1256(0)203--z, 1267(0)190--z, 1270(0)183--z, 1275(0)137--z,
1279(0)222--z, 1279(0)233--z, 1294(0)16--z, 1295(0)85--z,
1295(0)337--z, 1295(0)498--z
-
Polynomial-time, 1200(0)117--z
-
Polyploidy, 1213(0)223--z
-
polytope, 1272(0)186--z
-
Polyvariance, 1192(0)260--z
-
Pomares, R., 1240(0)146--153
-
Pomares, R., see Andreu, E.
-
Pomello, L., 1295(0)139--z
-
Pomello, L., see Bernardinello, L.
-
Pompe, U., 1297(0)235--z
-
Pompe:1997:PFO, 1297(0)235--z
-
pomset, 1243(0)406--z
-
Poncelet, P., 1250(0)333--z
-
Poncelet, P., see Cathala, F.
-
Ponomarenko, M., 1278(0)99--z
-
Ponomarenko, M., see Kel, A.
-
Pool-Based, 1291(0)139--z
-
Poonawala, M., 1235(0)108--z
-
Poonawala, M., see Ci, J. X.
-
Poppycock, 1212(0)3--z
-
Population, 1280(0)491--z
-
PORT, 1257(0)505--z
-
Portable, 1199(0)102--z, 1236(0)156--z
-
Porter, A. L., 1263(0)323--z
-
Porter, A. L., see Watts, R. J.
-
Porter, B., 1257(0)521--z
-
Porter, B., see Clark, P.
-
Portfolio, 1225(0)293--z
-
Pose, 1296(0)424--z, 1296(0)432--z
-
Posedness, Well-, 1296(0)130--z
-
Posets, 1272(0)402--z, 1295(0)139--z
-
position, 1226(0)74--z, 1230(0)549--z, 1232(0)217--227, 1274(0)363--378
-
Position-Independent, 1272(0)284--z
-
Positive, 1257(0)95--z, 1295(0)44--z
-
Possibilistic, 1188(0)240--z, 1244(0)30--z, 1244(0)71--z, 1244(0)108--z
-
Possibilities, 1240(0)753--z
-
Possibly, 1193(0)65--z, 1275(0)89--z
-
Posteriori, 1230(0)167--z
-
Postmodernism, 1244(0)154--z
-
Potamias, G., 1211(0)98--z
-
Potamias, G., see Dzeroski, S.
-
Potential, 1225(0)664--z, 1238(0)219--z
-
Potharst, R., 1263(0)232--z
-
Potharst, R., see Bioch, J. C.
-
Poulakidas, A. S., 1276(0)353--z
-
Poulakidas:1997:CSS, 1276(0)353--z
-
Poulovassilis, A., 1271(0)215--z
-
Poulovassilis, A., see Xu, L.
-
power, 1186(0)291--z, 1197(0)166--z, 1200(0)201--z, 1215(0)1--z,
1217(0)112--z, 1225(0)982--z, 1226(0)556--z, 1240(0)1270--z,
1240(0)1298--z, 1256(0)143--z, 1256(0)682--z, 1256(0)849--z,
1265(0)152--z, 1295(0)327--z
-
Power, A. J., 1281(0)191--z
-
Power, A. J., see Kinoshita, Y.
-
Power, J., 1281(0)391--z
-
Power, Low-, 1272(0)104--z
-
Power-Free, 1295(0)347--z
-
Power:1997:ECS, 1281(0)391--z
-
powerful, 1240(0)861--z, 1249(0)260--z, 1284(0)284--z
-
Pozo, F., Del, 1242(0)693--z
-
Practical, 1189(0)33--z, 1189(0)49--z, 1193(0)67--z, 1212(0)151--z,
1240(0)607--z, 1241(0)302--z, 1244(0)267--z, 1249(0)73--z,
1249(0)101--z, 1270(0)114--z, 1294(0)470--z
-
practice, 1193(0)67--z, 1207(0)59--z, 1250(0)203--z, 1255(0)88--z,
1284(0)171--z, 1291(0)1--z
-
Prade, H., 1188(0)240--z, 1244(0)30--z, 1244(0)96--z
-
Prade, H., see Benferhat, S., \see{Dubois, D.
-
Prados-Mendez, S., 1240(0)628--z
-
Prados-Mendez, S., see Guijarro-Berdiñas, B.
-
pragmatic, 1254(0)3--z, 1292(0)419--z
-
Pre-compressed, 1242(0)423--z
-
Pre-processing, 1240(0)1203--z
-
precise, 1205(0)299--z
-
Precision, 1240(0)753--z
-
Preconditioner, 1196(0)581--z, 1215(0)295--z, 1225(0)351--z,
1277(0)406--z
-
Precorrected, Randoms-, 1230(0)190--z
-
Precup, D., 1280(0)41--z
-
Precup, D., see McGeoch, C. C.
-
Predecessor, 1200(0)21--z
-
Predefined, 1296(0)519--z
-
Predicate, 1226(0)250--z, 1239(0)135--z, 1241(0)60--z, 1258(0)167--z,
1262(0)69--z, 1294(0)1--z, 1297(0)189--z
-
Predicated, 1239(0)135--z
-
Predicting, 1226(0)554--z, 1240(0)576--z
-
Prediction, 1196(0)114--z, 1240(0)1154--z, 1266(0)611--z, 1285(0)146--z,
1291(0)35--z, 1297(0)273--z
-
Predictive, 1240(0)1136--z
-
Predictor, 1296(0)279--z
-
Preemption, 1291(0)262--z
-
Preference, 1244(0)159--z
-
preferences, 1186(0)247--z
-
Prefix, 1234(0)145--z
-
Prehofer, Christian, 1241(0)419--z
-
Prehofer:1997:FOP, 1241(0)419--z
-
Preikschat, W., Schroeder-, 1225(0)718--z
-
Preining, N., 1289(0)264--z
-
Preining:1997:SP, 1289(0)264--z
-
preliminary, 1205(0)767--z
-
Preneel, Bart, 1267(0)139--z, 1294(0)485--z
-
Preneel, Bart, see Knudsen, Lars Ramkilde,
see Rijmen, Vincent
-
preorders, 1254(0)48--z
-
Preparata, F. P., 1272(0)186--z
-
Preparata, F. P., see Devillers, O.
-
Preprocessing, 1226(0)304--z, 1240(0)628--z
-
Preprocessor, 1225(0)1006--z
-
Presburger, 1243(0)213--z, 1254(0)400--z
-
Presence, 1264(0)180--z, 1276(0)72--z, 1281(0)165--z
-
Present, 1214(0)3--z
-
Presentation, 1275(0)259--z, 1290(0)87--z
-
presented, 1232(0)53--67, 1232(0)68--82, 1279(0)388--z
-
Preserve, 1207(0)104--z
-
preserving, 1232(0)83--97, 1250(0)333--z
-
Presheaf, 1258(0)58--z, 1290(0)106--126
-
Presicce, F., Parisi-, 1197(0)101--z
-
Pressing, 1258(0)226--z
-
Preuner, G., 1250(0)423--z
-
Preuner, G., see Bichler, P.
-
Preussig, J., 1273(0)361--z
-
Preussig, J., see Stursberg, O.
-
Prevalence, 1294(0)264--z
-
Priami, C., 1192(0)296--z, 1192(0)345--z
-
Priami, C., see Degano, P.
-
Priced, 1286(0)166--z
-
Priese, L., 1243(0)406--z
-
Priese, L., see Wimmel, H.
-
Prieto, A., 1240(0)763--z
-
Prieto, A., see Bernier, J. L.
-
Primal-Dual, 1256(0)749--z
-
Prime, 1294(0)249--z, 1295(0)358--z
-
Primiano, F. P., 1205(0)389--z
-
Primiano, F. P., see Kaye, J.
-
Primitive, 1199(0)115--z, 1210(0)147--z, 1241(0)146--z
-
primitives, 1282(0)426--z
-
Prince, J., 1230(0)399--z
-
Prince, J., see Xu, C.
-
Prince, J. L., 1230(0)313--z
-
Prince, J. L., see Kerwin, W. S.
-
principal, 1215(0)416--z, 1230(0)299--z, 1252(0)315--z, 1296(0)50--z
-
principle, 1236(0)141--z, 1240(0)678--z, 1263(0)299--z, 1289(0)319--z,
1290(0)220--z
-
Printed, 1272(0)462--z
-
Prior, 1230(0)327--z, 1240(0)227--z
-
priori, 1205(0)491--z
-
Prioritised, 1244(0)267--z
-
Prioritized, 1188(0)1--z
-
priority, 1216(0)91--z, 1218(0)150--z, 1248(0)215--z, 1284(0)232--z
-
Privacy, 1233(0)334--z, 1238(0)459--z, 1294(0)307--z
-
Privat, G., 1242(0)375--z
-
Privat, G., see Brelot, M.
-
Private, 1256(0)401--z
-
Proactive, 1294(0)440--z
-
probabilistic, 1200(0)595--z, 1214(0)667--z, 1231(0)340--z,
1243(0)243--z, 1244(0)71--z, 1252(0)224--z, 1253(0)49--z,
1254(0)119--z, 1256(0)430--z, 1256(0)460--z, 1266(0)611--z,
1267(0)114--z, 1297(0)235--z
-
Probabilistic-Timed, 1231(0)353--z
-
probability, 1200(0)141--z, 1213(0)265--z, 1256(0)166--z, 1280(0)479--z,
1284(0)416--z
-
Probably, 1241(0)389--z
-
Probe, 1240(0)1374--z
-
problem, 1186(0)364--z, 1190(0)241--z, 1192(0)244--z, 1196(0)1--z,
1196(0)9--z, 1196(0)90--z, 1196(0)106--z, 1196(0)134--z,
1196(0)150--z, 1196(0)161--z, 1196(0)192--z, 1196(0)227--z,
1196(0)557--z, 1196(0)565--z, 1196(0)581--z, 1197(0)211--z,
1200(0)451--z, 1200(0)547--z, 1201(0)409--z, 1203(0)1--z,
1203(0)25--z, 1203(0)37--z, 1203(0)171--z, 1203(0)288--z,
1213(0)23--z, 1213(0)361--z, 1214(0)201--212, 1218(0)1--z,
1218(0)454--z, 1223(0)311--z, 1225(0)293--z, 1225(0)360--z,
1225(0)452--z, 1225(0)860--z, 1225(0)1006--z, 1226(0)558--z,
1226(0)583--z, 1232(0)1--7, 1232(0)53--67, 1232(0)128--141,
1233(0)134--z, 1233(0)256--z, 1234(0)88--z, 1240(0)556--z,
1240(0)688--z, 1240(0)743--z, 1240(0)753--z, 1240(0)995--z,
1249(0)19--z, 1249(0)260--z, 1251(0)161--z, 1252(0)272--z,
1253(0)135--z, 1256(0)154--z, 1256(0)527--z, 1256(0)605--z,
1256(0)727--z, 1256(0)749--z, 1258(0)460--z, 1264(0)130--z,
1265(0)387--z, 1266(0)499--z, 1272(0)55--z, 1272(0)69--z,
1272(0)126--z, 1272(0)136--z, 1272(0)210--z, 1272(0)248--z,
1272(0)378--z, 1273(0)57--z, 1273(0)215--z, 1276(0)23--z,
1276(0)251--z, 1276(0)284--z, 1277(0)40--z, 1277(0)330--z,
1277(0)350--z, 1279(0)233--z, 1279(0)245--z, 1279(0)257--z,
1279(0)352--z, 1279(0)388--z, 1280(0)17--28, 1284(0)64--z,
1284(0)144--z, 1284(0)171--z, 1284(0)271--z, 1284(0)326--z,
1284(0)443--z, 1284(0)472--z, 1285(0)106--z, 1292(0)323--z,
1293(0)171--z, 1294(0)112--z, 1295(0)398--z, 1296(0)130--z,
1296(0)329--z, 1297(0)17--z
-
Problem-Solving, 1226(0)545--z, 1237(0)128--z
-
Probst, R., 1205(0)327--z
-
Probst, R., see Hauser, R.
-
Procedural, 1239(0)501--z, 1265(0)324--z
-
Procedural, Structural-, 1277(0)394--z
-
procedure, 1205(0)319--z, 1207(0)313--z, 1211(0)21--z, 1216(0)132--z,
1230(0)99--z, 1249(0)19--z, 1249(0)101--z, 1249(0)264--z,
1254(0)60--z, 1257(0)371--z, 1257(0)386--z, 1273(0)57--z,
1275(0)171--z, 1277(0)400--z, 1281(0)267--z, 1281(0)515--z
-
process, 1190(0)401--z, 1192(0)296--z, 1199(0)31--z, 1199(0)144--z,
1201(0)124--z, 1201(0)213--z, 1211(0)66--z, 1214(0)285--z,
1217(0)259--z, 1217(0)275--z, 1225(0)1018--z, 1226(0)554--z,
1231(0)141--z, 1231(0)199--z, 1231(0)263--z, 1231(0)340--z,
1231(0)353--z, 1235(0)81--z, 1240(0)660--z, 1241(0)170--z,
1244(0)1--z, 1245(0)123--z, 1248(0)136--z, 1254(0)119--z,
1256(0)408--z, 1256(0)419--z, 1256(0)430--z, 1256(0)482--z,
1256(0)549--z, 1256(0)571--z, 1262(0)238--z, 1266(0)509--z,
1268(0)162--z, 1277(0)145--z, 1278(0)88--z, 1279(0)85--z,
1281(0)250--z, 1282(0)374--z, 1282(0)426--z, 1295(0)129--z
-
Process, Self-Organizing-, 1226(0)92--z
-
Process-Oriented, 1263(0)243--z
-
Processes, PA-, 1281(0)547--z
-
processing, 1206(0)377--z, 1224(0)337--z, 1225(0)674--z, 1225(0)929--z,
1226(0)547--z, 1239(0)56--z, 1240(0)257--z, 1240(0)1005--z,
1240(0)1058--z, 1240(0)1307--z, 1249(0)61--z, 1252(0)323--z,
1257(0)505--z, 1257(0)589--z, 1259(0)289--z, 1262(0)178--z,
1262(0)197--z, 1271(0)38--z, 1271(0)69--z, 1271(0)123--z,
1277(0)25--z, 1277(0)283--z, 1277(0)322--z, 1277(0)396--z,
1277(0)402--z, 1278(0)1--z, 1280(0)447--z, 1294(0)337--z,
1296(0)543--z, 1296(0)637--z, 1296(0)653--z, 1299(0)115--z
-
processing, Pre-, 1240(0)1203--z
-
Processor, 1188(0)44--z, 1215(0)96--z, 1215(0)108--139, 1218(0)299--z,
1267(0)242--259, 1267(0)273--z, 1277(0)60--z, 1277(0)121--z,
1279(0)293--z, 1291(0)35--z, 1291(0)139--z
-
processor, Co-, 1277(0)311--z
-
Processor, Multi-, 1275(0)49--z
-
processors., 1261-0-x
-
product, 1197(0)56--z, 1203(0)3--z, 1226(0)122--z, 1235(0)36--z,
1235(0)186--z, 1243(0)45--z, 1276(0)470--z
-
Production, 1236(0)70--z, 1240(0)1374--z
-
Proehle, P., 1232(0)217--227
-
Proehle, P., see Perlo-Freeman, S.
-
profile, 1202(0)171--z, 1206(0)145--z, 1252(0)315--z
-
Profiler, 1291(0)58--z
-
Profiling, 1268(0)200--z
-
PROforma, 1211(0)21--z
-
Progification, 1275(0)215--z
-
Prognosis, 1240(0)995--z
-
Progol, 1297(0)85--z, 1297(0)93--z, 1297(0)157--z, 1297(0)227--z
-
program, 1186(0)173--z, 1192(0)22--z, 1192(0)244--z, 1192(0)320--z,
1192(0)345--z, 1193(0)21--z, 1203(0)217--z, 1204(0)1--z,
1207(0)1--z, 1207(0)38--z, 1207(0)130--z, 1207(0)187--z,
1207(0)256--z, 1207(0)275--z, 1208(0)150--z, 1212(0)317--z,
1214(0)607--z, 1214(0)682--z, 1214(0)851--z, 1216(0)37--z,
1216(0)110--z, 1216(0)151--z, 1217(0)1--z, 1217(0)321--z,
1222(0)111--z, 1222(0)245--z, 1225(0)644--z, 1225(0)664--z,
1225(0)674--z, 1225(0)840--z, 1231(0)280--294, 1234(0)33--z,
1234(0)102--z, 1239(0)207--z, 1239(0)285--z, 1239(0)501--z,
1251(0)64--z, 1251(0)88--z, 1251(0)112--z, 1251(0)230--z,
1254(0)304--z, 1256(0)195--z, 1257(0)386--z, 1261-0-x,
1265(0)115--z, 1265(0)273--z, 1268(0)200--z, 1268(0)247--z,
1274(0)29--z, 1275(0)69--z, 1277(0)45--z, 1277(0)115--z,
1277(0)268--z, 1277(0)391--z, 1277(0)402--z, 1279(0)376--z,
1282(0)256--z, 1284(0)92--z, 1289(0)278--z, 1292(0)275--z,
1295(0)319--z, 1295(0)478--z, 1297(0)165--z, 1297(0)205--z,
1298(0)31--z, 1298(0)46--z
-
Programmable, 1282(0)274--z
-
programming, 1204(0)1--z, 1204(0)351--z, 1213(0)13--z, 1213(0)87--z,
1213(0)137--z, 1213(0)361--z, 1213(0)407--z, 1214(0)453--z,
1214(0)712--z, 1214(0)875--z, 1216(0)1--z, 1216(0)202--z,
1225(0)503--z, 1225(0)615--z, 1225(0)698--z, 1225(0)718--z,
1226(0)581--z, 1232(0)323--326, 1239(0)534--z, 1241(0)60--z,
1241(0)220--z, 1241(0)419--z, 1243(0)243--z, 1248(0)1--z,
1251(0)35--z, 1253(0)93--z, 1255(0)164--z, 1259(0)455--z, 1261-0-x,
1265(0)1--z, 1265(0)222--z, 1265(0)289--z, 1265(0)341--z,
1265(0)353--z, 1273(0)113--z, 1274(0)133--z, 1274(0)253--z,
1275(0)17--z, 1275(0)87--z, 1276(0)460--z, 1277(0)121--z,
1277(0)247--z, 1285(0)17--z, 1285(0)35--z, 1285(0)73--z,
1285(0)97--z, 1292(0)63--z, 1292(0)79--z, 1292(0)127--z,
1292(0)309--z, 1292(0)323--z, 1292(0)335--z, 1292(0)369--z,
1295(0)3--z, 1297(0)17--z, 1297(0)33--z, 1297(0)45--z,
1297(0)149--z, 1297(0)189--z, 1297(0)256--z
-
Programming-with-Proofs, 1281(0)365--z
-
Programs, Update-, 1216(0)110--z
-
progress, 1201(0)286--z, 1254(0)179--z, 1278(0)52--z
-
ProHos-1, 1215(0)96--z
-
project, 1204(0)17--z, 1206(0)385--z, 1238(0)189--z, 1242(0)609--z,
1242(0)739--z, 1251(0)46--z, 1254(0)214--z, 1257(0)65--z,
1259(0)437--z, 1265(0)220--z, 1268(0)58--z
-
Projection, 1230(0)537--z, 1240(0)1085--z, 1258(0)18--z, 1285(0)136--z
-
projections, 1205(0)491--z, 1257(0)371--z
-
Projective, 1276(0)451--z, 1296(0)66--z, 1296(0)74--z, 1296(0)82--z
-
Projectivity, 1240(0)1038--z
-
Prolegomena, 1216(0)1--z
-
Prolog, 1207(0)38--z, 1207(0)130--z
-
Promises, 1259(0)55--z, 1274(0)350--z
-
Proof, 1200(0)595--z, 1207(0)313--z, 1210(0)181--z, 1214(0)67--z,
1231(0)340--z, 1249(0)366--z, 1256(0)325--z, 1257(0)371--z,
1257(0)386--z, 1275(0)105--z, 1275(0)259--z, 1279(0)19--z,
1279(0)423--z, 1289(0)4--z, 1290(0)220--z, 1295(0)85--z,
1298(0)194--z
-
Proof, Sketch-as-, 1289(0)264--z
-
Proof-Nets, 1234(0)130--z
-
Proof-on-Paper, 1249(0)412--z
-
proofs, 1208(0)238--z, 1214(0)249--z, 1214(0)787--z, 1233(0)267--z,
1249(0)61--z, 1249(0)276--z, 1249(0)380--z, 1249(0)431--z,
1289(0)140--z, 1289(0)278--z, 1295(0)110--z, 1295(0)309--z
-
Proofs, Programming-with-, 1281(0)365--z
-
Propagation, 1225(0)84--z, 1248(0)367--z, 1256(0)36--z, 1277(0)350--z
-
Propagation, Estimation-, 1296(0)183--z
-
Proper, 1277(0)7--z
-
Proper, H. A., 1250(0)437--z
-
Proper, H. A., see Barros, A. P.
-
property, 1186(0)140--z, 1192(0)22--z, 1197(0)101--z, 1209(0)164--z,
1218(0)71--z, 1226(0)189--z, 1232(0)83--97, 1233(0)14--z,
1243(0)213--z, 1249(0)237--z, 1256(0)203--z, 1256(0)237--z,
1256(0)749--z, 1258(0)34--z, 1276(0)242--z, 1292(0)111--z,
1298(0)114--z
-
Proposal, 1204(0)207--z, 1233(0)119--z, 1238(0)179--z
-
Propositional, 1207(0)187--z, 1234(0)113--z, 1244(0)183--z,
1249(0)272--z, 1279(0)423--z, 1289(0)255--z
-
Prospecting, 1225(0)223--z
-
Prospectives, 1270(0)2--z
-
PROT, SWISS-, 1278(0)44--z
-
protection, 1242(0)423--z, 1270(0)325--z
-
Protective, 1226(0)556--z
-
ProtectOS, 1270(0)102--z
-
Protein, 1278(0)125--z, 1278(0)137--z
-
protocol, 1189(0)93--100, 1200(0)399--z, 1201(0)124--z, 1211(0)21--z,
1217(0)416--z, 1233(0)37--51, 1233(0)134--z, 1233(0)306--z,
1242(0)507--z, 1243(0)59--z, 1254(0)48--z, 1254(0)131--z,
1270(0)261--z, 1275(0)121--z, 1281(0)611--z, 1282(0)355--z,
1294(0)16--z
-
proton, 1205(0)705--z
-
Prototype, 1238(0)35--z
-
prototyping, 1192(0)116--z, 1232(0)323--326
-
Provable, 1189(0)101--z
-
provably, 1254(0)202--z
-
Prove, 1294(0)16--z
-
Prover, 1249(0)53--z, 1249(0)146--z, 1249(0)260--z, 1249(0)272--z,
1275(0)1--z, 1275(0)89--z
-
Provide, 1242(0)635--z
-
Providers, 1238(0)211--z
-
Providing, 1215(0)24--34, 1299(0)97--z
-
proving, 1192(0)22--z, 1214(0)261--z, 1232(0)38--52, 1232(0)142--156,
1232(0)157--171, 1237(0)128--z, 1243(0)213--z, 1249(0)57--z,
1249(0)176--z, 1249(0)351--z, 1265(0)220--z, 1273(0)18--z,
1275(0)33--z, 1277(0)70--z
-
Provision, 1238(0)459--z, 1242(0)19--z
-
Provisional, 1211(0)21--z
-
Provisioning, 1242(0)739--z
-
Proximate, 1272(0)224--z
-
Pruhs, K., 1284(0)296--z
-
Pruhs, K., see Kalyanasundaram, B.
-
Prusinkiewicz, P., 1278(0)11--z
-
Prusinkiewicz:1997:LVM, 1278(0)11--z
-
Przymusinski, 1265(0)170--z
-
Przymusinski, T., 1216(0)1--z
-
Przymusinski, T., see Dix, J.
-
PScheD, 1291(0)117--z
-
Pseudo-Bacterial, 1285(0)126--z
-
Pseudo-Random, 1294(0)277--z
-
Pseudo-spectral, 1225(0)190--z
-
PSPACE-complete, 1258(0)89--z
-
Psychological, 1198(0)27--z
-
PTTP-based, 1249(0)146--z
-
Public, 1233(0)209--z, 1294(0)235--z
-
Public-Key, 1189(0)111--z, 1233(0)27--z, 1233(0)363--z, 1294(0)112--z,
1294(0)213--z
-
Publishing, 1293(0)15--z
-
Pudov, S., 1277(0)76--82
-
Pudov:1997:ISC, 1277(0)76--82
-
Puech, W., 1296(0)122--z
-
Puech, W., see Bors, A. G.
-
Puga, A., 1215(0)96--z
-
Puga, A., see Alves, J. C.
-
Puget, J.-F., 1297(0)33--z
-
Puget:1997:ILP, 1297(0)33--z
-
Pugh, W., 1254(0)400--z
-
Pugh, W., see Bultan, T.
-
Pugliese, F., 1197(0)85--z
-
Pugliese, F., see Cicerone, S.
-
Pugliese, R., 1192(0)320--z, 1214(0)712--z, 1256(0)482--z,
1282(0)220--z
-
Pugliese, R., see Boreale, M.,
see De Nicola, R.
-
Pulse, 1240(0)811--z
-
Pulse-Coding, 1296(0)337--z
-
Pump, Insulin-, 1240(0)971--z
-
punctures, 1205(0)285--z
-
Pung, H. K., 1296(0)448--z
-
Pung, H. K., see Li, S. F.
-
Puntigam, Franz, 1241(0)367--z
-
Puntigam:1997:CRE, 1241(0)367--z
-
pure, 1207(0)130--z, 1210(0)30--z, 1210(0)112--z, 1234(0)9--z
-
Purpose, 1274(0)426--z
-
Purpose, Special-, 1259(0)289--z
-
Pursuit-Evasion, 1272(0)17--z
-
Purvis, M., 1209(0)44--z
-
Purvis, M., see Cranefield, S.
-
pushdown, 1200(0)295--z, 1243(0)135--z
-
Puzicha, J., 1223(0)213--z
-
Puzicha, J., see Hofmann, T.
-
Puzynin, I. V., 1196(0)1--z, 1196(0)9--z
-
Puzynin, I. V., see Akishin, P. G.,
see Amirkhanov, I. V.
-
Puzynina, T. P., 1196(0)9--z
-
Puzynina, T. P., see Amirkhanov, I. V.
-
PVM, 1215(0)247--z
-
PVS, 1254(0)72--z, 1275(0)33--z, 1275(0)121--z
-
Pym, D., 1249(0)222--z
-
Pym, D., see Harland, J.
-
Pyramid, 1296(0)353--z