Index file section B for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
B
-
B-variety, 43(2)315--335
-
B0210, 40(2)329--337, 51(1)229--238
-
B0240, 53(1)99--124, 65(2)149--152
-
B0240C, 64(2)203--219
-
B0250, 36(2)319--331, 38(1)123--132, 38(2)249--267, 38(2)293--306,
38(2)343--347, 40(2)329--337, 41(2)141--167, 41(2)185--213,
41(2)325--330, 43(1)99--105, 45(3)261--292, 48(1)95--100,
53(2)201--224, 53(2)281--293, 54(2)181--198, 54(2)215--236,
54(2)237--247, 54(2)341--343, 55(1)87--136, 56(2)223--231,
56(2)233--241, 57(1)153--159, 58(1)103--128, 58(1)209--229,
58(1)325--346, 61(2)175--198, 61(2)307--316, 61(2)317--320,
64(1)25--38, 64(1)67--81, 64(1)97--105, 64(1)119--124,
65(2)149--152, 65(2)153--169, 68(1)89--103
-
B0260, 49(1)81--84, 64(1)107--118
-
B0290F, 39(1)69--88, 40(2)195--210, 40(2)319--322, 41(2)125--139,
41(2)319--323, 57(1)131--145, 57(2)239--249, 64(1)15--23
-
B0290H, 65(2)243--248
-
B1265B, 38(1)55--68, 61(1)49--66
-
B2570, 57(1)97--111
-
B6110, 44(1)69--105, 68(2)175--202
-
B6120B, 38(1)123--132, 40(1)3--11, 41(2)215--222, 48(2)283--296,
51(1)215--220, 54(2)165--179, 56(3)339--344, 58(1)103--128,
63(2)157--184, 66(1)45--53, 68(3)253--265
-
B6140, 57(1)131--145, 65(2)249--263
-
B6150, 48(1)75--94, 53(2)281--293, 64(2)203--219, 68(2)175--202
-
B6210, 49(2)171--184
-
B6210L, 40(2)101--130
-
Baader, F., 56(3)345--353
-
Baader:1988:UCI, 56(3)345--353
-
Bachmair, L., 67(2)173--201
-
Bachmair:1989:CRM, 67(2)173--201
-
Back, R. J. R., 39(1)47--68
-
Back:1985:STS, 39(1)47--68
-
backtracking, 54(1)3--28, 59(1)133--155, 68(1)57--70
-
backward, 48(2)283--296, 54(1)3--28, 62(1)187--220
-
Baeten, J. C. M., 51(1)129--176, 67(2)283--301
-
Baeten:1987:CKF, 51(1)129--176
-
Baeten:1989:TRS, 67(2)283--301
-
Bajaj, C., 54(1)87--102
-
Bajaj:1987:GOP, 54(1)87--102
-
Baker, K. A., 69(3)319--345
-
Baker:1989:GPA, 69(3)319--345
-
Bakker, J. W., de, 49(2)87--112
-
Bakker, J., De, 60(2)109--176
-
balance, 47(3)247--262, 68(1)1--17
-
balancing, 53(2)281--293
-
Balcazar, J. L., 40(2)237--243, 52(3)251--267
-
Balcazar:1985:BQM, 40(2)237--243
-
Balcazar:1987:CCP, 52(3)251--267
-
bandwidth, 41(2)141--167, 58(1)209--229, 68(2)123--134
-
Banyan, 64(2)191--201
-
Barbin-Le Rest, E., 41(1)61--80
-
Barbin-LeRest:1985:CTW, 41(1)61--80
-
Bartha, M., 55(2)265--289
-
Bartha:1987:EAS, 55(2)265--289
-
base, 38(1)55--68, 41(2)125--139, 43(1)43--58, 45(3)293--351,
68(2)135--154
-
based, 38(2)193--122, 46(1)13--45, 48(2)283--296, 51(3)309--324,
60(3)297--340, 64(1)83--96, 66(1)45--53, 68(3)333--342, 69(1)1--53
-
based, record-, 48(2)297--328, 63(1)63--90
-
based, resolution-, 56(3)345--353
-
based, resolution/paramodulation-, 44(2)127--153
-
baseline, 48(1)75--94, 64(2)191--201
-
baseline-equivalent, 64(2)191--201
-
basis, 44(3)333--339, 53(2)201--224, 54(1)103--128
-
battery, 37(2)151--181
-
Battista, Giuseppe, Di, 61(2)175--198
-
Bauer, G., 40(2)85--99
-
Bauer:1985:LRS, 40(2)85--99
-
Bavel, Z., 43(1)1--10
-
Bavel, Z., see Grzymala-Busse, J. W.
-
bck, 64(1)97--105
-
BCK-combinators, 64(1)97--105
-
BCNE, 62(1)67--104
-
BCNF, 62(1)67--104
-
bcnf, 62(0)3--233
-
Beal, M. P., 57(2)283--302
-
Beal:1988:CCF, 57(2)283--302
-
Beauquier, Daniele, 67(1)65--73
-
Beauquier, J., 51(1)117--127
-
Beauquier:1987:NCT, 51(1)117--127
-
Beauquier:1989:MAF, 67(1)65--73
-
Beeri, C., 38(1)99--116
-
Beeri:1985:FSJ, 38(1)99--116
-
Beeson, Michael J., 60(3)297--340
-
Beeson:1988:TCS, 60(3)297--340
-
behavior, 40(2)275--300, 52(3)269--280, 59(1)115--131, 60(1)1--82,
62(1)187--220, 64(3)221--269, 69(3)289--318
-
behavioral, 63(1)19--41, 63(2)223--237
-
behaviour, 36(1)21--25, 38(1)1--16, 38(2)307--322, 41(1)19--32,
44(3)275--305, 47(3)335--343, 48(1)53--73, 48(1)95--100,
48(2)135--144, 51(3)281--299, 53(1)151--167, 54(2)277--298,
55(1)87--136, 63(3)303--331, 64(1)25--38
-
behavioural, 63(1)19--41, 63(2)223--237
-
Belaga, E. G., 51(1)229--238
-
Belaga, Edward G., 61(2)299--306
-
Belaga:1987:CUA, 51(1)229--238
-
Belaga:1988:BMR, 61(2)299--306
-
belief, 58(1)155--174
-
benchmarks, 64(2)175--189
-
Bendix, Knuth-, 44(2)127--153, 66(2)117--136
-
Benoit, C., 35(1)89--107
-
Benoit:1985:AT, 35(1)89--107
-
Benson, David B., 63(3)275--294
-
Benson:1989:FPF, 63(3)275--294
-
Bérard, B., 51(3)281--299
-
Berard:1987:LSF, 51(3)281--299
-
Berarducci, Alessandro, 39(2)135--153
-
Berarducci, Alessandro, see Böhm, Corrado
-
Berge-acyclicity, 35(2)165--177
-
Berghammer, R., 43(2)123--147
-
Berghammer:1986:RAS, 43(2)123--147
-
Bergstra, 67(1)87--97
-
Bergstra, J. A., 37(1)77--121, 50(2)137--181, 51(1)129--176,
67(2)283--301
-
Bergstra, J. A., see Baeten, J. C. M.
-
Bergstra:1985:ACP, 37(1)77--121
-
Bergstra:1987:ASC, 50(2)137--181
-
Bermond, J. C., 64(2)191--201
-
Bermond:1989:ICE, 64(2)191--201
-
Bernot, G., 46(1)13--45
-
Bernot:1986:ADT, 46(1)13--45
-
Bernoulli, 44(1)17--49, 65(2)171--188
-
Berry, G., 48(1)117--126
-
Berry:1986:RED, 48(1)117--126
-
Bertolazzi, P., 54(2)237--247
-
Bertolazzi:1987:MAR, 54(2)237--247
-
best, 54(2)341--343
-
Best, E., 55(1)87--136
-
Best:1987:SCB, 55(1)87--136
-
beta, 56(2)223--231, 65(2)131--141, 65(2)z--z, 65(3)291--342,
66(1)99--104, 66(3)323--331
-
Beth, T., 51(3)331--339
-
Beth:1987:CCG, 51(3)331--339
-
Beynon, M., 53(2)267--279
-
Beynon:1987:PMC, 53(2)267--279
-
Bi-automata, 43(2)315--335
-
bias, 37(2)151--181
-
biconditional, 66(1)87--97
-
biconnected, 47(3)277--298, 63(3)295--302
-
bidelta, 48(1)75--94
-
Bidoit, M., 46(1)13--45
-
Bidoit, M., see Bernot, G.
-
biinfinite, 56(2)233--241
-
bilinear, 58(1)17--56, 61(2)299--306
-
binary, 35(2)129--164, 36(2)319--331, 37(1)51--75, 43(1)31--41,
44(2)209--224, 49(2)121--143, 52(1)1--14, 54(2)325--329,
58(1)143--154, 59(3)297--307, 63(3)253--274, 64(2)191--201,
65(2)149--152, 66(0)117--232, 66(2)181--203
-
binding, 69(2)117--242
-
binding-passing, 62(1)187--220
-
biology, 64(1)107--118
-
bipartite, 53(2)257--265
-
biprefix, 35(2)295--312, 51(1)117--127, 58(1)103--128
-
Birget, Jean-Camille, 63(2)141--156
-
Birget:1989:CIT, 63(2)141--156
-
birth/death, 52(3)269--280
-
bisimilar, 59(3)235--257
-
bisimulation, 49(2)185--215, 53(2)335--343, 59(1)25--84, 59(1)115--131
-
Biswas, S., 68(2)123--134
-
Biswas, S., see Arvind, V.
-
bit, 52(3)193--203, 64(2)191--201, 68(2)175--202
-
bit, m-, 44(1)1--16
-
bitonic, 46(2)261--284
-
black, 58(1)209--229
-
Blair, H. A., 68(2)135--154
-
Blair:1989:PLP, 68(2)135--154
-
Blanchard, F., 44(1)17--49, 44(1)107--110, 65(2)131--141, 68(3)253--265
-
Blanchard:1986:CS, 44(1)17--49
-
Blanchard:1986:DOP, 44(1)107--110
-
Blanchard:1989:BES, 65(2)131--141
-
Blanchard:1989:CSS, 68(3)253--265
-
Bleuzen-Guernalec, Noelle, 65(2)143--148
-
Bleuzen-Guernalec:1989:PCR, 65(2)143--148
-
blocking, 64(2)203--219
-
blocksize, 48(2)283--296
-
Bloom, S. L., 35(1)43--53
-
Bloom, Stephen L., 63(3)303--331
-
Bloom:1985:LCO, 35(1)43--53
-
Bloom:1989:ELC, 63(3)303--331
-
blow-up, 49(2)217--237
-
Blum, N., 36(1)59--69
-
Blum:1985:LBM, 36(1)59--69
-
Blumer, A., 40(1)31--55
-
Blumer, J., 40(1)31--55
-
Blumer, J., see Blumer, A.
-
Blumer:1985:SAR, 40(1)31--55
-
Bohm, 48(1)95--100
-
Böhm, Corrado, 39(2)135--153
-
Bohm:1985:AST, 39(2)135--153
-
Bonic, R., 40(1)67--84
-
Bonic, R., see Paige, R.
-
Book, R. V., 37(2)123--150, 39(2)319--325, 40(2)101--130, 40(2)237--243
-
Book, R. V., see Balcazar, J. L.,
see Gallier, J. H.
-
Book, Ronald V., 61(2)103--119, 63(3)239--252
-
Book, Ronald V., see Du, Ding-Zhu
-
Book:1985:SNS, 39(2)319--325
-
Book:1985:VTA, 40(2)101--130
-
Book:1988:SGC, 61(2)103--119
-
boolean, 35(2)313--327, 36(1)59--69, 36(1)119--125, 36(2)239--250,
36(2)291--308, 36(2)333--339, 38(1)55--68, 38(1)133--136,
38(2)343--347, 40(2)275--300, 43(1)43--58, 43(2)201--211,
44(2)127--153, 44(3)247--257, 47(1)61--69, 47(3)237--246,
48(1)53--73, 49(1)1--12, 51(1)53--80, 52(1)59--75, 52(3)239--249,
53(2)267--279, 54(1)65--85, 55(2)291--348, 56(3)345--353,
57(1)97--111, 57(1)113--129, 59(1)85--114, 61(2)307--316,
64(3)271--280, 64(3)331--342, 66(1)15--25, 66(1)113--114,
68(1)19--36
-
Boolean-variable, 55(1)1--45
-
Boonyavatana, R., 56(3)321--338
-
Boonyavatana:1988:IPL, 56(3)321--338
-
border, 66(1)1--14
-
bornée, 60(3)255--283
-
Borodin, Allan, 58(1)57--68
-
Borodin:1988:TBS, 58(1)57--68
-
Bosco, Pier Giorgio, 59(1)3--23
-
Bosco:1988:NVS, 59(1)3--23
-
bottom-up, 37(2)123--150, 52(1)91--143
-
Boudol, G., 59(1)25--84
-
Boudol:1988:CA, 59(1)25--84
-
Bouge, L., 37(2)151--181, 49(2)145--169
-
Bouge:1985:CTP, 37(2)151--181
-
Bouge:1987:RSD, 49(2)145--169
-
bound, 36(1)59--69, 36(2)231--237, 38(1)69--82, 38(1)133--136,
40(2)319--322, 41(2)247--269, 41(2)331--339, 43(2)201--211,
44(3)247--257, 45(1)63--86, 46(2)107--140, 46(2)329--338,
47(2)111--120, 47(2)149--158, 47(3)323--328, 49(2)171--184,
49(2)217--237, 52(3)239--249, 52(3)251--267, 54(2)325--329,
56(2)211--222, 57(1)97--111, 57(1)113--129, 58(1)175--181,
58(1)263--324, 60(3)285--296, 61(2)149--174, 61(2)299--306,
62(3)311--317, 63(2)203--221, 64(1)1--13, 64(1)15--23, 64(1)83--96,
64(1)125--132, 64(3)331--342, 66(1)1--14, 66(1)105--111,
66(2)137--155, 67(1)55--63, 67(1)115--120, 69(3)319--345
-
boundary, right-, 48(2)201--228
-
bounded, 35(2)191--214, 35(2)295--312, 36(2)239--250, 40(1)3--11,
40(1)13--30, 40(2)163--174, 40(2)237--243, 51(3)255--264,
51(3)325--330, 52(3)251--267, 52(3)341--342, 54(2)331--339,
56(1)37--57, 57(1)87--95, 59(3)259--276, 59(3)309--315,
62(1)67--104, 63(2)185--202, 64(1)1--13, 65(2)221--242,
67(1)99--110, 67(2)283--301, 68(2)155--173
-
bounded, length-, 47(1)39--60
-
bounded, Reversal-, 51(3)325--330
-
bounded, reversal-, 36(2)341--344, 48(2)329--337
-
bounded, space-, 44(1)111--121, 68(1)19--36
-
bounded, time-, 68(1)19--36
-
bounded-depth, 36(2)239--250, 68(1)113--119
-
bounded-width, 62(3)319--325
-
boundedness, 44(1)69--105
-
boundness, 65(2)189--196
-
bounds, lower-, 52(3)239--249
-
Boyce-Codd, 62(1)67--104
-
Bracho, F., 68(3)303--317
-
Bracho:1989:CGF, 68(3)303--317
-
bracket, 53(2)295--306
-
branching, 36(1)71--87, 38(2)269--291, 43(2)345--350, 46(2)175--195,
47(3)237--246, 48(1)53--73, 59(1)115--131, 62(3)319--325,
64(1)39--53, 64(3)331--342
-
branching, finite-, 49(2)121--143
-
branching-time, 59(1)115--131
-
Brand, H., von, 64(2)203--219
-
Brandenburg, F. J., 52(3)341--342
-
Brandenburg, F.-J., 55(2)183--263
-
Brandenburg, Franz J., 58(1)69--80
-
Brandenburg:1987:CDA, 52(3)341--342
-
Brandenburg:1987:RLF, 55(2)183--263
-
Brandenburg:1988:ISQ, 58(1)69--80
-
Brandstadt, A., 53(2)257--265, 54(2)181--198
-
Brandstadt, A., see Muller, H.
-
Brandstadt:1987:DPP, 54(2)181--198
-
Brazma, A., 46(2)175--195
-
Brazma:1986:GRE, 46(2)175--195
-
Breazu-Tannen, Val, 59(1)85--114
-
Breazu-Tannen:1988:EMP, 59(1)85--114
-
Brent-Kung, 44(1)1--16
-
broadcast, 52(3)193--203
-
broadcasting, 49(2)171--184, 49(2)z--z, 52(3)193--203
-
Broek, P. M., van den, 61(1)67--81
-
Brooks, 68(1)89--103
-
Brouwerian, 45(3)293--351
-
Browne, M. C., 59(1)115--131
-
Browne:1988:CFK, 59(1)115--131
-
Broy, M., 36(1)1--19, 45(1)1--61, 57(1)3--45
-
Broy:1985:HKU, 36(1)1--19
-
Broy:1986:TNP, 45(1)1--61
-
Broy:1988:ESP, 57(1)3--45
-
Bruyere, V., 56(3)339--344
-
Bruyere:1988:AQA, 56(3)339--344
-
Brzozowski, 49(1)1--12
-
Brzozowski, J. A., 61(1)49--66
-
Brzozowski, J. A., see Seger, C.-J.
-
bubbling, 54(2)315--324
-
Bublitz, S., 48(1)53--73
-
Bublitz:1986:PCM, 48(1)53--73
-
Bucher, W., 40(2)131--148, 49(2)113--119
-
Bucher, W., see Main, M. G.
-
Bucher:1985:TRG, 40(2)131--148
-
Buchi, 43(2)315--335, 47(1)95--98, 49(1)1--12, 49(2)217--237, 49(2)z--z
-
Buchi-like, 39(2)155--169
-
Buckle, J., 53(2)267--279
-
Buckle, J., see Beynon, M.
-
Building, 53(1)125--150
-
built-in, 59(1)133--155
-
Bunder, M. W., 39(2)337--342, 41(1)113--120
-
Bunder:1985:EKC, 39(2)337--342
-
Bunder:1985:PFE, 41(1)113--120
-
Büning, Hans, Kleine, 64(3)343--350
-
Burkhard, H. D., 38(2)193--122
-
Burkhard:1985:ICC, 38(2)193--122
-
Burn, G., 56(1)17--36
-
Burn, G., see Hankin, C.
-
Burnside, 40(1)13--30
-
Buss, Samuel R., 62(3)311--317
-
Buss:1988:RPG, 62(3)311--317
-
Busse, J. W., Grzymala-, 43(1)1--10
-
Buttner, W., 56(3)345--353
-
Buttner, W., see Baader, F.
-
by-value, call-, 61(1)83--92