Index file section B for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
B
-
B, 141(1)329--330
-
B-rational, 89(2)207--343
-
B0100, 117(1)z--z
-
B0210, 84(2)225--250, 93(2)303--319
-
B0240, 117(1)99--112
-
B0240C, 106(2)243--264, 125(1)111--130, 125(1)149--165
-
B0240E, 91(1)119--128, 92(2)291--300, 96(2)361--388, 96(2)389--403,
110(1)169--196, 110(1)197--214, 119(2)311--321, 119(2)323--329,
123(1)3--7, 129(2)385--396, 131(2)415--429, 131(2)431--439,
132(1)337--345, 132(1)347--375
-
B0240G, 123(1)131--137
-
B0240Z, 108(2)291--310
-
B0250, 71(1)133--153, 75(3)311--333, 79(1)179--193, 91(1)119--128,
92(2)227--248, 92(2)291--300, 94(2)261--280, 95(2)307--321,
99(2)231--241, 100(1)243--251, 110(1)79--98, 110(1)197--214,
115(2)359--369, 117(1)3--22, 117(1)23--38, 117(1)45--65,
117(1)67--89, 117(1)99--112, 117(1)137--151, 117(1)169--186,
117(1)199--202, 117(1)227--241, 117(1)243--253, 117(1)273--287,
117(1)289--301, 117(1)z--z, 119(2)331--343, 123(1)89--94,
123(1)145--149, 123(2)351--375, 123(2)377--388, 124(2)329--342,
127(2)395--402, 129(2)385--396, 132(1)209--227, 132(1)337--345,
134(1)87--105, 134(2)455--471
-
B0260, 92(1)49--76, 94(2)175--197, 97(1)175--181, 102(2)253--281,
125(1)17--43
-
B0290, 123(1)89--94
-
B0290B, 133(1)65--84
-
B0290F, 79(1)227--239, 94(2)175--197, 100(1)243--251, 133(1)65--84,
133(1)165--185
-
B0290H, 79(1)257--261, 127(1)99--121, 131(2)475--477, 134(2)455--471
-
B0290K, 123(2)397--406
-
B0290P, 79(1)179--193
-
B0290Z, 123(2)291--314
-
B1100, 130(1)203--236
-
B1130, 86(2)343--364
-
B1130B, 99(2)213--230
-
B1265, 84(2)225--250
-
B1265B, 86(2)343--364, 93(2)303--319, 97(2)285--300
-
B1265Z, 130(1)203--236
-
B2570, 82(1)157--163, 84(2)225--250, 99(2)213--230
-
B6120B, 72(1)55--64, 74(3)341--354, 84(1)53--76, 84(2)265--279,
86(2)365--375, 88(1)83--98, 92(1)213--221, 94(2)215--221,
94(2)295--310, 102(2)253--281, 108(2)251--270, 129(2)407--417,
132(1)291--317, 134(1)63--78
-
B6140, 102(2)253--281
-
B6150, 124(2)329--342
-
B6150C, 108(2)291--310, 125(2)373--383
-
B6150J, 125(1)149--165
-
B6150M, 108(2)291--310, 125(1)17--43, 128(1)63--74, 129(1)1--38,
132(1)291--317
-
B6210, 100(1)223--241
-
B6210L, 108(2)291--310, 125(1)111--130, 125(1)149--165, 127(2)395--402
-
B6250G, 100(1)105--135
-
Babai, L., 74(3)313--323
-
Babai:1990:LBC, 74(3)313--323
-
Baccelli, François, 125(1)149--165
-
Baccelli:1994:DET, 125(1)149--165
-
back, 97(2)263--284
-
Back, R. J. R., 100(2)365--383
-
Back:1992:CAD, 100(2)365--383
-
backoff, 108(2)291--310
-
backtracking, 71(2)177--191, 132(1)347--375
-
Backus, 93(1)75--89
-
backward-coming, 117(1)39--43
-
bad, 136(2)419--469
-
Badouel, E., 82(2)403--408
-
Badouel:1991:GR, 82(2)403--408
-
Baeten, J. C. M., 82(2)285--302
-
Baeten:1991:RPD, 82(2)285--302
-
Baeza-Yates, R. A., 78(2)363--376, 92(1)19--31
-
Baeza-Yates:1991:SS, 78(2)363--376
-
Baeza-Yates:1992:ART, 92(1)19--31
-
Bafna, Vineet, 125(2)345--353
-
Bafna:1994:AIM, 125(2)345--353
-
bagdomain, 136(1)3--20
-
Baier, Christel, 135(2)171--220
-
Baier:1994:DSC, 135(2)171--220
-
Bainbridge, E. S., 70(1)35--64
-
Bainbridge:1990:FP, 70(1)35--64
-
Baire, 87(2)347--352, 97(1)131--142, 111(1)191--210, 132(1)37--70,
136(2)487--506
-
Bakel, S., Van, 102(1)135--163
-
Bakker, J. W., de, 75(1)15--43, 90(1)127--149
-
balance, 106(2)391--393, 127(2)199--228
-
balanced, 71(3)419--424, 117(1)99--112
-
balanced, well-, 93(2)279--301
-
balancing, 130(1)73--84
-
Balcazar, J. L., 88(1)1--14, 99(2)279--290
-
Balcazar, J. L., see Gavalda, R.
-
Balcazar:1992:LAC, 99(2)279--290
-
Baldwin, W. A., 84(2)293--311
-
Baldwin:1991:MT, 84(2)293--311
-
ball, 112(2)339--354
-
Balsters, H., 87(1)81--96
-
Balsters:1991:SCS, 87(1)81--96
-
Banach, 75(1)15--43, 77(1)97--129
-
Banach, R., 129(1)187--192, 131(1)29--94
-
Banach:1994:RRB, 129(1)187--192
-
Banach:1994:TGR, 131(1)29--94
-
bands, 134(1)189--208
-
bandwidth, 89(1)33--62
-
Bar Yehuda, Reuven, 108(2)311--329
-
Baratchart, L., 94(2)175--197
-
Baratchart:1992:RAP, 94(2)175--197
-
Baratella, S., 97(1)143--156
-
Baratella, Stefano, 120(1)83--99
-
Baratella:1992:CRA, 97(1)143--156
-
Baratella:1993:CPW, 120(1)83--99
-
Barbar, Kablan, 119(1)3--22
-
Barbar:1993:ATG, 119(1)3--22
-
Barcucci, E., 127(2)333--350
-
Barcucci:1994:RGD, 127(2)333--350
-
Barendregt, 136(1)183--216
-
Barendregt, Henk, 121(1)59--69
-
Barendregt:1993:CPR, 121(1)59--69
-
Barr, M., 70(1)65--72
-
Barr, Michael, 114(2)299--315, 124(1)189--192
-
Barr:1990:FPC, 70(1)65--72
-
Barr:1993:TCW, 114(2)299--315
-
Barr:1994:ACT, 124(1)189--192
-
Barrington, 107(1)31--61
-
Barrington, D. A. M., 78(2)357--362
-
Barrington:1991:NSL, 78(2)357--362
-
bars, 134(2)415--426
-
Bartha, M., 100(2)325--346
-
Bartha:1992:FTS, 100(2)325--346
-
Barua, R., 96(2)345--360
-
Barua:1992:HKH, 96(2)345--360
-
Baruah, Sanjoy K., 118(1)3--20
-
Baruah:1993:FPR, 118(1)3--20
-
BarYehuda:1993:RTG, 108(2)311--329
-
Barzdin, G. J., 90(1)199--208
-
Barzdin, G. J., see Barzdin, J. M.
-
Barzdin, J. M., 90(1)199--208
-
Barzdin:1991:RCA, 90(1)199--208
-
base, 74(2)121--162, 77(3)309--319, 79(1)241--256, 88(1)171--182,
93(1)115--141, 117(1)217--226, 117(1)255--272, 117(1)z--z,
118(2)99--166, 119(1)173--185, 119(1)187--214, 119(1)z--z,
126(1)77--96, 131(1)197--218, 134(1)131--173, 135(2)405--422,
136(2)419--469
-
base, knowledge-, 133(2)361--385
-
based, 70(2)233--250, 72(2)z--z, 81(2)269--288, 81(2)305--310,
92(1)191--211, 93(1)115--141, 99(1)65--78, 113(2)259--272,
120(2)215--227, 122(1)97--117, 131(1)197--218
-
based, algebra-, 77(1)73--95
-
based, cms-, 124(1)1--40
-
based, combinator-, 70(1)99--126
-
based, compaction-, 73(2)121--154
-
based, cpo-, 124(1)1--40
-
based, graph-, 88(1)117--125, 95(2)339--340
-
based, natural-deduction-, 111(1)211--252, 111(1)253--290
-
based, poset-, 91(2)285--313
-
based, rule-, 78(1)3--83, 78(1)z--z, 83(1)131--155
-
based, stream-, 122(1)137--164
-
based, string-, 91(2)285--313
-
based, tableau-, 82(2)303--327
-
based, trace-, 128(1)127--157
-
based, transducer-, 134(1)107--117
-
basic, 70(3)277--303, 77(3)267--289, 82(2)177--214, 109(1)3--6,
116(1)151--194, 121(1)89--112, 125(2)315--328
-
basis, 88(1)171--182, 98(1)79--97, 102(2)307--328, 107(2)277--303,
117(1)255--272, 134(1)131--173
-
Bauderon, M., 82(2)177--214
-
Bauderon, Michel, 103(2)165--190
-
Bauderon:1991:IHB, 82(2)177--214
-
Bauderon:1992:IHI, 103(2)165--190
-
Baur, W., 88(2)313--324
-
Baur:1991:ACR, 88(2)313--324
-
BCH, 94(2)295--310
-
BCI-logic, 107(2)253--276
-
BCK, 102(1)207--214
-
BCK-lambda-terms, 107(2)253--276
-
Beame, P., 100(1)253--265
-
Beame:1992:CCS, 100(1)253--265
-
beating, 118(1)81--98
-
Beauchamps, D., Gouyou-, 71(3)381--400
-
Beauchamps, Dominique, Gouyou-, 117(1)137--151
-
Beauquier, D., 84(1)3--21
-
Beauquier, Danièle, 134(1)13--25
-
Beauquier, J., 95(1)169--185
-
Beauquier:1991:LS, 84(1)3--21
-
Beauquier:1992:TDP, 95(1)169--185
-
Beauquier:1994:RTA, 134(1)13--25
-
Bebjak, A., 88(2)297--311
-
Bebjak:1991:SDN, 88(2)297--311
-
Becker, B., 84(2)225--250
-
Becker:1991:CFM, 84(2)225--250
-
Bedard, F., 107(1)31--61
-
Bedard:1993:EBM, 107(1)31--61
-
been, 120(2)197--213
-
Beeri, Catriel, 116(1)59--94
-
Beeri:1993:AOO, 116(1)59--94
-
behaved, well-, 97(1)143--156
-
behavedness, well-, 97(1)143--156, 120(1)83--99
-
behavior, 86(2)343--364, 95(1)169--185, 95(2)279--305, 98(2)347--356,
100(2)325--346, 105(1)85--128, 107(2)305--332, 125(1)149--165,
128(1)3--30, 134(1)51--61, 134(1)87--105
-
behaviour, 71(2)193--208, 74(3)273--298, 76(1)115--142, 79(1)163--177,
88(2)269--285, 90(1)119--125, 92(2)249--268, 92(2)291--300,
96(1)3--33, 103(2)335--363, 119(1)39--62, 124(1)169--179,
124(1)180--187, 125(2)167--204, 128(1)127--157, 129(2)279--291,
132(1)1--35
-
behavioural, 71(1)133--153, 101(2)289--335, 104(1)53--87, 112(1)5--52,
135(2)221--266
-
Beigel, R., 73(3)249--263, 84(2)199--223, 103(1)3--23
-
Beigel, Richard, 115(2)225--241
-
Beigel, Richard, see Allender, Eric
-
Beigel:1990:BIR, 73(3)249--263
-
Beigel:1991:BQS, 84(2)199--223
-
Beigel:1992:CCT, 103(1)3--23
-
Bell, 117(1)113--130
-
Bellia, Marco, 107(2)209--252
-
Bellia:1993:EVF, 107(2)209--252
-
Bellin, G., 95(1)115--142, 135(1)11--65
-
Bellin:1992:DPR, 95(1)115--142
-
Bellin:1994:CLL, 135(1)11--65
-
Ben-Amram, Amir M., 132(1)377--385
-
Ben-Amram:1994:UCP, 132(1)377--385
-
Bendix, Knuth-, 81(2)169--187, 106(1)87--117, 112(1)145--185
-
Benedek, G. M., 86(2)377--389
-
Benedek:1991:LRF, 86(2)377--389
-
Bennett, Grahame, 123(2)351--375
-
Bennett:1994:DDC, 123(2)351--375
-
Benninger, D., 100(1)137--156
-
Benninger:1992:ESD, 100(1)137--156
-
Benson, D. B., 70(2)179--192
-
Benson, D. B., see Tiuryn, J.
-
Bérard, Béatrice, 124(1)41--70
-
Berard:1994:GSC, 124(1)41--70
-
Berarducci, Alessandro, 121(1)71--88
-
Berarducci, Bohm-, 121(1)309--321
-
Berarducci:1993:SNR, 121(1)71--88
-
Bergey, A., 131(2)449--461
-
Bergey:1994:OPT, 131(2)449--461
-
Bergstra, J. A., 124(1)149--168
-
Bergstra:1994:WDT, 124(1)149--168
-
Bergtstra, J. A., 82(2)285--302
-
Bergtstra, J. A., see Baeten, J. C. M.
-
Berliner, Hans J., 132(1)347--375
-
Berliner, Hans J., see Shufelt, Jefferey A.
-
Bern, M. W., 106(2)265--281
-
Bern:1992:FGA, 106(2)265--281
-
Bernoulli, 112(2)291--309
-
Berry, 120(2)197--213
-
Berry, G., 96(1)217--248
-
Berry:1992:CAM, 96(1)217--248
-
Berstel, J., 132(1)415--425
-
Berstel:1994:ACD, 132(1)415--425
-
Bertoni, A., 79(1)25--35, 86(2)325--342
-
Bertoni:1991:CCN, 86(2)325--342
-
Bertoni:1991:RFP, 79(1)25--35
-
Bertossi, A. A., 73(3)319--328
-
Bertossi:1990:SMW, 73(3)319--328
-
Bertrand, A., 123(1)21--30
-
Bertrand, Claude, 123(1)31--53
-
Bertrand:1994:CDM, 123(1)21--30
-
Bertrand:1994:NSF, 123(1)31--53
-
Bessel, 98(1)65--76
-
Bessel, lattice-, 125(1)149--165
-
Bessel, q-, 117(1)203--215
-
best, 84(2)225--250, 92(1)191--211
-
Best, E., 96(1)175--215, 114(1)1--z
-
Best, Eike, 101(2)161--176
-
Best:1992:PNS, 96(1)175--215
-
Best:1992:TCH, 101(2)161--176
-
Best:1993:P, 114(1)1--z
-
beta, 88(1)171--182, 95(1)143--158, 103(2)387--394, 107(2)253--276
-
beta-acyclic, 81(2)295--304
-
beta-cycles, 81(2)295--304
-
beta-normal, 107(2)253--276
-
beta-reduction, 111(1)145--189, 135(1)111--137
-
beta-triangles, 81(2)295--304
-
Bethke, I., 85(2)353--357
-
Bethke:1991:CSU, 85(2)353--357
-
Bétréma, J., 117(1)67--89
-
Betrema:1993:AAG, 117(1)67--89
-
Betti, 72(1)3--26
-
beyond, 104(2)235--261
-
Bezem, M., 74(2)227--237
-
Bezem:1990:CRR, 74(2)227--237
-
Bezout, 133(1)105--140, 133(1)141--164
-
Bhatta, K. S. H. S. R., 81(2)223--235
-
Bhatta:1991:RRW, 81(2)223--235
-
BHK, 135(1)5--9
-
bi, 85(1)33--52
-
bi-immune, P-, 119(2)293--310, 136(2)487--506
-
bi-immune, P-, 136(2)487--506
-
bi-immunity, 73(3)249--263
-
bi-infinite, 85(1)33--52
-
biadherence, 85(1)33--52
-
biased, 108(2)371--384
-
Bibel, 113(2)371--375
-
bicartesian, 129(1)187--192
-
bidirectional, 73(1)61--79, 127(2)387--393
-
Bidoit, N., 78(1)3--83, 78(1)85--112
-
Bidoit:1991:NDU, 78(1)85--112
-
Bidoit:1991:NRB, 78(1)3--83
-
Bieberbach, 117(1)199--202
-
bifinite, 79(2)359--363, 103(2)311--334, 111(1)89--101
-
bifunctor, 118(2)301--314
-
biinfinite, 86(2)277--323
-
bijection, 117(1)273--287, 134(1)209--223
-
bijective, 117(1)203--215, 117(1)z--z, 129(2)263--278
-
bilimit, 85(1)33--52
-
bilinear, 79(1)151--162, 86(2)143--203
-
Billaud, M., 71(2)193--208
-
Billaud:1990:SOD, 71(2)193--208
-
bimatrix, 81(2)317--324
-
bimorphisms, 76(2)243--250, 99(2)177--211
-
binary, 71(1)3--28, 75(3)357--363, 77(1)131--159, 77(3)267--289,
79(2)323--339, 83(2)249--260, 85(1)75--95, 87(1)25--41, 88(1)83--98,
88(2)365--384, 93(2)201--225, 93(2)321--325, 102(2)253--281,
106(2)265--281, 106(2)361--371, 108(2)291--310, 112(2)383--390,
114(2)247--272, 115(2)243--260, 117(1)99--112, 117(1)203--215,
118(1)49--65, 119(1)39--62, 120(1)1--44, 120(2)215--227,
123(2)291--314, 124(2)221--272, 125(2)259--293, 132(1)1--35,
132(1)37--70, 132(1)129--150, 133(2)387--419, 136(2)507--526
-
binding, 70(1)99--126, 90(1)95--118, 112(1)99--143
-
binomial, 93(2)201--225, 123(2)351--375
-
biocomputers, 74(2)163--181
-
biography, 121(1)1--z
-
biology, 92(1)49--76
-
bipartite, 102(2)283--305, 106(2)309--326, 110(1)197--214,
112(2)371--382, 115(2)351--357, 123(2)329--340, 127(2)255--267,
131(2)361--374
-
biplanar, 131(2)361--374
-
biprefix, 92(1)145--164, 134(1)3--11
-
biquadratic, 120(2)197--213
-
Birget, Jean-Camille, 119(2)267--291, 123(2)273--289, 132(1)243--258
-
Birget:1993:POW, 119(2)267--291
-
Birget:1994:FLD, 132(1)243--258
-
Birget:1994:WPI, 123(2)273--289
-
Birkhoff, 94(1)101--124, 105(2)217--273
-
bishop, 96(2)389--403
-
bisimilarity, 123(2)183--197, 131(2)441--448
-
bisimulation, 79(2)275--294, 87(1)97--114, 88(1)15--32, 89(1)179--206,
96(1)249--283, 101(2)223--237, 102(1)165--183, 107(2)357--363,
113(2)231--258, 114(1)31--61, 114(1)63--91, 114(1)149--171,
114(1)173--200, 118(1)21--48, 118(2)263--299, 123(2)183--197,
128(1)159--177, 131(2)441--448
-
Biswas, S., 81(2)189--199
-
Biswas, S., see Khadilkar, S. N.
-
bit, 82(1)113--129, 103(2)283--309, 120(2)215--227, 128(1)127--157,
129(2)407--417
-
bit, m-, 120(2)215--227
-
bit, n-, 107(1)121--133, 129(2)407--417
-
BIT-for-Sets, 130(1)101--123
-
bit-strings, 82(1)35--49
-
Bitar, J., 92(2)291--300
-
Bitar:1992:PCF, 92(2)291--300
-
Bjorner, A., 98(1)53--63
-
Björner, Anders, 117(1)91--98
-
Bjorner:1992:RMF, 98(1)53--63
-
Bjorner:1993:MFF, 117(1)91--98
-
Blaaberg, Bettina, 136(1)243--275
-
Blaaberg:1994:ALF, 136(1)243--275
-
black, 84(2)151--164, 87(1)97--114
-
Black, David L., 107(2)305--332
-
Black, David L., see Main, Michael G.
-
Blair, 97(1)175--181
-
Blanchard, F., 123(1)55--60
-
Blanchard:1994:QPE, 123(1)55--60
-
Blanchet-Sadri, F., 123(2)239--258
-
Blanchet-Sadri:1994:EMV, 123(2)239--258
-
Blass, U., 75(3)311--333
-
Blass:1990:SGF, 75(3)311--333
-
Blikle, A., 90(1)209--233
-
Blikle:1991:CES, 90(1)209--233
-
blindfolded, 108(2)311--329
-
Blizard, Wayne D., 110(1)79--98
-
Blizard:1993:DMF, 110(1)79--98
-
block, 74(1)3--18, 85(2)283--303, 95(1)43--74, 113(2)293--348,
115(2)351--357
-
block-pumping, 87(2)315--327
-
blocked, 131(2)475--477
-
blocking, 125(1)45--59
-
blocking-after-service, 125(1)111--130
-
Bloom, Bard, 101(2)223--237
-
Bloom, S. L., 70(1)73--83
-
Bloom:1990:NGT, 70(1)73--83
-
Bloom:1992:EPE, 101(2)223--237
-
Blum, 132(1)387--394
-
Blum-Shub-Smale, 133(1)15--22
-
Blute, Richard, 115(1)3--41
-
Blute:1993:LLC, 115(1)3--41
-
board, 123(2)329--340
-
Board, R., 100(1)157--184
-
Board:1992:NOA, 100(1)157--184
-
Bochmann, G., von, 87(1)97--114
-
Bodlaender, H. L., 81(2)237--256
-
Bodlaender, Hans L., 106(2)309--326, 110(1)215--245
-
Bodlaender:1991:NLB, 81(2)237--256
-
Bodlaender:1992:CCG, 106(2)309--326
-
Bodlaender:1993:CPF, 110(1)215--245
-
Boe, J.-M., 81(1)17--34
-
Boe:1991:BAT, 81(1)17--34
-
Boehm, P., 71(3)347--380
-
Boehm, P., see Ehrig, H.
-
Boer, F. S., de, 86(1)3--33, 101(2)239--263
-
Boer, M. J. M., de, 83(2)205--218
-
Bohm, 121(1)1--z, 121(1)145--167, 135(1)111--137
-
Böhm, 121(1)145--167
-
Bohm-Berarducci, 121(1)309--321
-
Boissonnat, Jean-Daniel, 112(2)339--354
-
Boissonnat:1993:RCD, 112(2)339--354
-
Bol, R. N., 86(1)35--79
-
Bol, Roland N., 104(1)3--28
-
Bol:1991:ALC, 86(1)35--79
-
Bol:1992:GCR, 104(1)3--28
-
Böni, M., Wymann-, 110(2)419--432
-
Bonizzoni, P., 93(2)227--244
-
Bonizzoni, Paola, 132(1)151--178
-
Bonizzoni:1992:AIT, 93(2)227--244
-
Bonizzoni:1994:PSP, 132(1)151--178
-
Bonner, A. J., 76(1)3--51
-
Bonner, Anthony J., 133(2)205--265
-
Bonner:1990:HDC, 76(1)3--51
-
Bonner:1994:OTL, 133(2)205--265
-
Bonnier-Rigny, Agnès, 134(1)27--50
-
Bonnier-Rigny:1994:CSI, 134(1)27--50
-
Book, 120(2)197--213
-
Book, R. V., 81(1)35--47
-
Book, R. V., see Tang, Shouwen
-
boolean, 70(2)251--260, 74(3)313--323, 76(2)261--271, 79(1)25--35,
80(1)53--75, 80(1)77--104, 81(1)117--126, 81(2)257--268,
82(1)113--129, 82(1)141--149, 84(2)199--223, 88(1)139--150,
91(1)71--84, 93(2)227--244, 93(2)303--319, 97(2)285--300,
98(2)289--319, 99(2)243--264, 100(1)137--156, 101(1)133--141,
102(2)307--328, 103(1)25--38, 107(1)121--133, 108(2)271--290,
112(2)291--309, 113(1)167--183, 115(1)77--106, 116(2)399--403,
116(2)415--419, 118(2)167--191, 121(1)9--58, 121(1)411--440,
124(2)273--295, 126(1)3--30, 126(2)183--235, 126(2)237--257,
133(1)35--47, 134(1)51--61, 134(1)79--86, 135(1)139--153,
136(2)419--469, 182(1)257--257
-
Bordeaux, 117(1)131--136, 117(1)169--186
-
border, 97(2)285--300
-
Borel, 83(1)97--130, 112(2)413--418
-
Borel, Jean-Pierre, 123(1)61--87
-
Borel:1994:SRP, 123(1)61--87
-
Borkowski-Slupecki, 85(2)333--351
-
born, 91(1)119--128
-
Bossi, A., 122(1)3--47, 124(2)297--328
-
Bossi:1994:CSL, 122(1)3--47
-
Bossi:1994:NTT, 124(2)297--328
-
Bost, Bernadette, Charron-, 110(2)341--376
-
Botelho, Fernanda, 182(1)257--257
-
Botelho, Fernando, 134(1)51--61
-
Botelho:1994:BNN, 134(1)51--61, 182(1)257--257
-
Botelho:1997:EBN, 134(1)51--61, 182(1)257--257
-
Bottinger, C., 70(1)151--158
-
Bottinger:1990:STD, 70(1)151--158
-
Bottleneck, 94(2)261--280
-
bottom-up, 74(3)273--298, 84(2)165--177, 105(1)27--56, 106(1)21--60,
106(1)135--181, 124(1)93--125, 127(1)69--98
-
BOTTOM-UP-HEAPSORT, 118(1)81--98
-
bottom-up-heapsort, 118(1)81--98
-
Bouchitté, Vincent, 123(1)9--19,
see Assous, Marc Roland
-
Boudol, G., 96(1)217--248, 106(1)3--20, 114(1)31--61
-
Boudol, G., see Berry, G.
-
Boudol:1992:GVL, 106(1)3--20
-
Boudol:1993:OL, 114(1)31--61
-
Boudriga, N., 79(2)323--339
-
Boudriga, N., see Jaoua, A.
-
Boudriga, Noureddine, 114(2)247--272
-
Boudriga, Noureddine, see Desharnais, Jules
-
bound, 72(2)251--264, 73(3)313--317, 74(2)121--162, 74(3)313--323,
74(3)329--340, 81(2)237--256, 82(1)19--33, 82(1)113--129,
82(1)157--163, 83(2)169--188, 85(1)155--170, 85(2)305--331,
86(2)267--275, 88(1)59--82, 91(2)265--284, 92(1)191--211,
93(2)279--301, 96(2)411--419, 97(2)233--244, 97(2)285--300,
98(2)289--319, 100(1)185--204, 100(1)223--241, 102(2)215--252,
102(2)253--281, 102(2)355--365, 106(2)221--241, 106(2)351--360,
107(1)77--94, 107(1)121--133, 108(2)251--270, 108(2)271--290,
108(2)311--329, 110(1)1--51, 112(2)355--369, 112(2)419--420,
113(1)75--91, 116(1)195--226, 116(2)305--316, 116(2)415--419,
119(2)267--291, 120(2)169--195, 121(1)279--308, 123(1)95--115,
123(1)145--149, 123(2)377--388, 123(2)389--395, 125(2)329--337,
125(2)373--383, 127(2)395--402, 128(1)63--74, 129(1)193--206,
129(2)263--278, 129(2)279--291, 130(1)17--47, 130(1)49--72,
130(1)73--84, 130(1)85--99, 130(1)163--174, 130(1)175--201,
131(2)243--269, 131(2)331--360, 132(1)259--290, 132(1)377--385,
132(1)387--394, 133(1)23--33, 133(1)105--140, 134(1)189--208,
134(1)253--262, 136(2)527--532
-
bound, lower-, 127(1)123--147
-
boundary, 112(2)215--253, 120(2)247--259
-
bounded, 70(2)261--271, 72(1)65--94, 74(3)313--323, 76(1)143--177,
80(2)289--302, 82(1)1--18, 82(1)51--69, 84(1)53--76, 84(2)199--223,
84(2)265--279, 87(2)287--313, 94(1)125--140, 97(1)1--66,
100(2)347--364, 101(2)161--176, 102(1)185--205, 112(2)419--420,
117(1)137--151, 119(1)187--214, 123(1)139--144, 132(1)85--112,
133(1)165--185
-
bounded, 2-, 119(2)233--245
-
bounded, log-, 99(2)279--290
-
bounded, logspace-, 88(1)99--116
-
bounded, reversal-, 104(2)185--206
-
bounded, space-, 86(2)267--275, 96(2)411--419, 99(2)243--264,
101(1)99--132, 107(1)135--144, 127(1)171--179
-
bounded, time-, 93(2)265--277
-
bounded-degree, 91(1)57--69
-
boundedness, 89(1)33--62, 100(2)347--364, 114(1)93--118, 126(1)113--142,
134(2)365--385
-
bounding, 130(1)203--236, 132(1)387--394
-
Bourgin, Richard D., 112(2)215--253
-
Bourgin:1993:SCP, 112(2)215--253
-
Bousquet-Mélou, Mireille, 129(2)263--278,
see Allouche, Jean-Paul
-
boustrophedonic, 132(1)1--35
-
Bovet, D. P., 104(2)263--283
-
Bovet:1992:UAD, 104(2)263--283
-
box, 81(1)17--34, 84(2)151--164, 87(1)97--114
-
Boxma, O. J., 125(1)17--43
-
Boxma, O. J., see Combé, M. B.
-
Boyar, J., 93(2)303--319
-
Boyar:1992:AMC, 93(2)303--319
-
Boyer--Moore, 92(1)119--144
-
Boyer--Moore--Horspool, 92(1)19--31, 92(1)z--z
-
Boyer--Moore-type, 92(1)19--31
-
Bozapalidis, S., 77(3)237--247, 99(2)177--211
-
Bozapalidis:1990:ECF, 77(3)237--247
-
Bozapalidis:1992:ATR, 99(2)177--211
-
Bracho, Felipe, 135(2)289--318
-
Bracho:1994:LDA, 135(2)289--318
-
bracket, 87(2)251--262
-
Bradfield, J., 96(1)157--174
-
Bradfield:1992:LMC, 96(1)157--174
-
Bradley, L., 77(1)5--26
-
Bradley:1990:ALD, 77(1)5--26
-
braid, 94(2)199--213
-
branch, 75(1)157--215
-
branching, 74(3)313--323, 75(3)263--287, 89(1)161--177, 96(1)35--72,
96(1)z--z, 107(1)121--133, 110(1)99--129, 114(2)273--298,
124(1)169--179
-
branching, Omega-, 86(2)267--275
-
branching-time, 126(1)77--96
-
Brand, Horst von, 125(1)111--130
-
Brand, Horst von, see Akyildiz, Ian F.
-
Branges, 117(1)199--202
-
Brassard, G., 84(1)23--52
-
Brassard:1991:CRP, 84(1)23--52
-
breadth-first, 85(1)171--203, 124(2)343--350
-
breakdowns, 125(1)91--109
-
Breazu-Tannen, V., 83(1)3--28
-
Breazu-Tannen:1991:PRC, 83(1)3--28
-
Brent, 95(2)323--337
-
brick, 123(2)199--237
-
bridge, 90(1)253--270
-
Bridges, Douglas, 132(1)387--394
-
Bridges:1994:RBE, 132(1)387--394
-
bringing, 120(2)197--213
-
Brinksma, E., 89(1)179--206
-
Brinksma, E., see Vissers, C. A.
-
Brisson, E., 100(1)253--265
-
Brisson, E., see Beame, P.
-
broadcast, 101(2)289--335, 124(2)329--342, 127(2)395--402
-
broadcasted, 87(1)43--80
-
broadcasting, 124(2)329--342, 127(2)395--402
-
Broder, Andrei Z., 130(1)73--84
-
Broder, Andrei Z., see Azar, Yossi
-
Brookes, Stephen, 101(2)177--221, 121(1)179--186
-
Brookes:1992:TTP, 101(2)177--221
-
Brookes:1993:HIC, 121(1)179--186
-
brother, 72(2)251--264, 127(2)199--228
-
Brouwer, 81(2)317--324
-
Browne, S., 92(1)3--17
-
Browne, S., see Apostolico, A.
-
Brownian, 93(2)201--225
-
Bruck, Jehoshua, 128(1)241--252
-
Bruck:1994:TFM, 128(1)241--252
-
Brüderlin, Beat, 116(2)291--303
-
Bruderlin:1993:UGR, 116(2)291--303
-
Brüggemann-Klein, Anne, 120(2)197--213
-
Bruggemann-Klein:1993:REF, 120(2)197--213
-
Bruschi, D., 79(1)25--35, 102(2)215--252
-
Bruschi, D., see Bertoni, A.
-
Bruschi:1992:SSP, 102(2)215--252
-
Bruyere, V., 84(1)53--76
-
Bruyere:1991:MCB, 84(1)53--76
-
BSS-model, 133(1)85--94
-
Bucciarelli, Antonio, 113(2)273--291
-
Bucciarelli:1993:TS, 113(2)273--291
-
Buchberger, 134(1)131--173
-
Buchi, 93(2)227--244, 96(2)345--360, 97(2)233--244, 126(1)77--96,
126(2)183--235
-
Buchi-McNaughton, 98(2)321--337
-
Budach, L., 72(1)3--26
-
Budach:1990:TIC, 72(1)3--26
-
buffer, 128(1)211--239
-
building, 113(2)293--348
-
built-in, 75(1)111--138
-
bulk, 116(1)59--94, 133(2)205--265
-
Bulyonkov, M. A., 71(2)209--226, 90(1)47--60
-
Bulyonkov:1990:MCC, 71(2)209--226
-
Bulyonkov:1991:PEM, 90(1)47--60
-
Bunder, Martin W., 135(2)405--422
-
Bunder, Martin W., see Trigg, Peter
-
Buneman, P., 91(1)23--55
-
Buneman:1991:UPG, 91(1)23--55
-
Büning, Hans Kleine, 116(2)405--413
-
Buning:1993:GHF, 116(2)405--413
-
Burckel, S., 123(2)397--406
-
Burckel:1994:FEA, 123(2)397--406
-
Burnside, 73(1)81--89
-
Burosch, G., 78(2)377--381
-
Burosch:1991:NDC, 78(2)377--381
-
Burroni, Albert, 115(1)43--62
-
Burroni:1993:HDW, 115(1)43--62
-
Burstall, 120(1)123--155
-
Burstall, R. M., 91(2)239--264
-
Burstall, R. M., see Tarlecki, A.
-
busy, 106(2)243--264
-
by-name, call-, 83(1)57--69, 129(1)79--94
-
byzantine, 95(1)169--185