Last update: Thu Jun 29 02:46:09 MDT 2023
Return to index directory
B
-
Babu, A. Ramesh, 172(1)97--104
-
Babu, A. Ramesh, see Raghu, T. Venkata
-
Ba{\v{c}}a, Martin, 174(2)103--119, 185(2)99--113,
see Bong, Novi
-
Baca:2022:LAV, 185(2)99--113
-
Back, 185(2)115--183
-
backward, 185(4)285--311
-
Badica, Costin, 172(3)i--ii
-
Badica:2020:P, 172(3)i--ii
-
Bagavathi, Arunkumar, 172(4)399--412
-
Bagavathi, Arunkumar, see Tzacheva, Angelina A.
-
Baioletti, Marco, 174(3)201--228
-
Baioletti:2020:ECA, 174(3)201--228
-
Baire, 186(1)63--88
-
Balanced, 178(3)187--202
-
Balancing, 179(1)35--58
-
Balázs, Péter, 172(2)129--142,
see Lékó, Gábor
-
Band, 179(1)35--58
-
Barbuti, Roberto, 179(2)205--225
-
Barbuti:2021:ETB, 179(2)205--225
-
Bari, Gabriele, Di, 174(3)201--228
-
Barnette, 188(1)1--14
-
Baroni, Marian Alexandru, 184(3)233--271
-
Baroni, Marian Alexandru, see Mitrovi{\'c}, Melanija
-
Barozzini, David, 188(3)127--178
-
Barozzini:2022:CAS, 188(3)127--178
-
Barros, Leliane Nunes de, 174(1)63--81
-
Barros, Leliane Nunes de, see Andrés, Ignasi
-
Barylska, Kamila, 184(4)273--296
-
Barylska:2021:ACR, 184(4)273--296
-
base, 174(2)167--183
-
Based, 174(2)137--165, 182(2)111--179
-
Based, Congruence-, 184(1)1--47
-
Based, Constructor-, 173(4)315--382
-
based, Heuristic-, 174(3)259--281
-
based, Set-, 178(4)315--346
-
Based, SMT-, 187(2)103--138
-
Based, State-, 183(3)293--317
-
Basic, 187(2)167--196
-
Basu, Debasis, 176(2)141--166
-
Basu, Debasis, see Dasgupta, Abhijit
-
Batenburg, K. Joost, 172(2)143--167
-
Batenburg, K. Joost, see Lagerwerf, Marinus J.
-
BCK-codes, 174(2)137--165
-
Bednárová, Zuzana, 181(2)99--127,
see Geffert, Viliam
-
Beek, Maurice ter, 175(1)v--viii
-
Behavioural, 177(1)1--37
-
Beirinckx, Quinten, 172(2)105--128
-
Beirinckx:2020:JML, 172(2)105--128
-
Benouhiba, Toufik, 179(1)1--33
-
Benouhiba:2021:MLR, 179(1)1--33
-
Bera, Somnath, 172(4)327--341
-
Bera:2020:CPM, 172(4)327--341
-
Berghammer, Rudolf, 177(2)95--113
-
Berghammer:2020:ECL, 177(2)95--113
-
Bergstra, J. A., 179(4)321--344
-
Bergstra:2021:UHL, 179(4)321--344
-
Bernardini, Giulia, 175(1)41--58
-
Bernardini, Giulia, see Alzamel, Mai
-
Berthomieu, Bernard, 187(2)103--138
-
Berthomieu, Bernard, see Amat, Nicolas
-
Berti, Alessandro, 175(1)1--40
-
Berti, Alessandro, see Aalst, Wil M. P. van der
-
Bès, Alexis, 188(1)15--39
-
Bes:2022:DDI, 188(1)15--39
-
Best, Eike, 175(1)97--122
-
Best:2020:TOP, 175(1)97--122
-
Betweenness, 182(3)219--242
-
Bezirgiannis, Nikolaos, 177(3)203--234
-
Bezirgiannis, Nikolaos, see Albert, Elvira
-
BGM, 185(4)357--373
-
BGN, 188(2)91--101
-
Bhagat, Subhash, 187(1)1--30
-
Bhagat:2022:GMN, 187(1)1--30
-
Bichler, Manuel, 177(3)275--296
-
Bichler:2020:LRO, 177(3)275--296
-
Bifet, Albert, 182(3)219--242
-
Bifet, Albert, see Chehreghani, Mostafa Haghir
-
Bijective, 184(2)83--105
-
Binary, 172(2)129--142, 172(4)413--434, 174(2)121--136, 186(1)27--44
-
Binding, 173(2)139--176
-
Bipartite, 174(1)1--13
-
Bisimilarity, 173(2)177--189
-
bitstream, 185(4)285--311
-
Bleichrodt, Folkert, 172(2)143--167
-
Bleichrodt, Folkert, see Lagerwerf, Marinus J.
-
Boer, Frank de, 177(3)203--234
-
Boer, Frank de, see Albert, Elvira
-
Bong, Novi, 174(2)103--119
-
Bong:2020:LFA, 174(2)103--119
-
Boolean, 179(2)205--225, 181(1)37--69, 181(2)163--188, 182(4)321--344
-
Boolean, Pseudo-, 174(3)229--258
-
Boomari, Hossein, 179(4)345--360
-
Boomari:2021:RVG, 179(4)345--360
-
Börger, Egon, 177(1)1--37
-
Borger:2020:BTR, 177(1)1--37
-
Bosni{\'c}, Zoran, 172(3)239--259, see Zupanc, Kaja
-
bound, 177(1)69--93, 180(4)289--314
-
Bounded, 183(1)125--167
-
Bove, Pasquale, 179(2)205--225
-
Bove, Pasquale, see Barbuti, Roberto
-
Boyet, Marin, 183(3)169--201
-
Boyet, Marin, see Allamigeon, Xavier
-
BPP, 180(3)179--249
-
Brain, 172(2)169--186
-
Branching, 184(4)307--354
-
Breaker, Walker-, 185(1)83--97
-
Brodo, Linda, 172(1)1--38
-
Brodo:2020:VTN, 172(1)1--38
-
Bruijn, 185(4)313--336
-
Brunetti, Sara, 172(2)221--238, 172(2)i--xi
-
Brunetti:2020:P, 172(2)i--xi
-
Brunetti:2020:URG, 172(2)221--238
-
Bruse, Florian, 178(1)1--30
-
Bruse:2021:CMC, 178(1)1--30
-
Brütsch, Benedikt, 186(1)63--88
-
Brutsch:2022:SIG, 186(1)63--88
-
Buchberger, 184(2)83--105
-
Büchi, 180(4)351--373
-
Buchs, Didier, 187(2)i--iii
-
Buchs:2022:P, 187(2)i--iii
-
Buffer, Multi-, 178(1)77--99
-
Built-in, 188(1)41--61
-
butterfly, 182(3)285--299
-
Byzantine, 173(1)73--89