Index file section B for lncs1991.bib
Last update: Sun Jun 12 02:46:39 2016
Return to index directory
B
-
B, 552(0)398--z
-
{B}-Tool, 551(0)695--z
-
Baader, F., 567(0)67--z
-
Baader:1991:TKR, 567(0)67--z
-
Babaoglu, O., 563(0)162--z
-
Babaoglu:1991:FTS, 563(0)162--z
-
Bachmair, Leo, 516(0)162--z
-
Bachmair:1991:CFO, 516(0)162--z
-
Back, 507(0)105--z, 515(0)1--z
-
Back, T., 496(0)455--z
-
Back, T., see Hoffmeister, F.
-
Back-and-Forth, 534(0)166--z
-
Back-End, 503(0)193--z
-
Back-Propagation, 496(0)264--z, 496(0)269--z
-
Backend, 497(0)288--z
-
Backer, E., 521(0)377--z
-
Backer, E., see van der Lubbe, J. C. A.
-
background, 511(0)373--z, 546(0)455--z
-
Backofen, R., 567(0)161--z
-
Backofen:1991:DDL, 567(0)161--z
-
Backtracking, 497(0)161--z, 515(0)17--z, 527(0)480--z
-
Backup, 563(0)13--z
-
Badaloni, S., 549(0)470--z
-
Badaloni:1991:TPR, 549(0)470--z
-
Badaro, N., 499(0)304--z
-
Badaro:1991:RAM, 499(0)304--z
-
Baesens, P., 499(0)199--z
-
Baesens, P., see Willain, J.
-
Baeten, J. C. M., 527(0)96--z, 571(0)473--z
-
Baeten:1991:ACR, 571(0)473--z
-
Baeten:1991:RSP, 527(0)96--z
-
Bagga, K. S., 507(0)307--z
-
Bagga, K. S., see Ancona, M.
-
Bagga, Kunwarjit S., 507(0)8--z
-
Bagga:1991:LDM, 507(0)8--z
-
Bagnasco, C., 549(0)157--z
-
Bagnasco:1991:TRC, 549(0)157--z
-
Bagsash{}, 510(0)60--z
-
Bahgat, R., 569(0)83--z
-
Bahgat:1991:PAM, 569(0)83--z
-
Bahler, D., 542(0)500--z
-
Bahler, D., see Conrad, J. M.
-
Baiardi, F., 528(0)87--z
-
Baiardi:1991:AMP, 528(0)87--z
-
Baier, C., 529(0)105--z
-
Baier:1991:CNI, 529(0)105--z
-
Bailey, D. A., 532(0)84--z
-
Bailey, D. L., 511(0)34--z
-
Bailey, D. L., see Meikle, S. R.
-
Bailey:1991:PVL, 532(0)84--z
-
Bakker, J. W., de, 506(0)27--z
-
Bako, B., 524(0)296--z
-
Bako, B., see Valette, R.
-
Bal, Henri, 503(0)3--z
-
Bal:1991:LPP, 503(0)3--z
-
Bala, J., 542(0)286--z
-
Bala:1991:UGA, 542(0)286--z
-
Balance, 497(0)127--z
-
balanced, 508(0)113--z, 514(0)76--z
-
Balancing, 510(0)600--z
-
Balbiani, P., 521(0)223--z, 567(0)366--z
-
Balbiani:1991:NMR, 521(0)223--z
-
Balbiani:1991:TTI, 567(0)366--z
-
Balcazar, J. L., 505(0)288--z
-
Balcazar, J. L., see Alvarez, C.
-
Baldock, R. A., 511(0)408--z
-
Baldock:1991:TMI, 511(0)408--z
-
Baldwin, J. F., 521(0)126--z, 521(0)360--z, 548(0)107--z
-
Baldwin, J. F., see Martin, T. P.
-
Baldwin:1991:NAI, 548(0)107--z
-
Baldwin:1991:TGT, 521(0)360--z
-
ball, 555(0)359--z
-
Ballots, 555(0)283--z
-
Balter, J., 511(0)132--z
-
Balter, J., see Pelizzari, C. A.
-
Bananas, 523(0)124--z
-
Banatre, J. P., 563(0)167--z
-
Banatre, M., 563(0)167--z
-
Banatre, M., see Banatre, J. P.
-
Banatre:1991:FSS, 563(0)167--z
-
Bandelt, H.-J., 496(0)109--z
-
Bandelt, H.-J., see Ulder, N. L. J.
-
Bandwidth, 497(0)66--z, 497(0)403--z
-
Bank, B., 529(0)121--z
-
Bank:1991:GBI, 529(0)121--z
-
Banzhaf, W., 565(0)442--z
-
Banzhaf:1991:FGM, 565(0)442--z
-
Bar-Ilan, J., 519(0)343--z
-
Bar-Ilan:1991:AAS, 519(0)343--z
-
Barahona, P., 541(0)17--z
-
Barahona, P., see Menezes, F.
-
Baraki, Gebreselassie, 523(0)367--z
-
Baraki:1991:NAI, 523(0)367--z
-
Baral, C., 542(0)92--z, 542(0)459--z
-
Baral:1991:CKB, 542(0)92--z
-
Baral:1991:WSN, 542(0)459--z
-
Barbanera, F., 520(0)64--z
-
Barbanera, F., see Alessi, F.
-
Barbanera, Franco, 516(0)262--z, 526(0)651--z
-
Barbanera:1991:AAR, 516(0)262--z
-
Barbanera:1991:IUT, 526(0)651--z
-
Barbeau, M., 575(0)103--z
-
Barbeau, Michel, 531(0)333--z
-
Barbeau:1991:EKM, 531(0)333--z
-
Barbeau:1991:LMF, 575(0)103--z
-
Barbed, 523(0)124--z
-
Barbedette, Gilles, 512(0)77--z
-
Barbedette:1991:SML, 512(0)77--z
-
Barber, D. C., 511(0)373--z
-
Barber, H. B., 511(0)8--z
-
Barber, H. B., see Saffer, J. R.
-
Barber:1991:EBD, 511(0)373--z
-
Barcucci, E., 529(0)126--z
-
Barcucci:1991:CBS, 529(0)126--z
-
Barghouti, N. S., 550(0)380--z
-
Barghouti:1991:SRB, 550(0)380--z
-
Barillot, C., 511(0)154--z
-
Barillot, C., see Lemoine, D.
-
Barnard, S. T., 496(0)395--z
-
Barnard:1991:ASS, 496(0)395--z
-
Barnes, Bruce H., 536(0)129--z
-
Barnes:1991:CCI, 536(0)129--z
-
Barrett, H. H., 496(0)242--z, 511(0)8--z, 511(0)458--z
-
Barrett, H. H., see Saffer, J. R.,
see Shoemaker, R. L.
-
Barrett:1991:LDI, 511(0)458--z
-
Barth, G., 555(0)1--z
-
Barth, Paul S., 523(0)538--z
-
Barth:1991:MSE, 523(0)538--z
-
Barth:1991:WAF, 555(0)1--z
-
Barthelmann, K., 532(0)98--z
-
Barthelmann:1991:DGO, 532(0)98--z
-
Bartrum, Simon, 522(0)1--z
-
Bartrum, Simon, see Aylett, Ruth
-
Barzdins, G., 502(0)253--z, 534(0)1--z
-
Barzdins, J., 502(0)111--z, 502(0)286--z
-
Barzdins, J., see Auzins, A.,
see Freivalds, R.
-
Barzdins:1991:AIC, 534(0)1--z
-
Barzdins:1991:IST, 502(0)253--z
-
Basarab, I. A., 504(0)437--z
-
Basarab, I. A., see Red'ko, V. N.
-
base, 498(0)79--z, 503(0)112--z, 504(0)311--z, 508(0)292--z,
508(0)304--z, 508(0)322--z, 513(0)1--z, 525(0)45--z, 542(0)92--z,
567(0)32--z, 567(0)107--z
-
based, 473(0)31--z, 473(0)63--z, 473(0)313--z, 473(0)481--z,
473(0)487--z, 483(0)113--z, 496(0)145--z, 496(0)314--z,
496(0)356--z, 498(0)98--z, 498(0)319--z, 499(0)212--z, 504(0)428--z,
507(0)227--z, 507(0)271--z, 507(0)426--z, 508(0)132--z,
508(0)341--z, 511(0)23--z, 514(0)193--z, 515(0)107--z, 519(0)1--z,
520(0)387--z, 521(0)317--z, 521(0)578--z, 521(0)588--z,
521(0)598--z, 524(0)227--z, 527(0)43--z, 528(0)425--z, 531(0)116--z,
532(0)12--z, 532(0)24--z, 532(0)174--z, 532(0)461--z, 532(0)641--z,
536(0)149--z, 537(0)576--z, 537(0)576--z--1, 537(0)601--z,
539(0)241--z, 542(0)82--z, 542(0)172--z, 545(0)438--z, 546(0)428--z,
546(0)501--z, 547(0)352--z, 547(0)399--z, 547(0)527--z, 548(0)48--z,
548(0)107--z, 549(0)302--z, 553(0)265--z, 557(0)375--z,
567(0)199--z, 575(0)37--z, 575(0)103--z, 576(0)204--z,
576(0)252--266, 576(0)301--213
-
based, anatomical-, 511(0)154--z
-
Based, Assumption-, 515(0)87--z
-
based, assumption-, 549(0)445--z
-
based, attribute-, 542(0)378--z
-
Based, Concept-, 567(0)107--z
-
Based, Constraint-, 541(0)45--z, 541(0)60--z
-
based, Constraint-, 548(0)277--z
-
Based, Constraints-, 541(0)264--z
-
based, Copying-, 569(0)146--z
-
Based, Dependence-, 526(0)365--z
-
based, Explanation-, 542(0)326--z
-
based, frame-, 549(0)147--z
-
Based, Graph-, 566(0)312--z
-
Based, Heuristic-, 507(0)41--z
-
Based, {ID}-, 576(0)288--299
-
Based, Identity-, 473(0)16--z, 473(0)481--z
-
Based, Inference-, 550(0)396--z
-
Based, Information-, 529(0)86--z
-
based, instance-, 542(0)399--z
-
Based, Interpolation-, 497(0)78--z
-
Based, Interval-, 521(0)193--z
-
based, interval-, 542(0)226--z
-
Based, Knowledge-, 521(0)488--z, 548(0)328--z
-
based, Knowledge-, 502(0)65--z, 549(0)2--z
-
Based, Lattice-, 531(0)292--z
-
Based, Logic-, 528(0)63--z
-
based, Model-, 511(0)358--z
-
based, model-, 549(0)177--z, 549(0)187--z
-
Based, Narrowing-, 528(0)421--z
-
Based, Network-, 505(0)321--z
-
Based, Object-, 507(0)256--z
-
based, {Petri}-net-, 483(0)471--z
-
Based, Physically-, 532(0)363--z
-
Based, Rule-, 532(0)505--z, 534(0)74--z, 550(0)380--z,
567(0)1--z
-
based, rule-, 524(0)296--z, 542(0)52--z
-
based, sensor-, 549(0)342--z
-
based, Shape-, 511(0)314--z
-
Based, Signature-, 497(0)288--z
-
based, Spline-, 511(0)55--z
-
based, State-, 527(0)20--z
-
Based, Tableau-, 548(0)310--z
-
based, Template-, 507(0)51--z
-
Based, Theory-, 504(0)161--z
-
Based, Tolerance-, 553(0)85--z
-
Based, WAM-, 533(0)110--z
-
bases, Knowledge-, 566(0)391--z
-
Basic, 501(0)7--z, 563(0)119--z, 566(0)546--z
-
Basili, R., 549(0)250--z
-
Basili:1991:UWA, 549(0)250--z
-
Basin, D., 549(0)48--z
-
Basin, David A., 526(0)475--z
-
Basin:1991:AMT, 549(0)48--z
-
Basin:1991:SNP, 526(0)475--z
-
basis, 508(0)280--z, 508(0)354--z, 529(0)68--z, 529(0)275--z,
539(0)65--z, 542(0)419--z, 546(0)645--z, 563(0)167--z
-
Basu, A., 497(0)721--z
-
Basu:1991:FVR, 497(0)721--z
-
Battail, G., 514(0)259--z, 514(0)298--z, 514(0)337--z
-
Battail, G., see Sfez, R.
-
Battail:1991:ASC, 514(0)298--z
-
Battail:1991:CMG, 514(0)337--z
-
Bauderon, M., 532(0)113--z
-
Bauderon:1991:GSS, 532(0)113--z
-
Baum, B., 528(0)427--z
-
Baum:1991:SFF, 528(0)427--z
-
Baumgarten, U., 499(0)260--z
-
Baumgarten:1991:DSA, 499(0)260--z
-
Baumslag, M., 497(0)431--z, 505(0)179--z
-
Baumslag:1991:ESL, 505(0)179--z
-
Baumslag:1991:FTQ, 497(0)431--z
-
Bauspieß, Fritz, 473(0)344--z
-
Bauspiess:1991:IPE, 473(0)344--z
-
Bayesian, 511(0)81--z, 511(0)121--z, 521(0)97--z
-
BBN, 569(0)104--z
-
BCH, 514(0)60--z, 539(0)118--z, 539(0)384--z
-
BCI-Lambda-Terms, 526(0)633--z
-
BCK-Formulas, 530(0)106--z
-
BDDs, 575(0)203--z
-
beam, 511(0)45--z
-
Bear, Stephen, 551(0)571--z
-
Bear:1991:OHS, 551(0)571--z
-
Beaumont, A., 506(0)403--z, 569(0)120--z
-
Beaumont:1991:FSP, 506(0)403--z
-
Beaumont:1991:SSS, 569(0)120--z
-
Beauquier, D., 529(0)136--z
-
Beauquier:1991:AEN, 529(0)136--z
-
Beaven, Mike, 507(0)364--z
-
Beaven:1991:FLC, 507(0)364--z
-
Beaver, Donald, 537(0)62--z, 537(0)326--z, 576(0)377--z, 576(0)420--z
-
Beaver:1991:EMP, 576(0)420--z
-
Beaver:1991:FSI, 576(0)377--z
-
Beaver:1991:HIZ, 537(0)326--z
-
Beaver:1991:SLC, 537(0)62--z
-
Becker, Bruno, 553(0)13--z
-
Becker, J. D., 565(0)326--z
-
Becker, T., 539(0)65--z
-
Becker:1991:AEL, 565(0)326--z
-
Becker:1991:HPH, 539(0)65--z
-
Becker:1991:OAA, 553(0)13--z
-
Bednarczyk, Marek A., 551(0)268--z
-
Bednarczyk:1991:CDF, 551(0)268--z
-
Beemster, Marcel, 503(0)193--z
-
Beemster:1991:BEA, 503(0)193--z
-
Beenker, 539(0)340--z
-
Behavior, 506(0)110--z
-
Behavioral, 527(0)23--z
-
behaviour, 483(0)1--z, 571(0)53--z, 571(0)393--z, 571(0)451--z,
571(0)529--z, 575(0)277--z
-
Behavioural, 510(0)127--z, 534(0)220--z, 551(0)254--z, 575(0)37--z,
575(0)181--z
-
Beierle, C., 567(0)402--z
-
Beierle:1991:BDP, 567(0)402--z
-
Beirendonck, L., Van, 498(0)79--z
-
Bek, G., 499(0)394--z
-
Bek, G., see Gilbert, B.
-
Belfiore, J. C., 514(0)350--z, 514(0)364--z
-
Belfiore, J. C., see Leeuwin, K.,
see Sfez, R.
-
Belief, 515(0)71--z, 515(0)87--z, 515(0)155--z, 521(0)41--z, 521(0)50--z,
521(0)86--z, 521(0)97--z, 521(0)232--z, 521(0)393--402,
533(0)274--z, 543(0)223--z, 548(0)48--z, 548(0)63--z, 548(0)91--98
-
beliefs, 521(0)2--z, 521(0)68--z, 549(0)38--z
-
Belkasmi, M., 539(0)340--z
-
Belkasmi, M., see Poli, A.
-
Bell, M., 571(0)1--z
-
Bell, M., see Goswami, A.
-
Bella, D. M., Di, 528(0)87--z
-
Belmesk, Z., 506(0)295--z
-
Belmesk, Z., see Autant, C.
-
Belt, 497(0)675--z
-
Ben-Asher, Y., 510(0)139--z
-
Ben-Asher:1991:PR, 510(0)139--z
-
Bench-Capon, T. J. M., 496(0)363--z
-
Bench-Capon, T. J. M., see Paton, R. C.
-
Benchmarking, 499(0)87--z
-
Bendix, Knuth-, 516(0)181--z
-
Bends, 519(0)320--z
-
Benefits, 497(0)33--z
-
Beneteau, Pr. L., 508(0)267--z
-
Beneteau:1991:STM, 508(0)267--z
-
Beney, J. G., 528(0)219--z
-
Beney, J. G., see Koster, C. H. A.
-
Benkouar, A., 557(0)190--z
-
Benkouar:1991:CSH, 557(0)190--z
-
Bennett, Charles H., 473(0)253--z, 576(0)351--z
-
Bennett, J. K., 563(0)56--z
-
Bennett:1991:EQC, 473(0)253--z
-
Bennett:1991:MDS, 563(0)56--z
-
Bennett:1991:PQO, 576(0)351--z
-
Bent, 473(0)151--z, 508(0)113--z
-
Benveniste, Marc, 551(0)164--z
-
Benveniste:1991:WOS, 551(0)164--z
-
Benvenuti, P., 521(0)307--z
-
Benvenuti:1991:GIF, 521(0)307--z
-
Benzschawel, Stefan, 546(0)501--z
-
Benzschawel:1991:LDD, 546(0)501--z
-
Berg, Carel, van den, 503(0)229--z, 503(0)259--z
-
Berger, T., 514(0)21--z
-
Berger, U., 544(0)137--z
-
Berger:1991:CGC, 544(0)137--z
-
Berger:1991:DPA, 514(0)21--z
-
Berghammer, R., 544(0)193--z
-
Berghammer:1991:UEF, 544(0)193--z
-
Bergman, A., 496(0)395--z
-
Bergman, A., see Barnard, S. T.
-
Bergstein, Paul L., 512(0)377--z
-
Bergstein:1991:ICD, 512(0)377--z
-
Bergstra, J. A., 527(0)96--z, 571(0)473--z
-
Bergstra, J. A., see Baeten, J. C. M.
-
Berkovits, Shimshon, 547(0)535--z
-
Berkovits:1991:HBS, 547(0)535--z
-
Bermuda, 546(0)243--z
-
Bern, M., 510(0)674--z
-
Bern:1991:EED, 510(0)674--z
-
Bernard-Weil, E., 521(0)498--z
-
Bernard-Weil:1991:MCS, 521(0)498--z
-
Bernasconi, C., 521(0)232--z
-
Bernasconi:1991:NUB, 521(0)232--z
-
Bernstein-Bezier, 553(0)161--z
-
Bersini, H., 496(0)343--z
-
Bersini:1991:HAP, 496(0)343--z
-
Berthelot, G., 531(0)13--z
-
Berthelot:1991:PEA, 531(0)13--z
-
Berthet, Christian, 531(0)23--z
-
Berthet, Christian, see Coudert, Olivier
-
Bertin, A., 549(0)399--z
-
Bertin:1991:EEM, 549(0)399--z
-
Bertling, Hubert, 516(0)181--z
-
Bertling:1991:KBC, 516(0)181--z
-
Bertrand, G., 511(0)300--z
-
Bertrand, G., see Malandain, G.
-
Berzins, V., 550(0)229--z
-
Berzins:1991:SMM, 550(0)229--z
-
Besnard, P., 548(0)38--z
-
Besnard:1991:DL, 548(0)38--z
-
Bessette, François, 473(0)253--z,
see Bennett, Charles H.
-
betaeta, 526(0)731--z
-
Beth, T., 514(0)30--z, 539(0)74--z
-
Beth, Thomas, 473(0)189--z, 537(0)169--z, 547(0)316--z
-
Beth, Thomas, see Dai, Zong-Duo
-
Beth:1991:ANS, 539(0)74--z
-
Beth:1991:FBC, 514(0)30--z
-
Beth:1991:ITS, 537(0)169--z
-
Beth:1991:NSE, 547(0)316--z
-
Bettaz, M., 534(0)11--z
-
Bettaz:1991:AAT, 534(0)11--z
-
Better, 510(0)544--z, 523(0)496--z, 557(0)32--z
-
Betting, 527(0)439--z
-
Beutelspacher, Albrecht, 473(0)294--z
-
Beutelspacher:1991:EFS, 473(0)294--z
-
Bevers, Eddy, 516(0)194--z
-
Bevers:1991:PCC, 516(0)194--z
-
Bevier, W., 575(0)70--z
-
Bevier:1991:MCP, 575(0)70--z
-
beyond, 519(0)92--z, 521(0)204--z, 542(0)276--z, 563(0)53--z
-
Bezier, Bernstein-, 553(0)161--z
-
Bhatia, S. K., 542(0)102--z
-
Bhatia, Sanjiv K., 507(0)91--z
-
Bhatia:1991:FCD, 507(0)91--z
-
Bhatia:1991:UPI, 542(0)102--z
-
Bhattacharya, B., 510(0)649--z
-
Bhattacharya, B. K., 519(0)412--z
-
Bhattacharya, Binay K., 560(0)390--z
-
Bhattacharya, S., 497(0)628--z
-
Bhattacharya, S., see Bhattacharya, U.
-
Bhattacharya, U., 497(0)628--z
-
Bhattacharya:1991:CST, 510(0)649--z
-
Bhattacharya:1991:LTA, 519(0)412--z
-
Bhattacharya:1991:MFT, 497(0)628--z
-
Bhattacharya:1991:UAS, 560(0)390--z
-
Bi-Partitioning, 507(0)313--z
-
Bi-Proof, 547(0)243--z
-
Bibliography, 501(0)1--z, 524(0)317--z
-
Bicarregui, J. C., 551(0)371--z
-
Bicarregui:1991:RAV, 551(0)371--z
-
Bicevskis, J., 502(0)286--z
-
Bicevskis, J., see Auzins, A.
-
Biconnect, 557(0)326--z
-
Biconnected, 510(0)339--z
-
Bidirectional, 541(0)92--z
-
Bidoit, M., 501(0)1--z, 501(0)7--z, 501(0)15--z, 501(0)25--z,
501(0)35--z, 501(0)49--z
-
Bidoit:1991:ASSa, 501(0)1--z
-
Bidoit:1991:ASSb, 501(0)7--z
-
Bidoit:1991:ASSc, 501(0)15--z
-
Bidoit:1991:ASSd, 501(0)25--z
-
Bidoit:1991:ASSe, 501(0)35--z
-
Bidoit:1991:ASSf, 501(0)49--z
-
Bieri, Hanspeter, 553(0)27--z
-
Bieri:1991:LAC, 553(0)27--z
-
Biermann, A. W., 542(0)1--z
-
Biermann:1991:APV, 542(0)1--z
-
Bifinite, 530(0)16--z
-
Biham, Eli, 537(0)2--z, 547(0)1--z, 547(0)532--z, 576(0)156--z
-
Biham:1991:CCM, 547(0)532--z
-
Biham:1991:DCF, 547(0)1--z
-
Biham:1991:DCL, 537(0)2--z
-
Biham:1991:DCS, 576(0)156--z
-
Bilbro, G., 511(0)218--z
-
Bilbro, G., see Snyder, W.
-
Binaghi, E., 511(0)434--z, 521(0)488--z, 548(0)115--z
-
Binaghi:1991:FKB, 521(0)488--z
-
Binaghi:1991:LUCa, 511(0)434--z
-
Binaghi:1991:LUCb, 548(0)115--z
-
binary, 473(0)124--z, 497(0)111--z, 497(0)312--z, 497(0)335--z,
497(0)484--z, 507(0)192--z, 514(0)30--z, 514(0)60--z, 514(0)65--z,
514(0)76--z, 514(0)320--z, 525(0)143--z, 529(0)126--z, 529(0)350--z,
539(0)118--z, 539(0)333--z, 539(0)384--z, 544(0)217--z,
547(0)160--z, 547(0)200--z, 557(0)241--z
-
Binary, OO-, 498(0)561--z
-
Binary-Search, 529(0)190--z
-
Binding, 569(0)185--z
-
Binding-Time, 523(0)448--z
-
Bing, Horng, Wen-, 505(0)270--z
-
Bini, D., 510(0)520--z
-
Bini:1991:IPC, 510(0)520--z
-
Bintree, 497(0)78--z
-
Biological, 507(0)385--z
-
Biology, 565(0)364--z
-
biomedical, 511(0)326--z, 511(0)419--z, 511(0)434--z, 521(0)488--z
-
Bipartite, 510(0)728--z
-
Bipartitions, 519(0)202--z
-
Bird, Ray, 576(0)44--z
-
Bird:1991:SDT, 576(0)44--z
-
Birkhoff, 516(0)401--z
-
Birman, K., 563(0)154--z
-
Birman:1991:FTS, 563(0)154--z
-
bisection, 520(0)211--z
-
Bisimilarity, 506(0)295--z, 510(0)495--z, 575(0)2--z
-
bisimulation, 520(0)170--z, 520(0)346--z, 531(0)364--z, 575(0)13--z
-
Bister, M., 511(0)205--z
-
Bister:1991:TAA, 511(0)205--z
-
Biswas, S., 497(0)462--z
-
Biswas:1991:ECS, 497(0)462--z
-
Bit, 537(0)49--z, 537(0)394--z, 537(0)409--z, 547(0)431--445
-
Bit, Bit-by-, 547(0)200--z
-
Bit-by-Bit, 547(0)200--z
-
Bitcommitment, 473(0)31--z
-
Bitton, D., 498(0)240--z
-
Bitton:1991:DET, 498(0)240--z
-
Bizais, Y. J., 511(0)55--z
-
Bizais, Y. J., see Guedon, J-P. V.
-
Bjorner, Dines, 509(0)178--z
-
Bjorner:1991:FMS, 509(0)178--z
-
Bjornson, S., 499(0)50--z
-
Bjornson:1991:IES, 499(0)50--z
-
Black, Red-, 497(0)117--z
-
Blackboard, 569(0)159--z
-
Blair, J. R. S., 497(0)372--z
-
Blair, J. R. S., see Kirsch, E. S.
-
Blasius, Karl Hans, 546(0)428--z
-
Blasius:1991:KBC, 546(0)428--z
-
Blass, Andreas, 533(0)17--z, 560(0)10--z
-
Blass:1991:RRS, 560(0)10--z
-
Blass:1991:RTA, 533(0)17--z
-
Blast, 497(0)642--z
-
Blaue, Christoph, 551(0)697--z
-
Blaue:1991:VSC, 551(0)697--z
-
Bleumer, Gerrit, 473(0)441--z
-
Bleumer:1991:RSS, 473(0)441--z
-
block, 473(0)389--z, 496(0)98--z, 508(0)122--z, 537(0)530--z
-
block-codes, 514(0)76--z
-
Block-Complete, 507(0)34--z
-
Blommers, M. J. J., 496(0)90--z
-
Blommers, M. J. J., see Lucasius, C. B.
-
Blum, Manuel, 560(0)1--z
-
Blum:1991:PC, 560(0)1--z
-
Blume, C., 496(0)48--z
-
Blume:1991:GSS, 496(0)48--z
-
Blute, R., 530(0)121--z
-
Blute:1991:PNC, 530(0)121--z
-
Boals, A., 497(0)474--z
-
Boals, A. J., 497(0)395--z
-
Boals:1991:CHP, 497(0)395--z
-
Boals:1991:EAA, 497(0)474--z
-
Bobrowicz, O., 521(0)136--z
-
Bobrowicz:1991:MBM, 521(0)136--z
-
Bochmann, G. v., 575(0)103--z
-
Bochmann, G. v., see Barbeau, M.
-
Bochmann, Gregor V., 531(0)333--z
-
Bochmann, Gregor V., see Barbeau, Michel
-
Bock, P., 496(0)472--z
-
Bock:1991:BUM, 496(0)472--z
-
Bodlaender, H. L., 510(0)544--z, 519(0)286--z
-
Bodlaender, H. L., see Kant, G.
-
Bodlaender:1991:BAP, 510(0)544--z
-
Body, 521(0)68--z
-
Body, Mind-, 521(0)298--z
-
Boer, F. S., de, 527(0)111--z, 527(0)127--z
-
Boer, F., de, 571(0)451--z
-
Boer, M. J. M., de, 532(0)127--z
-
Boer, Bert den, 473(0)31--z, 576(0)194--z, 576(0)194--z--1
-
Boer:1991:ALT, 576(0)194--z
-
Boerger, E., 528(0)147--z
-
Boerger:1991:FSD, 528(0)147--z
-
Bol, R., 510(0)481--z
-
Bol:1991:MNP, 510(0)481--z
-
Boley, H., 567(0)383--z
-
Boley:1991:PDP, 567(0)383--z
-
Bollinger, Toni, 546(0)402--z
-
Bollinger:1991:LIE, 546(0)402--z
-
Bolognesi, R., 549(0)271--z
-
Bolognesi, R., see Piastra, M.
-
Boltzmann, 496(0)226--z
-
{Boltzmann}-, 496(0)430--z
-
{Boltzmann}-Learned, 496(0)216--z
-
Bonacina, Maria Paola, 516(0)156--z, 516(0)206--z
-
Bonacina, Maria Paola, see Anantharaman, Siva
-
Bonacina:1991:CPS, 516(0)206--z
-
Bonarini, A., 549(0)127--z
-
Bonarini:1991:UCD, 549(0)127--z
-
Bonatti, P. A., 549(0)28--z
-
Bonatti:1991:FTV, 549(0)28--z
-
Bonjour, M., 498(0)264--z
-
Bonjour, M., see Adreit, F.
-
Bonnier, S., 520(0)84--z
-
Bonnier:1991:UIS, 520(0)84--z
-
Bonzon, P., 567(0)271--z
-
Bonzon:1991:PFD, 567(0)271--z
-
Bookstein, F. L., 511(0)326--z
-
Bookstein:1991:TPS, 511(0)326--z
-
Boolean, 473(0)161--z, 510(0)707--z, 514(0)42--z, 529(0)265--z,
529(0)395--z, 533(0)145--z, 547(0)141--z, 557(0)104--z,
560(0)242--z, 575(0)454--z
-
Borderline, 528(0)219--z
-
Borger, E., 567(0)191--z
-
Borger, Egon, 533(0)31--z, 533(0)67--z
-
Borger:1991:FOS, 533(0)67--z
-
Borger:1991:LOS, 567(0)191--z
-
Borger:1991:PAT, 533(0)31--z
-
Borkel, Manfred, 546(0)482--z
-
Borkel:1991:KEE, 546(0)482--z
-
Borlo, C., 521(0)568--z
-
Borlo, C., see Console, L.
-
Born, J., 496(0)373--z
-
Born, J., see Voigt, H.-M.
-
Boros, Endre, 557(0)104--z
-
Boros:1991:IMP, 557(0)104--z
-
Borrell, J., 539(0)352--z
-
Borrell, J., see Rifa, J.
-
Borzovs, J., 502(0)360--z
-
Borzovs:1991:ACT, 502(0)360--z
-
Borzyszkowski, Andrzej M., 551(0)268--z
-
Borzyszkowski, Andrzej M., see Bednarczyk, Marek A.
-
Bosc, P., 521(0)431--z
-
Bosc:1991:SAE, 521(0)431--z
-
Bosch, Peter, 546(0)243--z
-
Bosch:1991:BTN, 546(0)243--z
-
Boseniuk, T., 496(0)430--z
-
Boseniuk:1991:BDH, 496(0)430--z
-
Bosschere, K. O. M., De, 569(0)159--z
-
Bosselaers, Antoon, 576(0)194--z, 576(0)194--z--1
-
Bosselaers, Antoon, see Boer, Bert den
-
Bossert, M., 508(0)122--z
-
Bossert, M., see Schnabl, G.
-
Bost, J.-M., 549(0)415--z
-
Bost, J.-M., see Milanese, R.
-
Both, 521(0)548--z, 550(0)509--z
-
Botta, M., 542(0)296--z, 549(0)228--z
-
Botta:1991:LQF, 542(0)296--z
-
Botta:1991:UCM, 549(0)228--z
-
Bottom-Up, 557(0)251--z
-
Bottoni, P., 521(0)279--z
-
Bottoni:1991:EPR, 521(0)279--z
-
Bouajjani, A., 510(0)76--z, 531(0)197--z
-
Bouajjani:1991:MMG, 531(0)197--z
-
Bouajjani:1991:SBT, 510(0)76--z
-
Bouali, A., 527(0)18--z
-
Bouali:1991:CMR, 527(0)18--z
-
Boucelma, O., 566(0)567--z
-
Boucelma:1991:EFQ, 566(0)567--z
-
Boudol, G., 520(0)93--z
-
Boudol:1991:OL, 520(0)93--z
-
Bouge, L., 506(0)166--z
-
Bouge:1991:SLM, 506(0)166--z
-
bound, 473(0)189--z, 473(0)283--z, 497(0)55--z, 497(0)134--z,
502(0)111--z, 508(0)292--z, 514(0)150--z, 514(0)364--z,
520(0)337--z, 529(0)47--z, 529(0)121--z, 529(0)240--z, 533(0)261--z,
533(0)318--z, 537(0)242--z, 557(0)251--z
-
Boundary, 511(0)285--z, 553(0)57--z
-
bounded, 508(0)180--z, 510(0)566--z, 520(0)337--z, 524(0)118--z,
527(0)172--z, 533(0)308--z, 576(0)225--231
-
Bounded, 1-, 566(0)208--z
-
Bounded, Space-, 529(0)248--z
-
Bounded-memory, 575(0)192--z
-
Bourzoufi, H., 569(0)185--z
-
Bourzoufi:1991:EBM, 569(0)185--z
-
Bousdira, Wadoud, 516(0)272--z
-
Bousdira:1991:SCC, 516(0)272--z
-
Bowen, J., 542(0)500--z
-
Bowen, J., see Conrad, J. M.
-
Box, {S}-, 547(0)352--z
-
Boxes, {S}-, 547(0)378--z
-
boxes, {S}-, 537(0)564--z
-
Boyar, Joan, 537(0)189--z
-
Boyar:1991:CUS, 537(0)189--z
-
Boyd, Colin, 547(0)266--z
-
Boyd:1991:ESD, 547(0)266--z
-
Boye, J., 528(0)383--z
-
Boye:1991:SRO, 528(0)383--z
-
Bozma, H. I., 511(0)358--z
-
Bozma:1991:MBR, 511(0)358--z
-
BP, 560(0)261--z
-
Bradfield, J. C., 524(0)29--z
-
Bradfield:1991:PTP, 524(0)29--z
-
brain, 511(0)165--z, 511(0)188--z
-
Brajnik, G., 549(0)167--z, 549(0)445--z
-
Brajnik:1991:FTA, 549(0)445--z
-
Brajnik:1991:RUT, 549(0)167--z
-
Brancadori, F., 549(0)228--z
-
Brancadori, F., see Botta, M.
-
branching, 510(0)76--z, 511(0)65--z, 529(0)47--z, 531(0)253--z,
575(0)2--z, 575(0)13--z, 575(0)410--z
-
branching, omega-, 520(0)337--z
-
Brandenburg, F. J., 532(0)144--z, 532(0)157--z
-
Brandenburg:1991:CCC, 532(0)157--z
-
Brandenburg:1991:LGG, 532(0)144--z
-
Brass, S., 566(0)411--z
-
Brass:1991:SIL, 566(0)411--z
-
Brassard, Gilles, 473(0)253--z, 537(0)49--z, 537(0)94--z, 576(0)351--z
-
Brassard, Gilles, see Bennett, Charles H.
-
Brassard:1991:OWG, 537(0)94--z
-
Brassard:1991:QBC, 537(0)49--z
-
Bratbergsengen, Kjell, 503(0)24--z
-
Bratbergsengen:1991:RAO, 503(0)24--z
-
Brauer, W., 483(0)1--z, 555(0)15--z
-
Brauer, Wilfried, 546(0)14--z
-
Brauer:1991:NPI, 555(0)15--z
-
Brauer:1991:SBE, 483(0)1--z
-
Brauer:1991:TUC, 546(0)14--z
-
Braun, C. L., 499(0)326--z
-
Braun, C. L., see Syms, T.
-
Braun, H. C., 496(0)129--z
-
Braun:1991:STS, 496(0)129--z
-
Brave, Meta-, 569(0)29--z
-
Brazma, A., 502(0)156--z
-
Brazma:1991:ISD, 502(0)156--z
-
Breadth-Depth, 529(0)146--z
-
Break, 576(0)338--z
-
Breazu-Tannen, V., 510(0)60--z
-
Breazu-Tannen:1991:LCA, 510(0)60--z
-
Breu, R., 562(0)1--z
-
Breu:1991:AST, 562(0)1--z
-
Breveglieri, L., 529(0)146--z, 571(0)131--z
-
Breveglieri:1991:DDA, 529(0)146--z
-
Breveglieri:1991:RTS, 571(0)131--z
-
Brewka, G., 548(0)120--z, 548(0)211--z
-
Brewka, G., see Junker, U.
-
Brewka, Gerhard, 543(0)1--z
-
Brewka:1991:ADT, 548(0)120--z
-
Brewka:1991:CIR, 543(0)1--z
-
Briat, J., 506(0)385--z
-
Briat:1991:RDM, 506(0)385--z
-
Brickell, Ernest F., 473(0)63--z, 537(0)242--z
-
Brickell:1991:IIS, 473(0)63--z
-
Brickell:1991:SIB, 537(0)242--z
-
bridge, 483(0)210--z
-
Brief, 548(0)53--z, 567(0)402--z
-
Brigand, D., Le, 514(0)126--z
-
Bril, Reinder J., 551(0)106--z
-
Bril:1991:MOM, 551(0)106--z
-
Brinkhoff, Th., 525(0)5--z
-
Brinkhoff, Th., see Kriegel, H.-P.
-
Brinksma, E., 575(0)244--z
-
Brinksma:1991:DSP, 575(0)244--z
-
Bristol, 506(0)403--z
-
Broadcast, 497(0)350--z, 507(0)343--z, 539(0)152--z, 547(0)81--z,
547(0)535--z, 571(0)149--z
-
Broadcasting, 537(0)253--z
-
Broggi, A., 549(0)322--z
-
Broggi, A., see Adorni, G.
-
Brogi, A., 528(0)407--z, 549(0)137--z
-
Brogi:1991:ARM, 549(0)137--z
-
Brogi:1991:CSC, 528(0)407--z
-
Brohl, Adolf Peter, 509(0)99--z
-
Brohl:1991:SSD, 509(0)99--z
-
Broken, 547(0)39--53
-
Bronsard, Francois, 516(0)2--z
-
Bronsard:1991:CRF, 516(0)2--z
-
Broscius, Albert G., 576(0)367--z
-
Broscius:1991:EPH, 576(0)367--z
-
browsing, 483(0)471--z
-
Broy, M., 544(0)79--z
-
Broy:1991:DPD, 544(0)79--z
-
Bruckner, B., Krieg-, 544(0)19--z
-
Bruckner, Bernd, Krieg-, 551(0)668--z, 552(0)363--z
-
Bruderlin, Beat, 553(0)85--z
-
Bruderlin, Beat, see Shiaofen, Fang
-
Brummer, M. E., 511(0)188--z
-
Brummer:1991:ADB, 511(0)188--z
-
Brungger, Adrian, 553(0)171--z
-
Brungger, Adrian, see Nievergelt, Jurg
-
Bruschi, D., 529(0)157--z
-
Bruschi:1991:CCM, 529(0)157--z
-
Bruun, Hans, 551(0)45--z, 551(0)220--z, 551(0)693--z
-
Bruun, Hans, see Damm, Flemming M.,
see Damm, Flemming
-
Bruun:1991:ASS, 551(0)220--z
-
Bruyere, V., 510(0)575--z
-
Bruyere:1991:DDV, 510(0)575--z
-
Bruynooghe, M., 567(0)309--z
-
Bruynooghe:1991:IEC, 567(0)309--z
-
Bruzzone, E., 507(0)307--z
-
Bruzzone, E., see Ancona, M.
-
Bryant, Randal E., 531(0)33--z
-
Bryant:1991:FVD, 531(0)33--z
-
Brynielsson, Lennart, 547(0)552--z
-
Brynielsson:1991:ILT, 547(0)552--z
-
Bshouty, N. H., 497(0)55--z
-
Bshouty:1991:LBA, 497(0)55--z
-
BST, 529(0)350--z
-
Bucciarelli, A., 510(0)35--z
-
Bucciarelli:1991:EES, 510(0)35--z
-
Buchberger, 539(0)130--z
-
Buchheit, Paul, 507(0)84--z
-
Buchheit:1991:INN, 507(0)84--z
-
Buchi, 529(0)136--z
-
Buchmann, J., 529(0)16--z
-
Buchmann, Johannes A., 473(0)98--z, 537(0)134--z
-
Buchmann, Johannes A., see Scheidler, Renate
-
Buchmann:1991:CDL, 537(0)134--z
-
Buchmann:1991:NTA, 529(0)16--z
-
Bucholtz, C. A., 511(0)314--z
-
Bucholtz, C. A., see Herman, G. T.
-
Buciol, F., 549(0)399--z
-
Buciol, F., see Bertin, A.
-
Buddy-Tree, 525(0)277--z
-
Budgen, David, 536(0)167--z
-
Budgen:1991:TAP, 536(0)167--z
-
Buffer, 575(0)59--z
-
Buhr, Raymond, 536(0)149--z
-
Buhr, Raymond, see Lavi, Jonah Z.
-
build, 521(0)136--z, 549(0)238--z
-
building, 496(0)472--z, 502(0)33--z, 509(0)18--z, 531(0)23--z,
535(0)84--z, 535(0)156--z, 546(0)719--z, 547(0)328--z, 549(0)365--z,
567(0)199--z
-
Bulk, 504(0)228--z
-
Bulsari, A. B., 497(0)642--z, 497(0)645--z
-
Bulsari:1991:ANN, 497(0)642--z
-
Bulsari:1991:CRS, 497(0)645--z
-
Buning, Hans Kleine, 533(0)145--z
-
Buning, Hans Kleine, see Flogel, Andreas
-
Bunke, H., 532(0)174--z
-
Bunke, Horst, 553(0)113--z
-
Bunke, Horst, see Jiang, Xiao-Yi
-
Bunke:1991:EIG, 532(0)174--z
-
Buntrock, G., 529(0)168--z
-
Buntrock:1991:UFL, 529(0)168--z
-
Burbello, F., 549(0)312--z
-
Burbello:1991:RHL, 549(0)312--z
-
Burch, Jerry R., 531(0)224--z
-
Burch:1991:VLP, 531(0)224--z
-
Burchett, Rainer, 509(0)92--z
-
Burchett:1991:MIS, 509(0)92--z
-
Burckert, H.-J., 568(0)1--z
-
Burckert:1991:RPL, 568(0)1--z
-
Burdonov, I., 504(0)422--z
-
Burdonov:1991:CPT, 504(0)422--z
-
Burgard, Wolfram, 533(0)80--z
-
Burgard:1991:ECG, 533(0)80--z
-
Burger, J., 514(0)76--z
-
Burger:1991:MCB, 514(0)76--z
-
Burmester, Mike V. D., 473(0)1--z, 473(0)493--z, 547(0)81--z
-
Burmester:1991:ALN, 473(0)1--z
-
Burmester:1991:BIP, 547(0)81--z
-
Burmester:1991:REI, 473(0)493--z
-
Burnstein, Ilene, 507(0)98--z
-
Burnstein, Ilene, see Ongwisesphaiboon, Vipa
-
Burroni, A., 530(0)94--z
-
Burroni:1991:HDW, 530(0)94--z
-
Burrows, M., 526(0)326--z, 576(0)1--z
-
Burrows, M., see Abadi, M.
-
burst, 508(0)59--z
-
Business, 498(0)307--z, 551(0)1--z
-
Bussche, J., Van den, 566(0)226--z
-
Busse, J. W., Grzymala-, 542(0)368--z
-
Bustard, David, 536(0)181--z
-
Bustard:1991:LAT, 536(0)181--z
-
Butler, B., 483(0)47--z
-
Butler, G., 539(0)82--z, 559-0-xii
-
Butler, Michael J., 551(0)254--z
-
Butler:1991:BEC, 551(0)254--z
-
Butler:1991:DSH, 483(0)47--z
-
Butler:1991:FAP, 559-0-xii
-
Butler:1991:ISA, 539(0)82--z
-
butterfly, 557(0)32--z, 569(0)104--z
-
Buy, U. A., 575(0)92--z
-
Buy, U. A., see Avrunin, G. S.
-
Buy, Ugo, 531(0)292--z
-
Buy:1991:PLB, 531(0)292--z
-
by-Bit, Bit-, 547(0)200--z
-
by-Example, Programming-, 526(0)387--z
-
by-Example, Proving-, 526(0)387--z
-
by-value, call-, 520(0)161--z
-
Byte, 539(0)403--z
-
Bytecode, 567(0)271--z
-
Byzantine, 571(0)217--z