Index file section B for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
B
-
B0210, 21(1)91--98, 21(1)99--103
-
B0230, 22(3)233--251
-
B0240E, 29(1)49--73, 33(1)85--94
-
B0250, 11(1)93--106, 11(2)117--121, 13(2)137--150, 16(1)5--24,
17(1)29--41, 17(1)75--89, 17(1)91--97, 17(1)103--110, 17(2)151--161,
18(1)89--93, 19(1)1--16, 21(1)91--98, 21(1)99--103, 22(3)233--251,
23(3)273--286, 24(2)161--177, 28(1)171--196, 29(1)49--73,
29(1)75--85, 29(3)251--275, 30(3)241--318, 31(1)31--40, 31(1)61--71,
31(1)73--82, 31(3)307--315, 34(1)3--15
-
B0260, 19(1)1--16, 21(1)99--103
-
B0290B, 17(1)99--102
-
B0290F, 11(3)321--330, 11(3)331--335, 16(2)231--235, 23(3)273--286,
29(1)1--25
-
B0290K, 16(2)231--235
-
B6110, 29(1)27--39
-
B6120B, 10(2)157--170
-
B6140, 24(3)221--237
-
B6140C, 23(1)37--48, 24(2)161--177
-
B6210L, 19(1)1--16
-
Back, R. J. R., 23(2)187--210
-
Back:1983:CSU, 23(2)187--210
-
backtrackings, 34(1)227--240
-
Bagchi, A., 24(2)207--219
-
Bagchi:1983:AHS, 24(2)207--219
-
Bakker, J. W., de, 26(1)53--82, 34(1)135--156
-
balanced, 11(3)303--320
-
balanced, weight-, 11(3)303--320
-
Bancilhon, F., 34(3)343--350
-
Bancilhon:1984:SCA, 34(3)343--350
-
bands, 16(1)93--98
-
bandwidth, 26(1)25--52
-
base, 13(1)109--136, 23(1)11--36, 31(1)61--71
-
based, 24(1)1--20, 28(1)13--43
-
basic, 18(2)115--148, 28(1)151--169, 32(1)121--156
-
basis, 16(1)43--60
-
Batini, C., 19(3)267--285
-
Batini, C., see Atzeni, P.
-
Bauer, W., 22(3)317--330
-
Bauer:1983:CPD, 22(3)317--330
-
BC-inference, 24(1)95--104
-
BC-type, 24(1)95--104
-
BCNF, 26(3)243--286
-
Beatty, 23(1)91--94
-
Beatty, J. C., 12(2)193--228
-
Beatty:1980:TIT, 12(2)193--228
-
Beauquier, D., Girault-, 33(2)335--342
-
Beauquier, J., 14(2)187--193, 31(3)337--349
-
Beauquier, J., see Autebert, J. M.
-
Beauquier:1981:SSA, 14(2)187--193
-
behavior, 31(3)297--306
-
behaviour, 12(1)39--60, 13(1)17--43, 21(3)315--340, 23(2)107--127,
24(1)1--20, 24(1)73--94, 25(3)311--341, 26(3)343--353, 31(1)83--100,
32(3)331--337
-
Ben-Ari, M., 11(3)341--z
-
Ben-Ari:1980:CTT, 11(3)341--z
-
Bendix, 32(1)1--24
-
Bendix, Knuth-, 32(3)249--260
-
Benson, D. B., 16(1)93--98
-
Benson, D. B., see Main, M. G.
-
Benzaken, C., 15(3)321--328
-
Benzaken:1981:CGE, 15(3)321--328
-
Berenguer, X., 21(1)99--103
-
Berenguer:1982:SSE, 21(1)99--103
-
Bergstra, 21(2)231--235
-
Bergstra, J. A., 17(2)113--149, 17(3)303--315, 21(3)269--279,
22(3)265--284, 28(1)215--221, 30(1)1--48, 34(1)135--156
-
Bergstra, J. A., see de Bakker, J. W.
-
Bergstra:1982:EIQ, 21(3)269--279
-
Bergstra:1982:FPC, 17(2)113--149
-
Bergstra:1982:SNS, 17(3)303--315
-
Bergstra:1983:HLP, 22(3)265--284
-
Bergstra:1984:HLP, 28(1)215--221
-
Bergstra:1984:PPI, 30(1)1--48
-
Berlin, 32(1)1--24
-
Berman, 10(3)221--247
-
Berman, F., 16(3)321--328
-
Berman, L., 11(1)71--77
-
Berman:1980:CLT, 11(1)71--77
-
Berman:1981:PDL, 16(3)321--328
-
Berry, G., 20(3)265--321
-
Berry:1982:SAC, 20(3)265--321
-
Berstel, J., 18(2)115--148
-
Berstel:1982:RFP, 18(2)115--148
-
Best, E., 18(2)149--171
-
Best:1982:APP, 18(2)149--171
-
beta, 31(1)151--162
-
better, 21(1)39--53
-
Beynon, W. M., 11(2)167--180
-
Beynon:1980:SFF, 11(2)167--180
-
Bezout-inequality, 24(3)239--277
-
Bezout-theorem, 24(3)239--277
-
biconnected, 19(2)189--201, 32(1)185--199
-
biconnection, 19(2)189--201
-
biconnectivity, 19(2)189--201
-
bifaithful, 14(1)119--123
-
bijection, 34(1)169--206
-
bijective, 14(3)211--226
-
bilateral, 24(1)1--20, 24(1)21--34
-
bilimits, 33(2)335--342
-
bilinear, 22(3)285--296
-
binary, 10(1)63--82, 11(2)123--143, 14(1)79--90, 16(2)187--198,
19(3)337--341, 22(3)253--264, 22(3)331--346, 23(3)333--337,
27(3)255--286, 29(1)49--73, 31(1)125--138, 32(1)121--156,
32(3)227--247, 33(2)327--329
-
Bini, D., 28(1)135--150
-
Bini:1984:CA, 28(1)135--150
-
bipartite, 21(1)91--98
-
bipolar, 30(3)241--318
-
biprefix, 21(2)225--230, 28(3)329--336, 32(1)201--213
-
birth, 23(2)107--127
-
bisimulation, 25(3)267--310
-
Biskup, J., 10(1)93--105
-
Biskup:1980:IMD, 10(1)93--105
-
Blattner, M., 17(1)1--27
-
Blattner:1982:PRG, 17(1)1--27
-
block, 32(1)185--199
-
blockstructured, 30(1)49--90
-
Blum, N., 11(3)303--320, 27(3)287--295, 28(3)337--345
-
Blum:1980:ANR, 11(3)303--320
-
Blum:1983:MPC, 27(3)287--295
-
Blum:1984:BFR, 28(3)337--345
-
BNP, 34(3)241--254
-
Boasson, 23(2)217--225
-
Boasson, L., 31(3)337--349
-
Boasson, L., see Autebert, J. M.
-
Boe, J. M., 12(3)325--332
-
Boe:1980:MCS, 12(3)325--332
-
Book, R. V., 15(1)27--39, 15(1)41--50, 16(2)223--229, 18(3)325--331,
19(3)231--251, 24(3)301--312
-
Book:1981:BQMa, 15(1)27--39
-
Book:1981:BQMb, 15(1)41--50
-
Book:1981:TCR, 16(2)223--229
-
Book:1982:MTS, 19(3)231--251
-
Book:1982:WMG, 18(3)325--331
-
Book:1983:DSC, 24(3)301--312
-
Boolean, 10(1)19--35, 10(1)83--92, 10(3)221--247, 13(3)323--330,
14(1)63--77, 16(2)177--185, 21(2)213--224, 23(3)231--242,
25(2)171--192, 28(1)215--221, 28(3)337--345
-
border, 28(1)135--150
-
Borel, 23(2)217--225
-
Borger, E., 11(2)123--143
-
Borger:1980:RPP, 11(2)123--143
-
bottom, 23(1)37--48
-
Boudol, G., 22(1)135--173, 30(1)91--131
-
Boudol, G., see Austry, D.
-
Boudol:1983:RIP, 22(1)135--173
-
Bougaut, B., 11(2)207--220
-
Bougaut:1980:EAP, 11(2)207--220
-
bound, 10(1)1--18, 10(1)53--61, 10(1)83--92, 11(3)321--330,
12(3)339--342, 14(1)19--37, 14(1)103--111, 14(3)337--344,
15(3)311--320, 16(3)307--319, 19(1)39--67, 22(3)233--251,
22(3)285--296, 23(1)95--101, 23(2)171--185, 23(2)211--215,
24(3)239--277, 25(1)1--66, 26(1)25--52, 27(1)3--38, 27(3)241--253,
28(3)263--276, 28(3)337--345, 29(1)75--85, 29(1)123--153,
30(3)319--341, 32(1)173--183
-
bounded, 12(3)333--338, 15(1)27--39, 15(1)41--50, 15(2)181--200,
16(1)75--91, 16(2)115--148, 18(1)105--111, 19(1)17--28, 21(1)27--37,
23(3)333--337, 24(1)105--117, 26(1)197--220, 32(1)61--76
-
bounded, reversal-, 13(3)295--314
-
bounded, space-, 19(2)161--187
-
bounded, tape-, 12(3)333--338, 16(1)75--91, 24(3)331--336
-
bounded, time-, 19(3)287--304, 34(1)17--32
-
bounded-complete, 34(3)275--288
-
boundedness, 14(3)247--265
-
Boussinot, F., 18(2)173--206
-
Boussinot:1982:PDS, 18(2)173--206
-
Boyce-Codd, 26(3)243--286
-
Bozapalidis, S., 27(1)211--215
-
Bozapalidis:1983:RFT, 27(1)211--215
-
Bozapalidou, O., Louscou-, 27(1)211--215
-
branching, 10(2)187--220, 10(3)273--295, 15(2)159--179, 16(3)321--328,
19(2)203--218, 23(2)129--154, 24(1)35--52, 32(1)87--120,
32(3)331--337, 34(1)135--156
-
Brandenburg, F.-J., 23(1)69--82
-
Brandenburg:1983:UGP, 23(1)69--82
-
Braquelaire, J. P., 30(2)205--239
-
Braquelaire:1984:STS, 30(2)205--239
-
Brigham, R. C., 17(2)213--216
-
Brigham, R. C., see Dutton, R. D.
-
Broy, M., 33(2)139--174
-
Broy:1984:SSM, 33(2)139--174
-
Bruce, K., 31(1)31--40
-
Bruce:1984:CAT, 31(1)31--40
-
Bruhat, 19(1)39--67
-
Bruijn, N. G., de, 32(3)309--319
-
Brzozowski, J. A., 10(1)19--35
-
Brzozowski:1980:ERL, 10(1)19--35
-
Bucher, W., 14(3)227--246, 14(3)337--344, 26(1)233--241, 28(3)277--285
-
Bucher:1981:CDF, 14(3)227--246
-
Bucher:1981:NPT, 14(3)337--344
-
Bucher:1983:IDW, 26(1)233--241
-
Bucher:1984:CFC, 28(3)277--285
-
Buning, H., Kleine, 11(2)123--143
-
Burkhard, W. A., 16(3)279--290
-
Burkhard:1981:ICT, 16(3)279--290
-
Burstall, R. M., 31(1)175--209, 31(3)263--295
-
Burstall, R. M., see Goguen, J. A.
-
by-name, call-, 20(2)95--207
-
by-value, call-, 20(2)95--207