Index file section P for lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Return to index directory
P
-
P-RISC, 768(0)390--z
-
{P}-Selective, 775(0)427--z
-
P02-Invariant, 825(0)473--z
-
P7519, 797(0)499--z
-
PAC, 774(0)37--z
-
PAC-Learnability, 784(0)217--z
-
{PAC}-Learning, 872(0)547--z
-
Pace, 849(0)271--z
-
Pacifici, G., 846(0)102--z
-
Pacifici, G., see Hyman, J. M.
-
Package, 766(0)1--z, 780(0)127--139, 783(0)285--z, 796(0)62--z,
796(0)377--z, 849(0)338--z, 868(0)139--z
-
Packaging, 853(0)200--z
-
packet, 793(0)191--202, 793(0)310--324, 846(0)173--z, 853(0)266--z
-
packing, 855(0)290--z
-
PACLIB, 854(0)533--z
-
Padberg, J., 785(0)188--206
-
Padberg, J., see Ehrig, H.
-
Paderewski, P., 763(0)96--z
-
Paderewski, P., see Parets, J.
-
Padovani, R., 783(0)56--z
-
Padovani:1994:CCC, 783(0)56--z
-
Padua, David, 768(0)500--z
-
Padua, David, see Peng, Tu
-
Padua, David A., 768(0)374--z
-
Padua, David A., see Sehr, David C.
-
Paech, B., 873(0)154--z
-
Paech:1994:NCR, 873(0)154--z
-
Paechter, B., 865(0)264--z
-
Paechter:1994:OPT, 865(0)264--z
-
PAFEC-FE, 796(0)62--z
-
Paganelli, P., 856(0)280--z
-
Paganelli, P., see Bonfatti, F.
-
Page, 824(0)25--z
-
Page, I., 849(0)220--z
-
Page, I., see Newman, M.
-
Page, Innes, 782(0)49--z
-
Page, Innes, see Hoare, C. A. R.
-
Paged, 831(0)117--z
-
PAGEIN, 797(0)86--z
-
Paige, R., 844(0)5--z, 850(0)5--z
-
Paige:1994:VPTa, 844(0)5--z
-
Paige:1994:VPTb, 850(0)5--z
-
Painter, D. S., 860(0)252--z
-
Painter, D. S., see Ramseur, J. H.
-
pair, 814(0)693--z, 825(0)297--z, 841(0)556--z
-
Paired, 862(0)66--z
-
Pairwise, 813(0)140--z, 834(0)342--z
-
Pal, K. F., 866(0)170--z
-
Pal, S. P., 880(0)181--192
-
Pal, S. P., see Biswas, S.
-
Pal:1994:SSS, 866(0)170--z
-
Palace, 797(0)499--z
-
Palamidessi, C., 788(0)195--z, 844(0)1--z, 850(0)1--z
-
Palamidessi, C., see Di Pierro, A.
-
Palamidessi:1994:CCPa, 844(0)1--z
-
Palamidessi:1994:CCPb, 850(0)1--z
-
Palaskas, Z., 856(0)540--z
-
Palaskas, Z., see Tsalgatidov, A.
-
Palem, K., 820(0)508--z
-
Palem, K., see Nikoletseas, S.
-
Palindromes, 775(0)497--z
-
Palios, L., 824(0)255--z
-
Palios:1994:CMN, 824(0)255--z
-
Palmkvist, K., 783(0)510--z
-
Palmkvist, K., see Nilsson, P.
-
Palopoli, L., 856(0)390--z
-
Palopoli:1994:APR, 856(0)390--z
-
Palsberg, J., 787(0)276--z
-
Palsberg:1994:GPA, 787(0)276--z
-
Paltrinieri, M., 858(0)248--z, 874(0)299--z
-
Paltrinieri:1994:DCS, 874(0)299--z
-
Paltrinieri:1994:IOC, 858(0)248--z
-
PAM, 849(0)196--z
-
Pan-European, 851(0)467--z
-
Panagopoulos, G., 779(0)379--392
-
Panagopoulos:1994:BSS, 779(0)379--392
-
Panangaden, P., 802(0)474--512, 836(0)129--z
-
Panangaden, P., see Blute, R. F.
-
Panangaden:1994:ILL, 836(0)129--z
-
Panconesi, A., 834(0)83--z
-
Panconesi:1994:RWF, 834(0)83--z
-
Panda, D. K., 853(0)131--z
-
Panda:1994:MMP, 853(0)131--z
-
Pande, S., 817(0)49--z
-
Pande:1994:CTV, 817(0)49--z
-
Pandey, James C., 768(0)115--z
-
Pandey, James C., see Browne, Raju
-
Pandya, P. K., 863(0)716--z, 863(0)738--z, 880(0)231--242
-
Pandya, P. K., see Narayan Kumar, K.,
see Yu, H., \see{Yu, X.
-
Panek, P., 860(0)65--z
-
Panek, P., see Flachberger, C.
-
Panel, 750(0)275--z, 874(0)350--z
-
Pangalos, G., 856(0)680--z
-
Pangalos:1994:DSM, 856(0)680--z
-
pans, 814(0)693--z
-
Pantke, S., 854(0)497--z
-
Pantke, S., see Buelck, T.
-
Pantziou, G. E., 834(0)270--z, 834(0)487--z, 841(0)462--z
-
Pantziou, G. E., see Kavvadias, D.,
see Metaxas, P. T.
-
Panzer-Steindel, B., 796(0)371--z
-
Panzer-Steindel, B., see Apostolakis, J.
-
Paolini, P., 823(0)178--z
-
Paolini, P., see Garzotto, F.
-
Papa, M. P., 858(0)278--z
-
Papa:1994:DOO, 858(0)278--z
-
Papadias, D., 856(0)173--z
-
Papadias:1994:RDR, 856(0)173--z
-
Papadimitriou, C. H., 818(0)132--z
-
Papadimitriou, C. H., see Mihail, M.
-
Papadopoulo, T., 800(0)71--82, 825(0)277--z
-
Papadopoulo:1994:AMF, 825(0)277--z
-
Papadopoulo:1994:MFC, 800(0)71--82
-
Papadopoulos, A., 856(0)531--z
-
Papadopoulos, A., see Hatzimanikatis, A.
-
Papadopoulos, C. V., 817(0)414--z, 817(0)601--z
-
Papadopoulos:1994:DAO, 817(0)601--z
-
Papadopoulos:1994:PD, 817(0)414--z
-
Papaefthymiou, M. C., 817(0)351--z
-
Papaefthymiou, M. C., see Agarwal, A.
-
Papakonstantinou, G., 856(0)734--z
-
Papakonstantinou:1994:DDB, 856(0)734--z
-
Papatheodorou, T. S., 856(0)671--z
-
Papatheodorou, T. S., see Houstis, C.
-
Papatriantafilou, M., 824(0)267--z, 834(0)83--z, 841(0)546--z
-
Papatriantafilou, M., see Panconesi, A.
-
Papatriantafilou:1994:HRC, 841(0)546--z
-
Papatriantafilou:1994:SSW, 824(0)267--z
-
Papp, C., 822(0)230--z
-
Papp:1994:BRW, 822(0)230--z
-
Paprzycki, M., 879(0)416--424
-
Paprzycki:1994:SLR, 879(0)416--424
-
PAPS, 794(0)284--304
-
PARA, 879(0)1--10, 879(0)11--16, 879(0)17--32, 879(0)33--40,
879(0)41--50, 879(0)51--58, 879(0)59--66, 879(0)67--79,
879(0)80--88, 879(0)89--99, 879(0)100--109, 879(0)110--126,
879(0)127--135, 879(0)136--146, 879(0)147--168, 879(0)169--176,
879(0)177--189, 879(0)190--193, 879(0)194--206, 879(0)207--218,
879(0)219--228, 879(0)229--235, 879(0)236--246, 879(0)247--261,
879(0)262--269, 879(0)270--286, 879(0)287--295, 879(0)296--303,
879(0)304--311, 879(0)312--317, 879(0)318--332, 879(0)333--343,
879(0)344--348, 879(0)349--357, 879(0)358--361, 879(0)362--373,
879(0)374--382, 879(0)383--391, 879(0)392--396, 879(0)397--415,
879(0)416--424, 879(0)425--433, 879(0)434--457, 879(0)458--468,
879(0)469--482, 879(0)483--492, 879(0)493--497, 879(0)498--504,
879(0)505--519, 879(0)520--533, 879(0)534--546, 879(0)547--556,
879(0)557--566
-
Paraboschi, S., 819(0)172--z
-
Paraboschi, S., see Baralis, E.
-
Paraconsistency, 764(0)1--z, 869(0)531--z
-
paradigm, 772(0)127--z, 772(0)177--z, 782(0)191--207, 785(0)1--29,
788(0)225--z, 791(0)1--z, 797(0)202--z, 800(0)309--318, 826(0)73--z,
854(0)301--z, 865(0)131--z, 870-0-xi, 876(0)11--z
-
Paradinas, P., 819(0)444--z
-
Paradinas:1994:PPD, 819(0)444--z
-
Paradox, 861(0)296--z
-
Paragon, 797(0)330--z, 797(0)493--z
-
ParaGraph, 771(0)1--z, 797(0)324--z
-
parallax, 800(0)205--210
-
Parallel, And-, 817(0)438--z
-
Parallel, Control-, 817(0)741--z
-
Parallel, Data-, 768(0)76--z, 797(0)338--z, 797(0)457--z,
854(0)100--z
-
Parallel, Massively-, 796(0)131--z
-
Parallel, OR-, 817(0)453--z
-
Parallel, Sequential-, 796(0)335--z
-
Parallel, Series-, 834(0)496--z
-
Parallel-Algorithms, 778(0)22--z
-
Parallelisation, 854(0)289--z
-
parallelism, 768(0)139--z, 768(0)301--z, 768(0)406--z, 768(0)617--z,
776(0)248--z, 797(0)42--z, 814(0)484--z, 817(0)387--z, 817(0)414--z,
817(0)553--z, 836(0)242--z, 854(0)136--z, 854(0)593--z,
854(0)664--z, 856(0)759--z
-
parallelism, And-, 864(0)297--z
-
Parallelization, 768(0)567--z, 775(0)463--z, 796(0)92--z, 796(0)163--z,
796(0)281--z, 796(0)311--z, 796(0)317--z, 796(0)323--z,
796(0)346--z, 796(0)371--z, 797(0)217--z, 797(0)241--z,
797(0)499--z, 854(0)253--z, 879(0)434--457
-
Parallelized, 786(0)339--z, 796(0)78--z
-
Parallelizer, Meta-, 854(0)652--z
-
Parallelizing, 786(0)309--323, 797(0)447--z, 797(0)508--z
-
parameter, 763(0)380--z, 800(0)111--116, 800(0)316--327, 812(0)67--84,
812(0)410--421, 872(0)532--z
-
Parameterfree, 800(0)218--226
-
parameterized, 775(0)509--z, 807(0)15--30, 807(0)226--239, 813(0)89--z,
814(0)836--z, 850(0)23--z, 859(0)407--z
-
parametric, 788(0)454--z, 807(0)87--101, 824(0)155--z, 864(0)78--z
-
parametric, Non-, 800(0)151--158
-
parametrization, 877(0)134--z
-
Paramodulation, 861(0)319--z
-
paraperspective, 800(0)97--110
-
PARASPAR, 879(0)547--556
-
parcPlan, 869(0)213--z
-
PARCS, 796(0)441--z
-
Pardubska, D., 841(0)423--z
-
Pardubska, D., see Hromkovic, J.
-
Paredaens, J., 776(0)170--z
-
Paredaens, J., see Gemis, M.
-
Paredis, J., 866(0)46--z
-
Paredis:1994:CEC, 866(0)46--z
-
Parent, C., 806(0)291--312
-
parent, Multi-, 866(0)78--z
-
Parent:1994:DCP, 806(0)291--312
-
Pareschi, R., 791(0)73--z
-
Pareschi, R., see Bourgois, M.
-
Parets, J., 763(0)96--z
-
Parets:1994:RSS, 763(0)96--z
-
Parigot, Didier, 786(0)52--z
-
Parigot, Didier, see Roussel, Gilles
-
Paris, J., 797(0)379--z
-
Paris, J., see Pouzet, P.
-
Paris, Jean-François, 774(0)305--z
-
Paris:1994:MRD, 774(0)305--z
-
Parisi Presicce, F., 785(0)295--309
-
Parisi, D., 830(0)41--z
-
Parisi, D., see Cecconi, F.
-
Parisi-Presicce, F., 858(0)329--z
-
Parisi-Presicce:1994:ROO, 858(0)329--z
-
ParisiPresicce:1994:SIA, 785(0)295--309
-
Parix, 797(0)253--259
-
Park, Choonsik, 765(0)248--z, 765(0)461--z
-
Park, J.-H., 852(0)511--z
-
Park, K., 855(0)471--z
-
Park, K., see Gasieniec, L.
-
Park:1994:EAC, 765(0)248--z
-
Park:1994:KDA, 765(0)461--z
-
Park:1994:RBN, 852(0)511--z
-
Parkinson, B. W., 866(0)598--z
-
Parkinson, B. W., see Pullen, S. P.
-
Parkvall, S., 783(0)251--z
-
Parkvall, S., see Strom, E. G.
-
Parlati, G., 855(0)183--z
-
Parlati:1994:NES, 855(0)183--z
-
parLisp, 797(0)445--z
-
Parnas, 780(0)162--173
-
Parnas, D., 780(0)154--161
-
Parnas:1994:STW, 780(0)154--161
-
Parr, Terence J., 786(0)263--z
-
Parr:1994:ASS, 786(0)263--z
-
Parrow, J., 775(0)557--z, 803(0)477--z, 803(0)509--z
-
Parrow:1994:ATN, 803(0)509--z
-
Parrow:1994:CAC, 775(0)557--z
-
Parrow:1994:ID, 803(0)477--z
-
PARSE, 854(0)381--z
-
Parsytec, 797(0)253--259
-
Part, 750(0)489--z, 798(0)11--23, 798(0)268--281, 822(0)320--z
-
partial, 776(0)218--z, 785(0)207--219, 788(0)485--z, 792(0)206--z,
798(0)94--119, 803(0)622--z, 812(0)264--278, 813(0)278--z,
814(0)371--z, 814(0)821--z, 815(0)318--z, 816(0)40--55,
818(0)377--z, 824(0)172--z, 824(0)359--z, 827(0)398--z, 829(0)69--z,
829(0)74--z, 833(0)45--z, 834(0)155--z, 836(0)465--z,
839(0)174--187, 844(0)165--z, 844(0)182--z, 854(0)337--z,
864(0)147--z, 869(0)511--z, 879(0)469--482
-
Partiality, 764(0)1--z
-
Partially, 775(0)341--z, 779(0)59--72, 784(0)363--z, 831(0)1--z,
839(0)411--424, 860(0)222--z
-
Partially-Commutative, 872(0)282--z
-
Particle-Based, 866(0)344--z
-
partition, 763(0)282--z, 818(0)299--z, 818(0)404--z, 824(0)61--z,
841(0)525--z, 841(0)618--z, 857(0)39--z
-
Partitioned, 879(0)296--303
-
Partitioning, 786(0)357--z, 796(0)145--z, 817(0)61--z, 855(0)148--z
-
Partitioning, Bi-, 866(0)617--z
-
Pas, P., Ten, 841(0)413--z
-
{P}ash, 815(0)239--z, 818(0)14--z
-
Pasquale, J. C., 846(0)259--z
-
Pasquale:1994:FPD, 846(0)259--z
-
PASS, 866(0)376--z
-
Passing, 796(0)197--z, 796(0)203--z, 796(0)299--z, 797(0)247--252,
817(0)661--z, 821(0)432--z, 853(0)131--z, 853(0)266--z,
854(0)461--z, 854(0)473--z, 854(0)545--z, 866(0)534--z,
879(0)219--228
-
Passing, Name-, 803(0)509--z
-
Passing, Value-, 780(0)352--365
-
passing, value-, 836(0)417--z
-
Passing-Systems, Message-, 797(0)260--z
-
Passive, 763(0)118--z, 841(0)383--z, 856(0)360--z, 856(0)390--z
-
Password, 875(0)107--z
-
Past, 774(0)117--z, 775(0)47--z, 835(0)11--z, 880(0)256--275
-
Pastor, E., 815(0)416--z
-
Pastor, O., 856(0)310--z
-
Pastor, O., see Toval, A.
-
Pastor:1994:PNA, 815(0)416--z
-
Pataricza, A., 852(0)386--z
-
Pataricza, A., see Majzik, I.
-
Patarin, Jacques, 765(0)305--317, 773(0)391--z
-
Patarin:1994:HFA, 765(0)305--317
-
Patarin:1994:IAP, 773(0)391--z
-
Patching, 867(0)104--z
-
Patel, M. J., 865(0)180--z
-
Patel, P. R., 783(0)150--z
-
Patel:1994:ALR, 865(0)180--z
-
Patel:1994:ASI, 783(0)150--z
-
Paterson, M., 841(0)127--z
-
Paterson, V., 775(0)669--z
-
Paterson:1994:LCS, 841(0)127--z
-
path, 775(0)487--z, 783(0)150--z, 805(0)45--58, 818(0)27--z,
820(0)508--z, 824(0)219--z, 833(0)133--z, 834(0)208--z,
841(0)462--z, 841(0)473--z, 845(0)201--z, 849(0)280--z,
855(0)130--z, 855(0)266--z, 866(0)149--z, 880(0)113--124
-
Path-Controlled, 776(0)1--z
-
path-indexing, 814(0)514--z
-
Pathirana, K. P. P., 796(0)329--z
-
Pathirana, K. P. P., see Song, Z. W.
-
Patkar, S., 841(0)525--z
-
Patkar, S., see Narayanan, H.
-
Paton, N. W., 826(0)153--z, 856(0)445--z
-
Paton, N. W., see Abdelmoty, A. I.
-
Paton, R., 865(0)51--z, 865(0)103--z
-
Paton, R., see Coyne, J.
-
Paton:1994:EEC, 865(0)51--z
-
Paton:1994:IOO, 826(0)153--z
-
Patt-Shamir, B., 857(0)326--z
-
Patt-Shamir, B., see Awerbuch, B.
-
pattern, 774(0)1--18, 774(0)87--z, 775(0)213--z, 775(0)649--z,
775(0)661--z, 796(0)105--z, 797(0)484--z, 805(0)23--34, 807(0)1--14,
807(0)15--30, 807(0)31--42, 807(0)43--53, 807(0)54--63,
807(0)64--74, 807(0)75--86, 807(0)87--101, 807(0)102--112,
807(0)113--124, 807(0)125--135, 807(0)136--145, 807(0)146--150,
807(0)151--163, 807(0)164--172, 807(0)173--183, 807(0)184--197,
807(0)198--212, 807(0)213--225, 807(0)226--239, 807(0)240--249,
807(0)250--258, 807(0)259--273, 807(0)274--288, 807(0)289--306,
807(0)307--325, 812(0)85--96, 817(0)773--z, 821(0)139--z,
821(0)150--z, 824(0)350--z, 834(0)234--z, 837(0)353--z,
845(0)105--z, 850(0)253--z, 854(0)41--z, 866(0)365--z, 866(0)376--z,
872(0)8--z, 872(0)317--z
-
Pattern-Matching, 820(0)178--z
-
Pattern-Types, 860(0)206--z
-
Paul, B., 868(0)401--z
-
Paul, B., see Rakow, T. C.
-
Paul, B. E., 871(0)37--z
-
Paul, B. E., see Hibbard, W. L.
-
Paul, Jody, 750(0)463--z
-
Paul, R. J., 784(0)399--z
-
Paul, R. J., see Mladenic, D.
-
Paul, W. J., 857(0)17--z
-
Paul, W. J., see Keller, J.
-
Paul:1994:AAS, 750(0)463--z
-
Paulin-Mohring, C., 806(0)191--212
-
Paulin-Mohring, C., see Leclerc, F.
-
Paulk, Mark C., 750(0)601--z
-
Paulk:1994:CMM, 750(0)601--z
-
Paulraj, A., 783(0)87--z
-
Paulraj, A., see Naguib, A. F.
-
Paulson, L. C., 814(0)148--z, 828-0-xvii
-
Paulson:1994:FAI, 814(0)148--z
-
Paulson:1994:IGT, 828-0-xvii
-
Paulus, S., 877(0)42--z
-
Paulus:1994:ACF, 877(0)42--z
-
Paun, G., 812(0)325--343
-
Paun:1994:SCC, 812(0)325--343
-
Pautet, M.-B., 783(0)13--z
-
Pautet, M.-B., see Mouly, M.
-
Pauw, W., De, 821(0)163--z
-
Pauw, Wim De, 821(0)163--z--1
-
Pauw:1994:MOO, 821(0)163--z--1
-
Pauwels, E., 800(0)295--304, 825(0)165--z, 825(0)297--z
-
Pauwels, E., see Moons, T., \see{Proesmans, M.,
see Van Gool, L.
-
Pauwels, E. J., 800(0)427--432, 800(0)527--534
-
Pauwels, E. J., see Fiddelaers, P.,
see Van Diest, M.
-
Paviot-Adet, E., 815(0)199--z
-
Paviot-Adet, E., see Couvreur, J. M.
-
Pavlou, G., 851(0)181--z, 851(0)219--z
-
Pavlou, G., see Carr, A., \see{Carvalho, A.
-
Pavon, J., 851(0)273--z
-
Pavon, J., see De la Fuente, L. A.
-
Pavon, S., 868(0)353--z
-
Pavon, S., see De Miguel, T. P.
-
Pay, 774(0)66--z
-
Payment, 875(0)207--z, 875(0)217--z
-
Payton, P., 825(0)47--z
-
Payton, P., see Barrett, E.
-
Paz, A., 812(0)344--357
-
Paz:1994:EAP, 812(0)344--357
-
PBL, 837(0)261--z
-
PC, 849(0)338--z
-
pC++, 854(0)29--z
-
PCB, 840(0)187--z
-
PCF, 789(0)1--z, 802(0)320--332, 841(0)177--z
-
PCKS-machine, 788(0)424--z
-
PDEs, 879(0)349--357
-
PDS, 778(0)91--z
-
{Pe}-criterion, 793(0)203--222
-
Peach, K. J., 796(0)371--z
-
Peach, K. J., see Apostolakis, J.
-
Pearce, D., 798(0)255--267
-
Pearce:1994:ASN, 798(0)255--267
-
Pebble, Multi-, 820(0)73--z
-
Pebbling, 820(0)47--z
-
Peckham, J., 856(0)601--z
-
Peckham, J., see Prichard, J. J.
-
Pedersen, P. M., 879(0)41--50, 879(0)425--433
-
Pedersen, P. M., see Balle, S. M.
-
Pedersen, Torben P., 765(0)329--z, 773(0)250--z--1
-
Pedersen, Torben P., see Cramer, Ronald J. F.,
see Damgard, Ivan B.
-
Pedersen, Torben Pryds, 773(0)250--z
-
Pedersen, Torben Pryds, see Damgård, Ivan Bjerre
-
Pedersen:1994:STE, 879(0)425--433
-
Pedrycz, W., 833(0)37--z
-
Pedrycz:1994:FDS, 833(0)37--z
-
Peelman, P., 776(0)170--z
-
Peelman, P., see Gemis, M.
-
Peers, 814(0)841--z
-
Pegase, 797(0)94--z
-
PEI, 854(0)112--z
-
Pei, Hsia, 750(0)499--z
-
Pei:1994:GRP, 750(0)499--z
-
Peinado, M., 824(0)278--z
-
Peinado:1994:HGR, 824(0)278--z
-
Peiron, M., 854(0)414--z
-
Peiron, M., see Valero, M.
-
Peixoto, M., Veloso, 814(0)311--z
-
Pelc, A., 805(0)207--218, 841(0)306--z
-
Pelc, A., see Denejko, P., \see{Diks, K.
-
Peled, D., 787(0)291--z, 818(0)377--z, 827(0)398--z
-
Peled, D., see Kwiatkowska, M.
-
Peled:1994:CPO, 818(0)377--z
-
Peled:1994:PSP, 787(0)291--z
-
Peltier, J. P., 797(0)53--z
-
Peltier, N., 814(0)72--z
-
Peltier, N., see Bourely, C.
-
Peltier:1994:NPC, 797(0)53--z
-
Peltonen, Hannu, 821(0)513--z
-
Peltonen:1994:PCA, 821(0)513--z
-
Peña, R., 817(0)757--760
-
Pena:1994:IFC, 817(0)757--760
-
Penczek, W., 827(0)398--z
-
Penczek, W., see Kwiatkowska, M.
-
Penders, J. S. J. H., 861(0)397--z
-
Penders:1994:CSI, 861(0)397--z
-
Peng, S., 834(0)342--z
-
Peng, S., see Gu, Q.-P.
-
Peng, T., 805(0)73--80
-
Peng, T., see Bettayeb, S.
-
Peng, Tu, 768(0)500--z
-
Peng:1994:AAP, 768(0)500--z
-
Penttonen, M., 817(0)146--z
-
Penttonen, M., see Leppaenen, V.
-
People, 851(0)51--z, 860(0)9--z, 860(0)25--z, 860(0)249--z
-
PEPA, 794(0)353--368
-
Peplom0d, 856(0)2--z
-
Pepper, Peter, 782(0)228--z
-
Pepper, Peter, see Didrich, Klaus
-
per, 772(0)35--z
-
perceptive, 800(0)521--526
-
perceptual, 774(0)356--z, 800(0)123--130
-
Pereira, L. M., 798(0)3--10, 798(0)11--23, 798(0)268--281, 808(0)91--z,
808(0)107--z, 838(0)106--z
-
Pereira, L. M., see Abreu, S.,
see Alferes, J. J.
-
Pereira:1994:CRS, 808(0)91--z
-
Pereira:1994:CWA, 798(0)268--281
-
Pereira:1994:LPN, 808(0)107--z
-
Perez, R. P., 813(0)278--z
-
Perez:1994:APC, 813(0)278--z
-
perfect, 765(0)65--z, 773(0)73--z, 773(0)73--z--1, 773(0)343--z
-
Perfect, Totally-, 834(0)541--z
-
Perform, 866(0)292--z
-
Performability, 794(0)89--110, 852(0)97--z
-
performance, 771(0)1--z, 779(0)187--200, 779(0)323--336, 783(0)45--z,
783(0)87--z, 783(0)141--z, 783(0)219--z, 783(0)310--z, 783(0)365--z,
783(0)376--z, 783(0)400--z, 783(0)464--z, 786(0)324--338,
793(0)153--172, 794(0)1--24, 794(0)25--51, 794(0)52--75,
794(0)76--88, 794(0)89--110, 794(0)111--122, 794(0)123--138,
794(0)139--158, 794(0)159--179, 794(0)180--192, 794(0)193--212,
794(0)213--230, 794(0)231--252, 794(0)253--265, 794(0)266--283,
794(0)284--304, 794(0)305--320, 794(0)321--334, 794(0)335--352,
794(0)353--368, 794(0)369--388, 794(0)389--405, 794(0)406--424,
794(0)425--444, 794(0)445--463, 796(0)261--z, 796(0)396--z,
796(0)446--z, 797(0)142--z, 797(0)367--z, 797(0)475--483,
797(0)493--z, 800(0)507--512, 809(0)83--89, 817(0)192--z,
817(0)301--z, 817(0)526--z, 817(0)749--z, 817(0)823--z,
817(0)827--z, 818(0)364--z, 823(0)352--z, 841(0)3--z, 844(0)324--z,
846(0)66--z, 846(0)161--z, 849(0)34--z, 849(0)292--z, 849(0)312--z,
849(0)332--z, 852(0)491--z, 853(0)31--z, 853(0)45--z, 853(0)60--z,
854(0)41--z, 854(0)53--z, 854(0)265--z, 854(0)509--z, 866(0)617--z,
869(0)396--z, 875(0)19--z, 875(0)267--z, 876(0)45--z,
879(0)270--286, 879(0)362--373, 879(0)483--492
-
Performance, High-, 796(0)40--z, 796(0)424--z, 797(0)1--z,
797(0)5--z, 797(0)36--z, 797(0)109--z, 797(0)137--z, 797(0)164--z,
797(0)407--416, 797(0)417--422, 797(0)429--433, 849(0)373--z,
853(0)241--z, 879(0)147--168, 882(0)219--z
-
performance, high-, 793(0)91--108
-
period, 763(0)243--z, 834(0)669--z
-
periodic, 775(0)201--z, 802(0)554--566, 818(0)55--z, 820(0)544--z,
829(0)74--z, 869(0)275--z
-
Periodicity, 787(0)130--z, 829(0)103--z
-
Permanent, 852(0)327--z
-
Permit, 773(0)343--z
-
permutation, 765(0)65--z, 773(0)1--z, 773(0)403--z, 773(0)435--z,
775(0)747--z, 793(0)287--295, 809(0)205--z, 834(0)208--z,
834(0)360--z, 839(0)108--113, 841(0)597--z, 853(0)60--z
-
Permuted, 773(0)391--z
-
Pernici, B., 856(0)225--z, 869(0)255--z
-
Pernici, B., see Brusoni, V.,
see Edelweiss, N.
-
Pernul, G., 823(0)166--z
-
Pernul:1994:ERM, 823(0)166--z
-
Peron, A., 776(0)265--z
-
Peron, A., see Maggiolo-Schettini, A.
-
Peron, Adriano, 789(0)806--z
-
Peron:1994:TIN, 789(0)806--z
-
Perona, P., 800(0)61--72, 800(0)115--124
-
Perona, P., see Kube, P., \see{Soatto, S.
-
Perpar, M., 861(0)395--z
-
Perpar, M., see Filipic, B.
-
Perpetual, 813(0)191--z
-
Perpetuality, 775(0)163--z
-
Perram, J., 796(0)189--z, 879(0)344--348
-
Perram, J., see Bywater, R., \see{Larsen, T.
-
Perrier, G., 813(0)101--z
-
Perrier, G., see Galmiche, D.
-
Perrin, G.- R., 854(0)112--z
-
Perrin, G.- R., see Violard, E.
-
Perrin, G.-R., 797(0)344--z, 797(0)469--z
-
Perrin, G.-R., see Philippe, L.
-
Perrin:1994:SSA, 797(0)469--z
-
Perrott, R. H., 797(0)463--z
-
Perrott, R. H., see Crooks, P.
-
Perry, D. E., 772(0)107--z
-
Perry:1994:ECI, 772(0)107--z
-
Persiano, G., 773(0)73--z
-
Persiano, G., see De Santis, A.
-
Persiano, Giuseppe, 773(0)73--z--1
-
Persiano, Giuseppe, see Santis, Alfredo De
-
Persin, M., 819(0)253--z
-
Persin:1994:FDR, 819(0)253--z
-
Persistent, 779(0)365--378
-
Personal, 783(0)1--z, 797(0)487--z, 819(0)444--z, 851(0)145--z,
851(0)247--z, 851(0)321--z, 868(0)426--z, 868(0)435--z
-
Persons, 860(0)1--z, 860(0)65--z, 860(0)222--z
-
perspective, 750(0)461--z, 750(0)473--z, 769(0)1--z, 772(0)171--z,
774(0)21--z, 779(0)23--30, 794(0)1--24, 797(0)53--z, 800(0)199--204,
823(0)190--z, 825(0)127--z, 825(0)165--z, 825(0)297--z, 851(0)99--z,
851(0)133--z
-
Perturbation, 768(0)586--z, 775(0)3--z
-
Perturbed, 879(0)358--361
-
Pesant, G., 874(0)95--z
-
Pesant:1994:QCR, 874(0)95--z
-
Pescia, C., 860(0)269--z
-
Pescia, C., see Schneider, A.
-
Petermann, U., 838(0)152--z, 861(0)319--z
-
Petermann, U., see Becher, G.
-
Petermann:1994:CCC, 838(0)152--z
-
Peters, A., 796(0)119--z
-
Peters, A., see Daniels, H.
-
Peters, J., 784(0)138--z
-
Peters, J., see Herrmann, J.
-
Peters, R. J., 823(0)34--z
-
Peters:1994:RUB, 823(0)34--z
-
Petersen, 817(0)25--z, 854(0)749--z
-
Petersen, H., 775(0)679--z
-
Petersen, K. D., 780(0)1--15, 780(0)16--28, 859(0)17--z
-
Petersen, K. D., see Andersen, F.
-
Petersen:1994:APW, 775(0)679--z
-
Petersen:1994:GML, 780(0)16--28
-
Peterson, J. C., 797(0)150--z
-
Peterson, J. C., see Numrich, R. W.
-
Petitjean, S., 800(0)421--426
-
Petitjean:1994:EGA, 800(0)421--426
-
Petkov, N., 796(0)380--z
-
Petkov:1994:CCI, 796(0)380--z
-
Petri, 775(0)581--z, 785(0)98--112, 785(0)188--206, 787(0)115--z,
789(0)642--z, 794(0)321--334, 794(0)425--444, 802(0)250--270,
803(0)176--z, 803(0)230--z, 815(0)2--z, 815(0)16--z, 815(0)119--z,
815(0)159--z, 815(0)179--z, 815(0)199--z, 815(0)219--z,
815(0)258--z, 815(0)298--z, 815(0)338--z, 815(0)358--z,
815(0)416--z, 815(0)436--z, 817(0)301--z, 827(0)365--z,
832(0)165--z, 836(0)194--z, 836(0)210--z, 841(0)373--z
-
Petrie, H., 860(0)25--z
-
Petrie, H., see Weber, G.
-
Petrou, M., 800(0)137--142
-
Petrou, M., see Christmas, B.
-
Petrounias, I., 779(0)159--172
-
Petrounias:1994:RBA, 779(0)159--172
-
Petrovksi, I., 784(0)347--z
-
Petrovksi, I., see Dzeroski, S.
-
Pettersson, J. S., 780(0)1--15, 859(0)17--z
-
Pettersson, J. S., see Andersen, F.
-
Pettersson, M., 844(0)117--z
-
Pettersson, Mikael, 786(0)248--z
-
Pettersson, Mikael, see Ringstrom, Johan
-
Pettersson:1994:RNL, 844(0)117--z
-
Peuzner, P. A., 807(0)43--53
-
Peuzner, P. A., see Bafna, V.
-
Pevzner, P. A., 807(0)87--101, 841(0)143--z
-
Pevzner, P. A., see Huang, X.
-
Pevzner:1994:TDS, 841(0)143--z
-
Pews, G., 837(0)182--z
-
Pews, G., see Bergmann, R.
-
Peyrouze, N., 852(0)491--z
-
Peyrouze, N., see Muller, G.
-
Peyton Jones, S. L., 854(0)521--z
-
Peyton Jones, S. L., see Hammond, K.
-
Pezaris, J., 853(0)101--z
-
Pezaris, J., see Nguyen, J.
-
Pfahler, Peter, 786(0)143--z
-
Pfahler, Peter, see Slowik, Adrian
-
Pfahringer, B., 784(0)242--z, 861(0)118--z
-
Pfahringer:1994:CCI, 784(0)242--z
-
Pfahringer:1994:RCI, 861(0)118--z
-
Pfeifer, T., 846(0)29--z
-
Pfeifer:1994:MMN, 846(0)29--z
-
Pfenning, F., 814(0)811--z
-
Pfenning, J.-Th., 797(0)316--z
-
Pfenning:1994:EML, 814(0)811--z
-
Pfenning:1994:EMN, 797(0)316--z
-
Pfitzmann, Birgit, 773(0)250--z, 773(0)250--z--1
-
Pfitzmann, Birgit, see Damgard, Ivan B.,
see Damgård, Ivan Bjerre
-
Pfluger, N., 833(0)133--z
-
Pfluger, N., see Yen, J.
-
PGM, 839(0)108--113
-
Phalp, K., 772(0)65--z
-
Phalp:1994:PAP, 772(0)65--z
-
Pham, T., 819(0)234--z
-
Pham, T., see De Smedt, P.
-
phase, 786(0)278--z, 793(0)125--135, 793(0)368--384, 794(0)253--265,
861(0)395--z
-
Phase, Frequency-, 783(0)101--z
-
Phase-Correcting, 783(0)208--z
-
Phased, 880(0)402--413
-
Phenotype, Genotype-, 866(0)26--z
-
Phenotype-Mapping, Genotype-, 866(0)322--z
-
Philbin, James, 782(0)171--z
-
Philbin, James, see Jagannathan, Suresh
-
Philippe, J.-L., 797(0)447--z
-
Philippe, J.-L., see Dion, M.
-
Philippe, L., 797(0)344--z
-
Philippe:1994:DSM, 797(0)344--z
-
Phillips, C., 824(0)290--z
-
Phillips:1994:TSN, 824(0)290--z
-
Philosophers, 857(0)296--z
-
Philosophical, 860(0)9--z
-
Philpot, A., 869(0)326--z
-
Philpot, A., see Lowry, M.
-
Phoa, Wesley, 789(0)618--z
-
Phoa, Wesley, see Islam, Amitavo
-
Phoneme, 862(0)66--z
-
Photiou, A. G., 817(0)689--z
-
Photiou, A. G., see Gupta, A. K.
-
Photochemical, 817(0)478--z
-
photometric, 800(0)247--258
-
Physical, 863(0)583--z
-
Physically, 860(0)177--z
-
Physician, 819(0)234--z
-
Pi, 814(0)821--z
-
Pi, Sigma-, 866(0)462--z
-
PI-Bus, 873(0)532--z
-
Pi-Calculus, 818(0)428--z
-
pi-calculus, 788(0)26--z, 788(0)379--z
-
Pi-nets, 788(0)26--z
-
Piazzalunga, U., 830(0)41--z
-
Piazzalunga, U., see Cecconi, F.
-
Picariello, A., 858(0)266--z
-
Picariello, A., see Boccignone, G.
-
Piccioli, G., 800(0)495--500
-
Piccioli:1994:RMR, 800(0)495--500
-
Picco, G. P., 858(0)53--z
-
Picco, G. P., see Carzaniga, A.
-
Pichler, F., 763(0)2--z, 763(0)254--z, 763(0)347--z
-
Pichler, F., see Mueller-Wipperfuerth, Th.,
see Otero, R. P.
-
Pichler:1994:STE, 763(0)2--z
-
PICL, 794(0)445--463, 797(0)324--z
-
picture, 775(0)365--z, 787(0)322--z, 796(0)441--z, 812(0)34--43
-
piecewise, 784(0)411--z, 800(0)411--420
-
Pieniazek, J., 879(0)349--357
-
Pieniazek, J., see Leszczynski, H.
-
Piepenbrock, Georg, 786(0)143--z
-
Piepenbrock, Georg, see Slowik, Adrian
-
Pierantonio, A., 785(0)295--309, 858(0)329--z
-
Pierantonio, A., see Parisi Presicce, F.,
see Parisi-Presicce, F.
-
Pierce, B., 775(0)251--z
-
Pierce, B., see Hofmann, M.
-
Pierro, A., Di, 788(0)195--z
-
Pietra, S., Della, 862(0)78--z
-
Pietra, V., Della, 862(0)78--z
-
Pietracaprina, A., 855(0)391--z
-
Pietracaprina:1994:TBD, 855(0)391--z
-
Pietro, G., De, 796(0)139--z, 797(0)373--z
-
Pietro, P., San, 823(0)339--z
-
Pigel, G., 860(0)106--z
-
Pigel, G., see Kerstner, W.
-
Pighizzini, G., 841(0)245--z
-
Pighizzini, G., see Bertoni, A.
-
Pihl, J., 849(0)230--z
-
Pihl, J., see Njoelstad, T.
-
Pijpers, R. H., 794(0)89--110
-
Pijpers, R. H., see Franken, L. J. N.
-
Pil, Joong Lee, 773(0)420--z
-
Pil, Joong Lee, see Chae, Hoon Lim
-
pilot, 815(0)436--z
-
Pin, J.-E., 820(0)424--z
-
Pin-level, 852(0)199--z
-
Pin:1994:PCG, 820(0)424--z
-
Pinci, V., 815(0)376--z
-
Pinci, V., see Mortensen, K. H.
-
Pineo, P., Prather, 817(0)167--z
-
Pineo, Patricia, 786(0)339--z
-
Pineo:1994:PAS, 786(0)339--z
-
Pink, S., 846(0)185--z
-
Pink, S., see Hagsand, O.
-
Pinna, G. M., 802(0)271--292
-
Pinna:1994:SER, 802(0)271--292
-
Pino, E., 841(0)112--z
-
Pino, E., see Orejas, F.
-
Pinter, Shlomit S., 786(0)404--z
-
Pinter, Shlomit S., see Mendlson, Abraham
-
Pinti, A., 797(0)365--z
-
Pinti:1994:MDS, 797(0)365--z
-
Pinto, L., 798(0)282--300
-
Pinto:1994:CFL, 798(0)282--300
-
Piotrow, M., 824(0)95--z, 841(0)306--z
-
Piotrow, M., see Czumaj, A., \see{Denejko, P.
-
Pipe, A. G., 865(0)238--z, 866(0)482--z
-
Pipe:1994:CBT, 865(0)238--z
-
Pipe:1994:HAH, 866(0)482--z
-
Pipeline, RISC-, 859(0)424--z
-
Pipelined, 818(0)68--z
-
Pipelining, 768(0)340--z, 854(0)640--z
-
Piperno, A., 788(0)135--z
-
Piperno, A., see Bohm, C.
-
Piperno, Adolfo, 789(0)16--z
-
Piperno, Adolfo, see Dezani-Ciancaglini, Mariangiola
-
Pippenger, N., 805(0)1--12
-
Pippenger:1994:JN, 805(0)1--12
-
Pirahesh, H., 779(0)23--30
-
Pirahesh:1994:COV, 779(0)23--30
-
Piranha, 768(0)139--z
-
Pirastu, R., 854(0)313--z
-
Pirastu, R., see Limongelli, C.
-
Pires, N., 882(0)334--z
-
Pires, N., see Dermler, G.
-
Pirlein, T., 867(0)200--z
-
Pirlein:1994:KIE, 867(0)200--z
-
pitfalls, 839(0)383--396, 869(0)376--z
-
Pitsch, G., 820(0)412--z
-
Pitsch, G., see Hotz, G.
-
Pitts, A. M., 802(0)72--82
-
Pitts:1994:CAM, 802(0)72--82
-
Pittsburgh, 866(0)260--z
-
Pivert, O., 856(0)631--z, 869(0)144--z
-
Pivert, O., see Andreasen, T., \see{Bosc, P.
-
Piveteau, J. M., 875(0)207--z
-
Piveteau, J. M., see Camenisch, J. L.
-
Pixley, C., 818(0)311--z
-
Pixley, C., see Singhal, V.
-
PLA, 849(0)335--z
-
Place, 849(0)57--z
-
place-bordered, 815(0)531--z
-
Place-Invariants, Modulo-, 880(0)366--377
-
placeash, 815(0)16--z, 815(0)99--z
-
Placement, 849(0)220--z
-
Plaintext, 839(0)359--368
-
Plaisted, D. A., 814(0)57--z, 814(0)192--z
-
Plaisted, D. A., see Chu, H.
-
Plaisted:1994:SET, 814(0)57--z
-
plan, 770(0)1--z, 822(0)54--z, 833(0)123--z, 847(0)24--z, 867(0)158--z,
869(0)406--z, 872(0)2--z, 872(0)40--z
-
planar, 800(0)411--420, 800(0)427--438, 800(0)439--448, 800(0)527--534,
824(0)83--z, 825(0)199--z, 834(0)172--z, 850(0)95--z, 855(0)12--z,
855(0)130--z
-
Plandowski, W., 841(0)443--z, 855(0)460--z
-
Plandowski, W., see Karhumaeki, J.
-
Plandowski:1994:TEM, 855(0)460--z
-
plane, 824(0)61--z, 824(0)107--z, 825(0)11--z, 825(0)165--z,
834(0)414--z, 850(0)95--z, 877(0)221--z, 880(0)1--11
-
planet, 869(0)1--z
-
planner, 869(0)305--z
-
planning, 770(0)1--z, 783(0)261--z, 800(0)117--122, 811(0)2--13,
822(0)174--z, 827(0)101--z, 833(0)109--z, 837(0)182--z,
837(0)365--z, 837(0)458--z, 861(0)379--z, 869(0)213--z
-
Plans, CAD-, 861(0)154--z
-
Plant, 876(0)35--z
-
Plasmeijer, R., 776(0)358--z, 817(0)464--z
-
Plasmeijer, R., see Kuchen, H.,
see Smetsers, S.
-
Plassche, J., Van de, 867(0)26--z
-
Plata, O., 797(0)324--z
-
Plata, O., see Blanco, V.
-
Plata, O. G., 854(0)208--z
-
Plata, O. G., see Amor, M.
-
Plateau, B., 794(0)406--424
-
Plateau, B., see Tron, C.
-
Platek, R., 814(0)431--z
-
Platek:1994:WP, 814(0)431--z
-
Platform, 774(0)229--z, 817(0)478--z, 849(0)156--z, 851(0)219--z,
854(0)497--z, 868(0)251--z, 879(0)434--457, 882(0)334--z,
882(0)356--z
-
Platonic, 835(0)1--z
-
Plaxton, C. G., 820(0)618--z
-
Plaxton:1994:SLL, 820(0)618--z
-
Playout, 868(0)167--z
-
Plaza, E., 784(0)403--z, 837(0)53--z, 837(0)289--z, 867(0)355--z
-
Plaza, E., see Arcos, J. L., \see{Armengol, E.
-
Plaza:1994:FIM, 784(0)403--z
-
PLD, 849(0)295--z
-
PLDs, Altera-, 849(0)306--z
-
Pleszkoch, M. G., 872(0)290--z
-
Pleszkoch, M. G., see Gasarch, W. I.
-
Plevyak, John, 768(0)37--z
-
Plevyak:1994:ADS, 768(0)37--z
-
Plew, G. Thomas, 750(0)555--z
-
Plew, G. Thomas, see McCarty, William B.
-
Pliuskeviciene, A., 813(0)291--z
-
Pliuskeviciene:1994:SDA, 813(0)291--z
-
Pliuskevicius, R., 813(0)291--z
-
Pliuskevicius, R., see Pliuskeviciene, A.
-
Plotkin, G., 820(0)352--z
-
Plotkin, G. D., 836(0)130--z
-
Plotkin, G. D., see Di Gianantonio, P.
-
Plotkin:1994:BBL, 820(0)352--z
-
Pluhacek, A., 849(0)321--z
-
Pluhacek, A., see Danecek, J.
-
Plump, D., 841(0)556--z
-
Plump:1994:CPT, 841(0)556--z
-
plus-Hankel, Toeplitz-, 879(0)33--40
-
PLUSS, 785(0)128--143
-
PMIPS, 772(0)35--z
-
PML, 772(0)127--z
-
Pnueli, A., 803(0)273--z, 863(0)77--z, 863(0)431--z
-
Pnueli, A., see Kapur, A., \see{Kesten, Y.
-
Pnueli, Amir, 789(0)726--z
-
Pnueli, Amir, see Manna, Zohar
-
Pnueli, Y. B., 813(0)240--z, 832(0)189--z
-
Pnueli, Y. B., see Makowsky, J. A.
-
Pnueli:1994:DHS, 863(0)77--z
-
Poblete, P. V., 855(0)94--z
-
Poblete:1994:AHS, 855(0)94--z
-
Podelski, A., 802(0)554--566
-
Podelski, A., see Calbrix, H.
-
Podgorny, M., 797(0)137--z
-
Podgorny, M., see Fox, G. C.
-
Poeck, K., 867(0)46--z
-
Poeck, K., see Fensel, D.
-
Poedts, S., 796(0)365--z
-
Poedts:1994:PMC, 796(0)365--z
-
Poel, M., 863(0)393--z
-
Poel, M., see Janssen, W.
-
Poelman, C. J., 800(0)97--110
-
Poelman:1994:PFM, 800(0)97--110
-
Poetzsch-Heffter, Arnd, 786(0)233--z
-
Poetzsch-Heffter:1994:DEI, 786(0)233--z
-
Pogoda, M., 797(0)142--z, 879(0)127--135
-
Pogoda, M., see Boryczko, K., \see{Bubak, M.
-
Pohl, K., 777(0)201--z
-
Pohl, K., see Jarke, M.
-
Poigne, A., 785(0)53--78, 802(0)271--292
-
Poigne, A., see Pinna, G. M.
-
Poigne:1994:IET, 785(0)53--78
-
point, 788(0)43--z, 800(0)73--84, 800(0)143--150, 800(0)459--470,
813(0)114--z, 825(0)47--z, 832(0)318--z, 834(0)38--z, 834(0)405--z,
834(0)532--z, 841(0)52--z, 852(0)327--z, 855(0)240--z, 864(0)395--z,
877(0)59--z, 877(0)60--z, 877(0)122--z
-
point, Fixed-, 832(0)150--z
-
Point, OMNI-, 851(0)553--z
-
Pointers, 827(0)133--z
-
Pointing, 789(0)141--z
-
Points, Fix-, 827(0)165--z
-
points, key-, 800(0)371--382
-
Poisson, 793(0)325--342, 855(0)94--z
-
Pol, J., Van de, 816(0)305--325
-
Polak, I., 863(0)170--z
-
Polak, I., see Bosscher, D.
-
polar, log-, 800(0)132--137
-
Polemi, D., 793(0)24--37
-
Polemi:1994:SAC, 793(0)24--37
-
Policy, 817(0)793--z, 846(0)89--z, 846(0)149--z, 853(0)72--z,
865(0)224--z, 882(0)69--z
-
Polkowski, L., 869(0)85--z
-
Polkowski:1994:RM, 869(0)85--z
-
Poll, E., 813(0)316--z
-
Poll, E., see Severi, P.
-
Pollacia, L. F., 823(0)1--z
-
Pollacia:1994:OFM, 823(0)1--z
-
Pollack, R., 806(0)19--61, 806(0)313--332
-
Pollack, R., see Van Benthem Jutting, L. S.
-
Pollack:1994:CUA, 806(0)313--332
-
Pollution, 817(0)478--z, 879(0)11--16, 879(0)110--126
-
Polman, M., 784(0)217--z
-
Polman, M., see Nienhuys-Cheng, S. H.
-
Polychronopoulos, Constantine D., 768(0)567--z
-
Polychronopoulos, Constantine D.,
see Haghighat, Mohammad R.
-
polygon, 824(0)73--z, 824(0)119--z, 824(0)314--z, 824(0)326--z,
834(0)523--z, 834(0)652--z
-
Polylogtime, 775(0)301--z
-
Polymer, 796(0)183--z, 796(0)254--z, 879(0)344--348
-
Polymere, 796(0)244--z
-
polymorphic, 788(0)120--z, 788(0)287--z, 845(0)73--z, 864(0)281--z,
871(0)37--z
-
polymorphism, 788(0)302--z, 788(0)333--z, 788(0)454--z, 789(0)56--z,
817(0)425--437, 864(0)78--z
-
polynomial, 763(0)83--z, 775(0)439--z, 793(0)1--23, 812(0)410--421,
817(0)502--z, 820(0)424--z, 820(0)544--z, 834(0)1--z, 834(0)56--z,
841(0)38--z, 841(0)52--z, 854(0)325--z, 854(0)737--z, 874(0)181--z,
877(0)93--z, 877(0)209--z, 877(0)289--z, 880(0)137--148
-
Polynomial-Time, 807(0)274--288
-
Polyzos, G. C., 846(0)259--z
-
Polyzos, G. C., see Pasquale, J. C.
-
Pomberger, G., 858(0)96--z
-
Pomberger:1994:QQA, 858(0)96--z
-
Pomerance, C., 877(0)1--z
-
Pomerance, C., see Alford, W. R.
-
Pomfrett, S. M., 851(0)235--z
-
Pomfrett, S. M., see Clarke, A. M.
-
Pomplun, M., 861(0)63--z
-
Pomplun:1994:ANN, 861(0)63--z
-
Pomporisis, A., 856(0)680--z
-
Pomporisis, A., see Pangalos, G.
-
Ponce, J., 800(0)463--470
-
Ponce:1994:AMU, 800(0)463--470
-
Poncelet, P., 811(0)186--199
-
Poncelet, P., see Teisseire, M.
-
Ponse, A., 803(0)46--z, 832(0)36--z
-
Ponse, A., see Bergstra, J. A.
-
Ponten, L., 851(0)169--z
-
Ponten, L., see Haallstrand, J.
-
Poorten, A. J., Van der, 877(0)194--z
-
Popescu, G. V., 800(0)167--174
-
Popescu, G. V., see Luthon, F.
-
Popescu-Zeletin, R., 882(0)241--z
-
Popescu-Zeletin, R., see Schatzmayr, R.
-
Popovic, D., 797(0)36--z
-
Popovic, D., see Westphal, H.
-
Popperian, 774(0)173--z
-
Popular, 817(0)122--z
-
Population, 865(0)195--z, 866(0)16--z, 866(0)36--z, 866(0)130--z,
872(0)500--z
-
Portabel, 819(0)444--z
-
Portable, 786(0)83--z, 794(0)193--212, 844(0)25--z, 854(0)29--z,
879(0)270--286
-
Portation, 879(0)177--189
-
Porteous, J. M., 869(0)406--z
-
Porteous, J. M., see McCluskey, T. L.
-
Portfolio, 851(0)133--z
-
Portinale, L., 815(0)39--z, 837(0)325--z
-
Portinale, L., see Anglano, C.
-
Portinale:1994:UCB, 837(0)325--z
-
Porting, 796(0)46--z, 796(0)171--z
-
Porto, A., Di, 809(0)205--z
-
Porto, A., 798(0)322--332, 827(0)349--z
-
Porto, A., see Ribeiro, C.
-
Portoraro, F. D., 814(0)802--z
-
Portoraro:1994:SAA, 814(0)802--z
-
Posch, R., 797(0)30--z
-
Posch, R., see Klauser, A.
-
pose, 800(0)262--273, 800(0)341--352, 800(0)501--506
-
Posegga, J., 814(0)793--z, 869(0)541--z
-
Posegga, J., see Beckert, B.,
see Goubault, J.
-
Positive, 775(0)649--z, 834(0)324--z, 845(0)336--z, 862(0)236--z,
872(0)317--z, 872(0)407--z, 872(0)484--z, 873(0)659--z, 876(0)35--z
-
Possibilistic, 763(0)231--z, 808(0)31--z, 833(0)45--z
-
possibilities, 793(0)45--66, 810(0)250--z
-
Possibility, 847(0)51--z
-
possibility-based, 869(0)551--z
-
Possible, 782(0)298--z, 861(0)237--z
-
Post-graduate, 750(0)251--z
-
Postgres, 856(0)531--z
-
Postulates, 838(0)137--z
-
pot, 814(0)693--z
-
Potato, Hot-, 834(0)333--z, 855(0)365--z
-
Pote, A., 827(0)165--z
-
Pote, A., see Vergauwen, B.
-
Potential, 876(0)1--z
-
Potter, M. A., 866(0)249--z
-
Potter:1994:CCA, 866(0)249--z
-
Pottie, G. J., 793(0)109--124
-
Pottie, G. J., see Lin, V. S.
-
Potts, C., 811(0)94--104
-
Potts, C., see Anton, A. I.
-
Potts, Colin, 750(0)151--z
-
Potts, Colin, see Moore, Melody
-
Pouzet, P., 797(0)379--z
-
Pouzet:1994:PAD, 797(0)379--z
-
Pouzyreff, S., 817(0)753--z
-
Pouzyreff, S., see Desbiens, J.
-
Powell, David, 774(0)199--z
-
Powell:1994:DFT, 774(0)199--z
-
power, 775(0)123--z, 775(0)341--z, 775(0)403--z, 775(0)533--z,
777(0)83--z, 779(0)245--258, 782(0)69--z, 783(0)219--z,
783(0)322--z, 783(0)365--z, 783(0)376--z, 783(0)391--z,
802(0)410--437, 806(0)263--290, 810(0)133--z, 812(0)67--84,
812(0)159--168, 812(0)197--212, 820(0)23--z, 820(0)83--z,
836(0)162--z, 841(0)296--z, 841(0)577--z, 849(0)57--z, 849(0)66--z,
852(0)453--z, 874(0)95--z, 875(0)301--z, 880(0)231--242
-
Powerful, 838(0)34--z, 863(0)694--z
-
Pozo, R., 879(0)147--168
-
Pozo, R., see Choi, J.
-
PPL, 838(0)379--z
-
PPOST, 856(0)754--z
-
Prabhakaran, P., 853(0)131--z
-
Prabhakaran, P., see Panda, D. K.
-
PRACMA, 861(0)106--z
-
practical, 750(0)517--z, 765(0)200--z, 765(0)200--z--1, 765(0)233--z,
786(0)339--z, 797(0)508--z, 809(0)45--z, 818(0)182--z, 840(0)200--z,
855(0)227--z, 860(0)262--z, 865(0)250--z
-
Practically, 809(0)211--z
-
practice, 750(0)263--z, 750(0)303--z, 750(0)527--z, 772(0)59--z,
774(0)3--z, 779(0)73--80, 789(0)365--z, 814(0)650--z, 857(0)53--z,
862(0)5--z
-
Practitioners, 750(0)243--z, 750(0)251--z
-
Prade, H., 833(0)3--z, 833(0)45--z, 847(0)51--z
-
Prade, H., see Dubois, D.
-
Pradhan, Dhiraj K., 774(0)95--z
-
Pradhan:1994:RFC, 774(0)95--z
-
Praehofer, H., 763(0)347--z
-
Praehofer, H., see Otero, R. P.
-
Pragmatic, 772(0)65--z, 835(0)31--z
-
pragmatics, 767(0)1--z, 814(0)356--z
-
Prahofer, H., 763(0)137--z
-
Prahofer, H., see Schaffer, Ch.
-
Prakash, N., 811(0)339--352, 856(0)420--z
-
Prakash, N., see Rolland, C.
-
Prakash, Sundeep, 768(0)76--z
-
Prakash:1994:PVM, 811(0)339--352
-
Prakash:1994:SID, 768(0)76--z
-
PRAM, 817(0)146--z, 855(0)391--z, 855(0)401--z
-
Pramanik, S., 869(0)245--z
-
Pramanik, S., see Analyti, A.
-
PRAMs, 857(0)17--z
-
Prasad, D. C., 880(0)181--192
-
Prasad, D. C., see Biswas, S.
-
Prasad, K. V. S., 788(0)469--z
-
Prasad, R., 783(0)344--z
-
Prasad, R., see Janssen, G. J. M.
-
Prasad, S., 849(0)57--z, 880(0)205--216
-
Prasad, S., see Amadio, R. M., \see{Roy, K.
-
Prasad:1994:BP, 788(0)469--z
-
Prasetya, I. S. W. B., 859(0)362--z
-
Prasetya, W., 780(0)324--337, 780(0)476--489
-
Prasetya:1994:FVA, 780(0)324--337
-
Prasetya:1994:SMP, 780(0)476--489
-
Prasetya:1994:TMS, 859(0)362--z
-
Prather Pineo, P., 817(0)167--z
-
PratherPineo:1994:CLT, 817(0)167--z
-
Pratt, G., 853(0)101--z
-
Pratt, G., see Nguyen, J.
-
Pre-Existing, 819(0)429--z
-
Pre-Orders, 789(0)598--z
-
Pre-Processing, 849(0)332--z
-
Pre-Semantic, 766(0)1--z
-
Precedence, 768(0)502--z
-
Precedents, 856(0)320--z
-
Precise, 854(0)737--z, 873(0)251--z
-
Precision, 817(0)73--z, 861(0)63--z
-
Precomputation, 839(0)95--107
-
Precondition, 854(0)100--z
-
Preconditioned, 797(0)184--z
-
pred-{LL(k)}, 786(0)263--z
-
Predicate, 784(0)272--z, 789(0)822--z, 813(0)218--z, 866(0)219--z,
872(0)516--z
-
predicateash, 815(0)278--z
-
predicates, 764(0)1--z, 780(0)310--323, 786(0)263--z, 833(0)45--z,
836(0)433--z
-
Predicative, 802(0)230--249, 813(0)227--z, 817(0)425--437
-
Predict, 856(0)690--z, 861(0)398--z
-
Predictability, 849(0)295--z
-
Predicting, 863(0)211--z
-
prediction, 794(0)284--304, 796(0)305--z, 796(0)396--z, 797(0)1--z,
800(0)161--166, 837(0)65--z, 837(0)155--z, 854(0)41--z
-
Prediction, Load-, 854(0)878--z
-
Predictive, 829(0)115--z
-
Predictor, 868(0)92--z
-
Pree, W., 858(0)96--z
-
Pree, W., see Pomberger, G.
-
Pree, Wolfgang, 821(0)150--z
-
Pree:1994:MPM, 821(0)150--z
-
Preemptive, 855(0)300--z
-
PREENS, 796(0)402--z
-
Preference, 844(0)261--z, 866(0)219--z
-
Prefetching, 779(0)351--364
-
Prefix, 820(0)203--z, 820(0)593--z, 820(0)605--z, 855(0)471--z
-
Prefix-Matching, 855(0)483--z
-
Pregnant, 856(0)690--z
-
Prehofer, C., 814(0)635--z, 845(0)253--z, 880(0)77--88
-
Prehofer, C., see Broy, M.
-
Prehofer:1994:DHO, 814(0)635--z
-
Prehofer:1994:MTR, 845(0)253--z
-
Prejudices, 873(0)105--z
-
Preliminary, 768(0)139--z, 807(0)102--112, 879(0)59--66, 880(0)60--76
-
premises, 836(0)433--z
-
Preneel, B., 809(0)71--82
-
Preneel, Bart, 773(0)212--z, 773(0)368--378
-
Preneel:1994:CCM, 773(0)212--z
-
Preneel:1994:DPD, 809(0)71--82
-
Preneel:1994:HFB, 773(0)368--378
-
preorders, 787(0)37--z, 836(0)497--z
-
PREPARE, 786(0)324--338
-
preprocessing, 765(0)435--z, 765(0)435--z--1, 824(0)350--z, 857(0)194--z
-
preprocessor, 814(0)774--z
-
Prerequisite, 851(0)433--z
-
Preselection, 861(0)28--z
-
Presence, 839(0)425--438, 855(0)266--z, 857(0)253--z, 872(0)333--z,
872(0)438--z
-
Present, 774(0)117--z, 812(0)30--33, 835(0)11--z
-
Presentation, 750(0)599--z, 820(0)450--z, 860(0)144--z, 865(0)264--z,
873(0)271--z
-
Preserve, 789(0)76--z
-
preserving, 800(0)449--458, 813(0)304--z, 834(0)128--z, 866(0)36--z,
880(0)330--341
-
preserving, information-, 800(0)218--226
-
Presicce, F., Parisi, 785(0)295--309
-
Presicce, F. Parisi, 788(0)165--z
-
Presicce, F. Parisi, see Cicerone, S.
-
Presicce, F., Parisi-, 858(0)329--z
-
Pressburger, T., 814(0)341--z, 869(0)326--z
-
Pressburger, T., see Lowry, M.,
see Stickel, M.
-
Preston, P., 867(0)104--z
-
Preston, P., see Compton, P.
-
Presttun, K., 851(0)61--z
-
Presttun, K., see Androutsopoulos, D.
-
Prestwich, S., 854(0)289--z
-
Prestwich, S. D., 817(0)180--z
-
Prestwich:1994:HLV, 817(0)180--z
-
Prestwich:1994:LPP, 854(0)289--z
-
Prete, Cosimo Antonio, 750(0)317--z
-
Prete:1994:CGS, 750(0)317--z
-
Preterm, 856(0)690--z
-
Prevedourou, D., 851(0)343--z
-
Prevedourou:1994:PSW, 851(0)343--z
-
Prey, Jane C., 750(0)359--z
-
Prey:1994:SEB, 750(0)359--z
-
Priami, C., 841(0)567--z
-
Priami:1994:RWC, 841(0)567--z
-
Prichard, J. J., 856(0)601--z
-
Prichard:1994:RRT, 856(0)601--z
-
Primal, 814(0)282--z
-
Primary, 857(0)39--z
-
prime, 877(0)280--z
-
Prime, Quasi-, 802(0)454--473
-
Primer, 859(0)440--z
-
Primes, 839(0)282--293
-
primitive, 773(0)278--z, 775(0)679--z, 788(0)1--z, 789(0)296--z,
793(0)287--295, 807(0)213--225, 873(0)461--z
-
Primitivity, 820(0)556--z
-
Principal, 841(0)525--z, 845(0)219--z
-
principle, 796(0)274--z, 797(0)491--z, 800(0)117--122, 802(0)587--602,
809(0)71--82, 838(0)400--z, 851(0)445--z, 875(0)231--z,
876(0)164--z
-
Print, 860(0)214--z
-
Printed, 860(0)206--z
-
Priol, T., 854(0)461--z
-
Priol, T., see Berrendorf, R.
-
Prior, 808(0)81--z
-
Prior-Thomason, 827(0)265--z
-
priori, 837(0)379--z
-
prioritized, 838(0)232--z, 861(0)260--z, 861(0)393--z, 869(0)584--z
-
priority, 788(0)469--z, 805(0)59--72, 817(0)623--z, 817(0)689--z,
834(0)279--z, 838(0)247--z, 846(0)77--z, 880(0)217--230
-
Priscoli, F. Delli, 783(0)33--z
-
Priscoli, F. Delli, see Baiocchi, A.
-
PRISM, 851(0)553--z
-
prisoner, 830(0)69--z
-
Pritchard, P., 877(0)280--z
-
Pritchard:1994:IIP, 877(0)280--z
-
Privacy, 765(0)329--z, 875(0)207--z
-
Private, 839(0)397--410, 851(0)207--z
-
Privatization, 768(0)500--z
-
Privilege, 875(0)319--z
-
probabilistic, 763(0)331--z, 774(0)410--z, 775(0)109--z, 784(0)198--z,
787(0)142--z, 787(0)234--z, 796(0)346--z, 800(0)351--360,
802(0)410--437, 812(0)422--424, 813(0)1--z, 815(0)59--z, 817(0)1--z,
820(0)23--z, 836(0)481--z, 836(0)497--z, 836(0)513--z, 837(0)144--z,
846(0)204--z, 854(0)359--z, 861(0)248--z, 862(0)106--z,
862(0)271--z, 863(0)418--z, 863(0)680--z, 869(0)285--z
-
probabilistic, non-, 800(0)351--360
-
probability, 765(0)118--z, 783(0)230--z, 783(0)242--z, 793(0)191--202,
820(0)178--z
-
Probably, 872(0)469--z
-
Probe-{B}, 866(0)598--z
-
Problem-Independent, 866(0)408--z
-
problem-oriented, 869(0)416--z
-
Problem-Solving, 784(0)287--z
-
Procedural, Data-, 849(0)183--z
-
Procedural, Non-, 798(0)183--195
-
procedure, 774(0)73--z, 775(0)71--z, 780(0)213--226, 780(0)386--399,
780(0)427--437, 786(0)324--338, 797(0)233--z, 815(0)59--z,
815(0)278--z, 827(0)317--z, 844(0)147--z, 845(0)34--z, 845(0)285--z,
856(0)214--z, 879(0)100--109, 880(0)438--449
-
process, 750(0)189--z, 750(0)191--z, 750(0)211--z, 750(0)555--z,
763(0)268--z, 763(0)440--z, 772(0)2--z, 772(0)31--z, 772(0)35--z,
772(0)40--z, 772(0)59--z, 772(0)65--z, 772(0)74--z, 772(0)75--z,
772(0)114--z, 772(0)119--z, 772(0)123--z, 772(0)152--z,
772(0)163--z, 772(0)167--z, 772(0)171--z, 772(0)177--z,
772(0)186--z, 772(0)187--z, 772(0)207--z, 772(0)227--z,
772(0)240--z, 772(0)250--z, 772(0)254--z, 772(0)270--z,
782(0)151--z, 788(0)58--z, 789(0)405--z, 789(0)454--z, 789(0)886--z,
793(0)325--342, 794(0)353--368, 796(0)21--z, 796(0)40--z,
796(0)226--z, 800(0)47--60, 802(0)1--28, 802(0)103--121,
802(0)143--159, 802(0)177--214, 802(0)215--229, 802(0)250--270,
803(0)46--z, 811(0)14--27, 811(0)94--104, 811(0)256--268,
811(0)339--352, 817(0)601--z, 818(0)169--z, 820(0)286--z,
827(0)30--z, 832(0)36--z, 836(0)18--z, 836(0)48--z, 836(0)65--z,
836(0)81--z, 836(0)98--z, 836(0)114--z, 836(0)194--z, 836(0)226--z,
836(0)401--z, 836(0)465--z, 836(0)481--z, 836(0)497--z,
837(0)155--z, 841(0)256--z, 841(0)352--z, 852(0)421--z,
854(0)842--z, 856(0)359--z, 863(0)373--z, 863(0)393--z,
863(0)418--z, 863(0)680--z, 865(0)65--z, 865(0)277--z, 868(0)92--z,
869(0)604--z, 872(0)379--394, 873(0)251--z, 873(0)291--z,
873(0)681--z, 880(0)217--230, 880(0)243--255
-
Process, Meta-, 772(0)38--z
-
Process, Server-, 780(0)451--464
-
Process-Centered, 772(0)15--z, 772(0)261--z, 811(0)28--41
-
Process-Programming, 772(0)69--z
-
Process-to-Function, 821(0)81--z
-
processing, 776(0)1--z, 779(0)95--108, 786(0)324--338, 794(0)305--320,
796(0)1--z, 796(0)32--z, 796(0)232--z, 797(0)24--z, 797(0)172--z,
797(0)445--z, 814(0)816--820, 817(0)753--z, 817(0)789--z,
829(0)109--z, 835(0)69--z, 846(0)259--z, 849(0)156--z, 851(0)377--z,
865(0)291--z, 869(0)561--z, 878-0-xvi, 879(0)190--193,
879(0)194--206
-
Processing, Pre-, 849(0)332--z
-
Processor, 768(0)406--z, 780(0)281--294, 794(0)111--122, 794(0)213--230,
796(0)210--z, 817(0)777--z, 834(0)333--z, 849(0)123--z,
849(0)129--z, 849(0)168--z, 849(0)312--z, 849(0)321--z,
852(0)386--z, 852(0)421--z, 854(0)1--z, 854(0)218--z, 854(0)229--z,
854(0)616--z, 857(0)17--z, 863(0)455--z, 864(0)116--z
-
Procter, R., 817(0)749--z
-
Procter, R., see Hondroudakis, A.
-
Prodigyash, 837(0)33--z
-
Produce, 834(0)155--z, 867(0)104--z
-
produced, 814(0)816--820
-
product, 765(0)151--z, 768(0)358--z, 772(0)177--z, 812(0)131--139,
819(0)42--z, 821(0)513--z, 833(0)99--z, 850(0)253--z
-
production, 840(0)187--z, 847(0)114--z, 851(0)169--z, 856(0)204--z,
856(0)509--z, 873(0)346--z, 878-0-xvi
-
Productivity, 750(0)441--z
-
Proesmans, M., 800(0)295--304
-
Proesmans:1994:DOF, 800(0)295--304
-
Professional, 750(0)263--z
-
Profiles, 794(0)253--265
-
Programmability, 854(0)1--z
-
Programmable, 849(0)11--z, 849(0)277--z, 849(0)283--z, 849(0)292--z,
849(0)312--z, 849(0)341--z, 849(0)352--z
-
Programmable, Field-, 849(0)373--z
-
Programmed, 860(0)76--z
-
Programmers, 750(0)499--z
-
Programming, Constraint-, 858(0)248--z
-
Programming, Process-, 772(0)69--z
-
Programming-by-Difference, 873(0)134--z
-
Progress, 859(0)17--z, 873(0)567--z
-
progression, 839(0)282--293
-
project, 750(0)151--z, 750(0)177--z, 750(0)227--z, 750(0)285--z,
750(0)303--z, 750(0)345--z, 763(0)427--z, 780(0)239--252,
783(0)428--z, 796(0)46--z, 797(0)499--z, 811(0)80--93,
811(0)214--227, 814(0)816--820, 851(0)61--z, 858(0)79--z,
860(0)262--z, 868(0)53--z, 868(0)216--z, 868(0)300--z, 869(0)427--z,
875(0)217--z, 878-0-xvi
-
Project:, FTMPS-, 797(0)401--z
-
Project-Oriented, 750(0)117--z, 750(0)119--z, 750(0)165--z
-
Projection, 779(0)7--z, 822(0)333--z
-
projections, 800(0)411--420, 834(0)297--z
-
projective, 787(0)291--z, 800(0)439--448, 800(0)527--534,
800(0)589--599, 825(0)11--z, 825(0)107--z, 825(0)127--z,
825(0)199--z, 825(0)257--z, 850(0)95--z
-
PROLOG, 767(0)1--z, 832(0)128--z
-
PROLOG++, 835(0)251--z
-
Prolog, 768(0)374--z, 788(0)379--z, 798(0)348--360, 817(0)438--z,
817(0)453--z, 822(0)84--z, 838(0)365--z, 844(0)88--z, 844(0)451--z,
864(0)1--z, 872(0)121--z, 872(0)149--z
-
Prolog, Lambda-, 798(0)206--221
-
PROMAL, 844(0)457--z
-
Promised, 773(0)61--z
-
Pronios, N. B., 868(0)153--z, 882(0)340--z
-
Pronios:1994:MHS, 868(0)153--z
-
Pronios:1994:SMH, 882(0)340--z
-
proof, 770(0)1--z, 773(0)61--z, 773(0)85--z, 775(0)71--z, 780(0)113--126,
780(0)213--226, 785(0)321--336, 788(0)501--z, 789(0)141--z,
789(0)465--z, 792(0)117--z, 798(0)152--170, 806(0)3--18,
806(0)19--61, 806(0)62--78, 806(0)79--107, 806(0)108--126,
806(0)127--165, 806(0)166--190, 806(0)191--212, 806(0)213--237,
806(0)238--262, 806(0)263--290, 806(0)291--312, 806(0)313--332,
806(0)333--351, 806(0)352--365, 806(0)366--383, 812(0)422--424,
813(0)101--z, 814(0)29--z, 814(0)118--z, 814(0)133--z, 814(0)356--z,
814(0)431--z, 814(0)575--z, 814(0)605--z, 814(0)738--z,
814(0)788--z, 814(0)802--z, 814(0)836--z, 816(0)305--325,
816(0)326--344, 822(0)1--z, 822(0)54--z, 827(0)17--z, 832(0)33--z,
832(0)305--z, 834(0)137--z, 834(0)423--z, 836(0)267--z,
839(0)174--187, 841(0)256--z, 850(0)23--z, 850(0)133--z,
859(0)113--z, 859(0)407--z, 859(0)456--z, 861(0)178--z,
861(0)379--z, 863(0)660--z, 863(0)756--z, 869(0)604--z
-
Proof-Based, 873(0)214--z
-
proof-checked, 814(0)237--z
-
Proof-Checking, 806(0)127--165
-
proof-development, 814(0)826--z
-
Proof-Theoretical, 822(0)44--z
-
Prop, 864(0)281--z, 876(0)181--z
-
propagation, 773(0)49--z, 783(0)251--z, 783(0)285--z, 786(0)374--z,
846(0)259--z, 862(0)189--z, 869(0)193--z, 874(0)63--z
-
Proper, H. A., 856(0)433--z
-
Proper, H. A., see Ter Hofstede, A. H. M.
-
property, 766(0)1--z, 770(0)1--z, 774(0)187--z, 775(0)341--z,
775(0)619--z, 777(0)1--z, 780(0)324--337, 784(0)423--z,
787(0)218--z, 787(0)291--z, 788(0)501--z, 789(0)425--z, 792(0)61--z,
800(0)115--124, 800(0)187--192, 800(0)397--406, 803(0)375--z,
808(0)147--z, 812(0)124--130, 812(0)159--168, 813(0)278--z,
813(0)329--z, 815(0)179--z, 818(0)27--z, 820(0)35--z, 827(0)398--z,
831(0)100--z, 834(0)423--z, 836(0)81--z, 838(0)19--z, 838(0)34--z,
841(0)577--z, 844(0)459--z, 850(0)186--z, 851(0)393--z,
861(0)178--z, 863(0)193--z, 863(0)211--z, 863(0)431--z,
864(0)266--z, 866(0)159--z, 873(0)567--z
-
Proposal, 765(0)233--z, 766(0)1--z, 798(0)206--221, 809(0)33--z
-
propositional, 775(0)71--z, 813(0)69--z, 813(0)265--z, 838(0)316--z,
869(0)468--z, 869(0)551--z
-
Propositions, 798(0)322--332
-
prosaic, 869(0)39--z
-
PROSPECTOR-like, 784(0)339--z
-
Protecting, 875(0)207--z
-
Protection, 775(0)723--z, 821(0)280--z, 851(0)61--z, 873(0)602--z
-
PROTEIN, 814(0)769--z
-
Protein, 819(0)336--z
-
protocol, 765(0)267--273, 765(0)344--z, 773(0)100--109, 773(0)100--z,
778(0)73--z, 783(0)417--z, 806(0)127--165, 812(0)307--316,
812(0)317--324, 815(0)59--z, 817(0)109--z, 817(0)363--z,
818(0)132--z, 818(0)194--z, 820(0)568--z, 839(0)56--60,
839(0)121--128, 839(0)174--187, 839(0)271--281, 846(0)138--z,
846(0)195--z, 852(0)599--z, 863(0)170--z, 868(0)115--z,
868(0)387--z, 875(0)93--z, 875(0)193--z, 875(0)267--z, 882(0)322--z
-
prototype, 766(0)1--z, 786(0)218--z, 821(0)513--z, 826(0)205--z,
849(0)315--z, 856(0)713--z, 868(0)224--z, 869(0)154--z
-
Prototype-Based, 837(0)261--z
-
prototyping, 816(0)56--75, 817(0)192--z, 821(0)236--z, 823(0)24--z,
849(0)111--z, 849(0)138--z, 849(0)230--z, 849(0)251--z,
849(0)259--z, 849(0)318--z, 849(0)338--z, 856(0)310--z
-
Protzen, M., 814(0)42--z
-
Protzen:1994:LGI, 814(0)42--z
-
Provability, 813(0)329--z, 838(0)106--z
-
Provable, 786(0)218--z, 839(0)282--293
-
provable, non-, 814(0)222--z
-
provably, 765(0)200--z, 765(0)200--z--1, 786(0)294--z, 800(0)259--268,
844(0)132--z, 863(0)288--z, 863(0)336--z
-
Prove, 780(0)154--161, 780(0)162--173, 780(0)516--517
-
PROver, 814(0)769--z
-
Prover, 780(0)174--184, 828-0-xvii
-
Prover, Theorem-, 780(0)185--198
-
provers, 814(0)774--z
-
Provide, 819(0)415--z, 851(0)123--z
-
Provider, Multi-, 851(0)259--z
-
Providers, 851(0)123--z, 851(0)305--z
-
provides, 849(0)292--z
-
Providing, 851(0)343--z, 858(0)232--z, 859(0)65--z, 882(0)241--z
-
proving, 780(0)1--15, 780(0)16--28, 780(0)29--42, 780(0)43--58,
780(0)59--72, 780(0)73--86, 780(0)87--98, 780(0)99--112,
780(0)113--126, 780(0)127--139, 780(0)140--153, 780(0)154--161,
780(0)162--173, 780(0)174--184, 780(0)185--198, 780(0)199--212,
780(0)213--226, 780(0)227--238, 780(0)239--252, 780(0)253--266,
780(0)267--280, 780(0)281--294, 780(0)295--309, 780(0)310--323,
780(0)324--337, 780(0)338--351, 780(0)352--365, 780(0)366--371,
780(0)372--385, 780(0)386--399, 780(0)400--413, 780(0)414--426,
780(0)427--437, 780(0)438--450, 780(0)451--464, 780(0)465--475,
780(0)476--489, 780(0)490--501, 780(0)502--515, 780(0)516--517,
803(0)375--z, 806(0)3--18, 814(0)57--z, 814(0)192--z, 814(0)207--z,
814(0)386--z, 814(0)401--z, 814(0)499--z, 814(0)605--z,
814(0)758--z, 814(0)793--z, 814(0)841--z, 838(0)198--z, 850(0)6--z,
850(0)41--z, 859(0)17--z, 859(0)97--z, 861(0)343--z, 863(0)431--z,
880(0)366--377
-
Proving-by-Example, 774(0)73--z
-
Provisioning, 851(0)133--z, 851(0)259--z, 851(0)419--z
-
Proximity, 807(0)198--212, 855(0)278--z
-
Proy, Y.-E., 864(0)223--z
-
Proy, Y.-E., see Halbwachs, N.
-
Prserving, 850(0)269--z
-
Pruegel-Bennett, A., 865(0)17--z
-
Pruegel-Bennett, A., see Shapiro, J.
-
pruning, 778(0)91--z, 784(0)383--z, 788(0)120--z, 798(0)3--10
-
Przymusinski, T. C., 838(0)364--z
-
Przymusinski:1994:ALM, 838(0)364--z
-
Przytycka, T., 824(0)207--z
-
Przytycka, T., see Higham, L.
-
Przytycka, T. M., 820(0)251--z
-
Przytycka:1994:OAT, 820(0)251--z
-
Psarris, K., 817(0)49--z
-
Psarris, K., see Pande, S.
-
Pseudo-Meiosis, 866(0)36--z
-
Pseudoduplication, 852(0)327--z
-
Pseudorandom, 809(0)185--z
-
psi(x), 877(0)264--z
-
PSK-TCM, 783(0)121--z
-
PSPACE-completeness, 820(0)274--z
-
{PSPACE}-Hard, 855(0)424--z
-
PST, BIST-, 849(0)120--z
-
Psychology, 766(0)1--z
-
pSystem, 817(0)827--z
-
Puaut, I., 817(0)539--z
-
Puaut:1994:DGC, 817(0)539--z
-
Public, 765(0)410--z, 834(0)678--z, 851(0)123--z
-
Public-Key, 765(0)50--z, 773(0)456--z, 839(0)61--74
-
Publishing, 856(0)83--z
-
Pucci, G., 855(0)391--z
-
Pucci, G., see Pietracaprina, A.
-
pudding, 814(0)693--z
-
Pudlak, P., 820(0)1--z
-
Pudlak:1994:UUB, 820(0)1--z
-
Puget, J.-F., 874(0)350--z
-
Puget, J.-F., see Kurlander, D.
-
Pugh, W., 854(0)737--z, 874(0)312--z
-
Pugh, W., see Maslov, V.
-
Pugh, William, 768(0)546--z
-
Pugh:1994:ECB, 874(0)312--z
-
Pugh:1994:EMA, 768(0)546--z
-
Pugliese, M., 858(0)359--z
-
Pugliese, M., see Corbellini, P.
-
Puigjaner, R., 794(0)52--75
-
Puigjaner, R., see Carmona, A.
-
Pullen, S. P., 866(0)598--z
-
Pullen:1994:SDU, 866(0)598--z
-
Pulou, J., 852(0)271--z
-
Pulou, J., see Masseboeuf, G.
-
Pulsed, 800(0)521--526
-
Pumping, 820(0)436--z
-
punctured, 793(0)253--269
-
Punzi, S., 796(0)441--z, 797(0)499--z
-
Punzi, S., see Casari, C., \see{Fruscione, M.
-
Pure, 806(0)19--61, 813(0)316--z, 872(0)560--z
-
Purely, 789(0)179--z, 817(0)85--z
-
Puri, A., 818(0)95--z, 834(0)378--z
-
Puri, A., see Krishnan, S. C.
-
Puri:1994:DHS, 818(0)95--z
-
purpose, 786(0)188--z, 849(0)175--z, 852(0)199--z, 858(0)108--z,
869(0)255--z
-
Purpose, General-, 780(0)185--198, 849(0)321--z
-
Purtilo, James M., 750(0)285--z
-
Purtilo:1994:ECD, 750(0)285--z
-
pushbroom, 800(0)555--566
-
Pushdown, 812(0)372--385, 836(0)98--z
-
Pushout, 776(0)86--z, 776(0)218--z, 776(0)234--z
-
Pushout, Single-, 776(0)248--z
-
Pusztaszeri, Y.-H., 868(0)315--z
-
Pusztaszeri:1994:MTT, 868(0)315--z
-
Putnam, Davis-, 845(0)34--z
-
Putting, 750(0)303--z, 821(0)183--z
-
PVM, 796(0)157--162, 797(0)253--259, 797(0)267--272, 879(0)11--16,
879(0)136--146, 879(0)534--546
-
PVS, 780(0)162--173, 863(0)660--z
-
p({X}), 812(0)410--421