Index file section A for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
A
-
a, 2(3)388--407
-
A-GDH.2, 9(4)24--24
-
a-time, set-at-, 13(4)32--32
-
a.k.a, 14(4)34--34
-
A[2]-completeness, 18(3)21--21
-
A[2]-hardness, 18(3)21--21
-
Aamer, Heba, 24(4)33--33
-
Aamer:2023:IOC, 24(4)33--33
-
Aameri, Bahar, 20(4)20--20, 24(1)9--9
-
Aameri:2019:RTC, 20(4)20--20
-
Aameri:2023:RTA, 24(1)9--9
-
Abadi, Martín, 3(3)335--335
-
Abadi:2002:E, 3(3)335--335
-
abbreviated, 21(2)15--15
-
abbreviations, 12(4)25--25
-
Abdennadher, Slim, 5(2)177--205
-
Abdennadher:2004:AGR, 5(2)177--205
-
abduction, 8(1)z--99999999, 8(2)z--99999999
-
abductive, 9(2)14--14, 9(4)29--29, 13(4)33--33, 14(2)12--12, 15(2)12--12,
15(3)18--18, 15(4)28--28
-
Abdulla, 20(3)14--14
-
Abélard, 21(3)21--21
-
abelian, 6(3)578--613
-
ability, 1(2)285--320, 8(3)14--14, 9(4)26--26, 11(1)3--3, 12(3)22--22,
14(1)2--2, 15(4)34--34, 16(3)25--25, 19(2)7--7, 19(4)26--26,
20(2)10--10, 20(4)21--21, 22(3)17--17
-
able, 9(2)12--12, 10(4)29--29, 12(1)5--5, 13(2)16--16, 13(2)18--18,
14(2)16--16, 15(4)30--30, 16(1)1--1, 16(1)3--3, 16(1)6--6,
16(2)12--12, 17(4)23--23, 18(4)28--28, 18(4)30--30, 19(1)5--5,
19(4)28--28, 23(3)20--20
-
abnormality, 6(2)232--272
-
ABox, 13(3)21--21, 15(3)25--25, 16(4)31--31
-
ABoxes, 14(1)2--2, 16(4)31--31
-
absence, 14(3)20--20, 16(2)12--12
-
absolute, 22(4)25--25
-
absorbed, 16(1)8--8
-
abstract, 1(1)3--32, 1(1)77--111, 1(1)131--161, 2(2)216--254,
2(3)408--429, 3(1)80--136, 3(2)279--333, 4(4)578--651, 5(4)611--668,
6(1)33--60, 8(1)z--z, 8(3)15--15, 8(3)16--16, 9(1)1--1, 9(1)4--4,
9(1)6--6, 9(2)8--8, 9(3)17--17, 9(3)19--19, 10(2)13--13, 10(3)20--20,
10(4)29--29, 11(4)26--26, 12(2)16--16, 12(3)18--18, 13(2)12--12,
14(1)5--5, 14(2)16--16, 14(4)29--29, 15(4)33--33, 16(2)14--14,
16(3)22--22, 16(4)30--30, 16(4)33--33, 17(3)17--17, 17(4)23--23,
17(4)27--27, 17(4)29--29, 18(1)7--7, 19(2)13--13, 19(3)19--19,
19(3)22--22, 19(4)24--24, 20(4)20--20, 22(2)8--8, 22(4)22--22,
23(2)9--9, 23(4)27--27
-
abstract-state, 1(1)77--111
-
abstracted, 10(4)29--29
-
abstracting, 2(1)93--134, 20(4)25--25
-
abstraction, 1(2)285--320, 2(1)93--134, 8(1)z--99999999, 8(4)20--20,
9(1)4--4, 10(2)10--10, 10(3)15--15, 10(4)29--29, 11(4)26--26,
12(1)1--1, 12(3)18--18, 13(2)15--15, 15(1)8--8, 15(4)30--30,
15(4)32--32, 16(4)29--29, 18(1)7--7, 19(2)9--9, 19(3)19--19,
20(1)5--5, 20(4)19--19, 22(4)22--22, 23(1)2--2
-
abstraction-refinement, 9(1)1--1, 12(1)1--1, 19(3)19--19
-
abstractions., 8(4)20--20
-
AC, 19(4)29--29
-
AC0, 13(1)9--9
-
AC02, 13(1)9--9
-
acceleration, 9(2)13--13, 12(1)2--2
-
accept, 14(3)19--19, 16(1)1--1, 20(1)3--3
-
acceptability, LG-, 2(1)57--92
-
acceptability, quasi-, 2(1)57--92
-
acceptable, 13(3)24--24, 16(1)4--4
-
acceptance, 13(4)29--29, 15(3)24--24
-
accepted, 10(3)20--20, 15(3)24--24
-
accepting, 15(3)24--24, 16(1)6--6, 21(3)17--17
-
access, 9(3)19--19, 11(4)26--26, 13(3)27--27, 15(4)31--31, 17(1)3--3,
21(1)6--6
-
accessible, 11(3)19--19, 13(3)25--25
-
accessing, array-, 13(3)27--27
-
accommodate, 10(1)3--3, 12(4)29--29, 16(2)13--13, 21(1)3--3, 24(1)2--2
-
according, 12(2)17--17, 13(4)28--28, 14(3)24--24, 15(2)16--16,
15(3)19--19, 16(3)22--22, 18(2)8--8, 20(4)23--23
-
account, 12(3)21--21, 14(4)29--29, 15(4)34--34, 16(3)25--25, 18(1)3--3,
18(2)8--8, 18(2)16--16, 19(4)25--25, 20(2)10--10, 21(1)5--5
-
accounted, 9(1)7--7, 19(4)31--31
-
accounting, 13(1)2--2
-
accumulated, 15(4)27--27
-
accumulation, 15(4)27--27
-
accumulation,, 15(4)27--27
-
accumulation, path-, 15(4)27--27
-
accumulation, prefix-, 15(4)27--27
-
Accumulative, 15(4)27--27
-
accuracy, 15(3)23--23, 17(2)11--11, 19(4)31--31, 24(3)25--25
-
accurately, 9(3)19--19
-
Aceto, Luca, 10(1)6--6, 23(4)22--22
-
Aceto:2009:FEB, 10(1)6--6
-
Aceto:2022:TBO, 23(4)22--22
-
achieve, 12(4)24--24, 14(1)2--2, 14(2)10--10, 14(4)28--28, 15(4)34--34,
16(1)7--7, 16(4)31--31, 16(4)33--33, 18(1)1--1
-
achieved, 8(4)19--19, 15(2)13--13, 17(1)7--7, 18(3)25--25, 21(1)7--7
-
achieving, 8(3)14--14, 14(2)12--12, 17(1)1--1, 19(4)28--28
-
Ackermann, 20(2)11--11
-
Ackermann-Complete, 17(3)16--16
-
Ackermann-complete, 16(3)20--20, 17(3)16--16
-
Ackermann-completeness, 20(2)11--11
-
acknowledgment, 13(1)1--1
-
ACLuNs2, 8(3)18--18
-
ACM, 19(1)1--1
-
ACP, 10(1)6--6
-
ACP/CCS, 23(4)22--22
-
acquires, 14(3)23--23
-
Acquisition, 22(3)17--17
-
act, 14(4)34--34, 15(1)4--4, 16(4)33--33, 18(2)13--13, 20(4)20--20
-
ACT-R, 19(3)22--22
-
ACT-R-called, 19(3)22--22
-
action, 1(2)208--246, 3(4)465--520, 10(1)1--1, 10(1)5--5, 10(1)6--6,
10(2)9--9, 12(3)18--18, 14(2)9--9, 14(2)12--12, 14(4)34--34,
15(2)16--16, 18(2)13--13, 18(2)16--16, 18(4)27--27, 19(3)21--21,
20(1)5--5, 22(2)10--10
-
Action-probabilistic, 14(2)12--12
-
active, 9(1)7--7, 11(3)16--16, 14(4)26--26, 17(4)23--23, 22(1)6--6
-
activity, 16(2)11--11, 16(4)32--32, 20(4)20--20
-
actor, 17(2)11--11
-
Actor-Based, 17(2)11--11
-
actor-based, 17(2)11--11
-
actual, 8(3)17--17, 9(2)13--13, 9(3)16--16, 15(2)16--16, 18(1)3--3,
21(3)20--20, 22(1)4--4
-
actually, 8(3)14--14, 9(3)20--20, 9(4)28--28, 10(4)26--26, 15(2)15--15,
17(1)3--3, 18(1)7--7
-
acyclic, 12(4)26--26, 15(4)33--33, 18(4)26--26, 20(2)12--12, 24(3)20--20
-
acyclically, 15(4)33--33
-
acyclicity, 15(4)33--33, 19(4)25--25
-
ad, 18(3)25--25
-
Adámek, Jirí, 20(1)3--3, 22(4)23--23
-
Adamek:2019:GET, 20(1)3--3
-
Adamek:2021:RTF, 22(4)23--23
-
Adams, Robin, 11(2)11--11
-
Adams, Sherali-, 17(3)19--19
-
Adams:2010:WPC, 11(2)11--11
-
adapt, 15(1)6--6, 18(1)3--3, 18(2)14--14
-
adaptation, 14(4)33--33, 16(4)32--32
-
adapted, 16(3)23--23, 19(2)12--12, 19(4)29--29
-
adapting, 12(1)5--5, 17(4)26--26
-
adaptive, 8(3)18--18, 15(4)30--30, 16(4)28--28, 19(3)22--22, 20(1)5--5
-
add, 2(1)135--153, 8(4)23--23, 13(1)2--2, 13(3)22--22, 14(4)34--34,
15(4)27--27, 24(1)2--2, 24(3)27--27
-
added, 2(1)135--153, 15(3)18--18, 18(1)7--7, 18(4)27--27, 19(2)13--13,
20(3)17--17
-
adding, 2(1)135--153, 10(3)16--16, 12(2)10--10, 16(3)25--25, 19(1)3--3,
19(2)13--13, 19(3)23--23, 21(2)9--9, 22(2)14--14
-
addition, 1(1)60--76, 8(3)16--16, 8(4)24--24, 10(1)2--2, 11(4)22--22,
11(4)24--24, 13(1)2--2, 13(3)24--24, 13(3)27--27, 13(4)30--30,
14(4)27--27, 15(1)8--8, 15(3)18--18, 16(1)6--6, 16(3)20--20,
18(2)12--12, 18(3)21--21, 18(3)24--24, 19(2)11--11, 20(1)1--1,
20(1)6--6, 20(3)14--14, 21(1)6--6, 23(1)5--5, 24(3)27--27
-
additional, 1(2)175--207, 8(4)23--23, 9(2)9--9, 12(2)9--9, 14(2)15--15,
16(4)30--30, 17(3)17--17, 18(1)3--3, 19(3)23--23, 19(4)29--29,
23(2)10--10
-
additionally, 9(1)5--5, 13(2)15--15, 13(3)21--21, 14(2)13--13,
15(3)24--24, 16(1)7--7, 16(2)11--11, 17(4)24--24, 18(1)3--3,
18(1)5--5, 24(1)3--3
-
additive, 13(1)2--2, 13(2)18--18, 19(4)25--25, 20(4)22--22
-
additive, multiplicative-, 6(4)784--842
-
address, 1(1)33--59, 1(2)175--207, 2(1)93--134, 9(2)9--9, 9(2)13--13,
9(3)22--22, 10(1)3--3, 12(1)1--1, 12(1)7--7, 13(3)21--21,
14(2)14--14, 14(4)33--33, 16(2)11--11, 16(3)22--22, 16(3)26--26,
18(1)6--6, 18(2)16--16, 19(2)12--12, 19(3)18--18, 20(1)5--5,
21(1)3--3, 21(2)10--10, 21(3)24--24, 23(2)8--8, 24(2)17--17
-
addressed, 12(4)29--29, 13(4)30--30, 20(3)13--13
-
addressing, 15(4)35--35, 24(2)18--18
-
adequacy, 20(1)5--5
-
adequate, 15(4)30--30, 18(4)27--27, 20(3)18--18
-
adequately, 13(4)30--30
-
adjacentash, 12(2)12--12
-
adjoint, 14(4)34--34, 23(3)18--18
-
Adler, Isolde, 24(3)25--25
-
Adler, Micah, 4(3)296--314
-
Adler:2003:LBF, 4(3)296--314
-
Adler:2023:FPT, 24(3)25--25
-
admissibility, 9(4)25--25, 14(4)27--27, 14(4)34--34, 15(3)21--21,
19(1)5--5, 20(1)2--2
-
admissibility-equivalently, 20(1)2--2
-
admissible, 9(4)25--25, 16(3)22--22
-
admit, 9(2)8--8, 10(3)15--15, 13(2)16--16, 19(3)23--23, 20(3)15--15,
21(2)8--8
-
adopt, 10(1)1--1, 15(4)35--35
-
adopted, 8(3)14--14, 8(4)23--23, 15(2)13--13, 15(4)34--34, 15(4)35--35,
16(3)22--22
-
adoption, 12(1)6--6, 14(2)10--10, 15(4)30--30
-
adornments, 13(4)32--32
-
advanced, 15(4)28--28, 22(1)2--2
-
advances, 18(3)18--18
-
advantage, 9(3)17--17, 13(4)32--32, 14(1)2--2, 15(3)23--23, 16(2)11--11,
16(4)31--31, 17(1)5--5, 20(1)4--4
-
advantageous, 18(2)16--16
-
adversarial, 16(4)35--35, 17(1)1--1, 18(3)19--19
-
adversarially, 17(1)1--1
-
adversary, 22(1)3--3
-
advice, 11(4)22--22
-
advocate, 23(1)2--2
-
advocated, 18(4)27--27
-
advocating, 9(3)17--17
-
Aehlig, Klaus, 3(3)383--401, 6(2)468--480
-
Aehlig:2002:SAN, 3(3)383--401
-
Aehlig:2005:EFS, 6(2)468--480
-
AEL, 12(3)20--20
-
affect, 13(1)6--6, 20(1)1--1
-
affected, 13(3)25--25
-
affecting, 13(3)25--25, 16(2)11--11
-
affine, 3(1)137--175, 7(2)219--260, 16(3)20--20, 17(3)21--21, 19(2)9--9
-
affirmative, 19(3)18--18
-
aforementioned, 20(1)4--4
-
Afrati, Foto, 6(3)481--518
-
Afrati:2005:DPT, 6(3)481--518
-
AFT, 22(1)6--6
-
AG, 15(4)27--27
-
again, 14(2)14--14, 17(4)32--32, 18(1)3--3, 18(2)16--16, 19(1)1--1,
20(2)10--10, 22(3)20--20
-
against, 9(1)5--5, 10(3)19--19, 13(2)12--12, 14(4)33--33, 16(1)3--3,
16(2)12--12, 16(4)28--28, 17(4)23--23, 19(2)10--10, 20(4)19--19,
24(1)3--3
-
Agda, 16(2)18--18
-
age, 14(2)10--10
-
agent, 1(2)208--246, 1(2)247--284, 5(1)79--128, 7(1)151--198, 9(4)29--29,
10(1)1--1, 10(1)5--5, 13(2)17--17, 13(4)28--28, 14(3)23--23,
14(4)34--34, 15(2)12--12, 15(4)34--34, 16(1)3--3, 16(4)35--35,
18(2)15--15, 19(4)26--26, 20(2)10--10, 20(4)21--21, 21(1)3--3,
21(2)16--16, 23(1)4--4, 23(2)10--10
-
agent, multi-, 1(2)208--246, 6(1)124--174, 9(2)9--9,
16(4)35--35, 22(2)8--8, 23(2)10--10
-
agent-indexed, 14(4)34--34
-
agents, two-, 15(4)34--34
-
aggregate, 6(2)328--360, 12(4)25--25, 14(3)17--17, 20(1)5--5
-
aggregation, 8(3)14--14
-
AGM, 13(4)30--30, 14(2)14--14, 16(4)31--31, 19(2)12--12, 24(2)18--18
-
ago, 11(4)25--25, 17(3)16--16
-
agree, 15(1)6--6
-
agreement, 18(1)7--7
-
Ahmetaj, Shqiponja, 18(4)27--27
-
Ahmetaj:2017:MCG, 18(4)27--27
-
Aho, 18(3)23--23
-
AI, 24(3)26--26
-
aid, 2(1)93--134
-
Aiello, Luigia Carlucci, 2(4)542--580
-
Aiello:2001:VSP, 2(4)542--580
-
aim, 9(4)27--27, 12(4)24--24, 13(2)14--14, 13(3)21--21, 14(3)22--22,
14(4)26--26, 15(1)1--1, 15(4)34--34, 18(2)14--14, 19(3)22--22,
19(3)23--23, 21(1)2--2, 21(3)20--20, 23(4)23--23
-
aimed, 18(2)15--15
-
aiming, 14(2)15--15
-
AL, 16(1)3--3
-
al, 1(1)131--161, 1(2)208--246, 9(1)6--6, 9(1)7--7, 9(3)15--15,
10(3)15--15, 11(3)19--19, 11(3)20--20, 11(4)22--22, 12(1)4--4,
13(1)1--1, 14(2)8--8, 14(3)20--20, 14(4)28--28, 14(4)29--29,
14(4)30--30, 15(1)2--2, 15(1)8--8, 15(4)28--28, 15(4)32--32,
16(1)2--2, 18(1)5--5, 19(1)3--3, 19(2)13--13, 20(1)4--4, 20(3)14--14,
20(3)17--17, 22(2)8--8, 23(3)18--18
-
al.1996, 1(1)131--161
-
Albert, Elvira, 14(3)22--22, 17(2)11--11, 19(4)31--31
-
Albert:2013:IRU, 14(3)22--22
-
Albert:2016:MHP, 17(2)11--11
-
Albert:2018:PCA, 19(4)31--31
-
Alberti, Marco, 9(4)29--29
-
Alberti:2008:VAI, 9(4)29--29
-
ALBO, 15(1)7--7
-
ALC, 14(1)2--2, 15(1)7--7
-
Alchourron, 13(4)30--30
-
ALCK, 10(1)5--5
-
ALCO, 9(4)25--25
-
Alekhnovich, 12(1)4--4
-
Alessi, F., 4(1)120--147
-
Alessi, F., see Dezani-Ciancaglini, M.
-
Alfaro, Luca, De, 12(4)28--28
-
Alferes, José Júlio, 14(2)16--16
-
Alferes:2013:QDP, 14(2)16--16
-
algebra, 1(1)60--76, 2(2)155--181, 3(4)465--520, 5(4)611--668,
7(4)798--833, 9(3)21--21, 10(1)6--6, 10(2)9--9, 10(3)19--19,
10(4)24--24, 12(3)21--21, 13(4)28--28, 14(1)7--7, 14(2)13--13,
14(4)34--34, 15(1)3--3, 16(4)30--30, 17(3)15--15, 17(4)28--28,
18(3)23--23, 19(2)13--13, 19(2)14--14, 20(1)1--1, 20(1)2--2,
20(1)3--3, 20(4)24--24, 21(1)1--1, 21(1)4--4, 22(4)23--23, 24(1)5--5,
24(2)16--16, 24(3)22--22
-
algebra, *-, 19(4)25--25
-
algebra, function-, 10(4)24--24
-
Algebra-coalgebra, 15(1)3--3
-
algebraic, 1(1)60--76, 1(1)162--170, 1(1)171--174, 1(2)285--320,
3(2)279--333, 7(4)765--797, 8(1)z--99999999, 9(4)24--24, 10(2)8--8,
10(3)19--19, 10(3)20--20, 10(3)22--22, 12(1)4--4, 13(1)5--5,
14(4)26--26, 14(4)30--30, 14(4)34--34, 15(3)19--19, 15(3)23--23,
16(2)13--13, 16(4)30--30, 17(4)23--23, 18(1)2--2, 18(3)20--20,
18(4)30--30, 19(4)25--25, 20(1)1--1, 20(1)2--2, 20(4)20--20,
20(4)24--24, 21(1)4--4, 22(1)6--6, 22(2)10--10, 22(4)23--23,
24(1)5--5, 24(3)22--22
-
algebraical, 17(4)27--27
-
algebraically, 20(1)1--1
-
algebras, MS-, 20(1)2--2
-
algebras-of, 20(1)2--2
-
algebras-that, 21(1)4--4
-
algorithm, semi-, 20(3)16--16
-
algorithmic, 10(2)13--13, 12(3)18--18, 13(3)27--27, 14(4)33--33,
15(2)14--14, 16(1)5--5, 17(2)10--10, 17(3)18--18, 18(3)18--18,
18(3)23--23, 18(4)26--26, 21(4)29--29, 24(4)30--30
-
algorithmically, 9(1)5--5, 9(2)12--12, 23(4)24--24
-
algorithms:, 8(3)15--15, 8(3)16--16
-
algorithms., 8(3)15--15
-
allocating, 10(4)29--29
-
allocation, 20(1)6--6
-
allow, 1(2)208--246, 2(1)93--134, 2(3)388--407, 8(3)14--14, 9(3)19--19,
9(3)22--22, 9(4)27--27, 10(2)8--8, 10(2)11--11, 10(2)13--13,
10(3)17--17, 11(4)26--26, 12(3)18--18, 12(3)20--20, 13(1)6--6,
13(3)20--20, 13(3)25--25, 13(4)34--34, 14(1)1--1, 14(2)8--8,
14(3)23--23, 14(3)24--24, 14(4)28--28, 14(4)34--34, 15(1)9--9,
15(2)13--13, 15(2)14--14, 15(2)15--15, 15(3)18--18, 15(4)26--26,
15(4)27--27, 15(4)30--30, 15(4)31--31, 15(4)33--33, 15(4)34--34,
15(4)35--35, 16(1)8--8, 16(1)9--9, 16(3)20--20, 16(3)25--25,
16(3)26--26, 16(4)34--34, 17(1)1--1, 17(1)6--6, 17(4)23--23,
17(4)25--25, 17(4)29--29, 18(1)7--7, 18(2)10--10, 18(3)21--21,
18(4)27--27, 18(4)28--28, 18(4)33--33, 19(1)5--5, 19(2)11--11,
19(2)12--12, 20(1)4--4, 20(1)5--5, 20(2)11--11, 20(3)13--13,
20(4)19--19, 20(4)25--25, 21(2)16--16, 21(4)30--30, 22(3)19--19,
22(4)26--26
-
allowed, 2(2)216--254, 9(4)24--24, 10(3)19--19, 10(3)20--20, 12(4)24--24,
12(4)28--28, 13(2)15--15, 13(4)31--31, 14(1)2--2, 14(4)27--27,
15(1)4--4, 15(2)16--16, 20(2)8--8, 23(1)7--7
-
allowing, 1(1)131--161, 8(3)14--14, 12(3)19--19, 13(3)19--19,
13(4)33--33, 15(3)23--23, 15(3)24--24, 15(4)27--27, 16(2)11--11,
16(4)33--33
-
Almagor, Shaull, 23(2)9--9
-
Almagor:2022:MID, 23(2)9--9
-
almost, 2(3)340--387, 8(4)19--19, 12(2)13--13, 15(1)6--6, 15(3)24--24,
15(4)30--30, 18(1)1--1, 23(1)1--1
-
almost-complete, 18(4)31--31
-
almost-sure, 15(2)16--16
-
almost-surely, 15(2)16--16
-
Alon, Noga, 4(3)315--354
-
Alon:2003:TXV, 4(3)315--354
-
alone, 8(4)20--20
-
along, 12(2)16--16, 14(2)16--16, 15(3)24--24, 15(4)27--27, 16(1)6--6,
17(2)14--14, 18(4)31--31
-
Alpern, 15(2)13--13
-
\alpha, 16(1)3--3, 19(1)6--6, 19(4)25--25, 22(1)4--4
-
alpha-equivalence, 19(1)6--6
-
alphabet, 5(3)403--435, 8(3)17--17, 10(3)16--16, 12(2)10--10,
12(3)19--19, 12(4)27--27, 14(3)19--19, 15(1)8--8, 15(2)13--13,
18(3)25--25, 20(1)3--3
-
already, 9(3)20--20, 12(4)27--27, 13(2)12--12, 14(1)2--2, 14(2)16--16,
15(1)8--8, 15(2)15--15, 16(1)1--1, 16(1)5--5, 16(3)20--20,
17(2)10--10, 18(2)10--10, 18(2)13--13, 18(3)21--21, 23(2)9--9
-
ALT, 17(1)4--4
-
alter, 19(3)23--23
-
alternating, 2(3)408--429, 9(2)10--10, 9(3)19--19, 10(3)16--16,
12(2)10--10, 12(3)19--19, 13(2)18--18, 13(3)25--25, 14(2)8--8,
17(4)24--24, 17(4)30--30, 18(3)19--19, 19(1)2--2, 19(4)26--26,
22(1)7--7, 23(4)21--21, 24(1)4--4
-
Alternating-Time, 17(1)4--4, 19(3)17--17
-
alternating-time, 17(1)4--4, 19(1)4--4, 20(2)10--10
-
alternation, 2(3)408--429, 9(2)10--10, 10(3)17--17, 16(3)21--21,
18(4)30--30, 18(4)33--33, 19(1)2--2, 22(1)7--7
-
alternation-free, 9(4)26--26, 16(2)16--16
-
alternative, 1(1)171--174, 1(2)208--246, 8(4)24--24, 10(4)29--29,
14(3)24--24, 15(2)13--13, 16(4)28--28, 16(4)31--31, 20(1)1--1,
20(1)4--4, 20(2)10--10, 22(1)4--4
-
alternatively, 19(3)16--16, 22(1)3--3, 24(3)20--20
-
Altherre, Nicolas, De Rugy-, 23(1)3--3
-
although, 1(1)131--161, 12(2)15--15, 13(2)12--12, 13(3)25--25,
13(4)34--34, 15(1)4--4, 18(4)32--32, 19(2)13--13, 19(3)22--22,
20(1)6--6, 24(3)19--19
-
Alur, 10(3)15--15, 14(2)8--8
-
Alur, Rajeev, 2(3)388--407, 5(1)1--25, 13(3)27--27
-
Alur:2001:PTL, 2(3)388--407
-
Alur:2004:DGG, 5(1)1--25
-
Alur:2012:AAA, 13(3)27--27
-
always, 9(3)19--19, 10(1)5--5, 15(3)25--25, 15(4)30--30, 16(4)28--28,
18(3)22--22, 19(3)17--17
-
always, Calculus-, 21(1)4--4
-
always-formulas, 14(4)28--28
-
amalgamation, 15(1)5--5
-
Amalgamations, 24(1)9--9
-
Aman, Bogdan, 20(4)22--22
-
Aman, Bogdan, see Horne, Ross
-
Amarilli, Antoine, 21(4)27--27
-
Amarilli:2020:FOW, 21(4)27--27
-
Ambients, 15(4)35--35
-
ambiguity, 10(3)22--22, 12(1)6--6
-
ameliorate, 20(4)23--23
-
Ameloot, Tom J., 18(1)5--5
-
Ameloot:2017:DQD, 18(1)5--5
-
amenable, 8(4)24--24, 12(1)7--7, 20(2)7--7, 20(3)13--13
-
amount, 8(3)15--15, 8(3)16--16, 9(3)22--22, 10(3)15--15, 10(4)25--25,
10(4)29--29, 13(2)13--13, 13(4)28--28, 14(3)22--22, 16(2)11--11,
21(4)27--27
-
amp;equals, 20(1)3--3
-
an, Apriori-, 18(2)8--8
-
an, set-, 19(2)7--7
-
an, XPath-, 17(2)14--14
-
analog, 1(1)33--59, 10(3)22--22
-
analogous, 13(2)15--15, 14(2)14--14, 17(4)25--25
-
analogue, 9(3)23--23, 10(1)7--7, 18(4)31--31
-
analogy, 10(3)22--22, 12(4)25--25
-
analyser, 9(3)17--17
-
analyses, 10(4)29--29, 14(1)4--4, 15(4)28--28, 15(4)33--33, 17(2)11--11
-
analysing, 14(4)33--33, 17(3)15--15
-
analysis, 1(1)33--59, 1(1)77--111, 1(1)162--170, 2(2)182--215,
2(3)388--407, 3(3)383--401, 9(1)2--2, 9(1)7--7, 9(3)17--17,
10(1)4--4, 10(2)8--8, 10(2)11--11, 10(3)22--22, 10(4)25--25,
10(4)27--27, 10(4)28--28, 10(4)29--29, 11(3)17--17, 12(1)8--8,
13(1)8--8, 13(2)12--12, 13(2)15--15, 13(3)27--27, 14(1)1--1,
14(2)8--8, 14(3)22--22, 14(4)26--26, 15(3)23--23, 15(4)33--33,
17(2)11--11, 17(4)32--32, 18(2)8--8, 18(4)33--33, 19(3)22--22,
19(4)28--28, 19(4)31--31, 20(1)6--6, 20(2)8--8, 20(2)12--12,
20(4)19--19, 21(1)6--6, 21(3)26--26, 23(2)9--9, 24(3)19--19
-
analysis., 10(4)29--29
-
Analyti, Anastasia, 12(2)17--17
-
Analyti:2011:MPF, 12(2)17--17
-
analytic, 2(3)340--387, 8(4)22--22, 10(2)14--14, 10(3)18--18,
10(3)22--22, 14(1)5--5, 16(1)5--5, 20(3)13--13, 23(4)23--23
-
analyticity, 10(2)14--14, 14(4)27--27, 19(2)11--11, 20(3)13--13
-
analyze, 1(1)33--59, 1(1)131--161, 2(3)289--339, 2(3)340--387,
9(2)14--14, 9(3)22--22, 12(2)9--9, 13(1)6--6, 13(1)8--8, 13(2)17--17,
13(3)21--21, 14(1)1--1, 15(1)6--6, 16(1)4--4, 16(3)27--27,
19(3)17--17, 20(1)1--1, 21(1)2--2
-
analyzed, 9(3)15--15, 12(1)2--2, 17(1)3--3
-
analyzer, 10(3)20--20, 17(2)11--11
-
analyzing, 8(3)17--17, 13(1)7--7, 13(2)17--17, 14(2)15--15, 15(4)33--33,
16(1)4--4, 16(1)8--8, 17(1)3--3, 19(3)19--19, 20(4)25--25
-
ancestor, 14(2)8--8
-
and, 8(3)15--15, 8(3)16--16, 14(4)31--31
-
and, case-, 16(3)20--20
-
and, environment-, 21(3)21--21
-
and-click, point-, 9(3)17--17
-
and-compositional, 10(2)11--11
-
and-conquer, divide-, 16(1)6--6
-
and-or, 12(1)5--5
-
AND/OR, 11(3)15--15
-
and/or, 1(2)208--246, 14(3)22--22, 17(2)13--13
-
Andreoli, 15(3)21--21
-
Anevlavis, Tzanis, 23(2)8--8
-
Anevlavis:2022:BCE, 23(2)8--8
-
Angiulli, 9(1)7--7
-
Angiulli, Fabrizio, 4(2)149--180, 9(1)7--7
-
Angiulli:2003:CPM, 4(2)149--180
-
Angiulli:2007:ODL, 9(1)7--7
-
annotated, 9(1)1--1, 11(2)10--10, 12(2)14--14, 13(2)13--13, 14(2)10--10,
15(3)18--18, 17(1)6--6, 19(1)6--6, 21(2)13--13
-
annotations, 13(4)32--32
-
announcements, 14(4)34--34, 23(2)10--10
-
anomalous, 9(1)7--7
-
anonymity, 17(1)3--3, 17(4)23--23, 21(1)1--1
-
another, 1(2)247--284, 2(2)182--215, 2(2)216--254, 9(2)12--12,
9(3)22--22, 10(4)27--27, 13(2)15--15, 14(4)26--26, 15(1)8--8,
15(2)13--13, 15(4)34--34, 16(4)34--34, 17(1)5--5, 17(2)10--10,
17(3)16--16, 17(4)26--26, 18(1)3--3, 18(4)29--29, 19(1)1--1,
19(2)14--14, 20(1)3--3, 20(2)11--11, 20(3)17--17, 21(1)7--7,
23(3)15--15
-
answer, 1(1)33--59, 2(3)388--407, 6(2)203--231, 7(4)613--657,
8(2)z--99999999, 8(3)15--15, 8(3)16--16, 8(3)17--17, 8(4)24--24,
9(2)9--9, 9(4)26--26, 12(1)4--4, 12(2)11--11, 12(2)17--17,
12(4)25--25, 13(4)33--33, 14(1)3--3, 14(2)14--14, 14(2)15--15,
14(2)16--16, 14(3)20--20, 14(4)25--25, 15(2)11--11, 15(2)12--12,
15(3)20--20, 15(4)32--32, 16(1)3--3, 16(2)10--10, 17(3)22--22,
18(2)8--8, 18(2)9--9, 18(3)18--18, 18(3)20--20, 18(3)25--25,
20(3)13--13, 21(2)8--8, 23(4)24--24, 24(2)15--15
-
Answer-Set, 17(3)22--22, 21(4)33--33
-
answer-set, 17(3)22--22, 21(4)33--33, 22(1)2--2
-
answered, 16(1)3--3, 17(4)24--24
-
answered., 8(3)15--15, 8(3)16--16
-
answering, 9(3)22--22, 11(4)22--22, 14(2)12--12, 14(3)17--17, 16(1)3--3,
16(1)7--7, 20(2)12--12, 21(4)27--27
-
antagonistic, 21(3)21--21
-
anti-unification, 21(2)10--10
-
antidomain, 16(4)30--30
-
antisymmetric, 17(2)10--10
-
Antoniou, Grigoris, 2(2)255--287, 12(1)6--6, 12(2)17--17
-
Antoniou, Grigoris, see Analyti, Anastasia,
see Billington, David
-
Antoniou:2001:RRD, 2(2)255--287
-
any, 1(2)208--246, 1(2)247--284, 2(1)1--11, 2(2)155--181, 8(3)17--17,
8(4)20--20, 8(4)21--21, 9(1)3--3, 9(1)7--7, 9(3)21--21, 10(1)4--4,
10(1)7--7, 10(2)9--9, 10(3)16--16, 10(4)26--26, 10(4)27--27,
11(3)18--18, 12(1)3--3, 12(2)16--16, 13(1)1--1, 13(1)9--9,
13(2)11--11, 13(2)15--15, 13(3)19--19, 13(3)24--24, 13(3)26--26,
13(4)31--31, 13(4)34--34, 14(1)3--3, 14(1)4--4, 14(2)16--16,
14(4)32--32, 15(1)4--4, 15(1)6--6, 15(3)21--21, 15(4)34--34,
15(4)35--35, 16(1)9--9, 16(2)12--12, 16(2)13--13, 16(3)23--23,
16(4)28--28, 17(1)1--1, 17(2)11--11, 17(3)19--19, 17(3)20--20,
18(3)22--22, 18(4)31--31, 19(2)13--13, 19(4)24--24, 20(1)4--4,
20(2)8--8, 20(2)9--9, 20(2)12--12, 20(3)16--16, 20(3)17--17,
21(1)2--2, 21(4)31--31, 23(2)12--12
-
anymore, 17(4)24--24
-
ap, 14(2)12--12
-
Apart, 14(2)15--15
-
APIs, 20(1)5--5
-
apparatus, 1(1)60--76
-
apparently, 16(3)27--27
-
appealing, 18(3)24--24
-
appear, 14(3)19--19, 14(4)27--27, 15(4)31--31, 16(1)7--7, 19(3)17--17,
19(4)29--29, 20(4)25--25
-
appendix, 16(3)24--24
-
applicability, 10(1)3--3, 11(3)16--16, 18(3)24--24, 18(4)31--31,
19(2)13--13, 20(1)1--1, 21(1)3--3
-
applicable, 14(4)27--27, 17(3)20--20
-
application, 2(1)93--134, 2(1)135--153, 2(3)340--387, 5(2)332--350,
6(1)102--123, 8(3)17--17, 9(1)7--7, 9(2)9--9, 9(2)13--13, 9(3)23--23,
9(4)29--29, 10(1)1--1, 10(1)5--5, 10(2)9--9, 10(4)26--26,
10(4)27--27, 11(2)9--9, 11(4)23--23, 11(4)27--27, 12(3)22--22,
12(4)25--25, 13(2)13--13, 13(3)21--21, 13(3)22--22, 13(4)29--29,
13(4)33--33, 14(1)2--2, 14(2)11--11, 14(3)17--17, 14(3)20--20,
14(4)26--26, 14(4)34--34, 15(1)5--5, 15(1)10--10, 15(3)23--23,
16(1)1--1, 16(1)3--3, 16(1)4--4, 16(1)8--8, 16(2)11--11, 16(4)32--32,
17(1)3--3, 17(3)15--15, 17(4)30--30, 18(1)1--1, 18(2)10--10,
18(3)20--20, 18(4)26--26, 18(4)27--27, 18(4)30--30, 19(1)6--6,
19(2)11--11, 19(4)28--28, 20(1)6--6, 20(3)15--15, 20(3)17--17,
20(4)25--25, 21(1)6--6, 22(1)6--6
-
application-level, 17(2)11--11
-
applicative, 9(1)6--6
-
applied, 2(1)12--56, 2(2)155--181, 9(1)1--1, 9(3)17--17, 9(4)24--24,
10(1)1--1, 10(4)25--25, 10(4)27--27, 11(4)24--24, 12(1)3--3,
13(1)1--1, 13(3)21--21, 14(1)4--4, 14(4)27--27, 16(1)4--4, 16(1)5--5,
16(2)11--11, 17(3)17--17, 17(4)23--23, 18(1)7--7, 18(2)8--8,
18(2)15--15, 19(3)17--17, 19(4)27--27, 21(3)22--22, 24(2)15--15
-
apply, 2(1)93--134, 8(4)20--20, 9(4)27--27, 10(2)13--13, 12(1)7--7,
14(1)1--1, 14(1)7--7, 14(2)8--8, 14(4)34--34, 16(1)5--5, 16(1)9--9,
16(4)34--34, 17(3)15--15, 17(3)17--17, 17(4)27--27, 18(1)1--1,
18(3)25--25, 19(2)10--10, 20(2)10--10, 21(3)22--22
-
applying, 2(1)93--134, 15(3)21--21, 16(1)8--8, 18(1)4--4, 18(2)8--8,
18(4)26--26, 21(4)33--33
-
appreciate, 18(1)7--7
-
appropriate, 1(2)247--284, 13(4)30--30, 14(2)12--12, 14(2)16--16,
14(3)23--23, 14(3)24--24, 15(4)34--34, 18(1)3--3, 18(1)4--4,
20(1)6--6
-
approximate, 5(2)264--281, 8(4)20--20, 10(3)19--19, 13(2)12--12,
13(2)13--13, 14(3)17--17, 14(4)33--33, 16(1)4--4, 17(3)18--18,
20(4)19--19
-
approximate, over-, 18(3)24--24, 19(4)31--31
-
approximated, 16(1)6--6
-
approximating, 15(1)6--6, 22(4)22--22
-
approximation, 2(3)289--339, 13(3)24--24, 14(1)3--3, 14(2)10--10,
17(4)27--27, 19(1)3--3, 19(4)30--30, 20(4)19--19, 22(1)6--6
-
approximations, over-, 17(4)23--23
-
Apriori-an, 18(2)8--8
-
APT, 12(2)14--14, 13(2)13--13, 15(3)18--18
-
Apt, Krzysztof R., 2(4)431--431, 6(4)673--673, 14(3)23--23
-
Apt, Krzysztof R., see Sietsma, Floor
-
APT-logic, 13(2)13--13
-
Apt:2001:E, 2(4)431--431
-
Apt:2005:E, 6(4)673--673
-
APTIME, 13(2)18--18
-
AR, 16(2)12--12
-
ar, 15(4)32--32
-
Arai, Toshiyasu, 10(4)24--24
-
Arai:2009:NFA, 10(4)24--24
-
Aravanis, Theofanis, 24(2)18--18
-
Aravanis:2023:GPC, 24(2)18--18
-
Arbib, 15(1)3--3
-
arbitrarily, 9(1)4--4, 12(4)24--24, 12(4)28--28, 16(1)4--4, 17(4)24--24
-
arbitrary, 1(2)208--246, 2(1)12--56, 8(3)15--15, 8(3)16--16, 9(4)24--24,
9(4)26--26, 12(4)25--25, 13(1)4--4, 13(2)15--15, 13(3)19--19,
14(2)13--13, 14(4)30--30, 15(2)14--14, 17(2)13--13, 17(2)14--14,
17(4)32--32, 18(2)9--9, 18(2)14--14, 18(3)20--20, 19(2)7--7,
19(2)14--14, 20(2)8--8, 20(3)13--13, 21(1)4--4, 22(4)26--26
-
arc, 10(4)29--29, 18(4)27--27
-
architect, 20(1)6--6
-
architecture, 9(3)16--16, 14(2)9--9, 14(4)29--29, 19(3)22--22
-
Ardeshir-Larijani, Ebrahim, 19(4)28--28
-
Ardeshir-Larijani:2018:AEC, 19(4)28--28
-
area, 8(3)17--17, 9(1)7--7, 9(3)15--15, 10(4)26--26, 12(4)26--26,
14(1)2--2, 14(2)14--14, 15(3)23--23, 17(3)21--21, 18(3)23--23,
19(1)6--6, 23(2)9--9, 24(3)21--21
-
Arenas, Marcelo, 22(4)21--21
-
Arenas:2021:CCP, 22(4)21--21
-
arguably, 19(1)1--1
-
argue, 13(2)16--16, 13(3)22--22, 14(3)24--24, 16(1)6--6, 17(3)18--18,
19(3)17--17, 21(1)2--2, 24(1)5--5
-
argued, 10(1)1--1
-
argument, 9(3)17--17, 10(4)26--26, 11(4)22--22, 12(3)22--22, 13(3)20--20,
14(2)8--8, 14(3)22--22, 14(4)32--32, 15(3)19--19, 16(3)22--22,
16(4)28--28, 17(2)14--14, 17(3)19--19, 17(4)27--27, 18(4)28--28,
24(3)26--26
-
argument, one-, 14(3)22--22
-
argumentation, 15(3)19--19, 16(3)22--22, 17(4)27--27, 24(3)26--26
-
Arieli, Ofer, 8(3)18--18
-
Arieli:2007:PRP, 8(3)18--18
-
arise, 1(1)162--170, 2(1)1--11, 8(4)23--23, 9(3)18--18, 9(3)21--21,
11(3)16--16, 11(3)20--20, 13(1)7--7, 13(3)25--25, 14(1)7--7,
18(1)3--3, 19(2)7--7, 20(1)3--3, 20(1)4--4, 20(3)17--17, 22(4)21--21
-
arising, 9(1)7--7, 10(1)3--3, 19(4)25--25, 19(4)28--28
-
arithmetic, 6(3)614--633, 6(3)634--671, 7(4)749--764, 9(2)11--11,
9(2)12--12, 10(1)2--2, 11(4)22--22, 11(4)26--26, 12(1)7--7,
13(1)9--9, 13(2)11--11, 13(3)20--20, 13(3)24--24, 15(1)2--2,
15(2)17--17, 16(2)12--12, 18(2)11--11, 19(2)10--10, 19(3)19--19,
20(4)25--25, 23(2)11--11, 24(3)22--22, 24(4)32--32
-
arithmetical, 8(2)z--99999999, 10(1)2--2, 16(2)12--12, 24(3)22--22
-
arity, 10(1)7--7, 13(2)15--15, 13(4)31--31, 15(1)9--9, 18(2)9--9,
18(3)21--21, 19(3)16--16
-
Armando, Alessandro, 10(1)4--4
-
Armando:2009:NRR, 10(1)4--4
-
Armoni, 13(1)1--1
-
Armstrong, 18(4)32--32
-
around, 19(4)28--28
-
array, 1(1)3--32, 9(1)4--4, 13(3)27--27, 14(2)11--11, 16(2)12--12,
18(2)14--14, 18(3)18--18, 21(2)13--13, 24(4)28--28
-
array-accessing, 13(3)27--27
-
arrives, 12(2)16--16
-
art, state-of-the-, 2(2)182--215, 12(1)7--7, 15(4)33--33,
16(2)12--12, 17(1)6--6, 19(2)12--12
-
Artale, Alessandro, 15(3)25--25, 24(4)34--34
-
Artale:2014:CTC, 15(3)25--25
-
Artale:2023:LBC, 24(4)34--34
-
Arthan, Rob, 11(1)7--7
-
Arthan:2009:GFS, 11(1)7--7
-
artifacts, 19(3)22--22
-
artificial, 1(1)60--76, 1(1)131--161, 1(1)171--174, 1(2)175--207,
1(2)208--246, 1(2)247--284, 2(1)12--56, 2(2)155--181, 2(2)182--215,
2(2)255--287, 2(3)289--339, 2(3)340--387, 14(2)13--13, 14(4)30--30,
19(1)4--4, 20(4)25--25, 24(1)9--9
-
artificially, 15(4)28--28, 20(4)25--25
-
Artikis, Alexander, 10(1)1--1, 16(2)11--11
-
Artikis, Alexander, see Skarlatidis, Anastasios
-
Artikis:2009:SNG, 10(1)1--1
-
ary, 10(1)7--7
-
as-failure, negation-, 6(2)441--467
-
Aschinger, Markus, 15(3)20--20
-
Aschinger:2014:LLC, 15(3)20--20
-
ascribe, 1(2)247--284
-
ascribing, 1(2)175--207
-
ask, 14(1)2--2, 17(4)24--24, 20(1)1--1, 21(2)9--9, 21(3)17--17
-
asked, 12(1)4--4, 14(3)20--20
-
ASM, 1(1)77--111, 8(3)15--15, 8(3)16--16, 9(3)19--19
-
ASM., 8(3)16--16
-
ASMs, 8(3)15--15, 8(3)16--16, 9(3)19--19
-
ASP, 9(4)26--26, 12(4)25--25, 14(1)3--3, 14(2)15--15, 24(2)15--15
-
Asp, 17(1)7--7
-
ASP-Prolog, 15(2)12--12
-
aspect, 10(1)5--5, 10(2)11--11, 13(2)16--16, 13(3)21--21, 13(4)30--30,
15(3)18--18, 15(3)24--24, 15(4)34--34, 16(3)25--25, 19(2)9--9,
19(4)24--24, 23(3)18--18, 23(4)24--24, 24(3)19--19
-
Asperti, Andrea, 3(1)137--175, 16(3)26--26
-
Asperti:2002:ILA, 3(1)137--175
-
Asperti:2015:CCF, 16(3)26--26
-
assembly, 9(3)16--16
-
asserted, 2(1)1--11
-
assertion, 1(1)60--76, 1(1)171--174, 2(1)1--11, 10(3)18--18, 11(3)16--16,
13(3)21--21, 15(3)25--25, 15(4)27--27, 16(2)15--15, 17(1)6--6,
17(2)12--12, 17(2)13--13, 17(3)15--15, 19(2)13--13
-
Assertional, 17(1)6--6
-
asserts, 9(1)2--2, 9(3)19--19
-
asses, 15(4)28--28, 15(4)35--35, 19(1)1--1, 20(2)12--12
-
assessing, 8(3)17--17, 12(2)14--14
-
assets, 14(1)1--1
-
assign, 9(3)20--20, 11(4)23--23, 16(1)6--6, 20(2)10--10
-
assignable, 19(1)3--3
-
assignment, 1(1)3--32, 11(3)18--18, 12(4)24--24, 13(2)15--15,
13(2)18--18, 16(1)6--6, 18(3)21--21, 19(1)3--3, 23(2)13--13,
23(4)21--21
-
assistant, 1(1)3--32, 9(1)2--2, 14(4)26--26, 15(3)23--23, 16(2)18--18
-
associate, 19(2)7--7, 20(3)17--17
-
associated, 2(1)93--134, 8(4)20--20, 10(1)3--3, 18(1)4--4, 18(3)18--18,
18(4)32--32, 19(2)14--14, 19(2)15--15, 19(3)20--20, 20(4)24--24,
24(1)3--3
-
associating, 17(4)28--28
-
association, 18(2)8--8
-
associative, 16(4)30--30
-
assume, 1(2)208--246, 12(1)2--2, 16(1)3--3, 16(3)23--23, 20(4)20--20,
22(4)21--21
-
assume-guarantee, 11(3)16--16
-
assumed, 13(4)30--30, 16(4)33--33, 17(2)9--9, 18(3)25--25, 20(1)3--3,
20(1)4--4
-
assuming, 18(4)29--29, 20(2)9--9
-
assumption, 1(2)247--284, 8(4)19--19, 10(1)5--5, 10(2)13--13,
11(3)16--16, 13(2)13--13, 14(2)16--16, 14(4)34--34, 15(3)25--25,
15(4)30--30, 16(1)3--3, 16(2)11--11, 17(1)7--7, 17(2)9--9,
17(4)26--26, 20(1)4--4, 20(2)10--10, 20(3)14--14, 21(1)2--2,
23(2)11--11
-
Asuncion, Vernon, 15(2)11--11
-
Asuncion:2014:PFO, 15(2)11--11
-
asymptotic, 9(1)2--2, 15(4)32--32, 20(2)9--9
-
asymptotically, 13(2)16--16, 13(4)29--29, 17(2)13--13
-
asynchronous, 14(2)9--9, 16(1)9--9, 17(2)11--11, 23(2)10--10
-
at-a-time, set-, 13(4)32--32
-
athSAT, 19(3)19--19
-
ATL, 17(1)4--4, 19(3)17--17, 19(3)23--23, 20(2)10--10, 23(4)21--21
-
ATL+, 17(1)4--4
-
Atl, 15(4)34--34
-
Atl*, 15(4)34--34
-
atom, 7(2)269--301, 13(2)10--10, 13(4)31--31, 13(4)32--32, 14(2)16--16,
17(1)7--7, 19(1)5--5, 19(1)6--6, 19(3)16--16, 19(3)18--18,
21(4)33--33
-
atom-capturing, 19(1)6--6
-
atomic, 9(2)11--11, 12(3)21--21, 13(2)11--11, 14(2)15--15, 15(3)22--22,
15(3)25--25, 15(4)27--27, 20(2)12--12, 21(3)18--18
-
Atserias, 16(4)28--28, 19(1)1--1
-
Atserias, Albert, 15(1)6--6, 17(3)19--19, 20(1)1--1, 24(3)20--20
-
Atserias:2014:DLB, 15(1)6--6
-
Atserias:2016:NPM, 17(3)19--19
-
Atserias:2019:PCM, 20(1)1--1
-
Atserias:2023:CYS, 24(3)20--20
-
attack, 9(4)24--24, 17(4)23--23, 21(1)1--1
-
attacker, 14(1)4--4, 21(1)2--2
-
attain, 12(1)5--5
-
attempt, 1(1)131--161, 1(2)175--207, 9(3)19--19, 9(3)20--20, 10(3)22--22,
15(4)30--30, 16(3)27--27, 16(4)33--33, 22(1)1--1
-
attention, 2(1)57--92, 10(2)11--11, 11(4)24--24, 12(1)6--6, 12(4)26--26,
14(1)2--2, 16(3)24--24, 17(1)3--3, 17(3)20--20, 17(3)21--21,
19(2)15--15
-
attitudes, 20(4)21--21
-
attracted, 12(1)6--6, 14(1)2--2, 19(2)15--15
-
attractive, 12(3)20--20, 14(1)2--2, 16(4)33--33, 18(2)13--13
-
attribute, 12(4)29--29, 24(1)2--2
-
attributes, 12(4)29--29, 13(4)34--34, 18(4)32--32
-
audience, 11(3)19--19
-
Audrito, Giorgio, 20(1)5--5
-
Audrito:2019:HOC, 20(1)5--5
-
augment, 13(1)6--6, 17(2)13--13, 18(3)19--19
-
augmented, 12(4)23--23, 15(2)13--13, 19(3)19--19, 24(1)8--8
-
augmenting, 11(3)18--18, 14(2)13--13, 14(2)15--15, 18(1)3--3
-
authenticated, 9(4)24--24, 21(1)2--2
-
authentication, 11(3)17--17, 17(1)3--3, 21(1)1--1, 21(1)2--2
-
author, 16(1)9--9
-
Authorization, 12(2)9--9
-
autoepistemic, 3(4)542--561, 10(1)5--5, 12(3)20--20, 13(2)17--17,
17(4)27--27
-
automata-based, 9(2)11--11, 15(3)22--22
-
automata-theoretic, 13(3)25--25, 17(4)30--30, 18(3)20--20
-
automatable, 10(4)28--28
-
automate, 13(1)2--2
-
automated, 2(1)1--11, 8(4)19--19, 8(4)22--22, 9(3)21--21, 10(1)4--4,
10(3)20--20, 11(1)2--2, 11(3)16--16, 11(4)27--27, 16(2)12--12,
17(4)23--23, 18(2)8--8, 18(4)26--26, 19(2)13--13, 19(3)18--18,
19(4)28--28, 20(4)21--21, 22(1)3--3
-
automated, semi-, 16(4)31--31
-
automatic, 1(1)60--76, 1(1)171--174, 2(1)57--92, 5(2)177--205,
6(4)675--700, 8(4)19--19, 10(3)20--20, 11(3)17--17, 12(3)18--18,
17(1)6--6, 19(4)27--27, 19(4)28--28
-
automatically, 2(1)57--92, 12(1)1--1, 13(2)13--13, 14(3)22--22,
15(3)18--18, 15(4)30--30, 17(4)23--23, 18(2)8--8, 18(2)14--14,
19(4)27--27, 19(4)28--28
-
automation, 11(4)26--26, 15(4)28--28
-
automatizable, 15(2)17--17
-
automaton, 2(3)408--429, 9(2)11--11, 9(2)12--12, 12(1)3--3, 13(2)12--12,
13(4)29--29, 14(3)19--19, 15(2)15--15, 15(3)24--24, 16(1)1--1,
16(1)6--6, 16(4)34--34, 17(4)24--24, 17(4)30--30, 18(4)31--31,
19(2)14--14, 21(3)17--17, 22(1)7--7
-
automorphism, 14(4)30--30
-
autonomous, 19(4)25--25, 23(1)4--4
-
autonomously, 1(2)208--246
-
auxiliary, 11(3)16--16, 13(3)19--19, 18(2)8--8, 18(2)9--9, 19(4)27--27,
21(1)2--2, 23(4)22--22
-
available, 1(2)285--320, 12(3)18--18, 13(3)21--21, 13(4)28--28,
15(2)16--16, 15(4)35--35, 16(1)5--5, 16(2)11--11, 16(2)16--16,
16(3)27--27, 18(1)1--1, 19(3)17--17, 19(4)28--28, 19(4)31--31
-
average, 11(3)18--18, 11(4)23--23, 13(2)13--13, 15(4)27--27, 18(4)31--31
-
Avg, 15(4)27--27
-
Avigad, 19(2)15--15
-
Avigad, Jeremy, 4(3)402--415, 9(1)2--2
-
Avigad:2003:EDS, 4(3)402--415
-
Avigad:2007:FVP, 9(1)2--2
-
Avni, Guy, 16(1)6--6
-
Avni:2015:PWC, 16(1)6--6
-
avoid, 2(1)57--92, 14(2)9--9, 15(2)16--16, 16(1)8--8
-
avoided, 13(1)4--4
-
avoiding, 16(4)34--34
-
Avron, Arnon, 14(4)27--27
-
Avron, Arnon, see Lahav, Ori
-
aware, 16(2)12--12, 19(4)26--26
-
away, 20(4)20--20
-
Awodey, 13(1)3--3
-
AX, 15(4)27--27
-
axes, 13(4)34--34, 17(2)14--14
-
axiom, 1(1)3--32, 1(2)175--207, 7(2)199--218, 9(3)19--19, 9(4)26--26,
10(3)20--20, 11(3)18--18, 12(3)21--21, 12(4)29--29, 13(3)21--21,
14(1)7--7, 14(4)27--27, 15(3)20--20, 16(1)5--5, 16(4)30--30,
16(4)31--31, 17(1)1--1, 17(3)17--17, 17(3)21--21, 17(4)28--28,
18(4)32--32, 19(2)13--13, 19(2)15--15, 19(4)29--29, 21(1)2--2,
22(1)3--3, 22(3)20--20, 23(4)27--27, 24(2)18--18
-
axiomatic, 8(4)19--19, 9(3)15--15, 12(2)16--16, 21(1)2--2, 23(4)27--27
-
axiomatically, 12(2)14--14
-
axiomatisation, 10(2)13--13, 17(3)21--21, 23(4)22--22
-
axiomatise, 17(3)21--21
-
axiomatised, 19(1)6--6
-
axiomatizability, 15(1)4--4
-
axiomatizable, 15(1)4--4, 16(3)27--27, 16(4)31--31
-
axiomatization, 1(2)175--207, 1(2)247--284, 2(2)155--181, 10(3)21--21,
12(4)29--29, 13(3)20--20, 13(3)26--26, 14(1)7--7, 15(1)4--4,
16(4)30--30, 17(1)1--1, 19(1)4--4, 20(4)24--24, 21(1)3--3, 21(1)4--4
-
axiomatize, 13(3)20--20, 21(1)2--2, 24(1)9--9
-
axiomatized, 9(3)19--19, 15(1)1--1, 19(3)19--19, 22(2)10--10
-
axiomatizing, 3(4)465--520, 22(1)3--3
-
axis, 13(4)34--34
-
Aziz, Adnan, 1(1)162--170
-
Aziz:2000:MCC, 1(1)162--170