Index file section B for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
B
-
B, 13(1)5--5, 16(1)6--6, 20(4)21--21, 24(1)5--5
-
b, 14(3)19--19, 14(4)31--31, 15(2)16--16
-
b,, 12(2)14--14
-
B.5.2, 2(1)93--134
-
Baader, Franz, 13(3)21--21, 21(4)30--30
-
Baader:2012:LDL, 13(3)21--21
-
Baader:2020:MTD, 21(4)30--30
-
BAC, 17(1)3--3
-
back, 3(3)418--463, 9(1)6--6, 22(3)20--20
-
backdoor, 17(1)7--7
-
Backdoors, 17(1)7--7
-
background, 8(4)19--19, 22(2)13--13, 24(4)32--32
-
backtracking, 16(1)8--8
-
backward, 15(4)31--31, 17(2)14--14, 18(1)7--7, 18(3)24--24
-
backward-chaining, 9(4)27--27
-
bad, 9(3)18--18, 12(2)13--13, 16(3)27--27
-
Baelde, David, 13(1)2--2
-
Baelde:2012:LGF, 13(1)2--2
-
Bagan, 14(4)25--25
-
Baier, Christel, 9(1)5--5
-
Baier:2007:VNP, 9(1)5--5
-
Bailey, James, 11(2)8--8
-
Bailey:2010:LQV, 11(2)8--8
-
Baillot, Patrick, 10(4)23--23
-
Baillot:2009:GES, 10(4)23--23
-
Bakel, 19(1)3--3
-
Bakel, Steffen, Van, 19(1)3--3
-
balance, 11(3)17--17, 13(3)20--20, 14(1)2--2, 16(4)31--31
-
Balbiani, Philippe, 21(2)14--14, 23(2)10--10
-
Balbiani:2020:ILT, 21(2)14--14
-
Balbiani:2022:AA, 23(2)10--10
-
Baldan, Paolo, 21(4)34--34
-
Baldan:2020:MCL, 21(4)34--34
-
Bana, 21(1)2--2, 22(1)3--3
-
Bana, Gergei, 21(1)2--2
-
Bana:2020:VMC, 21(1)2--2
-
bandwidth, 12(1)5--5
-
Banerjee, Mohua, 12(4)29--29, 24(1)2--2
-
Banerjee, Mohua, see Khan, Md. Aquil
-
BAQA, 14(2)12--12
-
Baral, Chitta, 7(4)613--657
-
Baral, Chitta, see Son, Tran Cao
-
barbed, 15(4)35--35
-
barbs, 15(4)35--35
-
Barceló, Pablo, 18(2)10--10, 22(4)21--21,
see Arenas, Marcelo
-
Barcelo:2017:GLR, 18(2)10--10
-
Barendregt, 14(4)29--29
-
Barmpalias, George, 18(3)18--18
-
Barmpalias:2017:PCO, 18(3)18--18
-
Barrett, Chris, 23(4)26--26
-
Barrett:2022:SPS, 23(4)26--26
-
barrier, 20(3)15--15
-
Barthe, Gilles, 23(1)5--5
-
Barthe:2022:UEM, 23(1)5--5
-
Basaldella, Michele, 22(1)4--4
-
Basaldella:2021:RAM, 22(1)4--4
-
base, 1(1)131--161, 6(2)389--440, 8(3)14--14, 8(4)22--22, 9(1)7--7,
9(4)27--27, 10(1)6--6, 12(2)11--11, 12(2)17--17, 12(3)20--20,
13(2)17--17, 13(3)23--23, 13(4)32--32, 14(2)14--14, 14(2)16--16,
14(3)24--24, 15(1)2--2, 15(2)12--12, 15(3)19--19, 16(1)3--3,
16(2)13--13, 16(3)23--23, 16(4)31--31, 17(3)17--17, 18(1)6--6,
19(2)12--12, 19(2)13--13, 20(2)8--8, 23(1)4--4
-
base, knowledge-, 12(3)20--20
-
Based, Actor-, 17(2)11--11
-
based, actor-, 17(2)11--11
-
based, automata-, 9(2)11--11, 15(3)22--22
-
Based, BDD-, 24(4)31--31
-
based, belief-, 15(2)16--16
-
based, bilattice-, 8(3)18--18
-
based, computation-tree-, 20(1)4--4
-
based, constraint-, 2(1)57--92
-
based, Cost-, 14(2)12--12
-
based, decomposition-, 5(2)351--383
-
based, directory-, 9(1)4--4, 19(4)27--27
-
based, distance-, 14(2)14--14, 17(3)20--20
-
based, domain-, 19(1)3--3
-
based, equivalence-, 17(1)3--3
-
based, expansion-, 19(1)1--1
-
based, formula-, 13(3)23--23
-
based, game-, 9(1)1--1, 13(3)22--22
-
based, grammar-, 12(4)26--26
-
based, heap-, 15(4)33--33
-
based, Hypothesis-, 5(3)508--527
-
based, input-, 8(3)17--17
-
based, instantiation-, 9(4)28--28, 14(2)11--11
-
Based, Interpretation-, 18(1)7--7
-
based, knowledge-, 2(4)433--457, 9(1)7--7, 19(4)26--26
-
based, label-, 15(4)35--35
-
Based, Logic-, 15(3)19--19, 16(4)33--33
-
based, Logic-, 21(3)26--26, 24(3)26--26
-
based, logic-, 9(1)3--3, 9(2)9--9, 15(3)19--19, 16(2)11--11,
19(3)21--21, 24(3)26--26, 24(4)33--33
-
based, model-, 12(2)11--11, 13(3)23--23, 14(2)16--16,
16(4)31--31
-
based, monad-, 21(3)23--23
-
based, multiset-, 20(4)22--22
-
based, ontology-, 20(2)12--12
-
based, partition-, 20(3)15--15
-
based, point-, 20(1)4--4
-
based, Predicate-calculus-, 7(1)38--83
-
based, preference-, 10(3)21--21
-
based, program-, 7(3)421--472
-
based, progression-, 15(2)11--11
-
based, Ramsey-, 16(4)34--34
-
Based, Ramsey-, 16(4)34--34
-
based, refocusing-, 9(1)6--6
-
Based, Region-, 17(3)21--21
-
based, region-, 17(3)21--21
-
based, Resolution-, 20(4)23--23
-
based, resolution-, 13(2)16--16
-
based, rewrite-, 10(1)4--4
-
based, rule-, 5(2)177--205, 14(1)1--1, 19(3)22--22
-
based, SAT-, 14(2)15--15, 16(3)24--24, 20(3)15--15
-
based, saturation-, 21(3)22--22
-
based, scope-, 20(3)16--16
-
based, Simulation-, 4(2)181--206
-
based, simulation-, 15(4)31--31
-
based, SMT-, 20(4)25--25
-
based, snooping-, 19(4)27--27
-
based, state-, 20(1)4--4, 24(3)24--24
-
based, store-, 14(4)29--29
-
based, superposition-, 11(4)27--27
-
based, syntax-, 16(4)31--31
-
based, Tableau-, 11(1)3--3
-
based, tableau-, 2(2)182--215, 17(1)4--4
-
based, trace-, 20(1)4--4
-
based, turn-, 22(3)16--16
-
based, turned-, 15(4)34--34
-
Baselice, 15(4)32--32
-
basic, 5(3)385--402, 9(3)21--21, 9(3)22--22, 9(4)25--25, 10(1)2--2,
10(3)17--17, 11(4)28--28, 12(1)7--7, 12(4)23--23, 14(2)12--12,
14(2)15--15, 14(3)17--17, 14(4)27--27, 14(4)30--30, 14(4)32--32,
15(3)18--18, 15(4)35--35, 16(3)26--26, 17(1)3--3, 17(4)29--29,
18(2)10--10, 18(2)16--16, 18(4)31--31, 20(4)23--23, 21(1)3--3,
21(4)33--33, 22(4)25--25
-
basically, 10(4)27--27, 16(3)25--25
-
Basin, David, 5(3)528--576, 21(1)5--5
-
Basin:2004:RMF, 5(3)528--576
-
Basin:2020:RVO, 21(1)5--5
-
basis, 2(1)57--92, 10(2)11--11, 10(3)17--17, 13(3)27--27, 14(2)15--15,
14(4)34--34, 15(1)7--7, 15(2)16--16, 16(4)30--30, 19(3)18--18,
20(1)5--5, 20(4)20--20, 22(1)2--2, 23(2)13--13
-
Batens, 8(3)18--18
-
Baudet, Mathieu, 14(1)4--4
-
Baudet:2013:YGT, 14(1)4--4
-
Bauer, Matthew S., 15(1)1--1
-
Bauer:2014:PCF, 15(1)1--1
-
Bauland, Michael, 12(2)13--13
-
Bauland:2011:TMC, 12(2)13--13
-
Baxter, James, 24(2)17--17
-
Baxter:2023:TUC, 24(2)17--17
-
Bayesian, 9(4)27--27
-
BBI, 14(1)6--6, 19(2)13--13
-
BC, 21(1)2--2
-
Bc, 14(2)13--13
-
BCC, 14(3)23--23
-
BDD, 16(2)16--16
-
BDD-Based, 24(4)31--31
-
BDDs, 2(1)93--134, 20(1)6--6, 24(4)31--31
-
be-verified, to-, 19(4)27--27
-
Beach, 18(3)20--20
-
Beal, Jacob, 20(1)5--5
-
Beal, Jacob, see Audrito, Giorgio
-
beat, 13(2)16--16
-
beautiful, 16(4)28--28
-
became, 13(2)13--13, 15(3)18--18
-
because, 10(1)3--3, 10(3)17--17, 11(3)20--20, 12(3)18--18, 14(2)8--8,
15(2)14--14, 15(4)33--33, 15(4)35--35, 16(3)21--21, 16(3)24--24,
17(2)12--12, 19(2)7--7, 19(2)13--13, 19(4)31--31, 20(4)20--20,
21(1)2--2, 22(1)2--2
-
Beck--Chevalley, 16(3)23--23
-
Beckmann, Arnold, 15(1)2--2, 15(2)17--17, 18(2)11--11
-
Beckmann:2014:IWL, 15(1)2--2
-
Beckmann:2014:PGP, 15(2)17--17
-
Beckmann:2017:NSP, 18(2)11--11
-
become, 9(1)7--7, 9(2)8--8, 13(2)13--13, 14(1)2--2, 14(2)10--10,
15(3)18--18, 15(4)32--32, 16(1)7--7, 16(3)25--25, 18(3)22--22,
21(1)6--6
-
becoming, 23(1)4--4
-
bed, test-, 15(4)35--35
-
Bednarczyk, Bartosz, 24(2)12--12
-
Bednarczyk:2023:CFF, 24(2)12--12
-
Beer, 13(1)1--1
-
beginning, 15(4)27--27
-
behave, 9(1)5--5, 15(4)34--34, 18(3)21--21, 20(4)21--21
-
behaved, well-, 14(4)30--30, 16(3)27--27
-
behavedness, well-, 10(3)22--22
-
behavior, 9(1)5--5, 9(1)7--7, 9(3)17--17, 9(3)20--20, 10(1)1--1,
10(2)11--11, 10(3)22--22, 11(4)28--28, 12(3)18--18, 13(1)2--2,
13(2)17--17, 14(2)9--9, 14(2)12--12, 15(3)22--22, 16(3)25--25,
16(3)27--27, 17(3)22--22, 20(1)1--1, 20(1)4--4, 20(1)6--6, 21(1)5--5,
24(3)21--21
-
behavioral, 8(3)15--15, 8(3)16--16, 12(2)16--16, 14(1)7--7, 15(4)34--34,
15(4)35--35, 16(1)2--2, 18(2)13--13, 21(1)1--1
-
behaviorally, 8(3)15--15, 8(3)16--16, 9(3)19--19
-
behaviour, 16(2)11--11, 20(1)5--5, 20(4)19--19, 21(3)26--26
-
behavioural, 18(1)4--4
-
behind, 2(1)135--153, 3(1)1--41, 20(3)16--16, 24(4)31--31
-
being, 10(1)1--1, 10(1)7--7, 12(1)1--1, 12(1)2--2, 13(2)13--13,
13(2)15--15, 13(4)28--28, 14(2)13--13, 15(4)35--35, 16(1)3--3,
16(1)6--6, 16(3)27--27, 16(4)32--32, 17(1)7--7, 17(3)15--15,
17(4)25--25, 18(3)18--18, 19(4)26--26, 20(4)23--23, 21(1)4--4,
21(2)9--9, 23(2)8--8
-
belief, 1(1)131--161, 1(2)175--207, 2(3)340--387, 6(1)124--174,
10(1)5--5, 13(2)17--17, 13(4)30--30, 14(2)14--14, 14(3)24--24,
14(4)34--34, 15(2)16--16, 16(4)32--32, 17(2)9--9, 17(3)20--20,
18(1)6--6, 18(2)15--15, 19(2)12--12, 20(4)21--21, 21(1)3--3,
23(1)4--4, 24(2)18--18, 24(3)27--27
-
belief, KD45-, 16(4)35--35
-
belief-based, 15(2)16--16
-
believable, 21(1)3--3
-
believe, 1(2)175--207, 9(3)19--19, 18(2)15--15, 18(3)23--23, 20(1)6--6
-
believed, 13(2)17--17, 18(2)15--15
-
Bellantoni, 10(4)24--24
-
Bellier, Dylan, 24(1)4--4
-
Bellier:2023:GGQ, 24(1)4--4
-
belongs, 8(4)21--21, 12(2)12--12, 14(4)25--25, 17(3)17--17
-
below, 13(2)13--13, 15(1)6--6
-
Ben-Eliyahu-Zohary, Rachel, 4(2)149--180
-
Ben-Eliyahu-Zohary, Rachel, see Angiulli, Fabrizio
-
Ben-Sasson, 13(2)16--16, 19(1)1--1
-
Ben-Sasson, Eli, 11(3)19--19
-
Ben-Sasson:2010:LBB, 11(3)19--19
-
Benaim, Saguy, 17(4)32--32
-
Benaim:2016:CTV, 17(4)32--32
-
benchmark, 10(1)4--4, 16(2)12--12, 18(3)24--24, 19(2)7--7, 19(3)19--19,
19(4)27--27
-
Bendix, Knuth-, 6(2)361--388
-
Benedikt, Michael, 8(2)z--z, 11(1)4--4, 17(2)8--8, 17(2)14--14,
17(4)32--32, 21(1)6--6, 21(4)27--27, 22(2)13--13, 24(2)16--16
-
Benedikt, Michael, see Amarilli, Antoine,
see Benaim, Saguy
-
Benedikt:2007:LDQ, 8(2)z--z
-
Benedikt:2009:RTL, 11(1)4--4
-
Benedikt:2016:EIP, 17(2)8--8
-
Benedikt:2016:LUO, 17(2)14--14
-
Benedikt:2020:MDT, 21(1)6--6
-
Benedikt:2021:IVI, 22(2)13--13
-
Benedikt:2023:MDR, 24(2)16--16
-
benefit, 2(2)255--287, 10(3)17--17, 17(2)11--11, 19(2)11--11, 21(1)2--2
-
Benerecetti, Massimo, 16(3)25--25, 24(1)4--4
-
Benerecetti, Massimo, see Bellier, Dylan
-
Benerecetti:2015:RAS, 16(3)25--25
-
Benhamou, Frédéric, 5(4)732--767
-
Benhamou:2004:ICS, 5(4)732--767
-
Berardi, Stefano, 13(2)11--11
-
Berardi:2012:IRN, 13(2)11--11
-
Berg, Benno, Van Den, 19(2)15--15
-
Berg, Benno van den, 13(1)3--3
-
Berghofer, Stefan, 12(2)15--15
-
Berghofer, Stefan, see Urban, Christian
-
Bergstra, 23(4)22--22
-
Bergstra, Jan A., 12(3)21--21, 24(3)22--22
-
Bergstra:2011:PA, 12(3)21--21
-
Bergstra:2023:EER, 24(3)22--22
-
Berkholz, Christoph, 16(3)21--21
-
Berkholz:2015:BQD, 16(3)21--21
-
Bernardo, Marco, 5(3)436--469
-
Bernardo:2004:SSR, 5(3)436--469
-
Bernays--Schönfinkel--Ramsey, 21(3)19--19
-
Bersani, Marcello M., 21(3)26--26
-
Bersani, Marcello M., see Menghi, Claudio
-
Berthon, Raphaël, 22(1)5--5, 22(1)7--7
-
Berthon:2021:ATA, 22(1)7--7
-
Berthon:2021:SLI, 22(1)5--5
-
Bertrand, Nathalie, 9(1)5--5
-
Bertrand, Nathalie, see Baier, Christel
-
besides, 8(4)21--21, 13(2)14--14, 14(4)32--32, 15(1)8--8
-
Besnard, 8(3)18--18
-
best, 12(1)5--5, 13(2)17--17, 14(2)10--10, 14(4)28--28, 15(4)32--32,
15(4)34--34, 16(3)21--21, 18(2)13--13, 19(2)12--12, 19(3)22--22
-
best-case, 14(2)15--15, 14(3)22--22
-
best-known, 16(1)9--9
-
\beta, 14(4)32--32, 19(1)3--3, 22(1)4--4
-
Beth, 24(4)34--34
-
better, 13(2)16--16, 14(2)8--8, 18(2)13--13, 20(1)5--5
-
Betti, 14(4)26--26
-
Betz, Hariolf, 14(1)1--1
-
Betz:2013:LLB, 14(1)1--1
-
Beyersdorff, 14(3)20--20
-
Beyersdorff, Olaf, 11(4)22--22, 14(3)20--20, 19(1)1--1, 21(2)8--8,
24(2)10--10
-
Beyersdorff:2010:TKL, 11(4)22--22
-
Beyersdorff:2013:PCD, 14(3)20--20
-
Beyersdorff:2018:SPN, 19(1)1--1
-
Beyersdorff:2020:DQD, 21(2)8--8
-
Beyersdorff:2023:HCS, 24(2)10--10
-
beyond, 2(3)388--407, 2(3)408--429, 10(2)8--8, 11(4)27--27, 13(4)29--29,
15(2)15--15, 16(3)23--23, 17(4)26--26, 18(2)13--13, 19(1)4--4,
19(4)24--24, 20(1)1--1, 22(1)2--2
-
BI, 14(1)6--6
-
bi-colorings, 17(4)26--26
-
bi-directional, 19(2)11--11
-
bi-intuitionistic, 24(2)13--13
-
bi-monoids, 17(4)28--28
-
bi-quantales, 17(4)28--28
-
Bianco, Alessandro, 13(3)25--25
-
Bianco:2012:GCT, 13(3)25--25
-
Biere, 24(4)31--31
-
Biernacka, Ma{\l}gorzata, 9(1)6--6
-
Biernacka:2007:CFE, 9(1)6--6
-
big, 1(1)33--59, 10(3)22--22
-
big-step, 23(3)20--20
-
bijection, 20(1)3--3, 20(3)17--17
-
bijective, 20(1)3--3
-
bijectively, 20(1)3--3
-
bijunctive, 18(3)21--21
-
bilateral, 18(4)30--30
-
bilattice-based, 8(3)18--18
-
bilevel, 13(4)33--33
-
Billington, David, 2(2)255--287, 12(1)6--6
-
Billington, David, see Antoniou, Grigoris
-
Billington:2010:ITD, 12(1)6--6
-
biMIP, 13(4)33--33
-
bimodal, 16(3)27--27, 17(1)2--2
-
binary, 2(1)93--134, 2(2)216--254, 9(3)22--22, 11(4)26--26, 13(3)25--25,
14(1)3--3, 15(3)24--24, 16(2)17--17, 17(4)28--28, 18(3)18--18,
18(3)22--22, 18(3)23--23, 18(4)29--29, 19(2)8--8, 19(3)23--23,
20(1)6--6, 20(2)11--11, 20(3)14--14, 22(1)7--7, 23(4)22--22,
23(4)26--26, 24(4)31--31
-
bind, 13(3)20--20, 15(4)34--34
-
bindable, 13(2)10--10
-
binder, 13(3)20--20, 17(4)30--30
-
binding, 14(4)29--29, 15(4)34--34
-
binding, datatypes-with-, 13(3)20--20
-
binding, name-, 13(2)10--10
-
Binnewies, Sebastian, 19(2)12--12
-
Binnewies:2018:SPB, 19(2)12--12
-
biochemical, 20(4)19--19
-
bioinformatics, 15(3)23--23, 18(3)23--23
-
biometric, 17(1)3--3
-
bipartiteness, 8(4)20--20
-
bipole, 20(2)7--7
-
birds, 1(2)175--207
-
Birkedal, 23(3)18--18
-
Birkedal, Lars, 23(3)18--18
-
Birkedal, Lars, see Gratzer, Daniel
-
Biscaia, M., 16(1)4--4
-
Biscaia:2015:DAS, 16(1)4--4
-
bisimilar, 13(1)8--8, 15(2)14--14
-
bisimilarity, 10(1)6--6, 10(3)19--19, 15(2)14--14, 15(4)35--35,
18(1)4--4, 21(2)15--15, 21(4)34--34, 23(4)22--22
-
bisimilarity, reduction-, 10(3)19--19
-
bisimulation, 3(4)465--520, 10(2)9--9, 10(3)19--19, 11(2)13--13,
15(2)14--14, 15(4)26--26, 18(1)4--4, 18(2)13--13, 19(3)23--23
-
bisimulation, reduction-, 10(3)19--19
-
bisimulation-invariant, 19(3)23--23
-
bisimulation/simulation, 16(1)2--2
-
Bistarelli, Stefano, 7(3)563--589, 12(1)5--5
-
Bistarelli:2006:SCC, 7(3)563--589
-
Bistarelli:2010:UMQ, 12(1)5--5
-
bit, 2(1)93--134, 13(3)26--26, 16(2)12--12, 18(3)18--18, 22(2)11--11
-
bivaluations, 20(3)13--13
-
BL, 9(3)21--21
-
black, 13(2)16--16
-
black-box, 16(4)28--28
-
black-only, 13(2)16--16
-
black-white, 13(2)16--16
-
Blanchette, Jasmin, 24(1)7--7
-
Blanchette, Jasmin, see Vukmirovi{\'c}, Petar
-
Blass, 19(2)7--7
-
Blass, Andreas, 2(1)1--11, 4(4)578--651, 7(2)363--419, 8(3)15--15,
8(3)16--16, 9(3)18--18, 9(3)19--19, 12(2)16--16
-
Blass:2001:ICL, 2(1)1--11
-
Blass:2003:ASM, 4(4)578--651
-
Blass:2006:OIS, 7(2)363--419
-
Blass:2007:OISa, 8(3)15--15
-
Blass:2007:OISb, 8(3)16--16
-
Blass:2008:ASM, 9(3)19--19
-
Blass:2008:PTW, 9(3)18--18
-
Blass:2011:PQB, 12(2)16--16
-
blind, 9(4)28--28, 14(3)23--23
-
Blinkhorn, Joshua, 21(2)8--8, 24(2)10--10
-
Blinkhorn, Joshua, see Beyersdorff, Olaf
-
block, 10(1)7--7, 19(4)31--31
-
block-level, 19(4)31--31
-
blocked, 20(2)7--7
-
blocking, 12(1)6--6, 15(1)7--7
-
Blondin, Michael, 18(3)24--24, 24(1)3--3
-
Blondin:2017:LVC, 18(3)24--24
-
Blondin:2023:COC, 24(1)3--3
-
Bloom, Bard, 5(1)26--78
-
Bloom:2004:PFD, 5(1)26--78
-
blow, 17(4)26--26
-
blow-up, 2(1)93--134, 2(3)408--429, 13(4)29--29
-
blowup, 17(1)7--7
-
blueprint, 19(1)5--5
-
board, 9(1)1--1
-
Bodirsky, Manuel, 11(3)15--15, 14(4)30--30, 18(3)23--23, 23(1)7--7
-
Bodirsky:2010:FAD, 11(3)15--15
-
Bodirsky:2013:CST, 14(4)30--30
-
Bodirsky:2017:CPC, 18(3)23--23
-
Bodirsky:2022:PLV, 23(1)7--7
-
body, 2(3)289--339, 11(4)25--25, 14(4)28--28, 20(1)6--6
-
Boer, Frank S., De, 5(4)706--731
-
Bogaerts, Bart, 17(4)27--27, 22(1)6--6, 24(4)33--33
-
Bogaerts, Bart, see Aamer, Heba
-
Bogaerts:2016:WFS, 17(4)27--27
-
Bogaerts:2021:SAF, 22(1)6--6
-
Böhm, 11(4)28--28
-
Böhm-complete, 11(4)28--28
-
Boigelot, Bernard, 6(3)614--633
-
Boigelot:2005:EDP, 6(3)614--633
-
Bojanczyk, 15(1)8--8
-
Boja{\'n}czyk, Miko{\l}aj, 12(4)27--27
-
Bojanczyk:2011:TVL, 12(4)27--27
-
Boker, Udi, 13(4)29--29, 15(4)27--27
-
Boker:2012:TCB, 13(4)29--29
-
Boker:2014:TSA, 15(4)27--27
-
Bollig, Benedikt, 15(2)15--15
-
Bollig:2014:PWA, 15(2)15--15
-
Bomanson, Jori, 21(4)33--33
-
Bomanson:2020:AVS, 21(4)33--33
-
Bonacina, Maria Paola, 8(1)z--z, 10(1)4--4
-
Bonacina, Maria Paola, see Armando, Alessandro
-
Bonacina:2007:ACI, 8(1)z--z
-
Bonatti, Piero Andrea, 3(2)226--278
-
Bonatti:2002:SCP, 3(2)226--278
-
Bonchi, Filippo, 15(1)3--3, 15(4)35--35
-
Bonchi:2014:ACD, 15(1)3--3
-
Bonchi:2014:GTB, 15(4)35--35
-
Bonet, 12(1)4--4
-
Bono, Viviana, 3(4)562--603
-
Bono:2002:TIE, 3(4)562--603
-
Bonsangue, Marcello M., 14(1)7--7, 15(1)3--3
-
Bonsangue, Marcello M., see Bonchi, Filippo
-
Bonsangue:2013:SCA, 14(1)7--7
-
bookkeeping, 20(4)22--22
-
boolean, 2(1)93--134, 3(4)604--627, 4(1)56--90, 8(3)18--18, 8(4)21--21,
9(2)10--10, 9(3)17--17, 9(4)25--25, 10(3)17--17, 11(3)18--18,
11(4)22--22, 11(4)23--23, 11(4)24--24, 12(3)21--21, 13(1)8--8,
13(2)17--17, 13(2)18--18, 13(3)27--27, 14(1)6--6, 14(2)13--13,
15(1)7--7, 15(2)15--15, 15(3)19--19, 15(3)25--25, 15(4)27--27,
15(4)34--34, 16(1)1--1, 16(1)6--6, 16(4)29--29, 16(4)33--33,
17(1)7--7, 17(2)10--10, 17(2)14--14, 17(3)22--22, 18(1)1--1,
18(3)21--21, 19(1)1--1, 19(2)13--13, 19(4)25--25, 20(1)3--3,
20(1)6--6, 20(3)15--15, 22(2)8--8, 23(3)16--16, 23(4)26--26,
24(1)1--1, 24(2)10--10
-
Boolean, sub-, 16(3)27--27
-
Boom, Michael, Vanden, 17(2)8--8, 22(2)13--13
-
Bordeaux, Lucas, 10(3)17--17
-
Bordeaux:2009:GCO, 10(3)17--17
-
border, 15(4)27--27
-
Borgwardt, Stefan, 21(4)30--30
-
Borgwardt, Stefan, see Baader, Franz
-
Borralleras, Cristina, 20(4)25--25
-
Borralleras:2019:IST, 20(4)25--25
-
Bortolussi, Luca, 20(4)19--19
-
Bortolussi:2019:CLM, 20(4)19--19
-
Bossi, Annalisa, 5(3)470--507
-
Bossi:2004:TSM, 5(3)470--507
-
both, 1(1)131--161, 1(2)247--284, 1(2)285--320, 2(1)93--134,
2(2)216--254, 2(3)408--429, 8(3)14--14, 8(4)20--20, 9(1)6--6,
9(3)22--22, 9(4)26--26, 10(1)3--3, 10(1)4--4, 10(1)5--5, 10(2)9--9,
10(2)11--11, 10(2)14--14, 10(3)19--19, 10(4)25--25, 10(4)26--26,
11(4)25--25, 12(1)2--2, 12(2)9--9, 12(4)25--25, 12(4)28--28,
12(4)29--29, 13(2)12--12, 13(2)13--13, 13(2)16--16, 13(4)29--29,
13(4)30--30, 13(4)33--33, 14(1)6--6, 14(2)10--10, 14(2)12--12,
14(2)13--13, 14(3)24--24, 14(4)28--28, 15(1)5--5, 15(2)15--15,
15(2)16--16, 15(2)17--17, 15(3)21--21, 15(3)23--23, 15(4)27--27,
15(4)31--31, 15(4)33--33, 16(1)1--1, 16(1)6--6, 16(1)9--9,
16(2)10--10, 16(3)25--25, 16(4)31--31, 16(4)34--34, 17(1)1--1,
17(2)8--8, 17(2)14--14, 17(3)19--19, 17(4)23--23, 18(2)13--13,
18(3)19--19, 18(3)22--22, 18(3)25--25, 18(4)27--27, 19(1)1--1,
19(1)3--3, 19(3)17--17, 19(3)22--22, 20(1)1--1, 20(1)4--4,
20(2)12--12, 21(1)2--2, 21(1)3--3, 21(1)7--7, 21(3)17--17,
21(3)18--18, 22(2)12--12, 23(1)3--3, 23(1)4--4, 23(2)8--8,
24(3)22--22
-
bottom, 10(4)28--28, 16(1)8--8, 18(2)12--12
-
bottom-up, 2(2)182--215, 14(2)16--16, 14(4)28--28, 18(4)28--28
-
Bouajjani, 10(3)15--15, 20(3)14--14
-
Boudou, Joseph, 21(2)14--14
-
Boudou, Joseph, see Balbiani, Philippe
-
Bouhoula, Adel, 10(3)20--20
-
Bouhoula:2009:SCC, 10(3)20--20
-
bound, 2ExpTimelower-, 15(4)34--34
-
bound, lower-, 14(3)22--22, 16(1)9--9, 24(1)3--3
-
bound, upper-, 9(3)22--22, 13(4)29--29, 14(3)22--22
-
boundaries, 18(2)16--16
-
bounded, 2(1)135--153, 2(2)216--254, 8(2)z--99999999, 8(3)15--15,
8(3)16--16, 8(4)21--21, 10(4)27--27, 10(4)28--28, 11(3)17--17,
11(3)19--19, 11(4)22--22, 12(1)3--3, 12(2)12--12, 13(1)9--9,
14(4)30--30, 14(4)31--31, 15(1)2--2, 15(1)6--6, 15(1)9--9,
15(2)17--17, 15(3)20--20, 15(4)32--32, 16(3)21--21, 17(2)10--10,
17(2)14--14, 17(4)23--23, 17(4)25--25, 17(4)31--31, 18(2)9--9,
18(2)11--11, 18(4)29--29, 18(4)33--33, 19(2)14--14, 19(3)17--17,
19(3)20--20, 20(1)1--1, 20(3)17--17, 21(4)29--29, 22(1)3--3,
23(2)12--12, 24(1)6--6, 24(3)25--25
-
bounded, degree-, 8(4)21--21
-
Bounded, Depth-, 18(4)33--33
-
bounded, length-, 20(2)11--11
-
bounded, Resource-, 3(3)402--417
-
bounded-degree, 20(1)1--1
-
bounded-depth, 11(3)19--19, 17(4)26--26, 20(1)1--1
-
bounded-exploration, 1(1)77--111
-
bounded-memory, 19(3)23--23
-
bounded-variable, 15(1)9--9
-
boundedness, 19(3)20--20
-
bounding, 14(3)22--22, 15(4)33--33
-
bounding, lower-, 19(3)19--19
-
bounds, mwp-, 10(4)28--28
-
Bourhis, Pierre, 21(1)6--6, 22(2)13--13
-
Bourhis, Pierre, see Benedikt, Michael
-
Bousfield--Quillen, 13(1)3--3
-
Bouyer, 10(3)15--15
-
Bouyer, Patricia, 24(3)21--21
-
Bouyer:2023:RAQ, 24(3)21--21
-
Bova, Simone, 9(3)21--21, 17(2)10--10
-
Bova:2008:PSH, 9(3)21--21
-
Bova:2016:MCE, 17(2)10--10
-
Bowman, Howard, 4(4)452--492
-
Bowman, Howard, see Bryans, Jeremy
-
\Box, 24(4)29--29
-
box, 9(4)25--25, 18(3)22--22, 23(4)25--25
-
box'', ``black-, 16(4)28--28
-
Bozzelli, Laura, 20(1)4--4, 24(3)24--24
-
Bozzelli:2019:IVP, 20(1)4--4
-
Bozzelli:2023:ITL, 24(3)24--24
-
branch, 2(1)93--134, 9(3)21--21, 14(4)26--26, 15(3)24--24, 16(1)8--8,
17(4)29--29, 18(1)3--3, 20(1)4--4, 20(3)15--15, 21(1)1--1
-
branching, 2(3)408--429, 6(2)273--294, 13(1)1--1, 13(2)15--15, 14(1)7--7,
15(4)26--26, 16(3)20--20, 16(3)27--27, 18(1)1--1, 18(2)13--13,
18(3)23--23, 20(3)14--14, 22(4)26--26
-
branching-time, 13(3)25--25, 15(1)10--10, 15(4)27--27, 16(3)25--25,
24(3)24--24
-
Branchwidth, 20(3)15--15
-
Brass, Stefan, 5(1)129--176
-
Brass:2004:SLP, 5(1)129--176
-
brave, 13(2)17--17
-
Bravetti, Mario, 3(4)465--520
-
Bravetti:2002:DAW, 3(4)465--520
-
Brayton, Robert, 1(1)162--170
-
Brayton, Robert, see Aziz, Adnan
-
break, 10(3)20--20, 20(3)15--15
-
breaking, 11(4)25--25, 13(2)10--10
-
breaking, ground-, 19(1)1--1
-
breakthrough, 13(2)12--12, 21(1)2--2
-
Bresolin, Davide, 18(3)22--22
-
Bresolin:2017:HFH, 18(3)22--22
-
bridging, 18(2)16--16
-
briefly, 14(1)4--4, 16(4)33--33
-
bring, 10(1)3--3, 19(3)23--23, 21(3)18--18
-
Britz, Katarina, 22(1)1--1
-
Britz:2021:PKS, 22(1)1--1
-
broad, 10(2)13--13, 18(3)23--23
-
Broadbent, Christopher H., 22(2)12--12, 22(3)16--16
-
Broadbent:2021:CPP, 22(3)16--16
-
Broadbent:2021:HOR, 22(2)12--12
-
broadcast, 1(2)247--284
-
broadcasting, 1(2)247--284
-
broader, 19(2)7--7
-
Broecheler, Matthias, 14(2)10--10
-
Broecheler, Matthias, see Shakarian, Paulo
-
broken, 15(2)13--13
-
Brown, 19(2)15--15
-
Bruijn, 23(1)2--2
-
Bruijn, Jos, De, 12(3)20--20
-
Bruijn-style, 19(1)6--6
-
Bruscoli, Paola, 10(2)14--14
-
Bruscoli:2009:PCD, 10(2)14--14
-
Bruttomesso, Roberto, 15(1)5--5
-
Bruttomesso:2014:QFI, 15(1)5--5
-
Bruyère, Véronique, 9(2)12--12
-
Bruyere:2008:DPM, 9(2)12--12
-
Bruynooghe, Maurice, 2(4)623--654, 14(3)17--17
-
Bruynooghe, Maurice, see Denecker, Marc,
see Wittocx, Johan
-
Bryans, Jeremy, 4(4)452--492
-
Bryans:2003:MCS, 4(4)452--492
-
Bryant, Randal E., 2(1)93--134, 3(4)604--627, 9(1)4--4, 24(4)31--31
-
Bryant, Randal E., see Lahiri, Shuvendu K.
-
Bryant:2001:PVU, 2(1)93--134
-
Bryant:2002:BST, 3(4)604--627
-
Bryant:2023:GER, 24(4)31--31
-
Brzozowski, 15(1)3--3
-
Bü, 2(2)216--254
-
Buccafurri, 11(3)20--20
-
Büchi, 2(2)216--254, 2(3)408--429, 10(3)15--15, 13(2)12--12,
13(4)29--29, 15(3)22--22, 15(3)24--24
-
Büchi, Co-, 13(4)29--29
-
Büchi, co-, 2(3)408--429, 13(4)29--29
-
budget, 18(4)32--32
-
buffers, 9(1)4--4
-
Bugaj, Ewa, Madali{\'n}ska-, 13(4)32--32
-
Bugliesi, Michele, 3(4)562--603
-
Bugliesi, Michele, see Bono, Viviana
-
bugs, 9(3)17--17
-
Buhrman, 11(4)22--22
-
build, 1(2)208--246, 9(3)21--21, 9(4)27--27, 10(1)3--3, 14(2)12--12,
14(2)14--14, 15(1)6--6, 15(4)33--33, 20(2)8--8
-
building, 9(3)21--21, 10(1)7--7, 10(3)15--15, 10(3)20--20, 13(1)3--3,
13(2)13--13, 14(4)25--25, 15(1)3--3, 17(3)21--21, 19(2)8--8,
20(1)1--1, 20(1)6--6
-
built, 1(2)208--246, 14(4)32--32, 15(3)19--19, 15(3)24--24, 15(4)35--35,
17(2)10--10, 19(4)28--28, 24(4)29--29
-
built-in, 10(1)4--4
-
Bulatov, Andrei A., 12(4)24--24
-
Bulatov:2011:CCC, 12(4)24--24
-
Bulian, 23(3)17--17
-
Bulling, Nils, 20(2)10--10
-
Bulling:2019:RAS, 20(2)10--10
-
Bunched, 19(2)13--13
-
Buneman, Peter, 4(4)530--577
-
Buneman:2003:IBP, 4(4)530--577
-
Burch, 2(1)93--134
-
Burel, Guillaume, 21(3)18--18
-
Burel:2020:LFR, 21(3)18--18
-
Burger, Lutz Straß, 12(4)23--23
-
Burger:2011:SIS, 12(4)23--23
-
Bürkert, 11(3)15--15
-
business, 20(4)20--20
-
Buss, 11(3)19--19
-
Buss, Pudlák-, 11(3)19--19
-
Buss, Sam, 18(2)11--11, 22(4)26--26
-
Buss, Sam, see Beckmann, Arnold
-
Buss, Samuel R., 3(3)402--417, 15(1)2--2
-
Buss, Samuel R., see Beckmann, Arnold
-
Buss:2002:RBC, 3(3)402--417
-
Buss:2021:LBO, 22(4)26--26
-
Bussche, 19(2)7--7
-
Bussche, Jan, Van den, 9(1)3--3
-
Bussche, Jan Van den, 24(4)33--33
-
Bussche, Jan Van den, see Aamer, Heba
-
Bustan, Doron, 4(2)181--206
-
Bustan:2003:SBM, 4(2)181--206
-
Bü, 10(3)15--15
-
buzz, 14(2)10--10
-
BV, 12(4)23--23, 19(1)5--5
-
by:, 14(4)25--25
-
by-name, call-, 10(2)12--12, 13(2)18--18
-
by-product, 16(4)28--28, 17(2)12--12, 20(3)18--18
-
by-state, state-, 20(1)4--4
-
by-value, call-, 10(2)12--12
-
byproduct, 16(3)27--27
-
Byzantine, 21(3)21--21