Last update: Sun Oct 15 02:15:49 MDT 2017
Return to index directory
B
-
Baar, Thomas, 37(3)201--211
-
Baar:1999:IDV, 37(3)201--211
-
Baaz, Matthias, 20(4)353--379
-
Baaz:1994:SPC, 20(4)353--379
-
Back, 40(1)1--16
-
Bäck, Thomas, 35(1)51--66
-
Back:1998:OPC, 35(1)51--66
-
Baeten, J. C. M., 29(1)51--76
-
Baeten:1997:DTP, 29(1)51--76
-
Bag, 24(3)259--281
-
Bagai, R., 13(1)67--83
-
Bagai:1990:DCO, 13(1)67--83
-
Baier, Christel, 29(3)225--256
-
Baier:1997:HIE, 29(3)225--256
-
Bakel, Steffen van, 26(2)141--166
-
Bakker, J. W. de, 20(1)3--34, 40(4)335--382
-
Bakker, J. W. de, see Hartog, J. I. den
-
Balanescu, Tudor, 14(3)283--286
-
Balanescu:1991:NPK, 14(3)283--286
-
Balbiani, Philippe, 16(3)231--262
-
Balbiani:1992:MSN, 16(3)231--262
-
Ballarin, Clemens, 39(1)1--20
-
Ballarin:1999:PAE, 39(1)1--20
-
Bandyopadhyay, Sanghamitra, 37(1)177--199
-
Bandyopadhyay:1999:RBV, 37(1)177--199
-
Banerjee, Mohua, 28(3)211--221, 31(3)213--220
-
Banerjee:1996:RST, 28(3)211--221
-
Banerjee:1997:RSV, 31(3)213--220
-
Baral, Chitta, 21(4)307--319
-
Baral:1994:VSF, 21(4)307--319
-
Baratella, Stefano, 14(3)323--337
-
Baratella:1991:MCC, 14(3)323--337
-
Bartosiewicz, Zbigniew, 34(4)455--467
-
Bartosiewicz, Zbigniew, see Rakowski, Waldemar
-
Barua, Rana, 14(3)313--322
-
Barua:1991:GA, 14(3)313--322
-
Basarab, {\c{S}}erban A., 30(2)125--149
-
Basarab:1997:DFG, 30(2)125--149
-
base, 28(3)247--259
-
Based, 23(1)33--65, 26(3)363--385, 27(2)273--288, 30(3)359--371,
31(1)41--47, 31(3)357--377, 37(1)121--136, 40(4)317--333
-
based, {ATMS}-, 37(1)1--30
-
Based, Case-, 30(3)227--240
-
Based, Constraint-, 23(2)303--353
-
Based, Context-, 23(2)175--223
-
based, Context-, 34(4)369--388
-
Based, Instance-, 21(3)221--235
-
Based, Model-, 30(3)227--240
-
Based, Order-, 28(3)423--430
-
Based, Rule-, 34(3)225--262
-
Based, Tree-, 29(4)305--324
-
based, Wavelet-, 34(4)369--388
-
basic, 13(3)275--316, 29(4)369--382, 31(1)13--25, 39(1)145--165
-
Basis, 28(3)223--245, 37(1)137--175
-
Basu, Sanjukta, 32(3)299--311
-
Basu, Sanjukta, see Chakraborty, Mihir K.
-
Baum, Gabriel A., 32(1)1--25
-
Baum, Gabriel A., see Frias, Marcelo F.
-
BDI, 31(3)237--252
-
Becker, Bernd, 14(2)185--219
-
Becker:1991:UTA, 14(2)185--219
-
Behavior, 26(3)407--431
-
Behaviour, 28(3)347--352
-
behaviours, 13(3)353--386
-
Behera, L., 37(1)121--136
-
Behera, L., see Sastry, K. K. N.
-
Belief, 28(1)1--22, 28(3)247--259, 32(2)183--191, 34(1)33--51
-
beliefs, 15(3)333--356, 29(4)383--390
-
Bello, G., Lo, 35(1)163--177
-
Ben-Amram, Amir M., 38(1)1--15
-
Ben-Amram:1999:PVT, 38(1)1--15
-
Ben-Eliyahu, Rachel, 28(1)23--36
-
Ben-Eliyahu, Rachel, see Apt, Krzysztof R.
-
Ben-Jacob, M., 13(1)19--33
-
Ben-Jacob, M., see Fitting, M.
-
Benhamou, Belaid, 39(1)21--38
-
Benhamou:1999:HMF, 39(1)21--38
-
Benthem, Johan van, 17(4)285--317
-
Bérard, Béatrice, 36(2)145--182
-
Berard:1998:CEP, 36(2)145--182
-
Bergstra, J. A., 27(1)37--56, 29(1)51--76
-
Bergstra, J. A., see Baeten, J. C. M.
-
Bergstra:1996:PME, 27(1)37--56
-
Bern, Marshall, 22(4)371--384
-
Bern:1995:CT, 22(4)371--384
-
Berre, Daniel, Le, 37(1)1--30
-
Berstel, J., 25(3)217--239
-
Berstel:1996:TAT, 25(3)217--239
-
Bertoli, P. G., 39(1)39--57
-
Bertoli:1999:SIT, 39(1)39--57
-
Bertossi, Leopoldo E., 21(1)113--123
-
Bertossi:1994:CGM, 21(1)113--123
-
Besnard, Philippe, 21(1)39--66, 23(2)175--223
-
Besnard:1994:PWS, 21(1)39--66
-
Besnard:1995:ACB, 23(2)175--223
-
Best, Eike, 40(2)125--163
-
Best:1999:GCO, 40(2)125--163
-
Bethke, Inge, 25(1)1--15
-
Bethke:1996:ECI, 25(1)1--15
-
Bezem, M., 13(1)67--83
-
Bezem, M., see Bagai, R.
-
Bhandari, Dinabandhu, 35(1)91--111
-
Bhandari, Dinabandhu, see Murthy, C. A.
-
Bhat, Girish, 36(1)1--21
-
Bhat:1998:APO, 36(1)1--21
-
Bhatnagar, Raj, 23(2)225--246
-
Bhatnagar:1995:CHU, 23(2)225--246
-
Bi-models, 32(3)251--266
-
Biela, Andrzej, 19(3)275--301
-
Biela:1993:RSD, 19(3)275--301
-
Bilinear, 22(1)53--67
-
binary, 13(3)387--399, 38(1)149--161, 39(3)259--272
-
Binderup, Peter G., 38(1)25--37
-
Binderup, Peter G., see Skyum, Sven
-
bisimulation, 16(2)171--199, 20(1)3--34, 26(2)103--113, 27(1)37--56,
32(3)329--340, 38(1)61--77
-
Biswas, Ranjit, 26(1)1--9
-
Biswas:1996:VFS, 26(1)1--9
-
Blair, H. A., 13(1)1--17
-
Blair, H. A., see Apt, K. R.
-
Blair, Howard A., 14(3)339--343, 21(4)333--344, 28(1)37--54
-
Blair, Howard A., see Apt, Krzysztof R.,
see Cholak, Peter
-
Blair:1996:DD, 28(1)37--54
-
Blikle, Andrzej, 28(1)55--85
-
Blikle:1996:WD, 28(1)55--85
-
block, 31(3)379--400
-
Blocking, 25(3)381--397
-
Boasson, L., 25(3)217--239
-
Boasson, L., see Berstel, J.
-
Bochman, Alexander, 28(3)223--245
-
Bochman:1996:LBN, 28(3)223--245
-
Bockmayr, Alexander, 24(1)125--155
-
Bockmayr:1995:NSA, 24(1)125--155
-
Boddy, Mark, 21(1)23--38
-
Boddy:1994:CEM, 21(1)23--38
-
Bogdanovi{\'c}, S., 38(1)51--60
-
Bogdanovic:1999:TCE, 38(1)51--60
-
Böhm, Corrado, 37(4)329--342
-
Bohm:1999:FPE, 37(4)329--342
-
Boldi, Paolo, 26(1)59--80
-
Boldi:1996:MCA, 26(1)59--80
-
Bonacina, Maria Paola, 24(1)177--207
-
Bonacina:1995:CDM, 24(1)177--207
-
Bondarenko, V. A., 25(1)35--38
-
Bondarenko:1996:APC, 25(1)35--38
-
Bono, Viviana, 38(4)325--364
-
Bono:1999:SEI, 38(4)325--364
-
Boolean, 14(3)367--385, 16(3)349--353, 22(3)203--215, 22(3)289--298
-
Bordihn, Henning, 38(4)365--375
-
Bordihn:1999:APL, 38(4)365--375
-
Boryczka, Mariusz, 35(1)197--209
-
Boryczka:1998:SAA, 35(1)197--209
-
Bottom-up, 39(1)123--143
-
bound, 25(3)271--284, 26(3)267--285, 27(2)197--203, 31(2)145--156,
31(2)157--184
-
Bouquet, Paolo, 23(2)247--262
-
Bouquet:1995:RAT, 23(2)247--262
-
Boutilier, Craig, 17(1)5--29
-
Boutilier:1992:EEA, 17(1)5--29
-
Bozapalidis, Symeon, 21(4)367--389
-
Bozapalidis:1994:RTS, 21(4)367--389
-
Bracketed, Multi-, 38(3)257--280
-
Branching, 26(2)103--113, 32(3)329--340, 39(4)337--357
-
Brandt, Michael, 33(4)309--338
-
Brandt:1998:CAR, 33(4)309--338
-
Braüner, Torben, 33(4)339--368
-
Brauner:1998:SAC, 33(4)339--368
-
Breazu-Tannen, Val, 19(1)1--49
-
Breazu-Tannen:1993:CET, 19(1)1--49
-
Bregolin, Mauro, 30(3)325--344
-
Bregolin, Mauro, see Rusinkiewicz, Marek
-
Brewka, Gerhard, 31(3)221--236
-
Brewka:1997:WFS, 31(3)221--236
-
Broy, Manfred, 16(3)201--229
-
Broy:1992:ODS, 16(3)201--229
-
Bryniarski, Edward, 27(2)109--136
-
Bryniarski:1996:FCR, 27(2)109--136
-
Bsaïes, Khaled, 29(3)203--223,
see Alexandre, Francis
-
Bucciarelli, Antonio, 32(3)251--266
-
Bucciarelli:1997:BMR, 32(3)251--266
-
Bugliesi, Michele, 38(4)325--364
-
Bugliesi, Michele, see Bono, Viviana
-
Building, 30(1)59--81, 34(3)263--293
-
Bujosa, Andrés, 25(1)39--48, 32(3)267--280
-
Bujosa:1996:SED, 25(1)39--48
-
Bujosa:1997:UNS, 32(3)267--280
-
Büning, H. Kleine, 13(3)387--399
-
Buning:1990:TAC, 13(3)387--399
-
Burago, Dmitri, 36(4)307--315
-
Burago:1998:ACC, 36(4)307--315
-
Burkhard, Hans-Dieter, 31(3)237--252, 37(3)z--z
-
Burkhard:1997:DBA, 31(3)237--252
-
Burkhard:1999:P, 37(3)z--z
-
Bush--Gorbachev, 15(3)325--332
-
Busi, Nadia, 40(2)165--197
-
Busi:1999:PSP, 40(2)165--197
-
Busse, Jerzy W., Grzymala-, 30(3)255--267, 31(1)27--39
-
Busse, Jerzy W., Grzyma{\l}a-, 23(1)67--89
-
Buszkowski, Wojciech, 31(1)1--12
-
Buszkowski:1997:RRS, 31(1)1--12
-
Buva{\v{c}}, Sa{\v{s}}a, 23(2)263--301
-
Buva{\v{c}}, Vanja, 23(2)263--301,
see Buva{\v{c}}, Sa{\v{s}}a
-
Buvac:1995:MC, 23(2)263--301